D OMAINE : Combinatoire

N IVEAU : Dbutants
C ONTENU : Cours et exercices

A UTEUR : Franois L O J ACOMO

S TAGE : Montpellier 2013

Rcurrence

- La Rcurrence Le principe de rcurrence est fondamentalement li la notion de nombre entier : chaque fois que lon doit dmontrer quun rsultat est vrai pour
tout entier partir dun certain rang, que ce soit en arithmtique, gomtrie,
algbre... on peut tre amen raisonner par rcurrence.
La dmonstration par rcurrence repose sur le fait que tout entier n possde
un suivant n + 1, et que si lon "gravit marche aprs marche" lensemble N
des entiers naturels, en partant de 0, en allant dun entier au suivant et en
recommenant indfiniment, on parcourt ainsi intgralement N.
On va donc dmontrer quune proprit est vraie pour lentier n = 0 (initialisation), puis que si elle est vraie pour un entier n > 0 quelconque, elle est
encore vraie pour lentier suivant n + 1 (induction) : on dduit de cela que la
proprit est vraie pour tout entier naturel n. Cest le raisonnement par rcurrence.
On notera que les deux parties de la dmonstration sont toutes deux importantes, mme si la premire est souvent assez vidente. Il ne faut pas oublier
dinitialiser la rcurrence, donc de dmontrer que la proprit est vraie pour
n = 0. On peut dmarrer la rcurrence en une valeur autre que 0, par exemple
en 1, 2, ou K ; il faudra alors prouver (initialisation) que la proprit est
vraie pour n = K, puis (induction) que pour n > K, si elle est vraie pour n elle
lest encore pour n + 1.
On notera galement que linduction connait quelques variantes. Par exemple, il arrive que lon ait dmontrer que si la proprit est vraie en outre pour
tout entier k 6 n, alors elle est vraie pour n + 1.
Exercice 1
1

Soient a, b et u trois rels, a =

6 1, et (un ) une suite dfinie par : u0 = u
et pour tout n > 0, un+1 = aun + b. Dmontrer que pour tout n > 0, un =
n
1
.
an u + b aa1
Exercice 2
P
a) Montrer que pour tout n > 1, nk=1 k12 6 2 n1 .
b) Montrer que pour tout n > 2, n21n n21+n > n23
P
c) En dduire que pour tout n > 1, nk=1 k13 6 54
Exercice 3
Montrer que pour tout n > 1, il existe un multiple de 2n de n chiffres tous
gaux 1 ou 2.
Exercice 4
Soient n et a deux entiers strictement positifs, tels que n > 2 et a 6 n!.
Montrer quil existe k < n et k entiers d1 , d2 , ...dk deux deux distincts divisant
chacun n! tels que a = d1 + d2 + + dk .
Exercice 5
On considre la suite de Fibonacci (Fn )dfinie par : F0 = 0, F1 = 1 et pour
tout n > 1 Fn+1 = Fn + Fn1 . Soit = 1+2 5 la racine positive de lquation :

n
x2 = x + 1. Montrer que pour tout n > 0, Fn+1 Fn = 1 .
Exercice 6
2n + 1 lves sont placs de telle sorte que les distances entre deux dentre
eux sont toutes diffrentes. A un moment donn, chacun deux tire sur llve
le plus proche de lui avec un pistolet eau.
a) Montrer quil existe deux lves qui se tirent mutuellement dessus,
b) Montrer quau moins un des lves nest pas vis.
Exercice 7
a) Soient quatre points dun plan. Montrer quau moins un des quatre triangles quils forment nest pas acutangle (cest--dire ayant tous ses angles
strictement infrieurs 90).
b) Soient n points dun plan, avec n > 5. Montrer quau plus 70% des triangles quils forment sont acutangles.
Exercice 8
Montrer que pour toute paire dentiers strictement positifs k et n, il existe k
entiers strictement positifs (non ncessairement distincts) m1 , m2 , , mk tels

que :
2k 1
1+
=
n






1
1
1
1+
1+
1 +
m1
m2
mk

On commencera par montrer que si cest vrai pour la paire k, n cest galement
vrai pour la paire k + 1, 2n
Solution de lexercice 1
Comme le rsultat doit tre dmontr pour tout n > 0, cest en n = 0 quon
va linitialiser.
Si n = 0, an = 1, ce qui donne bien u0 = u, conforme la dfinition de
(un ) : linitialisation est termine.
Quant linduction : supposons que pour un n > 0 donn, un = an u +

