Пусть {an}n≥1 и {bn}n≥1 — две бесконечные арифметические прогрессии, у каждой из которых первый член и разность — взаимно простые натуральные числа. Известно, что для любого натурального n, хотя бы одно из чисел
(an2+an+12)(bn2+bn+12) или (an2+bn2)(an+12+bn+12) является точным квадратом. Докажите, что an=bn, для любого натурального n.