La proposition est vraie.L'équation
z−1=0 a pour solution le nombre
a=1 affixe d'un point appelé
A.
On résout dans
C l'équation
(z2−8z+25)=0Δ=−36.
Donc cette équation admet deux solutions complexes conjuguées
b=4+3iet
c=4−3iaffixe respectivement des points
B et
C.
L'équation
(E) a donc trois solutions qui sont les affixes des trois points
A,
B et
C.
- AB2=∣b−a∣2=∣4+3i−1∣2=∣3+3i∣2=9+9=18
- AC2=∣c−a∣2=∣4−3i−1∣2=∣3−3i∣2=9+9=18
- BC2=∣c−b∣2=∣4−3i−4−3i∣2=∣−6i∣2=36
- 18 + 18 = 36 donc (BC)2=(AB)2+(AC)2 , d'après la réciproque du théorème de Pythagore, le triangle ABC est rectangle en A.
Donc les points du plan dont les affixes sont les solutions dans
C de l'équation
(E) sont les sommets d'un triangle rectangle.