n
n
1
1
b aa1
(hypothse de rcurrence). Par dfinition, un+1 = aun +b = a an u + b aa1
+
n+1
n+1
a1
b = an+1 u + b a a1a + b a1
= an+1 u + b a a11 ce qui achve la dmonstration.
Solution de lexercice 2
a) Linitialisation est immdiate. Pour n = 1, lingalit est manifestement
vraie : 1 6 2 11 . Supposons maintenant (hypothse de rcurrence) que, pour
P
P
1
1
1
un certain n, nk=1 k12 6 2 n1 . Il en rsulte que : n+1
k=1 k2 6 2 n + (n+1)2 . Il
1
pour
suffit de prouver que ce second membre est lui-mme infrieur 2 n+1
conclure que lingalit est vraie au
 rang suivantn + 1, donc,
par rcurrence,
1
1
1
quelle est vraie pour tout n. Or 2 n1 + (n+1)
2 n+1
= n(n+1)
2
2 < 0,
do le rsultat.
b) Il sagit l dun simple calcul qui nous servira pour la question suivante :
(n2 +n)(n2 n)
1
2n
2
2
1
3
3
n2 n n2 +n = (n2 n)(n2 +n) = n4 n2 = n3 n > n3 car n n < n . On remarquera
que n2 n = (n 1)n et n2 + n = n(n + 1).
c) En sinspirant du a), on va montrer non pas directement que la somme
est infrieure 54 , mais quelle est infrieure 54 moins une fonction de n qui,
lorsquon ajoute le terme suivant de la somme, fait apparatre la mme fonction au rang suivant. Pour sinspirer plus directement de la question b), on
va supposer que la relation est vraie au rang n 1 et montrer quelle est vraie
pour n. Concrtement,
que lon va chercher dmontrer (hypothse
Pn la relation
1
5
de rcurrence) est : k=1 k3 6 4 2(n21+n) . Commenons par initialiser la rcurrence : pour n = 1, 1 6 54 14 . Cest pour que cette initialisation soit vraie quon
a choisi la constante 54 , car cette constante ne joue aucun rle dans la partie induction. Si lon avait dmarr notre rcurrence en n = 2, on aurait pu choisir
3

une autre constante, 29

24 qui est donc une meilleure majoration de la somme des
inverses des cubes.
P
Mais terminons la dmonstration de notre rcurrence : si la relation nk=1 k13 6
Pn1 1
Pn 1
5
5
1
1
6

est
vraie
au
rang
n

1,
donc
si

,
alors
2
3
2
k=1
k=1 k3 6
4
2(n +n)
k
4
2(n n)
5
5
1
1
1
4 2(n2 n) + n3 < 4 2(n2 +n) daprs le b), donc lingalit est vraie au rang
suivant n, et par rcurrence elle est vraie pour tout entier n.
Solution de lexercice 3
Pour n = 1, 2 est multiple de 2. Essayons les premires valeurs de n : pour
n = 2, 12 est multiple de 4, puis 112 de 8, 2112 de 16, 22112 de 32 etc... Lide
est, pour passer au rang suivant, dajouter un premier chiffre, 1 ou 2. En effet,
si an est divisible par 2n , an ayant n chiffres tous gaux 1 ou 2 (hypothse
de rcurrence), les deux nombres : 10n + an et 2 10n + an ont tous deux n + 1
chiffres tous gaux 1 ou 2. Il reste donc prouver que lun des deux est
multiple de 2n+1 .
Or si lon pose an = 2n bn , 10n + an = 2n (5n + bn ) : si bn est impair,
5n + bn est pair, donc 10n + an est divisible par 2n+1 . Maintenant, si bn est pair,
cest : 2 10n + an = 2n (2 5n + bn ) qui est divisible par 2n+1 car 2 5n + bn est
pair. Que bn soit pair ou impair, on peut trouver un an+1 de n + 1 chiffres tous
gaux 1 ou 2 qui soit divisible par 2n+1 : cest prcisment ce quon devait
dmontrer.
Solution de lexercice 4
Pour initialiser la rcurrence, on vrifie que la relation est vraie pour n = 0 :

0
F1 F0 = 10 = 1
. On peut encore, bien que ce ne soit pas indispensable,

1
vrifier cette relation au rang n = 1 : F2 F1 = 1 = 1
. Le principal

avantage de cette seconde vrification est de nous rappeler une formule dont
nous aurons besoin par la suite : 1 = 1
.
Supposons maintenant
(hypothse de rcurrence) quau rang n on ait :


1 n
Fn+1 Fn = , et dduisons en cette mme relation au rang suivant
n + 1. Par dfinition de la suite de Fibonacci, Fn+2 Fn+1 = (Fn+1 + Fn )
Fn+1 = (1 )Fn+1 + Fn . Or, nous venons de le voir : 1 = 1
, donc


n+1
1
Fn+2 Fn+1 = 1
puisque, par hypothse de rcur (Fn+1
Fn ) =

1 n
rence, Fn+1 Fn = .
Solution de lexercice 5
a) Parmi toutes les distances entre deux lves, deux deux distinctes par
hypothse, lune est plus petite que toutes les autres. Les deux lves situs
4

cette distance minimale se tirent dessus mutuellement.

