Démontrons que ∀ n ∈ N* on a ... (propriété)
- Initialisation
Pour n=1 on a ... La propriété est vraie pour n=1
- Hérédité
- Hypothèse de récurrence :
Supposons que la propriété soit vraie pour un certain rang k
- Démontrons que la propriété est vraie pour k+1
Par hypothèse de récurrence on a : ... (calcul)
- Conclusion
La propriété est vraie pour n=1 et héréditaire à partir de ce rang. D'après le principe de récurrence, la propriété est vraie ∀ n ∈ N*.
