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
Soit 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 - a = c - a + i*(b - a) = i2*(a - c) + i*(b - a) = i*(b - a + i(a - c)) = i*(j - a)
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