La perpendicular es la más corta de las rectas que pueden trazarse a una recta de un punto situado fuera de ella.

Demostrar que Demostración. Prolónguese hasta de suerte que sea igual a , y trácese . Entonces se tendrá: Igualmente, Ahora bien,