5.8. Теоремы Паскаля и Брианшона.

Опр. 5.8.1. Шестивершинником называется фигура на расширенной плоскости, которую образуют упорядоченная шестерка точек M₁, M₂, M₃, M₄, M₅, M₆ и шесть прямых M₁M₂, M₂M₃, M₃M₄, M₄M₅, M₅M₆, M₆M₁. Точки называются вершинами, а прямые – сторонами шестивершинника. Стороны M₁M₂ и M₄M₅; M₂M₃ и M₅M₆; M₃M₄ и M₆M₁ называются противоположными.

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

Теорема 5.8.2. (обратная). Если три точки пересечения противоположных сторон шестивершинника (у которого никакие три вершины не лежат на одной прямой) лежат на одной прямой, то данный шестивершинник вписан в овальную кривую второго порядка.

С ледствие 1. Овальная кривая определяется пятью своими точками.

Действительно, если задать произвольно 5 точек, никакие три из которых не лежат на одной прямой, то опираясь на теорему 5.8.2. можно (и притом, одной линейкой) построить шестую точку этой кривой (а, затем, седьмую, и.т.д.).

Пусть даны M₁, M₂, M₃, M₄, M₅. Находим точку P; затем через M₁ проводим произвольно прямую, которая пересечет M₃ M₄ в точке Q; затем проводим PQ, которая в пересечении с M₂M₃ даст точку R; и, наконец, M₅R  M₁Q = M₆ .

З амечание 1. Из 6 букв (и точек) можно составить P₆ = 720 перестановок. Различных же шестивершинников, составленных из данных шести точек, имеется только 60, т.к. каждый из них может считаться, начиная из любой своей вершины, причем, как в прямом, так и в обратном направлении.

Замечание 2. Теорема Паскаля имеет место и для предельных (частных) случаев: 5-ти, 4-х и 3-х вершинников. Если, например, M₁= M₂, то прямая M₁M₂ будет касательной к овальной кривой.

Опр. 5.8.2. Шестисторонником называется фигура, двойственная шестивершиннику.

Значит, это фигура, образованная шестеркой прямых m₁, m₂, m₃, m₄, m₅, m₆ и шестью точками N₁= m₁ m₂, N₂= m₂  m₃, N₃= m₃  m₄, N₄= m₄  m₅, N₅= m₅  m₆, N₆ = m₆  m₁. Прямые называются сторонами, а точки – вершинами. Вершины N₁ и N₄, N₂ и N₅, N₃ и N₆ называются противоположными.

Теорема 5.8.1. (Брианшона) Если шестисторонник описан вокруг овальной кривой второго порядка, то три прямые, которые проходят через противоположные вершины, проходят через одну точку.

Имеет место и обратная теорема. Теорема Брианшона и обратная ей теорема вытекают из теоремы Паскаля и обратной к ней теоремы по принципу двойственности.

Следствие 2. Теорема Брианшона позволяет по пяти касательным к произвольной кривой второго порядка строить сколько угодно новых касательных к кривой. Ход построения аналогичен тому, который рассматривался в следствии 1.

Доказательство теорем Паскаля и Брианшона можно найти в [1].