Доведіть, що через точку, яка не належить даній прямій, проходить тільки одна пряма перпендикулярна до даної. Помогите пожалуйста (если что могу перевести на русский)

Пусть O – данная точка, лежащая вне данной прямой a, b – прямая, проходящая через точку O и перпендикулярная прямой a. Чтобы построить прямую, нам необходимо указать (построить) еще какую-либо ее точку. Для этого проанализируем: какими свойствами обладают точки прямой b  a? В частности, любые две равные наклонные к прямой a, проведенные из точки O, имеют одинаковые проекции. Поэтому, если OA = OB – такие наклонные, то должно быть AC = CB, где C – точка пересечения прямых a и b.