Шелковый путь олимпиада по математике 2015 года | Казахстанские олимпиады

Пусть {an}n1\left\{ {{a}_{n}} \right\}_{n \geq 1} и {bn}n1\left\{ {{b}_{n}} \right\}_{n \geq 1} — две бесконечные арифметические прогрессии, у каждой из которых первый член и разность — взаимно простые натуральные числа. Известно, что для любого натурального nn, хотя бы одно из чисел (an2+an+12)(bn2+bn+12)\left( a_n^2+a_{n+1}^2 \right)\left( b_n^2+b_{n+1}^2 \right) или (an2+bn2)(an+12+bn+12)\left( a_n^2+b_n^2 \right) \left( a_{n+1}^2+b_{n+1}^2 \right) является точным квадратом. Докажите, что an=bn{{a}_{n}}={{b}_{n}}, для любого натурального nn.