Hay una y sólo una línea que pasa a través de un punto dadoP y es perpendicular a una línea dadaℓ. Desde arriba podemos elegir un punto de talP′ manera queℓ forme la bisectriz pe...Hay una y sólo una línea que pasa a través de un punto dadoP y es perpendicular a una línea dadaℓ. Desde arriba podemos elegir un punto de talP′ manera queℓ forme la bisectriz perpendicular a[PP′]. Entoncesm es una bisectriz perpendicular a algún segmento[QQ′] deℓ; en particular,PQ=PQ′. Ya queℓ es la bisectriz perpendicular a[PP′], obtenemos esoPQ=P′Q yPQ′=P′Q′.