Теорема Чевы для треугольника: формула и доказательство

Теорема Чевы - это компактный критерий того, что три прямые, проведённые из вершин треугольника к противоположным сторонам, пересекаются в одной точке. Такие прямые называют чевианами, а само свойство «пересекаться в одной точке» - конкурентностью. Теорема сводит геометрический вопрос к одному числовому равенству: достаточно перемножить три отношения, в которых чевианы делят стороны, и сравнить результат с единицей. Ниже разберём, что такое чевиана, как звучит теорема Чевы для треугольника в прямой и обратной форме, как её доказать через площади и где студенты чаще всего ошибаются. Чтобы сразу почувствовать связь отношений и точки пересечения, покрути калькулятор ниже: он строит треугольник с чевианами и показывает, когда произведение трёх отношений равно единице.

Что такое чевиана и конкурентность

Чевиана - это отрезок, соединяющий вершину треугольника с точкой на противоположной стороне (или на её продолжении). Медиана, биссектриса и высота - частные случаи чевианы. Если из каждой вершины треугольника $ABC$ провести по одной чевиане - $AD$ к стороне $BC$, $BE$ к стороне $CA$ и $CF$ к стороне $AB$, - возникает естественный вопрос: при каком условии все три отрезка пройдут через одну общую точку?

Рассчитать для своей задачи

Именно на этот вопрос отвечает теорема Чевы. Она связывает положение оснований $D$, $E$, $F$ на сторонах с фактом пересечения чевиан в одной точке. Удобно ввести три отношения, в которых каждая точка делит свою сторону:

$\frac{BD}{DC}, \qquad \frac{CE}{EA}, \qquad \frac{AF}{FB}.$

Важно соблюдать «круговой» порядок обхода вершин $A \to B \to C \to A$: в каждом отношении в числителе стоит отрезок, идущий «вперёд» по обходу, а в знаменателе - следующий за ним. Нарушение этого порядка - главный источник ошибок в задачах.

Формула теоремы Чевы

Прямая теорема Чевы звучит так: если чевианы $AD$, $BE$ и $CF$ треугольника $ABC$ пересекаются в одной точке, то выполняется равенство

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

Верно и обратное утверждение, и именно оно чаще всего нужно в задачах. Обратная теорема Чевы: если для точек $D$, $E$, $F$ на сторонах $BC$, $CA$, $AB$ выполнено это произведение, равное единице, то чевианы $AD$, $BE$ и $CF$ конкурентны, то есть пересекаются в одной точке. Таким образом, проверка пересечения трёх прямых сводится к одному умножению: посчитал произведение, сравнил с единицей - и сразу знаешь ответ.

Рассчитать для своей задачи

На схеме видно, что точка пересечения $P$ делит каждую чевиану на два отрезка, но в формулу Чевы входят отношения именно на сторонах треугольника, а не на самих чевианах. Это принципиально: теорема говорит о том, как основания делят стороны, и не требует знать длины отрезков от вершины до точки $P$.

Доказательство через площади

Самое короткое доказательство теоремы Чевы опирается на отношение площадей треугольников с общей высотой. Пусть чевианы пересекаются в точке $P$. Рассмотрим, как точка $D$ делит сторону $BC$. Треугольники $ABD$ и $ACD$ имеют общую высоту из вершины $A$, поэтому их площади относятся как основания:

$\frac{BD}{DC} = \frac{S_{ABD}}{S_{ACD}}.$

То же верно и для треугольников $PBD$ и $PCD$ с общей высотой из точки $P$:

$\frac{BD}{DC} = \frac{S_{PBD}}{S_{PCD}} = \frac{S_{ABD} - S_{PBD}}{S_{ACD} - S_{PCD}} = \frac{S_{APB}}{S_{APC}}.$

Аналогично для двух других оснований получаем

$\frac{CE}{EA} = \frac{S_{BPC}}{S_{BPA}}, \qquad \frac{AF}{FB} = \frac{S_{CPA}}{S_{CPB}}.$

Перемножив три равенства, видим, что все площади в числителях и знаменателях взаимно сокращаются, и остаётся ровно единица:

$\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB} = \frac{S_{APB}}{S_{APC}} \cdot \frac{S_{BPC}}{S_{BPA}} \cdot \frac{S_{CPA}}{S_{CPB}} = 1.$

Это и есть прямая теорема Чевы. Обратная доказывается «от противного»: если произведение равно единице, но третья чевиана не проходит через точку пересечения двух других, можно построить вспомогательную точку, для которой произведение тоже равно единице, и прийти к противоречию с единственностью деления отрезка в заданном отношении.

