INICIANTE:
Vejamos que e e como e como e como .
Portanto temos já que pelo Teorema de Fermat . c.q.d.
INTERMEDIÁRIO:
Uma equaçãodo segundo grau tem soluções reais se e somente se seu discriminante for não-negativo. Por absurdo, nenhuma das equações acima tem solução real se e somente se
,
que somadas implicam na desigualdade
uma contradição.
AVANÇADO:
Da equação do enunciado, temos
Essa igualdade mostra que a sequência tem período . De fato,
Daí, , , e . Assim,
.
concluindo a demonstração.