Professional Documents
Culture Documents
Exercice corrigé
Introduction
On vérifie que On suppose que On vérifie alors que On conclut que, pour tout
est vraie est vraie est vraie entier naturel ,
est vraie
Correction de l’exercice 1
Démontrons par récurrence que la proposition est vraie pour tout entier naturel non nul.
1) Initialisation :
D’une part, on a :
D’autre part, on a :
Ainsi, on a :
2) Hérédité :
( )
Au rang , on a :
⏟ ( ) ( )
√ √
( ) ⏟
( )
Ainsi,
( )
On a donc bien vraie. On vient donc de montrer que, pour tout , si est vraie au rang ,
alors est vraie au rang . Autrement dit, la proposition est héréditaire.
3) Conclusion :
On vient d’établir que est vraie et que, pour tout , . Autrement dit, on vient de
montrer que la proposition est initialisée au rang et est héréditaire donc, d’après le principe du
raisonnement par récurrence, la proposition est vraie pour tout entier naturel non nul. En définitive, quel
que soit , on a par conséquent :