Частные случаи: медианы, биссектрисы, высоты

Теорема Чевы мгновенно объясняет, почему многие замечательные линии треугольника пересекаются в одной точке.

Для медиан каждое основание делит сторону пополам, поэтому все три отношения равны единице, а их произведение тоже равно единице. Значит, медианы конкурентны - они пересекаются в центроиде.

Для биссектрис по свойству биссектрисы каждое отношение равно отношению прилежащих сторон: например, $BD/DC = AB/AC$. Перемножив три таких дроби, видим, что каждая сторона входит и в числитель, и в знаменатель, всё сокращается, и произведение снова равно единице. Поэтому биссектрисы пересекаются в одной точке - центре вписанной окружности.

Для высот отношения выражаются через тангенсы углов, и их произведение тоже сводится к единице, что даёт ортоцентр. Во всех трёх случаях достаточно подставить нужные отношения в формулу Чевы и убедиться, что произведение равно единице - отдельных доказательств для каждой линии не требуется.

Как решать задачи на теорему Чевы

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

1. Расставь точки $D$, $E$, $F$ и запиши три отношения в строгом порядке обхода $A \to B \to C$.
2. Перемножь их и приравняй произведение к единице (для проверки - просто сравни с единицей).
3. Вырази искомое отношение или сделай вывод о конкурентности.

Например, если $BD/DC = 3$ и $CE/EA = 2$, а чевианы конкурентны, то из равенства $3 \cdot 2 \cdot (AF/FB) = 1$ сразу получаем $AF/FB = 1/6$. Калькулятор выше собирает ровно эту цепочку: задаёшь отношения слайдерами, видишь произведение и сразу понимаешь, сходятся чевианы в точке или нет.

Частые ошибки

• Неверный порядок обхода вершин. Отношения нужно записывать по кругу $A \to B \to C \to A$: в каждой дроби числитель идёт «вперёд» по обходу. Если перепутать местами числитель и знаменатель в одном отношении, произведение получится обратным и вывод окажется ложным.
• Отношения на чевианах вместо сторон. В формулу входят отношения, в которых основания делят стороны треугольника, а не отрезки самих чевиан от вершины до точки пересечения. Это разные величины.
• Путаница с теоремой Менелая. У теоремы Менелая похожая формула, но произведение там равно минус единице (или единице с учётом секущей вне треугольника). Чева отвечает за пересечение в точке, Менелай - за лежание на одной прямой.
• Деление стороны внешним образом. Если точка лежит на продолжении стороны, отношение берут со знаком; для обычной задачи с точками внутри сторон все отношения положительны.
• Вывод о конкурентности без обратной теоремы. Само равенство произведения единице гарантирует пересечение в точке только по обратной теореме Чевы - на неё и нужно ссылаться в доказательстве.

FAQ

Как звучит теорема Чевы для треугольника простыми словами? Три чевианы треугольника пересекаются в одной точке тогда и только тогда, когда произведение трёх отношений, в которых их основания делят стороны, равно единице: $BD/DC \cdot CE/EA \cdot AF/FB = 1$. Это условие конкурентности чевиан.

Чем теорема Чевы отличается от теоремы Менелая? Теорема Чевы проверяет, пересекаются ли три чевианы в одной точке, и даёт произведение, равное единице. Теорема Менелая проверяет, лежат ли три точки на одной прямой (секущей), и даёт произведение, равное минус единице при учёте направлений. Формулы похожи, но отвечают на разные вопросы.

Почему медианы треугольника пересекаются в одной точке? Каждая медиана делит противоположную сторону пополам, поэтому все три отношения равны единице, а их произведение тоже равно единице. По обратной теореме Чевы это и означает, что медианы конкурентны и пересекаются в центроиде.

Коротко

Теорема Чевы для треугольника - это критерий конкурентности чевиан: отрезки $AD$, $BE$ и $CF$ пересекаются в одной точке тогда и только тогда, когда $BD/DC \cdot CE/EA \cdot AF/FB = 1$. Прямая теорема выводится через отношение площадей треугольников с общей высотой, обратная даёт удобный способ доказывать пересечение прямых в одной точке. Частные случаи - медианы, биссектрисы и высоты - получаются прямой подстановкой нужных отношений, а в задачах формула позволяет находить неизвестное отношение или проверять конкурентность одним умножением.