Доказать Теорему Чевы. Помогите, пожалуйста

Теорема Чевы говорит так: если в треугольнике \( ABC \) точки \( D \), \( E \), \( F \) лежат соответственно на сторонах \( BC \), \( CA \), \( AB \), то прямые \( AD \), \( BE \), \( CF \) пересекаются в одной точке тогда и только тогда, когда

\[ \frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1. \]

Докажем сначала необходимость. Пусть прямые \( AD \), \( BE \), \( CF \) пересекаются в одной точке \( O \).

Рассмотрим отношения площадей треугольников. Так как треугольники с основаниями на одной прямой и общей высотой имеют площади, пропорциональные основаниям, получаем:

\[ \frac{BD}{DC} = \frac{S_{OBD}}{S_{ODC}}, \]

\[ \frac{CE}{EA} = \frac{S_{OCE}}{S_{OEA}}, \]

\[ \frac{AF}{FB} = \frac{S_{OAF}}{S_{OBF}}. \]

Дальше замечаем, что треугольники с общей высотой к одной и той же прямой дают равные переходы между этими отношениями. В итоге при перемножении все промежуточные площади сокращаются:

\[ \frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1. \]

Теперь докажем обратное. Пусть выполнено равенство

\[ \frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1. \]

Проведём прямые \( AD \) и \( BE \). Пусть они пересекаются в точке \( O \). Через точку \( O \) проведём прямую к вершине \( C \), она пересечёт сторону \( AB \) в некоторой точке \( F_1 \).

По уже доказанной части теоремы для точки \( F_1 \):

\[ \frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF_1}{F_1B} = 1. \]

Но по условию:

\[ \frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = 1. \]

Значит,

\[ \frac{AF_1}{F_1B} = \frac{AF}{FB}. \]

На отрезке \( AB \) такая точка с данным отношением единственная, поэтому \( F_1 = F \). Значит, прямая \( CF \) тоже проходит через точку \( O \).

Теорема доказана.

0 0 Пожаловаться