[obm-l] Teoria dos números

[Artur Costa Steiner]

Este problema parece interessante. Talvez tenha alguma solucao facil, mas nao 
vi.
 
 
Mostre que, para todo inteiro positivo n, (raiz(2) - 1)^n = raiz(m) - raiz(m 
-1), sendo m>=1 um inteiro.
 
Artur