[obm-l] Provar que é quadrado perfeito

[Artur Costa Steiner]

Gostaria que alguém desse alguma sugestão para isto:

Mostre que, para todo n ímpar positivo, (3 + raiz(8))^n + (3 - raiz(8))^n  -  2 
eh um quadrado perfeito.

Abracos
Artur