Dans un repère
( \mathrm { O }; \mathrm { I } , \mathrm { J } ), on considère un point
\text{A} fixé qui n'appartient pas à l'axe des abscisses
(\text{OI}). On veut représenter l'ensemble des points
\text{M} de coordonnées
\left( x _ { \mathrm { M } }\:; y _ { \mathrm { M } } \right) situés à égale distance du point
\text{A} et de la droite
(\text{OI}). La distance de
\text{M} à
(\text{OI}) est définie par la longueur
\text{MH} où
\text{H} est le projeté orthogonal de
\text{M} sur
(\text{OI}).
1. a. Justifier que ( \mathrm { OI } ) \perp ( \mathrm { MH } ).
b. Quelles sont les coordonnées du point \text{H}\:?
2. Justifier que le point \text{M} appartient à la médiatrice du segment [\text{AH}].
3. Réaliser alors la construction suivante avec GeoGebra :
a. placer le point
\text{A} de coordonnées
(1\:; 1)\:;
b. placer un point
\text{H} libre sur l'axe des abscisses ;
c. construire le point
\text{M} en utilisant les questions
1. et
2. ;
d. afficher la trace du point \text{M} et déplacer le point \text{H} le long de l'axe des abscisses. Quelle courbe semble-t-on obtenir ?