Initialisation
Pour n=0, d'une part nous avons que ud,0=0 et d'autre part :
rnd×2d2−d+2dd−2=r0d×2d2−d+2dd−2 =2d2−d+2dd−2 =−2d−(2−d)+2dd−2 =−2d−2+d+2dd−2 =−2dd−2+2dd−2 =0.
L'égalité est donc vraie au rang n=0.
Hérédité
Supposons que pour un certain entier n≥0 :
ud,n=rnd×2d2−d+2dd−2.
Montrons alors que :
ud,n+1=rn+1d×2d2−d+2dd−2.
On a :
ud,n+1=rdud,n+1 =rd(rnd×2d2−d+2dd−2)+1 =rn+1d×2d2−d+rd×2dd−2+1 =rn+1d×2d2−d+d+22d×2dd−2+1 =rn+1d×2d2−d+d+2d−2+1 =rn+1d×2d2−d+d+2d−2+d−2d−2 =rn+1d×2d2−d+d+2+d−2d−2 =rn+1d×2d2−d+2dd−2◻
Conclusion
D'après le principe de récurrence, pour tout entier n : ud,n=rnd×2d2−d+2dd−2.
✕