Je dois montrer que 1 + 2 + 3 + ... +n = n(n+1)/2
Je fais par récurrence :
Pour n = 1 c'est trivial : 1*(1+1)/2 <=> 1*2/2 <=> 1
Ensuite pour l'hérédité je suppose que
1 + 2 + 3 + ... + n <=> n(n+1)/2
Du coup
1 + 2 + ... + n + (n+1) <=> n(n+1)/2 + (n+1) <=> (n(n+1) + 2(n+1))/2 <=> (n²+3n+2)/2
Ensuite j'applique le discriminant
delta <=> 9-8 <=> 1 d'où les 2 racines x1 <=> -1 et x2 <=> -2
et je factorise (n²+3n+2)/2 <=> (n+1)(n+2)/2 et c'est ok pour l'hérédité
Mon raisonnement est juste?