Bonsoir, je perds pas de temps.. il ne me reste plus qu'un jour pour 7 exos
Énoncé :
Une suite (Un) définie par : U(o)=1+(1/2) ; U(1)=1+(1/(2+(1/2)))
U(2)=1+(1/(2+(1/(2+(1/2)))))
De plus on sait que :
U(n+1) - racine(2) = (1-racine(2))*((U(n)-racine(2))/(U(n)+1))
|U(n+1) - racine(2)| =< (racine(2) - 1) * |U(n) - racine(2)|
4. Montrer par récurrence que :
|U(n) - racine(2)| =< K^n * (U(0) - racine(2)) avec K=racine(2)-1
Réponse trouvée pour le moment :
-initialisation :
|U(0) - racine(2)| =< (racine(2) - 1)^0 * (U(0) - racine(2)
<=> |1+(1/2)-racine(2)| =< 1+(1/2)-racine(2)
VRAI
-hérédité :
et là je galère et j'arrive pas -__-"... comme d'habitude !
Merci d'avance !
-----