suite : u(0)=1 ; u(n+1)=2*u(n)+1 ; v(n)=2^(n+1)-1
récurrence : P(n) : "pour tout entier n : u(n)=v(n)"
initialisation :
u(0)=1 et v(0)=1 ⇒ P(0) est vraie
hérédité :
supposons qu'il existe un entier k tel que P(k) vraie
⇒ u(k)=v(k)
⇒ u(k+1)=2*u(k)+1=2*v(k)+1=2*(2^(k+1)-1)+1=2^(k+2)-1=v(k+1)
⇒ P(k+1) est vraie
conclusion :
pour tout entier n : u(n)=2^(n+1)-1