On identifie le plan affine euclidien orienté avec l'ensemble des nombres complexes.
On identifie toute application f du plan dans lui-même avec l'application de dans qui à l'affixe z
d'un point quelconque M associe l'affixe Z du point image f(M).
Comme indiqué sur la figure, on se donne le triangle ABC et les points P, Q, R (qui sont les points
d'intersection des paires de trisectrices adjacentes des angles du triangle ABC).
On note
,
,
Soit f, g, h les rotations de centres respectifs A, B, C d'angles respectifs
,
,
.
Pour tout z de C, on pose f(z) = a1z + b1, g(z) = a2z + b2, h(z) = a3z + b3.
Pour simplifier les notations, on pose ω = a1a2a3.
1) Montrer que f ο g (resp. g ο h, h ο f) est une rotation de centre R (resp. P, Q).
2) En déduire les affixes p, q, r de P, Q, R en fonction de a1, a2, a3, b1, b2, b3.
3) Par un argument géométrique, montrer que f3 ο g3 o h3 = Id (application identité).
4) En déduire que : a) ω
b) (a1² + a1 + 1)b1 + a13(a2² + a2 +1)b2 + a13 a23(a3² + a3 + 1)b3 =0
5) On pose E = - ωa1² a2(a1 - ω)(a2 - ω)(a3 - ω)(p + ωq + ω²r).
En utilisant les expressions de p, q, r et le fait que ω est dans , développer et simplifier
l'expression E, pour obtenir finalement E = 0.
6) En déduire que p + ωq + ω²r = 0, et montrer que PQR est un triangle équilatéral.
Exercice 4 : Point de Fermat (F. Rouvière, page 386)
Soient A, B, C trois points non alignés du plan euclidien ² ; on suppose les trois angles du
triangle ABC strictement inférieurs à
. On recherche le minimum sur ² de la fonction
f (M) = MA + MB + MC
où MA =
désigne la distance euclidienne des points M et A.
1) Montrer que ce minimum est atteint en (au moins) un point P, intérieur au triangle ABC et
distinct de A, B et C.
2) Montrer par le calcul différentiel que les angles
,
et
sont égaux à
. En déduire
que P est unique, et que f admet en ce point un minimum global strict.
3) Sur les côtés du triangle ABC, on construit, vers l'extérieur, trois triangles équilatéraux
ABC',BCA' et ACB'. Montrer que les droites (AA'), (BB') et (CC') sont concourantes en P, et que le
minimum de f est
f (P) = AA' = BB' = CC'.