La démonstration par récurrence

La#démonstration#par#récurrence#
!
! "!!#$!%&'()%&'*+,-./!0-!raisonnement*par*récurrence!-.'!,$-!123%-!4-!3&*.2$$-%-$'!
5*.&$'!6!4)%2$'3-3!,$-!73273*)')!723'&$'!.,3!'2,.!0-.!-$'*-3.!$&',3-0.8!9-!3&*.2$$-%-$'!7&3!
3):,33-$:-!:2$.*.'-!6!4)%2$'3-3!0-.!72*$'.!.,*5&$'.!;!
• 9&!73273*)')!-.'!.&'*.1&*'-!7&3!0<-$'*-3!=!>!
• ?*!:-''-!73273*)')!-.'!.&'*.1&*'-!7&3!,$!:-3'&*$!$2%@3-!-$'*-3!$&',3-0!n/!&023.!-00-!-.'!
.&'*.1&*'-!7&3!.2$!.,::-..-,3/!:<-.'A6A4*3-!7&3!0-!$2%@3-!-$'*-3!nBC8!
D$-!12*.!:-0&!)'&@0*/!2$!-$!:2$:0,'!+,-!:-''-!73273*)')!-.'!53&*-!72,3!'2,.!0-.!$2%@3-.!-$'*-3.!
$&',3-0.!EC!
!
Exemple#
!
!F2$.*4)32$.!0G-$.-%@0-!E!4-.!-$'*-3.!$&',3-0.!n*'-0.!+,-!
4n!1
!-.'!4*5*.*@0-!7&3!H8!
!I2$'3-3!+,-!0G-$.-%@0-!E*:2$'*-$'!0-!$2%@3-!$&',3-0!=8!
!I2$'3-3!+,-!.*!E!:2$'*-$'!,$!$2%@3-!$&',3-0!n/!*0!:2$'*-$'!)J&0-%-$'!.2$!.,*5&$'/!
n+1
8!
!K,-!7-,'A2$!:2$:0,3-!L!
!
! F-!732:)4)!4-!4)%2$.'3&'*2$!7&3!3):,33-$:-!-.'!4-5-$,/!.-02$!0-.!%2'.!4-!M2*$:&3)!
0,*A%N%-/!"!0-!3&*.2$$-%-$'!%&'()%&'*+,-!7&3!-O:-00-$:-!E/!42$'!*0!-O70*:*'-!0-!.:()%&!;!
*
Poincaré!PCQCRS!
!
T$! )'&@0*'! ,$!'()23U%-! 72,3! nVC!>! 2$! %2$'3-!
-$.,*'-!+,-!.G*0!-.'!53&*!4-!nAC/!*0!-.'!53&*!4-!n!
-'! 2$! :2$:0,'! +,G*0! -.'! 53&*! 72,3! '2,.! 0-.!
$2%@3-.! -$'*-3.8!PWS! FG-.'! 42$:! @*-$! 06! le*
raisonnement* mathématique* par* excellenceX!-'!
*0!$2,.!1&,'!0G-O&%*$-3!4-!70,.!73U.8!
9-! :&3&:'U3-! -..-$'*-0! 4,! 3&*.2$$-%-$'! 7&3!
3):,33-$:-!:G-.'!+,G*0!:2$'*-$'/!:2$4-$.).!72,3!
&*$.*!4*3-!-$!,$-!123%-!,$*+,-/!,$-!*$1*$*')!4-!
.Y002J*.%-.8!!
M2,3! +,G2$! .G-$! 7,*..-! %*-,O! 3-$43-! :2%7'-/!
Z-! 5&*.! )$2$:-3! 0-.! ,$.! &73U.! 0-.! &,'3-.! :-.!
.Y002J*.%-.! +,*! .2$'/! .*! 0G2$! 5-,'! %-! 7&..-3!
0G-O73-..*2$/!4*.72.).!-$!:&.:&4-8!
F-! .2$'/! @*-$! -$'-$4,/! 4-.! .Y002J*.%-.!
(Y72'()'*+,-.8!
!
M2*$:&3)![-$3*!PCR\]ACQCXS!
!
!9-!'()23U%-!-.'!53&*!4,!$2%@3-!C8!T3!.G*0!-.'!53&*!4-!C/!*0!-.'!53&*!4-!X8!^2$:!*0!-.'!53&*!4-!X8T3!.G*0!
-.'!53&*!4-!X/!*0!-.'!53&*!4-!H8!^2$:!*0!-.'!53&*!4-!H/!-'!&*$.*!4-!.,*'-8!
!T$!52*'!+,-!0&!:2$:0,.*2$!4-!:(&+,-!.Y002J*.%-!.-3'!4-!%*$-,3-!&,!.,*5&$'8!
!^-!70,.!0-.!%&Z-,3-.!4-!'2,.!$2.!.Y002J*.%-.!7-,5-$'!N'3-!3&%-$)-.!6!,$-!123%-!,$*+,-8!?*!0-!
'()23U%-!-.'!53&*!72,3!nAC/!*0!0G-.'!4-!n8!
PM2*$:&3)![8/!La*science*et*l’hypothèse/!_0&%%&3*2$/!M&3*./!CQCR/!778!CQAX]S!
#
Exercices.#^&$.!0-.!732@0U%-.!:*A4-..2,.!5)3*1*-3!0-.!)$2$:).!72,3!k*=*C/!X!-'!!H8!I2$'3-3!
+,-!.*!0G&11*3%&'*2$!-.'!53&*-!72,3!k=3*alors*elle*est*vraie*pour*k=4.*
Puis*démontrer*en*toute*généralité*que*si*elle*est*vraie*pour*k=n!alors*cela*entraîne**qu’elle*est*
vraie*pour*kVn+18!! !
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
1 Wikipedia
2 C’est nous qui soulignons.

