Pour l'exo sur les complexes, j'ai pas vu si qqn y avait répondu, mais personnellement, j'ai fait comme ça :
Soit ABC un triangle rectangle, avec a, b, c resp. affixe de A, B, C.
On a (1) : AB = BC = CA
et (2) : (tous les angles égaux, mais j'ai la flemme de l'écrire)
(1) <=> |a-b| = |c-a| = |b-c|
Ainsi, on peut écrire que |(a-b)/(c-b)| = |(b-c)/(a-c)| = |(c-a)/(b-a)| = 1 (il manque une étape p-ê entre les 2, mais c'est vraiment lourd à écrire).
(2) <=> arg((a-b)/(c-b))= arg((b-c)/(a-c)) = arg((c-a)/(b-a)) = k
Ainsi(a-b)/(c-b)=|(a-b)/(c-b)| e^(i*arg((a-b)/(c-b))) = e^ik
Par raisonnement identique, on a (a-b)/(c-b)=(b-c)/(a-c)=(c-a)/(b-a) = e^ik
Un peu de LaTeX serait le bienvenu tout de même...
Juste, pour le premier exo, la première récurrence, j'ai pas tout regardé, mais j'ai vu personne écrire que (1+2+3+...+n)=(n(n+1))/2. Ecrit comme ça, l'hérédité se fait toute seule...