Доказательство:
Для доказательства подобия треугольников будем использовать признаки подобия треугольников.
- Рассмотрим треугольники АВС и АВ1С1:
- Общий угол: Угол А является общим для обоих треугольников (угол В1АС1 = угол ВАС).
- Прямые углы: По условию, ВВ1 и СС1 - высоты. Это значит, что:
- Угол АВ1С = 90° (так как ВВ1 ⊥ АС).
- Угол АС1В = 90° (так как СС1 ⊥ АВ).
- Подобие по двум углам:
- Рассмотрим треугольники АВ1В и АС1С. Они оба прямоугольные и имеют общий угол А. Следовательно, треугольник АВ1В ~ треугольник АС1С (по первому признаку подобия).
- Из подобия следует, что:
- \[ \frac{AB_1}{AC} = \frac{AC_1}{AB} = \frac{BB_1}{CC_1} \]
- Из равенства
\[ \frac{AB_1}{AC} = \frac{AC_1}{AB} \]
следует, что
\[ AB_1 \cdot AB = AC_1
cdot AC \]
\[ \frac{AB_1}{AC_1} = \frac{AC}{AB} \]
- Второй признак подобия (по двум сторонам и углу между ними):
- Пересмотрим подобие:
- Другой подход:
- Рассмотрим прямоугольные треугольники АВ1В и АС1С. Они подобны по двум углам (общий угол А и прямые углы при В1 и С1).
- Из подобия следует:
\[ \frac{AB_1}{AC} = \frac{BB_1}{CC_1} \]
- Рассмотрим треугольники АВ1С1 и АВС. У них есть общий угол А.
- Если мы сможем показать, что
\[ \frac{AB_1}{AB} = \frac{AC_1}{AC} \]
, то треугольники будут подобны по первому признаку (угол А и пропорциональные стороны). - Из подобия треугольников АВ1В и АС1С, мы имеем:
\[ \frac{AB_1}{AC} = \frac{AC_1}{AB} \]
. - Перепишем это как:
\[ AB_1
cdot AB = AC
cdot AC_1 \]
-
\[ \frac{AB_1}{AC_1} = \frac{AC}{AB} \]
- Это подобие треугольников АВ1С1 и АСВ.
- Вернемся к условию: В треугольнике АВС с тупым углом ВАС проведены высоты ВВ1 и СС1.
- В1 лежит на АС, С1 лежит на АВ.
- Угол АВ1С = 90°, Угол АС1В = 90°.
- Рассмотрим треугольники АВС и АВ1С1:
- Угол А общий.
- Рассмотрим треугольник АВ1С1. Угол при вершине А = углу ВАС.
- В прямоугольном треугольнике АВ1В,
\[ \frac{AB_1}{AB} = \cos(A) \]
- В прямоугольном треугольнике АС1С,
\[ \frac{AC_1}{AC} = \cos(A) \]
- Следовательно,
\[ \frac{AB_1}{AB} = \frac{AC_1}{AC} \]
- Таким образом,
\[ \frac{AB_1}{AC_1} = \frac{AB}{AC} \]
- Это не тот результат, который нам нужен.
- Правильное рассуждение:
- 1. Рассм. треуг. АВ1В и АС1С:
- 2. Рассм. треуг. АВ1С1 и АВС:
- 3. Подобие АВ1С1 ~ АВС:
- Угол А - общий.
- Нам нужно показать, что
\[ \frac{AB_1}{AB} = \frac{AC_1}{AC} \]
- Из
\[ \frac{AB_1}{AC} = \frac{AC_1}{AB} \]
, мы можем выразить:
- Подставим в
\[ \frac{AB_1}{AB} \]
:
\[ \frac{AC
cdot \frac{AC_1}{AB}}{AB} = \frac{AC
cdot AC_1}{AB^2} \]
- Это неверно.
- Корректное доказательство:
- 1. Подобие прямоугольных треугольников:
- 2. Подобие искомых треугольников:
- Рассмотрим ╠ AB1C1 и ╠ ABC.
- У них есть общий угол А.
- Из равенства
\[ \frac{AB_1}{AC} = \frac{AC_1}{AB} \]
, можем записать:
\[ \frac{AB_1}{AC_1} = \frac{AC}{AB} \]
. - Это означает, что ╠ AB1C1 ~ ╠ ACB (по двум сторонам и углу между ними).
- НО! Нам нужно доказать подобие ╠ AB1C1 ~ ╠ ABC.
- Вернемся к
\[ \frac{AB_1}{AC} = \frac{AC_1}{AB} \]
. - Перепишем это как
\[ \frac{AB_1}{AB} = \frac{AC_1}{AC} \]
. - Это равенство и есть условие подобия ╠ AB1C1 ~ ╠ ABC по двум сторонам и углу между ними (угол А - общий).
- Таким образом, ╠ AB1C1 ~ ╠ ABC.