ı Principe du raisonnement par r6currence
DĞfinition : Une propı,iöte est dite h6r6ditaire ö partir du rang no si,lorsque pour un
şntieı k, *o , ia pn*prietğ est vraiş, alors el!e esi aı-:ssi vraie poı.ır l'eııtier k+i
Soit no e N. On considöre la proposition
P,, d6finie pour tout entier naturel n}ko
si les deux conditions suivantes sont v6rifi6es
1, P n est vraie pour i'entier ao
2. P n est hğr6ditairş ğ partir du rang yıo
;
aİors on Peut c*nelur€ que, pour tout n}.yıo , ia proposition pn est toujours vraie
Remarque : Le raisonnement par rĞcurrence ne peut s'utiliser que lorsque 1,on
cherche d d6montrer qu'une proposition est vraie pour tout entier naturÖı ız sup6rieur
ou 6gal Ö un entier nature| tı6 (en Terminale, on a souvent fro=g ou flo=1
).
Mğthcde :AprĞs şvçiş" norrtıtı6 ia propositioıı ö çJ6şnontrer (par ex*mpie''
naisonn*m*nt paı" n6ourı"eı.ıee se döcornpose * rı trois ötapes
P n ''), iğ,
:
1. ıNlTlALısATloN : on v6rifie que la proposition P, est vraie pour ,4=ü?0 ;
2. HğREDffğ : on suppose qu'il existe un entier k2no tel que P soit vraie
k
(hYPothöse de rğcurrence) et on d6montre alors, en utilisant l,hypothöse
de
r6currence, que P on, est aussi vraie;
-]]'..],.]:.i.j] t ]rçlı}&i on conçlut que, pour tout n> ??ü , ia proposition F u est vraie.
Analogie :on considöre une file illimit6e de dominos plac6s cöte ö cöte.
La rögle veut que lorsqu'un domino tombe, alors il faıt tomber le domino
suivant et ceci ö n'importe quel niveau de la file.
Alors, si le premier domino tombe, on est assur6 que tous les dominos
de la file tombent.
s,i t
*ft$: *&
Esİ Eü
şg
Eü
?
*-w- ݧatrT§
xYPOTlşif : AğEffilA{TRffi
]
frıiü
:
süppğiııfı3 sfda ü rrrg İ+İ
aU för!ğ İ
'İİa
Remarques : 'l) ll peut arriver que l' "initialisation" doive se faire pour plusieurs rangs
2) Les 6tapes "initialisation" et "conclusion" sont des 6tapes trös importantes mais
rarement difficiles alors que l'ötape "h6rödit6" est la partie la plus technique oü il ne
faut pas oublier d'utiliser l' "hypothöse de recurrence".
3) Une propriöt6 peut 6tre h6rĞditaire mais jamais vraie !
Par exemple : soit la propri6tö P n :"2' est divisible par 3".
Supposons qu'il existe un entier ft tel que P k soit vraie c'est-d-dire 2k =3 p oü p est
un entier (hypothĞse de r6currence).
Alors 2k*I=2k x2=3 pX2=6 p . Donc zk+l est divisible par 3 et P o,, est alors aussi
vraie. Ainsi, l'h6r6dit6 est vĞrifi6e et pourtant la propriıötö n'est jamais vraie (il est
impossible de trouver un entier no tel que P no soit vraie).
Exemplş : On considöre la suite (",) definie pour tout entier naturel n par
Un+|=ur+2n+3 et üo=1
Dı6montrer par r6currence que, pour tout entier naturel n, u,=(n+L)2
Soit la propri6t6 P,:u,_(n+L)z
1. lNlTlALlSATlON : on v6rifie que la proposition est vraie pour n=0 :
(O+r)'-l et üo=L donc po estvraie.
2. HEREDITE :on suppose qu'il existe un entier ft>0 tetque Pk soit vraie c'est-ö-
dire uo=(k+L)2 (hypothöse de r6currence) et on dĞmontre alors que P o*, est
aussi vraie c'est-ö-dire uo*r=(k+2)2 :
Par d6finition uo,r-_uo+2k+3 donc, en utilisant l'hypothöse de rĞcurrence, on a
uo*r=(k+L)2 +2k +3_ k2+2k+L+Zk+3_k2+ 4 tra4_(k+2)2 et ainsi P o*, est vraie.
3. CONCLUSION : on conclut que, pour tout entier naturel n , la proposition P n est
vraie c'est-ö-dire : pour tout entier naturet n, u,-(n+L)z
ll. ln6galitğ de Bernoulli
Propı,iöt6 (ln6galitö dş_Bernşuili) : Sçit ı.:ıı ııorııbre röei a pasitif
Fşur tşı.ıt erıfier natuırel n, ai^ı tı L*g ?.L*wg
Dömonstration : Soit la propri6t6 P,:(L+a)">l,+na oü a est un röel positif.
1. lNlTlALlSATlON : on vğrifie que la proposition est vraie pouf n =0 :
(l+a)o=1 et L+Oxa=L donc Po estvraie.
2. HERED|TE : on suppose qu'il existe un entier ö> 0 tel que p so1 vraie c,est-ö-
k
dire (L+a)k >1,+ka (hypothöse de r6currence) et on d6montre alors que p
ı*, est
aussi vraie c'est-A-dire (1+a)k*'>ı+(k+ı)a :
(L+a)k.',-(ı+a)x(ı+a)k donc, en utilisant l'hypothöse de rĞcurrence, on a
(l:o)o-'-(l+a)x(l+a)k>(l+a)x(l+ka)=1şka+a+kaz-ı+(k+ı)a+ırar>ı+(ıc+r)a car
ka2> 0 et ainsi P o*, est vraie.
3. CoNCLUSloN : on conclut que, pour tout entier naturel n la proposition p
, n est
vraie c'est-A-dire pour tout entier naturel n, (1+a)'> L+na
: