Démontrons par récurrence que Un=n*(n-4)
Initialisation : U0=0 donc la propriété est vrai au rang n=0
Hérédité : Démontrons que la propriété est encore vraie au rang n+1
Soit Un+1=(n+1)(n-3) =n²-3n+n-3=n²-2n-3
Selon l'hypothèse de récurrence :
Un+1=Un+2n-3 =n*(n-4)+2n-3 =n²-4n+2n-3=n²-2n-3
Donc la propriété est vrai au rang n+1
La propriété est initialisé et héréditaire donc Un=n*(n-4)