;
от точки A
;
в обе возможные стороны
перпендикулярен вектору основания
, а значит его проекции накрест-пропорциональны с противоположным знаком:
, что непосредственно следует из скалярного произведения, поскольку для перпендикулярных векторов должно выполняться:
(II) ;
пропорционален вектору
, поскольку для вектора
выполняется и равенство (I) и равенство (II) осталось лишь найти масштаб вектора
;
имеет длину
;
, т.к
;
, а стало быть
;
.
/// примечание:
;
/// примечание:
.
АВ и АС - радиусы окружности с центром в точке А, ОD и ОЕ - радиусы окружности с центром в точке О, а по построению эти окружности имеют одинаковые радиусы, следовательно, АВ = ОD, АС = ОЕ. Также по построению радиус DE окружности с центром в точке D равен отрезку ВС, т.е. DE = ВС. Получаем АВС =ODE по 3 признаку равенства треугольников, следовательно, DОЕ =ВАС, т.е. построенный МОЕ равен данному А (т.к. по рисунку видно, что DОЕ совпадает с МОЕ, а ВАС совпадает с А). Что и требовалось доказать.