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