Условие
ABC — неравнобедренный остроугольный треугольник; O и I — центры описанного и вписанного кругов, H — ортоцентр треугольника. Докажите, что четырехугольники AOIH, BOIH и COIH невырождены и среди них ровно два выпуклых.
Доказательство
Решению предпошлем легко доказываемое предположение:
В треугольнике биссектриса делит пополам угол между высотой и радиусом описанного круга, проведенным в ту же вершину.
Докажем это предположение. Пусть BM — биссектриса угла ABC (рис. 1). Так как OB=OM, то ∠OBM=∠OMB. Так как точка M — середина дуги AMC, то прямые OM и BD параллельны. Следовательно, ∠DMB=∠BMO, отсюда ∠OBM=∠DBM, что и требовалось доказать.
Решение задачи. Покажем вначале, что точки O и H не могут лежать на одной прямой с какой-либо из вершин треугольника (в частности, эти точки не могут совпадать). Действительно, в этом случае выходящие из вершины медиана и высота совпадают, и треугольник оказывается равнобедренным. Отсюда и из леммы уже следует, что AOIH, BOIH и COIH — невырожденные многоугольники (четырехугольники либо треугольники).
Пусть прямая OH пересекает стороны AB и BC треугольника, BC>AB. Для завершения решения достаточно доказать, что точка I лежит внутри той же полуплоскости с границей OH, что и точка B (рис.2). Докажем это.
Обозначим BD=hs. Имеем: CD>AD. Восстановим перпендикуляр к середине отрезка AC, получаем: точка O принадлежит треугольнику BCD. Обозначим через E(K) точку пересечения прямой AI(CI) с прямой OH. Необходимо доказать, что точки на прямой расположены в следующем порядке: O,K,E,H, т.е что OKKH<OEEH. Но биссектриса угла треугольника делит противоположную сторону на части, пропорциональные прилежащим сторонам. Отсюда и из леммы получаем: OKKH=COCH,OEEH=AOAH. Доказываемое утверждение можно теперь переписать так: AHAO<CHCO или CH>AH. Но поскольку CD>AD, то CH>AH. Отсюда и следует утверждение задачи.
Замечания:
- Нетрудно показать, что прямая OH пересекает большую и меньшую стороны треугольника ABC. Значит, выпуклыми являются четырехугольники, соответствующие большему и меньшему его углам.
- Задача допускает также и алгебраическое решение.