Теорема Чевы в геометрии¶
Теорема Чевы — классическое утверждение проективной и евклидовой геометрии о условии, при котором три отрезка, соединяющие вершины треугольника с точками на противоположных сторонах, пересекаются в одной точке. Теорема названа в честь итальянского математика Джованни Чевы, опубликовавшего её в 1678 году в работе «De lineis rectis se invicem secantibus statica constructio». Наряду с теоремой Менелая она относится к базовым инструментам решения задач о треугольниках и широко применяется в планиметрии, проективной геометрии и инженерных расчётах.
¶Формулировка
Пусть дан треугольник \(ABC\). На его сторонах \(BC\), \(CA\) и \(AB\) выбраны соответственно точки \(A_1\), \(B_1\) и \(C_1\) (не совпадающие с вершинами). Тогда отрезки \(AA_1\), \(BB_1\) и \(CC_1\) (чевианы) пересекаются в одной точке в том и только в том случае, когда выполняется равенство:
\[ \frac{BA_1}{A_1C} \cdot \frac{CB_1}{B_1A} \cdot \frac{AC_1}{C_1B} = 1 \]
Здесь отношения рассматриваются как направленные отрезки: если точка лежит на стороне, отношение положительно, если на её продолжении — отрицательно. В школьном курсе чаще используется «неориентированная» формулировка, где все три точки лежат на самих сторонах, а произведение отношений равно единице.
Обратное утверждение также верно: если произведение отношений равно единице, то три чевианы конкурентны — проходят через одну точку.
¶История
Джованни Чева (1647–1734) — итальянский инженер и математик, преподавал в Мантуе и Парме. Его теорема появилась в контексте задач статики и механики: Чева исследовал условия равновесия систем сил, приложенных к треугольной пластине, и пришёл к геометрическому критерию пересечения линий. Работа 1678 года содержала также аналог теоремы Менелая, что позволило объединить оба результата в единую теорию «секущих» прямых.
Независимо от Чевы аналогичные соотношения рассматривали и более ранние авторы, в частности в арабской математической традиции и в трудах европейских геометров XVI века, однако именно формулировка Чевы стала канонической. В XIX веке теорема вошла в стандартные курсы проективной геометрии, где получила обобщение на произвольные размерности.
¶Связь с теоремой Менелая
Теорема Чевы и теорема Менелая двойственны друг другу. Менелай рассматривает точки на сторонах или их продолжениях и условие коллинеарности (принадлежности одной прямой), Чева — условие конкурентности (принадлежности одной точке). Обе теоремы используют однотипное произведение отношений, но с разными знаками и геометрическим смыслом. В проективной геометрии они являются частными случаями более общих утверждений о конфигурациях прямых и точек.
¶Частные случаи и следствия
Теорема Чевы позволяет просто доказывать многие классические факты:
- Медианы. Точки \(A_1\), \(B_1\), \(C_1\) — середины сторон, все отношения равны единице, произведение равно единице, значит медианы пересекаются в одной точке (центроид).
- Биссектрисы. По свойству биссектрисы отношения равны отношениям прилежащих сторон; произведение сокращается до единицы, что доказывает существование центра вписанной окружности.
- Высоты. Для остроугольного треугольника отношения выражаются через косинусы углов, и произведение также равно единице (ортоцентр).
- Точка Жергонна и точка Нагеля. Теорема даёт критерий конкурентности чевиан, проведённых в точки касания вписанной или вневписанных окружностей.
¶Тригонометрическая форма
Существует эквивалентная тригонометрическая формулировка: чевианы \(AA_1\), \(BB_1\), \(CC_1\) конкурентны тогда и только тогда, когда
\[ \frac{\sin \angle BAA_1}{\sin \angle CAA_1} \cdot \frac{\sin \angle CBB_1}{\sin \angle ABB_1} \cdot \frac{\sin \angle ACC_1}{\sin \angle BCC_1} = 1 \]
Эта форма удобна, когда точки заданы углами, а не длинами отрезков.
¶Обобщения
Теорема Чевы обобщается на случай, когда точки выбираются на прямых, содержащих стороны треугольника (с учётом знаков), а также на многомерные симплексы: для \(n\)-мерного симплекса условие конкурентности \(n\) чевиан записывается через произведение \(n\) отношений. В проективной геометрии теорема формулируется в терминах гармонических сопряжений и поляр. Существует также теорема Чевы для сферической и гиперболической геометрии, где отношения заменяются на отношения синусов соответствующих дуг.
¶Применение
Теорема Чевы используется:
- при решении олимпиадных и конкурсных задач на доказательство конкурентности прямых;
- в вычислительной геометрии для проверки пересечения отрезков в одной точке;
- в механике и строительной статике при анализе равновесия треугольных ферм и пластин;
- в картографии и компьютерной графике при построении триангуляционных сеток.
¶Пример применения
Задача: в треугольнике \(ABC\) на стороне \(BC\) взята точка \(A_1\) такая, что \(BA_1 : A_1C = 2:1\), на стороне \(CA\) — точка \(B_1\) с отношением \(CB_1 : B_1A = 1:3\). Требуется найти отношение \(AC_1 : C_1B\), при котором чевианы конкурентны. По теореме Чевы:
\[ 2 \cdot \frac{1}{3} \cdot \frac{AC_1}{C_1B} = 1 \Rightarrow \frac{AC_1}{C_1B} = \frac{3}{2} \]
Ответ получается без построений и дополнительных вычислений.
¶Значение
Теорема Чевы — один из немногих результатов элементарной геометрии, который одновременно прост по формулировке и глубок по содержанию. Она связывает метрические отношения на сторонах треугольника с его проективной структурой и служит мостом между школьной планиметрией и высшей геометрией. В российской математической традиции теорема традиционно изучается в курсе планиметрии 8–9 классов и входит в программы подготовки к олимпиадам.
Источники: учебники по планиметрии для средней школы; работы Дж. Чевы «De lineis rectis» (1678); курсы проективной геометрии; сборники олимпиадных задач по геометрии.