b) Initialisons la rcurrence : pour 2n + 1 = 3, parmi trois lves, deux se
tirent mutuellement dessus, et personne ne tire sur le troisime, qui nest donc
pas vis. Le rsultat est bien vrai.
Maintenant, considrons 2n + 3 lves. Deux dentre eux, A et B, se tirent
mutuellement dessus. Parmi les 2n + 1 autres, soit lun au moins tire sur A ou
B, et au maximum 2n lves autres que A et B sont viss, lun au moins nest
pas vis. Soit les 2n + 1 autres se tirent dessus entre eux, et on peut utiliser
lhypothse de rcurrence pour affirmer que lun deux au moins nest pas
vis.
On notera que ce rsultat nest vrai que pour un nombre impair dlves :
pour un nombre pair, il est possible de les positionner de sorte quils se tirent
mutuellement dessus deux deux.
Solution de lexercice 6
a) Il sagit dune question lmentaire de gomtrie, qui nous sera utile
pour la question b. Soit les quatre points forment un quadrilatre convexe,
auquel cas, la somme des quatre angles du quadrilatre tant gale 360 , lun
au moins des quatre angles est suprieur ou gal 90 , donc lun au moins
des quatre triangles nest pas acutangle. Soit un des points est lintrieur du
triangle form par les trois autres, auquel cas les trois angles de sommets ce
point ont pour somme 360 , lun au moins de ces trois angles est suprieur ou
gal 120 , a fortiori 90 .
b) Initialisons la rcurrence avec cinq points. Ils dterminent dix triangles.
Mais ils dterminent galement cinq sous-ensembles de quatre points. Chaque
triangle appartient deux sous-ensembles de quatre points, et chaque sousensemble de quatre points contient au moins un triangle non acutangle. Donc
en comptant deux fois chaque triangle, on en a au moins cinq non acutangles.
Il y en a donc au moins 2,5 parmi 10 non acutangles. Mais comme le nombre de
triangles non acutangles est ncessairement entier, il y en a au moins 3 parmi
10 non acutangles, donc au plus 70% de triangles acutangles.
Linduction va consister prouver que la proportion maximale pn de triangles acutangles ne peut que diminuer quand n augmente. Considrons n + 1
points. Ils contiennent
Dans chaque sous
n + 1 sous-ensembles de n npoints.


n
ensemble, il y a : 3 triangles, dont au plus pn 3 acutangles. Si lon additionne, on trouvera chaque triangle n 2 fois. Donc le nombre

n+1 de triangles


n
acutangles parmi les n + 1 points est au maximum : pn 3 n2 = pn n+1
:
3


n+1
comme il y a 3 triangles, la proportion pn+1 6 pn , ce qui achve la dmon5

stration.
Solution de lexercice 7
Cet exercice est le problme 1 de lOlympiade Internationale 2013. Cest une
variante de la dmonstration par rcurrence.
Commenons, comme propos, par prouver que si cest vrai pour k et n,
k
cest vrai pour k + 1 et 2n. Pour k, n, le membre de gauche scrit : 2 +n1
. Pour
n
k+1
k+1
. Le quotient des deux est : 22k+1 +2n1
k + 1, 2n : 2 +2n1
2n
+2n2. En dautres termes, si



k
k+1
1
mk+1 = 2k+1 + 2n 2, 1 + 2 2n1 = 1 + 2 n1 1 + mk+1
. Donc si le rsultat est
vrai pour k et n, il est encore vrai, avec un facteur de plus, pour k + 1 et 2n.
On dmontre pareillement que si cest vrai pour k et n, cest
k+1

 vrai pour

k+1
k+1
k
1
1
+2n2
et 2n1, avec un (k+1)-me facteur. 1+ 22n1
= 2 2n1
= 1 + 2 n1 1 + 2n1
.
Maintenant, il faut initialiser la rcurrence : pour k = 1, le rsultat est immdiat quel que soit n, avec m1 = n. Pour n = 1, il est tout aussi immdiat
quel que soit k avec m1 = m2 = = mk = 1. Donc daprs ce quon vient de
dmontrer, il est encore vrai pour n = 2 et k > 2. Mais il est aussi vrai pour
n = 2 et k = 1. On en dduit quil est vrai pour n = 4 et n = 3 et k > 2, quoi
sajoute le cas dmontr sparment n = 4 ou 3 et k = 1. Plus gnralement,
si (pour N > 1) le rsultat est vrai pour tout entier n 6 2N, et tout k, alors il
est vrai en particulier pour n = N + 1, donc pour n = 2N + 2 et p = 2N + 1
et k > 2. Mais il est vrai aussi, par ailleurs, pour n = 2N + 2 et p = 2N + 1 et
k = 1. Donc en dfinitive, sil est vrai pour tout entier n 6 2N et tout k, il est
vrai pour tout entier n 6 2N + 2 et tout k, donc par rcurrence il est vrai pour
tout n et tout k.