Построение перпендикуляра к прямой из данной точки этой прямой

Построение перпендикуляра к данной прямой из данной точки этой прямой. Даны прямая a и точка B на этой прямой. Требуется восставить из точки B луч BC, перпендикулярный данной прямой. Для этого выберем и отметим произвольную точку O вне прямой a. Теперь циркулем замерим получившееся расстояние OB. И этим раствором циркуля проведём окружность с центром в точке O — пересекающую данную прямую в двух точках — точке B и ещё одной точке D. Теперь через точку D и центр окружности O проводим диаметр. Второй его конец — называю точка C. Теперь из точки B через точку C проводим луч BC — это искомый перпендикуляр. И вот почему: угол DBC — вписанный и опирается на диаметр, то есть на дугу 180 градусов. Значит этот угол равен половине от 180 градусов, то есть 90 градусов. Построение закончено.