TEOREMA 9.1.

Sea un punto exterior a una recta. Considérese la colección de todos los segmentos
que unen a dicho punto con los puntos de la recta. Entonces:
 El segmento perpendicular es el más corto de todos ellos, es decir, es el que
tiene menor longitud.
Demostración:
PROPOSICIONES RAZONES
1. P es punto exterior a la Hipótesis
recta L, O pie de la
perpendicular, Q y R
puntos en la recta L a lados
distintos del pie.
2. ángulo POQ congruente 1. ángulos rectos: recta PO
ángulo POR perpendicular a la recta L
3. ángulo POR mayor Ángulo exterior al triangulo
ángulo PQO POQ
4. ángulo POQ mayor Axioma 2,3
ángulo PQO
5. segmento PQ mayor Lados opuestos
segmento PO respectivos