Теорема Паскаля

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Шестиугольник вписан в эллипс, точки пересечения трёх пар противоположных сторон лежат на одной (красной) прямой

Теоре́ма Паска́ля[1] — классическая теорема проективной геометрии.

Формулировка[править | править вики-текст]

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

История[править | править вики-текст]

Впервые сформулирована и доказана Блезом Паскалем в возрасте 16 лет как обобщение теоремы Паппа. Эту теорему Паскаль взял за основание своего трактата о конических сечениях. Сам трактат пропал и известно лишь его краткое содержание по письму Лейбница, который во время своего пребывания в Париже имел его в своих руках, и краткое изложение основных теорем этого трактата, составленное самим Паскалем (Опыт о конических сечениях). Сам Паскаль считал пару прямых в теореме Паппа коническим сечением, а теорему Паппа частным случаем своей теоремы.

О доказательствах[править | править вики-текст]

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

Применение[править | править вики-текст]

Позволяет строить коническое сечение по пяти точкам, как геометрическое место точек соответственных шестой точке шестиугольника в конфигурации.

Вариации и обобщения[править | править вики-текст]

  • Если главные диагонали шестиугольника пересекаются в одной точке, то соответствующая прямая, возникающая в теореме Паскаля, является полярой этой точки относительно коники, в которую вписан шестиугольник.
    • В общем случае, прямая из теоремы Паскаля для шестиугольника, вписанного в конику , является полярой относительно точки из теоремы Брианшона для шестиугольника, образованного касательными к в вершинах исходного шестиугольника.
Вырожденные случаи теоремы Паскаля
  • Теорема верна и в том случае, когда две или даже три соседних вершины совпадают (но не более чем по две в одной точке). В этом случае в качестве прямой, проходящей через две совпадающие вершины, принимается касательная к линии в этой точке. В частности:
    • Касательная к линии 2-го порядка, проведенная в одной из вершин вписанного пятиугольника, пересекается со стороной, противоположной этой вершине, в точке, которая лежит на прямой, проходящей через точки пересечения остальных пар несмежных сторон этого пятиугольника.
    • Если ABCD ― четырехугольник, вписанный в линию 2-го порядка, то точки пересечения касательных в вершинах С и D соответственно со сторонами AD и ВС и точка пересечения прямых АВ и CD лежат на одной прямой.
    • Если ABCD ― четырехугольник, вписанный в линию 2-го порядка, то точки пересечения касательных в вершинах С и D, прямых AC и BD, а также прямых AD и BC лежат на одной прямой.
    • Точки пересечения касательных в вершинах треугольника, вписанного в линию 2-го порядка, с противоположными сторонами лежат на одной прямой.
      • Эта прямая называется прямой Паскаля данного треугольника.
  • В 1847 появилось обобщение теоремы Паскаля, сделанное Мёбиусом, которое звучит так:
    • Если многоугольник с сторонами вписан в коническое сечение и противоположные его стороны продолжены таким образом, чтобы пересечься в точке, то если этих точек лежат на прямой, последняя точка будет лежать на той же прямой.
  • Теорема Киркмана: Пусть точки , , , , и лежат на одном коническом сечении. Тогда прямые Паскаля шестиугольников , и пересекаются в одной точке.

Дополнительные иллюстрации[править | править вики-текст]

Шесть прямых Паскаля GHK самопересекающегося (невыпуклого) шестиугольника ABCDEF, вписанного в эллипс. Его 3 пары противоположных сторон показаны одним цветом (одна пара красная, другая желтая, а третья синяя) и лежат на одной прямой (эта прямая - прямая Паскаля показана белым цветом)
Самопересекающийся (невыпуклый) шестиугольник ABCDEF, вписанного в окружность. 3 пары его противоположных сторон пересекаются внешним образом так, что они лежат на одной прямой (На прямой Паскаля). каждая из 3 пар его противоположных сторон пересекается внешним образом. Эти 3 пары показаны 3 видами цвета: одна пара красная, другая желтая, а третья синяя. Сама прямая Паскаля показана белым цветом
Теорема верна даже для такого шестиугольника. Здесь имеется наружное пересечение 3 пар противоположных сторон выпуклого шестиугольника ABCDEF, вписанного в окружность (она справа). Его 3 пары противоположных сторон пересекаются в 3 точках M, N и P, лежащих на одной прямой (показаны слева). 3 пары его противоположных продолженных сторон пересекаются на линии Паскаля (синяя)

См. также[править | править вики-текст]

Литература[править | править вики-текст]

  • Известна также под латинским названием hexagrammum mysticum theorem