Дана последовательность $(a_n)_{n \geq 0}$ рациональных чисел такая, что $a_0 = 2016$ и $a_{n+1} = a_n + \frac{2}{a_n}$ для всех $n \geq 0.$
Покажите, что последовательность не содержит квадратов рациональных чисел.