CS ^)%2$'3-3!+,-!0&!.2%%-!4-.!!n!70,.!7-'*'.!-$'*-3.!72.*'*1.!)J&0-!n`PnBCSaX8!
#:3*',3-!&@3)J)-!!4-!0G&11*3%&'*2$!73):)4-$'-!;!
k=n(n+1)
2
k=1
n
!
8!
!
XS ^)%2$'3-3!+,-!0&!.2%%-!4-.!n*plus*petits*impairs*positifs*égale*n*au*carré8!
!
!
HS b32,5-3!,$-!123%,0-!+,*!-O73*%-!0-!$2%@3-!%&O*%&0!4-!3)J*2$.!4)0*%*')-.!7&3!n!
432*'-.!4&$.!0-!70&$/!7,*.!4)%2$'3-cA0&!
!
]S ^)%2$'3-3!+,-!
k2=n(n+1)(2n+1)
6
k=1
n
!
!
!
\S ^)%2$'3-3!+,-!
1+x+x2+... +xn=1!xn+1
1!x
8!
!
dS ^)%2$'3-3!+,-!.*!
f(x)=xn
!&023.!
f'(x)=n!xn"1
!72,3!
!n"N
8!
!
eS ^)%2$'3-3!+,-!0-!$2%@3-!4-!.2,.A-$.-%@0-.!4G,$!-$.-%@0-!6!n!)0)%-$'.!-.'!Xn8!
!
RS ?*!k*-.'!,$!$2%@3-!:2%73*.!-$'3-!=!-'!n!&023.!2$!7-,'!4)1*$*3!.&$.!&%@*J,f')!0-!
coefficient*binomial!
n
k
!
"
#$
%
&
!7&3!;!
n
k
!
"
#$
%
&=n!
k!'(n(k)!
!
!k"!
!&5-:!0&!:2$5-$'*2$!
.,*5&$'-!=!g!V!C8!!I2$'3-3!+,-!;!
!
!a)#
n
k
!
"
#$
%
&=n
n'k
!
"
#$
%
&
!
!
!b)#
n
k!1
"
#
$%
&
'+n
k
"
#
$%
&
'=n+1
k
"
#
$%
&
'
!
!
!c)#
a+b
( )
n
=n
0
!
"
#$
%
&'an+n
1
!
"
#$
%
&'an(1'b+n
2
!
"
#$
%
&'an(2'b2+... +n
n(1
!
"
#$
%
&'a'bn(1+n
n
!
"
#$
%
&'bn
V!
#=#
n
k
!
"
#$
%
&
k=0
n
'(an)k(bk
!
!
#d)#
n
k
!
"
#$
%
&
k=0
n
'=2n
8!
!
!e)#
(!1)k"n
k
#
$
%&
'
(
k=0
n
)=0
8!
!
QS ?2*'!#!V!0G-$.-%@0-!4-.!720Y$h%-.!4-!4-J3)!n!&4%-''&$'!n!3&:*$-.!3)-00-.8!M2,3!
P(x)=a0+a1x+a2x2+...+anxn
!4&$.!#!2$!4)'-3%*$-!0-!nombre*de*changements*de*
signes*de*ai*à*ai+1.*I2$'3-3!+,-!:-!$2%@3-!:233-.72$4!-O&:'-%-$'!&,!$2%@3-!4-!
3&:*$-.!positives!4-*P.!PiUJ0-!4-!^-.:&3'-.!CdHeS8!