Initialisation pour n=0. 0 est bien égal à 0(0+1)/2=0...
Supposons qu'il existe p dans N tel que l'égalité soit vraie. Montrons qu'alors l'égalité reste correcte pour p+1.
C'est à dire il faut montrer que si on a 1+2+...+p=p(p+1)/2 alors on a 1+2+...+(p+1)=(p+1)(p+2)/2
On a déjà 1+2+...+p=p(p+1)/2
Ainsi 1+2+...+p+(p+1)=[p(p+1)/2] + [p+1]
Par conséquent 1+2+...+p+(p+1)=[p(p+1) + 2(p+1)]/2
Donc 1+2+...+p+(p+1)=[(p+1)(p+2)]/2
Ce qui est exactement ce qui est à démontrer.
Bref on a égalité pour n=0 et la propriété est héréditaire donc on a bien 1+2+3+...+n=n(n+1)/2 pour tout n dans N....