Рассмотрите остроугольный треугольник ABC с ортoцентром H; исследуйте взаимные свойства окружностей, описанных вокруг треугольников AHB, BHC и CHA, докажите возможные пересечения и зависимость конфигурации от типов треугольника
Коротко и по существу. Обозначения: пусть (AHB),(BHC),(CHA)(AHB),(BHC),(CHA)(AHB),(BHC),(CHA) — описанные окружности треугольников AHB,BHC,CHAAHB,BHC,CHAAHB,BHC,CHA, а (ABC)(ABC)(ABC) — описанная окружность исходного треугольника. Треугольник остроугольный, поэтому ортoцентр HHH лежит внутри. 1) Точки пересечения. - Каждая из окружностей (AHB),(BHC),(CHA)(AHB),(BHC),(CHA)(AHB),(BHC),(CHA) проходит через HHH и через две вершины: например (BHC)(BHC)(BHC) через B,C,HB,C,HB,C,H. Следовательно любые два из этих кругов пересекаются ровно в двух точках: в общей вершине и в HHH. Формально (AHB)∩(BHC)={B,H}(AHB)\cap(BHC)=\{B,H\}(AHB)∩(BHC)={B,H}, (BHC)∩(CHA)={C,H}(BHC)\cap(CHA)=\{C,H\}(BHC)∩(CHA)={C,H}, (CHA)∩(AHB)={A,H}(CHA)\cap(AHB)=\{A,H\}(CHA)∩(AHB)={A,H}. Тройного пересечения кроме HHH нет: все три окружности имеют единственную общую точку HHH. 2) Радикальные оси и их точка пересечения. - Радикальная ось двух окружностей — прямая, проходящая через их точки пересечения. Поэтому радикальные оси пар этих окружностей совпадают с высотами треугольника: радикальная ось (AHB)(AHB)(AHB) и (BHC)(BHC)(BHC) — прямая BHBHBH (высота из BBB), и т.д. - Значит радикальные оси трех пар — AH,BH,CHAH,BH,CHAH,BH,CH — пересекаются в одной точке, это HHH. То есть HHH — радикальный центр трёх окружностей. 3) Ортогональность с описанной окружностью (ABC)(ABC)(ABC). - В треугольнике ∠BHC=180∘−∠A\angle BHC=180^\circ-\angle A∠BHC=180∘−∠A (аналогично для других двух). В то же время на (ABC)(ABC)(ABC) угол, опирающийся на хорду BCBCBC, равен ∠BAC=∠A\angle BAC=\angle A∠BAC=∠A. - Для двух окружностей, пересекающихся в точках B,CB,CB,C, условие ортогональности эквивалентно тому, что суммы опирающихся на ту же хорду вписанных углов равны 180∘180^\circ180∘. Отсюда ∠BHC+∠BAC=(180∘−∠A)+∠A=180∘\angle BHC+\angle BAC=(180^\circ-\angle A)+\angle A=180^\circ∠BHC+∠BAC=(180∘−∠A)+∠A=180∘, значит (BHC)(BHC)(BHC) и (ABC)(ABC)(ABC) взаимно перпендикулярны. Аналогично (AHB)⊥(ABC)(AHB)\perp(ABC)(AHB)⊥(ABC) и (CHA)⊥(ABC)(CHA)\perp(ABC)(CHA)⊥(ABC). - Следствие: касательные к (ABC)(ABC)(ABC) и к соответствующей из трёх окружностей в точках общих вершин образуют прямой угол. 4) Дополнительные классические факты (кратко). - Отражение HHH относительно стороны BCBCBC лежит на (ABC)(ABC)(ABC) и равно второму пересечению высоты из AAA с (ABC)(ABC)(ABC). - Точки пересечения высот, радикальные оси, ортогональность дают богатую систему симметрий и гомотетий (например, гомотетии между окружностями, связывающие свойства центров и радиусов), но основная схема описана выше. 5) Зависимость от типа треугольника. - Остроугольный: HHH внутри; все три окружности пересекают стороны и друг друга «внутри» фигуры по описанным свойствам; HHH — радикальный центр внутри. - Прямоугольный (например ∠A=90∘\angle A=90^\circ∠A=90∘): тогда HHH совпадает с вершиной прямого угла (H=AH=AH=A). Некоторые из рассматриваемых треугольников вырождаются или одна из окружностей совпадает с (ABC)(ABC)(ABC) (например (BHC)=(ABC)(BHC)=(ABC)(BHC)=(ABC) при H=AH=AH=A), привычные утверждения об ортогональности/радикальных осях вырождаются. - Тупоугольный: HHH лежит вне треугольника; все перечисленные алгебраические и угловые соотношения сохраняются (в частности ∠BHC=180∘−∠A\angle BHC=180^\circ-\angle A∠BHC=180∘−∠A остаётся верным), поэтому окружности по-прежнему попарно пересекаются в вершине и в HHH, а каждая из них ортогональна (ABC)(ABC)(ABC); однако геометрическая картинка (расположение центров, участки окружностей внутри треугольника и т.д.) меняется — HHH и радикальный центр оказываются вне треугольника. Краткий итог: в остроугольном треугольнике три окружности (AHB),(BHC),(CHA)(AHB),(BHC),(CHA)(AHB),(BHC),(CHA) пересекаются попарно ровно в вершине и в ортoцентре HHH; их радикальные оси — высоты AH,BH,CHAH,BH,CHAH,BH,CH и радикальный центр — HHH; каждая из трёх окружностей ортогональна описанной окружности (ABC)(ABC)(ABC). При переходе к прямому или тупому треугольнику эти свойства (за вычетом вырождения в прямом случае) сохраняют алгебраическую форму, но изменяется расположение точек и дуг в плоскости.
Обозначения: пусть (AHB),(BHC),(CHA)(AHB),(BHC),(CHA)(AHB),(BHC),(CHA) — описанные окружности треугольников AHB,BHC,CHAAHB,BHC,CHAAHB,BHC,CHA, а (ABC)(ABC)(ABC) — описанная окружность исходного треугольника. Треугольник остроугольный, поэтому ортoцентр HHH лежит внутри.
1) Точки пересечения.
- Каждая из окружностей (AHB),(BHC),(CHA)(AHB),(BHC),(CHA)(AHB),(BHC),(CHA) проходит через HHH и через две вершины: например (BHC)(BHC)(BHC) через B,C,HB,C,HB,C,H. Следовательно любые два из этих кругов пересекаются ровно в двух точках: в общей вершине и в HHH. Формально
(AHB)∩(BHC)={B,H}(AHB)\cap(BHC)=\{B,H\}(AHB)∩(BHC)={B,H}, (BHC)∩(CHA)={C,H}(BHC)\cap(CHA)=\{C,H\}(BHC)∩(CHA)={C,H}, (CHA)∩(AHB)={A,H}(CHA)\cap(AHB)=\{A,H\}(CHA)∩(AHB)={A,H}.
Тройного пересечения кроме HHH нет: все три окружности имеют единственную общую точку HHH.
2) Радикальные оси и их точка пересечения.
- Радикальная ось двух окружностей — прямая, проходящая через их точки пересечения. Поэтому радикальные оси пар этих окружностей совпадают с высотами треугольника:
радикальная ось (AHB)(AHB)(AHB) и (BHC)(BHC)(BHC) — прямая BHBHBH (высота из BBB), и т.д.
- Значит радикальные оси трех пар — AH,BH,CHAH,BH,CHAH,BH,CH — пересекаются в одной точке, это HHH. То есть HHH — радикальный центр трёх окружностей.
3) Ортогональность с описанной окружностью (ABC)(ABC)(ABC).
- В треугольнике ∠BHC=180∘−∠A\angle BHC=180^\circ-\angle A∠BHC=180∘−∠A (аналогично для других двух). В то же время на (ABC)(ABC)(ABC) угол, опирающийся на хорду BCBCBC, равен ∠BAC=∠A\angle BAC=\angle A∠BAC=∠A.
- Для двух окружностей, пересекающихся в точках B,CB,CB,C, условие ортогональности эквивалентно тому, что суммы опирающихся на ту же хорду вписанных углов равны 180∘180^\circ180∘. Отсюда
∠BHC+∠BAC=(180∘−∠A)+∠A=180∘\angle BHC+\angle BAC=(180^\circ-\angle A)+\angle A=180^\circ∠BHC+∠BAC=(180∘−∠A)+∠A=180∘,
значит (BHC)(BHC)(BHC) и (ABC)(ABC)(ABC) взаимно перпендикулярны. Аналогично (AHB)⊥(ABC)(AHB)\perp(ABC)(AHB)⊥(ABC) и (CHA)⊥(ABC)(CHA)\perp(ABC)(CHA)⊥(ABC).
- Следствие: касательные к (ABC)(ABC)(ABC) и к соответствующей из трёх окружностей в точках общих вершин образуют прямой угол.
4) Дополнительные классические факты (кратко).
- Отражение HHH относительно стороны BCBCBC лежит на (ABC)(ABC)(ABC) и равно второму пересечению высоты из AAA с (ABC)(ABC)(ABC).
- Точки пересечения высот, радикальные оси, ортогональность дают богатую систему симметрий и гомотетий (например, гомотетии между окружностями, связывающие свойства центров и радиусов), но основная схема описана выше.
5) Зависимость от типа треугольника.
- Остроугольный: HHH внутри; все три окружности пересекают стороны и друг друга «внутри» фигуры по описанным свойствам; HHH — радикальный центр внутри.
- Прямоугольный (например ∠A=90∘\angle A=90^\circ∠A=90∘): тогда HHH совпадает с вершиной прямого угла (H=AH=AH=A). Некоторые из рассматриваемых треугольников вырождаются или одна из окружностей совпадает с (ABC)(ABC)(ABC) (например (BHC)=(ABC)(BHC)=(ABC)(BHC)=(ABC) при H=AH=AH=A), привычные утверждения об ортогональности/радикальных осях вырождаются.
- Тупоугольный: HHH лежит вне треугольника; все перечисленные алгебраические и угловые соотношения сохраняются (в частности ∠BHC=180∘−∠A\angle BHC=180^\circ-\angle A∠BHC=180∘−∠A остаётся верным), поэтому окружности по-прежнему попарно пересекаются в вершине и в HHH, а каждая из них ортогональна (ABC)(ABC)(ABC); однако геометрическая картинка (расположение центров, участки окружностей внутри треугольника и т.д.) меняется — HHH и радикальный центр оказываются вне треугольника.
Краткий итог: в остроугольном треугольнике три окружности (AHB),(BHC),(CHA)(AHB),(BHC),(CHA)(AHB),(BHC),(CHA) пересекаются попарно ровно в вершине и в ортoцентре HHH; их радикальные оси — высоты AH,BH,CHAH,BH,CHAH,BH,CH и радикальный центр — HHH; каждая из трёх окружностей ортогональна описанной окружности (ABC)(ABC)(ABC). При переходе к прямому или тупому треугольнику эти свойства (за вычетом вырождения в прямом случае) сохраняют алгебраическую форму, но изменяется расположение точек и дуг в плоскости.