de [OS], donc tout point de cette droite est équidistant de O et de S, donc EO = ES.
On en déduit que S appartient au cercle de centre E et de même rayon que le cercle (C).
Le quadrilatère OMSE est un losange car ses quatre côtés ont la même longueur.
Donc
et S est l'image de M par la translation t de vecteur
.
M décrit le cercle (C) privé des points A et B (car si M est confondu avec A ou B, les carrés
n'existent pas), donc S décrit l'image par t du cercle (C) privée des points A' = t(A) et B' = t(B) ;
Finalement, le lieu de S est le cercle de centre E et de même rayon que (C), privé des points
A' et B'.
Partie C – Démonstration utilisant les complexes
Le plan est rapporté à un repère orthonormal direct d'origine O tel que l'affixe de A soit 1.
1. On a OA = 1, donc (C) est le cercle de centre O et de rayon 1, donc OM =
est un complexe de module 1, donc il existe un réel
.
2. O est l'origine du repère et
.
En utilisant des quarts de tour, on obtient :
Z1=zN−zM=−i eii1−ei=1i1−ei
Z2=zR−zM=i eii−1−ei=i−11ei
.
Pour montrer que M, N et R sont alignés, on montre que les vecteurs
sont
colinéaires, c'est-à-dire que le quotient de leurs affixes est réel.
Z1
Z2
=1i1−ei
i−11ei
.
On transforme ce quotient en multipliant le numérateur et le dénominateur par le conjugué du
dénominateur ; le nouveau dénominateur est le carré du module du dénominateur initial, donc un
réel.
Pour montrer que le quotient est réel, il suffit donc de montrer que le nouveau numérateur n est
réel ; le conjugué de
n=1i1−ei−i−11e−i=−1i21e−i−ei−1
n=−12 i−1cos−i sin −cos −i sin =−2 i×−2 i sin =−4sin
Donc n est réel ; le quotient
est réel, ces deux vecteurs sont
colinéaires, ce qui entraîne que les points M, N et R sont alignés.
Le vecteur
; N, R et E sont alignés, la droite (NR) passe par E.
De manière plus précise : E est le milieu de [NR].
ES =
∣zS−zE∣=∣iei−i∣=∣ei∣=1
, donc S appartient bien au cercle de centre E et de rayon 1
(rayon du cercle (C) ).