TEOREMA 9.2.

 Si uno de tales segmentos encuentra la recta a una distancia mayor del pie
de la perpendicular que otro segmento, entonces su longitud es mayor a la
del otro segmento. Y viceversa: si su longitud es mayor, entonces encuentra
la recta a una mayor distancia del pie de la perpendicular.
Demostración:
PROPOSICIONES RAZONES
1. Como antes, segmento Hipótesis
OQ' mayor segmento OQ
2. segmento OR 1, Postulado 2.
congruente segmento OQ,
O punto medio de
segmento RQ
3. segmento PR P en la mediatriz del
congruente PQ segmento RQ
4. ángulo PQR congruente Basales triangulo
ángulo PRQ isósceles
5. ángulo PRQ mayor Angulo exterior al triangulo
ángulo PQ'R PQ'R
6. ángulo PQR mayor Axioma 4,5.
ángulo PQ'R
7. segmento PQ' mayor Lados opuestos del
segmento PQ triángulo Q'PQ