OE<OD
Corollaires.
42. La perpendiculaire 01 abaissée d'un point 0 sur une droite AB est la ligne la plus courte que l'on puisse mener de ce point à la droite : sa longueur est ce qu'on appelle la distance du point 0 à la droite AB.
W. La perpendiculaire 01 étant plus courte que toute oblique OC, il suit du n" 37 que l'angle OCI est moindre que l'angle droit OIC. Donc, lorsque deux droites AB et OC se coupent, la perpendiculaire 01, abaissée d'un point de l'une sur l'autre, est située dans l'intérieur de l'angle aigu OCB formé par ces deux droites.
On peut conclure de là que, dans tout triangle reciangle, les deux angles autres que l'angle droit sont aigus.
SCOLIES
W. L'exactitude des réciproques des propositions qui précèdent résulte immédiatement du principe général énoncé au n"" 40.
I* Si une droite est la plus courte distance d'un point à une autre droite, ces deux droites sont perpendiculaires entre elles,
7? Si deux obliques à une même droite partent dun même point et sont^égales entre elles y elles s'écartent également du pied de la perpendiculaire abaissée du point sur la droite.
24 GfiOHÊTRIE PLANE.
3* Si deux obliques à une même droite partent d'un même point et sont inégales, la plus grande s'éloigne le plus du pied de la perpendiculaire abaissée du point sur la droite.
45. D'un même point, on ne peut mener à une droite que deux obliques égales, et ces obliques sont situées de part et d'autre de la perpendiculaire abaissée du point sur fa droite.
THÉORÈME
46. Tout point M de la perpendiculaire CD élevée sur le milieu d'une droite AB est également distant des extrémités A et B de cette droite (fig. 33 ).
Fig. 33.
En effet, C étant le milieu de AB, on a CA — CB; donc MA et MB sont des obliques qui s*écartent également du pied de la perpendiculaire CD. On a donc ( 41 ) MA == MB.
47. Réciproqubhent, tout point M équidistant des extrémités A. etB d'une droite AB appartient à la perpendiculaire CD menée à cette droite par son milieu C.
En effet, le triangle MAB étant isocèle par hypothèse, la droite MC, qui joint le sommet au milieu C de la base, est perpendiculaire sur celte base (38).
Corollaires.
48. Il résulte de ce qui précède que tous les points de la perdendiculaire menée à une droite par son milieu sont équidisiants des extrémités de celle droite, et que les points de celle perpendiculaire sont les seuls points du plan qui jouissent de cette propriété.
En Géométrie plane, on donne le nom de lieu géométrique à la figure formée par l'ensemble des points du plan qui jouissent d'une propriété commune. On peut donc exprimer la double proposition qui précède en disant :
La perpendiculaire élevée sur le milieu d'une droite est le LIEU GÉOMfiTEiQUB des points équidistants des extrémités de cette droite.
49. Deux points suffisent pour déterminer une droite. Donc, dès qu'une droite a deux points équidisunts des extrémités d'une seconde droite, on peut affirmer que la première droite est perpendiculaire sur le milieu de la seconde.
THÉORÈME
