suivant: La démonstration du théorème
monter: Le théorème de 1968
précédent: Une démonstration géométrique
Table des matières
Index
Si on note :
a=affixe(A), b=affixe(B), c=affixe(C),
on a :
j=affixe(J)=b+i*(a-b)-i*(c-b)=b+i(a-c)
l=affixe(L)=c+i*(b-c)-i*(a-c)=c+i(b-a)
On a donc :
L'égalité l-a=i*(j-a) prouve que L se déduit de J
par la rotation de centre A et d'angle pi/2.
Documentation de giac écrite par Renée De Graeve