Існує одна і тільки одна лінія, яка проходить через задану точкуP і перпендикулярна до даної лініїℓ. ЯкщоP∈ℓ, то і існування, і унікальність випливають з Аксіоми III. Існування д...Існує одна і тільки одна лінія, яка проходить через задану точкуP і перпендикулярна до даної лініїℓ. ЯкщоP∈ℓ, то і існування, і унікальність випливають з Аксіоми III. Існування дляP∉ℓ. ABДозволяти і бути двома різними точкамиℓ. Потімm йде перпендикулярна бісектриса до якогось[QQ′] сегментаℓ; зокрема,PQ=PQ′. Так якℓ перпендикулярна бісектриса до[PP′], ми отримуємо щоPQ=P′Q іPQ′=P′Q′.