Теорема Паскаля - Pascals theorem

Линия Паскаля

GHK

самопересекающегося шестиугольника

ABCDEF

вписан в эллипс. Противоположные стороны шестиугольника имеют одинаковый цвет.

Пересечения протяженных противоположных сторон простых циклический шестиугольник

ABCDEF

(справа) лежат на линии Паскаля MNP (слева).

Самопересекающийся шестиугольник

ABCDEF

, вписанный в круг. Его стороны вытянуты так, что пары противоположных сторон пересекаются на линии Паскаля. Каждая пара вытянутых противоположных сторон имеет свой цвет: красный, желтый, синий. Линия Паскаля показана белым.

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

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

Евклидовы варианты

Наиболее естественная формулировка теоремы Паскаля находится в проективная плоскость поскольку любые две линии пересекаются, и для параллельных линий не нужно делать никаких исключений. Однако теорема остается в силе в евклидовой плоскости с правильной интерпретацией того, что происходит, когда некоторые противоположные стороны шестиугольника параллельны.

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

Связанные результаты

Эта теорема является обобщением Теорема Паппа (шестиугольник) - Теорема Паппа - частный случай вырожденная коническая из двух строк. Теорема Паскаля - это полярный взаимный и проективный дуальный из Теорема Брианшона. Его сформулировал Блез Паскаль в записке, написанной в 1639 году, когда ему было 16 лет, и опубликованной в следующем году как борт под названием "Essay pour les coniques. Par B. P."^[1]

Теорема Паскаля - частный случай Теорема Кэли – Бахараха.

Интересен вырожденный случай теоремы Паскаля (четыре пункта); данные баллы $ABCD$ на конусе $Γ$ , пересечение альтернативных сторон, $AB \cap CD$ , $до н.э \cap DA$ , вместе с пересечением касательных в противоположных вершинах $(А, C)$ и $(B, D)$ коллинеарны в четырех точках; касательные являются вырожденными «сторонами», взятыми в двух возможных положениях на «шестиугольнике» и соответствующей прямой Паскаля, разделяющие либо вырожденное пересечение. Это можно доказать независимо, используя свойство полярно-полярный. Если коника представляет собой круг, то другой вырожденный случай говорит, что для треугольника три точки, которые появляются как пересечение боковой линии с соответствующей боковой линией Жергоннский треугольник, коллинеарны.

Шесть - это минимальное количество точек на конике, относительно которых можно сделать особые утверждения, так как пять точек определяют конус.

Обратное - это Теорема Брейкенриджа – Маклорена, названный в честь британских математиков 18 века Уильям Брейкенридж и Колин Маклорен (Миллс 1984 ), который утверждает, что если три точки пересечения трех пар прямых, проходящих через противоположные стороны шестиугольника, лежат на одной прямой, то шесть вершин шестиугольника лежат на конике; коника может быть вырожденной, как в теореме Паппа.^[2] Теорема Брейкенриджа – Маклорена может быть применена в Конструкция Брейкенриджа – Маклорена, который является синтетический построение коники, определяемой пятью точками, путем варьирования шестой точки.

Теорема была обобщена Август Фердинанд Мёбиус в 1847 г. следующим образом: предположим, что многоугольник с $4 п + 2$ стороны вписаны в коническое сечение, а противоположные пары сторон расширяются, пока они не встретятся в $2 п + 1$ точки. Тогда если $2 п$ из этих точек лежит на общей линии, последняя точка также будет на этой линии.

Гексаграмм Мистикум

Если на коническом сечении заданы шесть неупорядоченных точек, их можно соединить в шестиугольник 60 различными способами, в результате чего получится 60 различных примеров теоремы Паскаля и 60 различных линий Паскаля. Этот конфигурация 60 строк называется Гексаграмм Мистикум.^[3]^[4]

В качестве Томас Киркман Было доказано в 1849 году, что эти 60 линий могут быть связаны с 60 точками таким образом, что каждая точка находится на трех линиях и каждая линия содержит три точки. Образовавшиеся таким образом 60 точек теперь известны как Киркман указывает.^[5] Строки Паскаля также проходят по три за раз через 20 Очки Штайнера. Всего 20 Линии Кэли которые состоят из точки Штейнера и трех точек Киркмана. Точки Штайнера также лежат, по четыре за раз, на 15 Линии Plücker. Кроме того, 20 линий Кэли проходят по четыре за раз через 15 точек, известных как Очки лосося.^[6]

