Из точки нележащий на прямой провести перпендикуляр. И только единственный

Пусть дана прямая а и точка О, не лежащая на прямой а.
Проведем окружность произвольного радиуса с центром в точке O, пересекающую прямую a в двух точках A и B.
Проведем две окружности с центрами в точках A и B и радиусом, равным OA. Пусть $O_{1}$ – точка пересечения, отличная от точки O, (O и $O_{1}$ лежат в разных полуплоскостях).
Тогда прямая $OO_{1}$ перпендикулярна данной прямой a.
Итак, $OO_1$ ⊥a

Из точки нележащий ** прямой провести перпендикуляр. И только единственный