Demonstration par recurrence, niveau TS

[Kah]

Je bloque, ainsi que la plupart de mes camarades sur un petit exercice qui pourrait paraitre tout simple a premiere vue:
"montrer, par recurrence sur n, que, pour tout entier naturel n, il existe deux entiers naturels a indice n et b indice n, tels que :
(2+;)3)^n=an+bn;)3
avec an-3bn=1
J'ai deja reussi a accomplir l'initialisation: Pour n=1, on trouve
2+;)3=a1+b1*;)3
Et on trouve que pour a1=2 et b1=1, cela colle. par contre, pour la suite...

[XENSECP]

c'est assez intuitif par le développement du binôme du newton ;)

Alors après tu fais par récurrence et ca marche bien ;)
tu suppose que c'est vrai au rang n et essaye au rang n+1 ;) (après avoir initialisé bien sur)