Non la récurrence c'est pas ça (si j'ai bien compris ce que t'as écrit). Suffit pas de montrer que ça marche pour n+1, mais que ça marche pour tout n.
Donc tu fais :
initialisation : Tu calcules P(0) donc pour n = 0 et tu montres que c'est vrai.
hérédité : Tu supposes P(n) vraie, et à partir de là tu montres que si P(n) est vraie, alors P(n+1) est vraie.
Donc en gros t'as
1+x+x²+...+x^n = (1-x^(n+1))/(1-x)
<=> 1+x+x²+...+x^n+x^(n+1) = (1-x^(n+1))/(1-x) + x^(n+1)
Et t'as juste à calculer le truc au dessus pour trouver que ça fait bien (1-x^(n+2))/(1-x)