next up previous contents
suivant : B.3.2 Exemple remonter : B.3 Raisonnements par récurrence précédent : B.3 Raisonnements par récurrence

B.3.1 Principe

Ce type de raisonnement ne s'applique que dans des propriétés faisant intervenir des nombres entiers. Par exemple, ``Quel que soit $n \geq 0$, $n^2 - n$ est pair''. Pour prouver qu'une propriété est vérifiée quelle que soit la valeur de $n$, on effectue une preuve par récurrence en procédant en deux temps :


next up previous contents
suivant : B.3.2 Exemple remonter : B.3 Raisonnements par récurrence précédent : B.3 Raisonnements par récurrence
Alexandre
2009-07-20