c´est une démonstration un peu bizarre :
tu vérifie que ta relation est vrai au 1er rang
Puis tu pose une hypothèse de récurrence, qui est ce qu´on te demande de démontrer;
Enfin, tu vérifie que la relation est vrai au rang " n+1" en utilisant ton hypothèse de récurrence.
En fait, tu vérifie que ta relation marche au rang " n+1" en la supposant vraie au rang " n".