Теорема Брианшона: три диагонали в одной точке

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

Точная формулировка теоремы Брианшона

Пусть шестиугольник $P_1P_2P_3P_4P_5P_6$ описан около коники: каждая его сторона касается кривой ровно в одной точке. Тогда три диагонали, соединяющие противоположные вершины - $V_1V_4$, $V_2V_5$ и $V_3V_6$ - пересекаются в одной точке $B$, которую называют точкой Брианшона. Теорему в 1806 году доказал французский математик Шарль Жюльен Брианшон, ученик Монжа, используя аппарат проективной геометрии, который тогда только формировался.

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

Как найти вершины шестиугольника через касательные

Возьмём для конкретности окружность радиуса $R$ с центром в начале координат - это частный случай коники, на котором вычисления особенно наглядны. Пусть шесть точек касания заданы углами $\theta_1, \theta_2, \ldots, \theta_6$, отсчитанными от оси $Ox$ против часовой стрелки. Касательная к окружности в точке с углом $\theta_i$ задаётся уравнением

$x\cos\theta_i + y\sin\theta_i = R.$

Вершина $V_i$ шестиугольника - это пересечение касательных в точках $\theta_i$ и $\theta_{i+1}$ (индексы берутся по кругу, то есть после шестого снова идёт первый). Решая систему из двух таких уравнений, получаем компактную формулу: если обозначить полусумму углов $\varphi_i = (\theta_i+\theta_{i+1})/2$ и полуразность $\delta_i = (\theta_{i+1}-\theta_i)/2$, то

$$\begin{aligned} V_i &= \frac{R}{\cos\delta_i}\bigl(\cos\varphi_i,\ \sin\varphi_i\bigr). \end{aligned}$$

Иными словами, вершина лежит на луче, который делит пополам угол между двумя точками касания, а её расстояние от центра равно $R/\cos\delta_i$ - это тот же приём, что и в задаче о касательных из внешней точки к окружности. Определив таким способом все шесть вершин, легко проверить: диагонали $V_1V_4$, $V_2V_5$, $V_3V_6$ пересекаются в одной точке при любых углах $\theta_1,\ldots,\theta_6$, лишь бы они шли по кругу в правильном порядке.

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

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

Доказательство через двойственность с теоремой Паскаля

Самый быстрый путь к доказательству теоремы Брианшона - не считать координаты, а воспользоваться проективной двойственностью с теоремой Паскаля. Теорема Паскаля утверждает обратное: если шестиугольник вписан в конику (все шесть вершин лежат на кривой), то три точки пересечения продолжений противоположных сторон лежат на одной прямой - так называемой прямой Паскаля.

В проективной геометрии точки и прямые можно поменять местами по строгому правилу двойственности: точке соответствует прямая, прямой - точка, «лежать на прямой» превращается в «проходить через точку», а конике соответствует та же самая коника (в проективной плоскости конику можно рассматривать как множество точек или как огибающую семейства касательных прямых). Применив это преобразование к теореме Паскаля, вершины вписанного шестиугольника превращаются в стороны описанного шестиугольника, а прямая Паскаля - в точку, через которую проходят три диагонали. Это и есть теорема Брианшона.

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

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

Вырожденные случаи

Теорема Брианшона остаётся верной, даже когда шестиугольник вырождается - например, когда две соседние точки касания сливаются в одну. В пределе такая сторона превращается в предельное положение касательной, а сам шестиугольник - в пятиугольник, четырёхугольник или даже треугольник, описанный около той же коники. Для треугольника, описанного около окружности (вписанной окружности треугольника), теорема Брианшона превращается в утверждение, что три отрезка, соединяющие вершину треугольника с точкой касания на противоположной стороне, пересекаются в одной точке - это утверждение можно проверить напрямую через теорему Чевы, и оно действительно выполняется.

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

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

Разбор типовой задачи

Рассмотрим конкретный числовой пример. Пусть шестиугольник описан около окружности радиуса $R = 4$, а точки касания заданы углами $\theta_1 = 0°$, $\theta_2 = 48°$, $\theta_3 = 120°$, $\theta_4 = 198°$, $\theta_5 = 240°$, $\theta_6 = 294°$. Найдём вершину $V_1$ - пересечение касательных в точках $\theta_1$ и $\theta_2$:

$$\varphi_1 = \frac{0°+48°}{2} = 24°, \qquad \delta_1 = \frac{48°-0°}{2} = 24°,$$ $$V_1 = \frac{4}{\cos 24°}\bigl(\cos 24°,\ \sin 24°\bigr) \approx (4{,}00;\ 1{,}78).$$

Аналогично считаются остальные пять вершин. После этого достаточно найти пересечение двух диагоналей, например $V_1V_4$ и $V_2V_5$, - координаты этой точки и есть кандидат на точку Брианшона $B$. Чтобы убедиться, что это действительно точка Брианшона, а не случайное пересечение, нужно проверить: лежит ли она на третьей диагонали $V_3V_6$. Если подставить её координаты в уравнение прямой $V_3V_6$, отклонение получится на уровне ошибки округления - то есть фактически нулевым, что и подтверждает теорему для этого конкретного шестиугольника. Именно эту проверку и выполняет калькулятор в начале статьи при любых значениях слайдеров: он всегда считает через две диагонали и сверяет с третьей.

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

• Путают теорему Брианшона с теоремой Паскаля. Паскаль - про вписанный шестиугольник и точки пересечения сторон на одной прямой; Брианшон - про описанный шестиугольник и диагонали через одну точку. Это двойственные, но разные утверждения.
• Забывают, что вершина - это пересечение касательных, а не точка на кривой. Вершины шестиугольника в теореме Брианшона лежат вне коники (кроме вырожденных случаев), а точки касания - это отдельные точки на самой кривой.
• Считают, что теорема работает только для окружности. Формулировка исходно про произвольную конику - окружность, эллипс, параболу, гиперболу и даже пару прямых как вырожденную конику.
• Путают порядок диагоналей. Главные диагонали соединяют вершины через одну - $V_1V_4$, $V_2V_5$, $V_3V_6$, а не соседние вершины и не через две.
• Забывают проверить порядок точек касания. Если шесть точек на конике идут не в циклическом порядке, шестиугольник получается самопересекающимся, и формулу вершины нужно применять аккуратно к соответствующей паре соседних (в порядке обхода) касательных.

FAQ

Кто и когда доказал теорему Брианшона? Французский математик Шарль Жюльен Брианшон опубликовал теорему в 1806 году, будучи студентом Политехнической школы в Париже, используя методы проективной геометрии Гаспара Монжа.

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

Как теорема Брианшона связана с теоремой Паскаля? Они проективно двойственны: теорема Паскаля - про шестиугольник, вписанный в конику (точки пересечения продолжений сторон лежат на одной прямой), теорема Брианшона - про шестиугольник, описанный около той же коники (диагонали пересекаются в одной точке). Одна доказывается из другой заменой точек на прямые и наоборот.

Коротко

Теорема Брианшона утверждает, что у любого шестиугольника, описанного около коники, три главные диагонали - соединяющие противоположные вершины - пересекаются в одной точке, точке Брианшона. Вершины такого шестиугольника находятся как пересечения соседних касательных к кривой, а сама теорема двойственна теореме Паскаля через замену точек прямыми. Она остаётся верной и в вырожденных случаях, когда часть вершин сливается, - например, для треугольника, описанного около вписанной окружности.