Peut-être qu'un exemple vous aidera à y voir plus clair.
Montrons par récurrence que pour tout entier
\over2})
.
Soit P_n la propriété :
\over2})
.
1.
InitialisationOn veut montrer que

est vraie :
membre de gauche : c'est 1.
Membre de droite : c'est
\over2}={2\over2}=1)
.
Donc

est vraie.
2.
HéréditéSupposons

vraie et montrons qu'alors

est vraie.
Sur un brouillon, vous écrivez
\over2})
. C'est ce que vous supposez.
Et
={(n+1)(n+2)\over2})
. C'est ce que vous voulez montrer.
On a :
={n(n+1)\over2}+(n+1))
par hypoyhèse de récurrence

en réduisant au même dénominateur

en simplifiant.
D'autre part,
(n+2)\over2}={n^2+2n+n+2\over2}={{{n^2+3n+2}\over2}})
.
Donc
={(n+1)(n+2)\over2})
donc

est vraie.
3.
ConclusionOn a montré que

est vraie, et que si

est vraie, alors

est vraie.
On a donc montré que pour tout

,

est vraie, c'est-à-dire que pour tout
\over2})
.
Compris?