Доказательства

Оригинальная заметка Паскаля^[1] не имеет доказательства, но существуют различные современные доказательства теоремы.

Достаточно доказать теорему, когда коника является окружностью, поскольку любая (невырожденная) коника может быть приведена к окружности с помощью проективного преобразования. Это было реализовано Паскалем, первая лемма которого формулирует теорему для окружности. Его вторая лемма утверждает, что то, что верно в одной плоскости, остается истинным при проекции на другую плоскость.^[1] Вырожденные коники следуют по непрерывности (теорема верна для невырожденных коник, а значит, верна в пределе вырожденных коник).

Краткое элементарное доказательство теоремы Паскаля в случае круга было найдено ван Изерен (1993), основываясь на доказательстве в (Гуггенхаймер 1967 ). Это доказательство доказывает теорему для окружности, а затем обобщает ее на коники.

Краткое элементарное вычислительное доказательство в случае реальной проективной плоскости было найдено Стефанович (2010)

Мы можем вывести доказательство из существования изогональный конъюгат тоже. Если мы хотим показать, что $Икс = AB \cap DE$ , $Y = до н.э \cap EF$ , $Z = CD \cap FA$ коллинеарны для конциклических $ABCDEF$ , затем обратите внимание, что $△ ЕЮБ$ и $△ CYF$ похожи, и что $Икс$ и $Z$ будет соответствовать изогональному сопряженному, если мы перекрываем аналогичные треугольники. Это означает, что $∠ BYX = ∠ CYZ$ , следовательно, делая $XYZ$ коллинеарен.

Краткое доказательство может быть построено с использованием сохранения перекрестного отношения. Проектирующая тетрада $ABCE$ из $D$ на линию $AB$ , получаем тетраду $ABPX$ , и проецирующая тетрада $ABCE$ из $F$ на линию $до н.э$ , получаем тетраду $QBCY$ . Следовательно, это означает, что $р (AB; PX) = р (QB; CY)$ , где одна из точек в двух тетрад перекрывается, следовательно, это означает, что другие линии, соединяющие другие три пары, должны совпадать, чтобы сохранить перекрестное отношение. Следовательно, $XYZ$ коллинеарны.

Другое доказательство теоремы Паскаля для круга использует Теорема Менелая несколько раз.

Данделин Геометра, открывшего знаменитую Данделин сферы, придумали красивое доказательство с использованием техники "3D-лифтинга", аналогичное 3D-доказательству Теорема дезарга. Доказательство использует то свойство, что для каждого конического сечения можно найти однополостный гиперболоид, проходящий через конику.

Также существует простое доказательство теоремы Паскаля для круга с использованием закон синуса и сходство.

Доказательство с использованием кубических кривых

Теорема Паскаля имеет короткое доказательство с использованием Теорема Кэли – Бахараха что при любых 8 точках в общем положении существует уникальная девятая точка, так что все кубики, проходящие через первые 8, также проходят через девятую точку. В частности, если две общие кубики пересекаются в 8 точках, то любая другая кубика, проходящая через те же 8 точек, встречает девятую точку пересечения первых двух кубиков. Теорема Паскаля следует, если взять 8 точек как 6 точек шестиугольника и две точки (скажем, $M$ и $N$ на рисунке) на предполагаемой линии Паскаля, а девятая точка - как третья точка ( $п$ на рисунке). Первые две кубики - это два набора из 3 линий, проходящих через 6 точек шестиугольника (например, набор $AB, CD, EF$ , а множество $BC, DE, FA$ ), а третья кубика - это объединение коники и прямой $MN$ . Здесь «девятый перекресток» $п$ не может лежать на конике по общности, а значит, лежит на $MN$ .

В Теорема Кэли – Бахараха также используется для доказательства ассоциативности групповой операции над кубическими эллиптическими кривыми. Ту же групповую операцию можно применить к конусу, если мы выберем точку $E$ на конусе и линии $Депутат$ в плоскости. Сумма $А$ и $B$ получается первым путем нахождения точки пересечения прямой $AB$ с $Депутат$ , который $M$ . Следующий $А$ и $B$ сложить до второй точки пересечения конуса с линией $ЭМ$ , который $D$ . Таким образом, если $Q$ вторая точка пересечения конуса с прямой $EN$ , тогда

