Соответствующие пары точек изогонально сопряжены в треугольнике ABC, красные векторы равны. Докажите, что P — ортоцентр треугольника P_1P_2P_3.
И вдогонку пара интересных вопросов:
а) Пусть красный вектор фиксирован. Как построить чертёж к задаче в геогебре?
б) Можно ли обойтись циркулем и линейкой?