maths, toujours les maths ! |
1/7 |
19/09/2007 à 18:26 |
U0 = 4 > 3 donc la propriété est vraie au rang 0.
On suppose maintenant la propriété vraie pour un n€N* fixé.
Soit f une fonction de [3;+oo[ dans R telle que pour tout x € [3;+oo[, f(x) = x + 9/x.
Alors f est dérivable sur [3;+oo[ et f'(x) = 1 - 9/x² > 0 pour tout x € [3;+oo[.
Donc f admet un minimum en 3 et f(3) = 6.
Ainsi, Un + (9/Un) > 6 car Un > 3 par hyposthèse de récurrence.
Donc Un+1 = (1/2)(Un+(9/Un)) > 3 et la propriété est vraie au rang n+1.
D'où la propriété est vraie pour tout n€N.