{ Displaystyle (A + B) + C = D + C = Q = A + F = A + (B + C)}

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

Доказательство с использованием теоремы Безу.

Предполагать $ж$ - кубический многочлен, исчезающий на трех прямых через $AB, CD, EF$ и $грамм$ кубик, исчезающий на трех других прямых $BC, DE, FA$ . Выберите общую точку $п$ на конике и выберите $λ$ так что кубический $час = ж + λg$ исчезает на $п$ . потом $час = 0$ это кубика с 7 точками $A, B, C, D, E, F, P$ общий с коническим. Но по Теорема Безу кубика и коника имеют не более 3 × 2 = 6 общих точек, если только у них нет общей компоненты. Итак, кубическая $час = 0$ имеет общий компонент с коникой, который должен быть самим конусом, поэтому $час = 0$ является объединением коники и прямой. Теперь легко проверить, что эта строка является линией Паскаля.

Свойство шестиугольника Паскаля

Снова учитывая шестиугольник на конике теоремы Паскаля с указанными выше обозначениями для точек (на первом рисунке), мы имеем^[7]

{ displaystyle { frac { overline {GB}} { overline {GA}}} times { frac { overline {HA}} { overline {HF}}} times { frac { overline { KF}} { overline {KE}}} times { frac { overline {GE}} { overline {GD}}} times { frac { overline {HD}} { overline {HC}} } times { frac { overline {KC}} { overline {KB}}} = 1.}

Вырождения теоремы Паскаля

Теорема Паскаля: вырождения

Существуют 5-точечные, 4-точечные и 3-точечные вырожденные случаи теоремы Паскаля. В вырожденном случае две ранее соединенные точки фигуры будут формально совпадать, и соединяющая линия станет касательной в объединенной точке. Смотрите вырожденные случаи, приведенные в добавленной схеме и внешней ссылке на геометрия круга. Если выбрать подходящие линии фигур Паскаля как линии на бесконечности, то получится много интересных фигур на параболы и гиперболы.

Смотрите также

Примечания

^ ^а ^б ^c Паскаль 1640, перевод Смит 1959, п. 326
^ Х. С. М. Коксетер и Сэмюэл Л. Грейцер (1967 )
^ Молодой 1930, п. 67 со ссылкой на Веблена и Янга, Проективная геометрия, т. I, стр. 138, Исх. 19.
^ Конвей и Рыба 2012
^ Биггс 1981
^ Уэллс 1991, п. 172
^ "Свойство шестиугольника Паскаля, которое Паскаль мог упустить". 2014-02-03.

внешняя ссылка

Интерактивная демонстрация теоремы Паскаля (требуется Java) в завязать узел
60 строк Паскаля (требуется Java) в завязать узел
Графическое представление полного рисунка Паскаля Дж. Крис Фишер и Норма Фуллер (Университет Реджайны)
Геометрия плоского круга, введение в плоскости Мебиуса, Лагерра и Минковского (PDF; 891 kB), Uni Darmstadt, S. 29-35.
Как спроецировать сферические коники на плоскость Йоичи Маэда (Токайский университет)

[orig-1] а ^б ^c Паскаль 1640, перевод Смит 1959, п. 326

[2] Х. С. М. Коксетер и Сэмюэл Л. Грейцер (1967 )

[3] Молодой 1930, п. 67 со ссылкой на Веблена и Янга, Проективная геометрия, т. I, стр. 138, Исх. 19.

[4] Конвей и Рыба 2012

[5] Биггс 1981

[6] Уэллс 1991, п. 172

[7] "Свойство шестиугольника Паскаля, которое Паскаль мог упустить". 2014-02-03.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

Блез Паскаль
Инновации Карьера	Калькулятор Паскаля Закон Паскаля Теорема Паскаля Треугольник Паскаля Ставка Паскаля
Работает	Lettres provinciales (1656–1657) Pensées (1669)
Семья	Этьен Паскаль (отец) Жаклин Паскаль (сестра)
Категория Commons