Исследуйте условие, при котором ортокентр, центр описанной и центр вписанной окружностей треугольника лежат на одной прямой; найдите все типы треугольников, удовлетворяющие этому условию, и докажите классификацию
Ответ: точно все равнобедренные треугольники (включая равносторонние). Доказательство. Обозначим O,H,IO,H,IO,H,I — соответственно центр описанной окружности, ортoцентр и центр вписанной окружности треугольника ABCABCABC. Пусть эти три точки лежат на одной прямой lll. 1) Рассмотрим отражение σ\sigmaσ относительно прямой lll. Поскольку O∈lO\in lO∈l, отражение σ\sigmaσ сохраняет описанную окружность (ее центр лежит на оси отражения), следовательно σ\sigmaσ переводит окружность и множество точек {A,B,C}\{A,B,C\}{A,B,C} в собой (образ каждой вершины лежит на той же окружности). Точки σ(A),σ(B),σ(C)\sigma(A),\sigma(B),\sigma(C)σ(A),σ(B),σ(C) дают некоторый треугольник A′B′C′A'B'C'A′B′C′, вписанный в ту же окружность. 2) Так как H∈lH\in lH∈l, то σ(H)=H\sigma(H)=Hσ(H)=H. Но HHH — ортoцентр треугольника ABCABCABC, и ортoцентр определяется однозначно через три вершины: он есть пересечение высот. Отображение σ\sigmaσ переводит высоты треугольника ABCABCABC в высоты треугольника A′B′C′A'B'C'A′B′C′, поэтому HHH — также ортoцентр треугольника A′B′C′A'B'C'A′B′C′. То есть треугольники ABCABCABC и A′B′C′A'B'C'A′B′C′ вписаны в одну окружность и имеют один и тот же ортoцентр. 3) Отображение σ\sigmaσ является инволюцией (отражение двухкратно = тождество), значит как перестановка вершин оно либо тождественно, либо является транспозицией (обменом двух вершин). Транспозиция соответствует ситуации, когда σ\sigmaσ меняет местами две вершины треугольника и фиксирует третью; тождественность означает, что все три вершины лежат на оси симметрии lll (тогда треугольник центра симметрии по lll — равнобедренный). В любом случае в результате некоторой перестановки по σ\sigmaσ две вершины взаимно соответствуют друг другу, т.е. треугольник имеет ось симметрии lll и, следовательно, равнобедренен. (Нельзя получить цикл из трёх вершин, так как отражение — перестановка порядка 222.) 4) Обратное утверждение очевидно: если треугольник равнобедренный (ось симметрии через вершину AAA), то OOO лежит на этой оси (симметрия сохраняет окружность), HHH лежит на этой оси (высоты симметричны) и III лежит на этой оси (биссектриса вершины совпадает с осью симметрии). Значит O,I,HO,I,HO,I,H коллинеарны. Следовательно условие «O,H,IO,H,IO,H,I лежат на одной прямой» равносильно тому, что треугольник равнобедренный.
Обозначим O,H,IO,H,IO,H,I — соответственно центр описанной окружности, ортoцентр и центр вписанной окружности треугольника ABCABCABC. Пусть эти три точки лежат на одной прямой lll.
1) Рассмотрим отражение σ\sigmaσ относительно прямой lll. Поскольку O∈lO\in lO∈l, отражение σ\sigmaσ сохраняет описанную окружность (ее центр лежит на оси отражения), следовательно σ\sigmaσ переводит окружность и множество точек {A,B,C}\{A,B,C\}{A,B,C} в собой (образ каждой вершины лежит на той же окружности). Точки σ(A),σ(B),σ(C)\sigma(A),\sigma(B),\sigma(C)σ(A),σ(B),σ(C) дают некоторый треугольник A′B′C′A'B'C'A′B′C′, вписанный в ту же окружность.
2) Так как H∈lH\in lH∈l, то σ(H)=H\sigma(H)=Hσ(H)=H. Но HHH — ортoцентр треугольника ABCABCABC, и ортoцентр определяется однозначно через три вершины: он есть пересечение высот. Отображение σ\sigmaσ переводит высоты треугольника ABCABCABC в высоты треугольника A′B′C′A'B'C'A′B′C′, поэтому HHH — также ортoцентр треугольника A′B′C′A'B'C'A′B′C′. То есть треугольники ABCABCABC и A′B′C′A'B'C'A′B′C′ вписаны в одну окружность и имеют один и тот же ортoцентр.
3) Отображение σ\sigmaσ является инволюцией (отражение двухкратно = тождество), значит как перестановка вершин оно либо тождественно, либо является транспозицией (обменом двух вершин). Транспозиция соответствует ситуации, когда σ\sigmaσ меняет местами две вершины треугольника и фиксирует третью; тождественность означает, что все три вершины лежат на оси симметрии lll (тогда треугольник центра симметрии по lll — равнобедренный). В любом случае в результате некоторой перестановки по σ\sigmaσ две вершины взаимно соответствуют друг другу, т.е. треугольник имеет ось симметрии lll и, следовательно, равнобедренен.
(Нельзя получить цикл из трёх вершин, так как отражение — перестановка порядка 222.)
4) Обратное утверждение очевидно: если треугольник равнобедренный (ось симметрии через вершину AAA), то OOO лежит на этой оси (симметрия сохраняет окружность), HHH лежит на этой оси (высоты симметричны) и III лежит на этой оси (биссектриса вершины совпадает с осью симметрии). Значит O,I,HO,I,HO,I,H коллинеарны.
Следовательно условие «O,H,IO,H,IO,H,I лежат на одной прямой» равносильно тому, что треугольник равнобедренный.