L'induction mathématique est une façon particulière de prouver une vérité mathématique. Elle peut être utilisée pour prouver que quelque chose est vrai pour tous les nombres naturels (tous les nombres entiers positifs). L'idée est que
puis
Dans le langage prudent des mathématiques :
Parce que c'est vrai pour 1, alors c'est vrai pour 1+1 (=2, par l'étape d'induction), alors c'est vrai pour 2+1 (=3), alors c'est vrai pour 3+1 (=4), et ainsi de suite.
Un exemple de preuve par induction :
Prouvez que pour tous les nombres naturels n :
Preuve :
Premièrement, la déclaration peut être écrite : pour tous les nombres naturels n
Par induction sur n,
Premièrement, pour n=1 :
C'est donc vrai.
Ensuite, supposons que pour certains n=n0, l'affirmation est vraie. C'est-à-dire, :
Puis pour n=n0+1 :
peut être réécrite
Puisque 2 ∑ k = 1 n 0 k = n 0 ( n 0 + 1 ) , {\displaystyle 2\sum _{k=1}^{n_{0}}k=n_{0}(n_{0}+1),}
La preuve est donc correcte.