« Démontrer par récurrence que pour tout n ≥ 1, 1 + 2 + ... + n = n(n+1)/2 »
Plan proposé
- P(n) : 1 + 2 + ... + n = n(n+1)/2
- INITIALISATION : P(1) : 1 = 1×2/2 = 1 ✓ donc P(1) est vraie.
- HÉRÉDITÉ : supposons P(n) vraie. Alors 1 + 2 + ... + n + (n+1) = n(n+1)/2 + (n+1) = (n+1)(n/2 + 1) = (n+1)(n+2)/2 = P(n+1). ✓
- CONCLUSION : par récurrence, P(n) est vraie pour tout n ≥ 1.