Доказательство.
Пусть b – данная прямая, а точка A принадлежит этой прямой. Возьмем некоторый луч b1 на прямой b с начальной точкой в A. Отложим от луча b1 угол (a1b1), равный 90°. По определению прямая содержащая луч a1 будет перпендикулярная прямой b.
Допустим, существует другая прямая перпендикулярная прямой b и проходящая через точку A. Возьмем на этой прямой луч с1, исходящий из точки A и лежащий в той же полуплоскости, что и луч a1. Тогда ∠ (a1b1) = ∠ (c1b1) = 90 º. Но согласно аксиоме 8, в данную полуплоскость можно отложить только один угол, равный 90 º. Следовательно, нельзя провести другую прямую перпендикулярную прямой b через точку A в заданную полуплоскость. Теорема доказана.