Jump to content

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

(Перенаправлено с Hexagrammum mysticum )
Линия Паскаля GHK самопересекающегося шестиугольника ABCDEF, вписанного в эллипс. Противоположные стороны шестиугольника имеют одинаковый цвет.
Самопересекающийся шестиугольник ABCDEF , вписанный в окружность. Его стороны расширены так, что пары противоположных сторон пересекаются на линии Паскаля. Каждая пара вытянутых противоположных сторон имеет свой цвет: красный, желтый и синий. Линия Паскаля показана белым цветом.

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

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

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

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

[ редактировать ]

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

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

[ редактировать ]

Теорема Паскаля является полярно-обратной и проективно-двойственной Брианшона теореме . Он был сформулирован Блезом Паскалем в записке, написанной в 1639 году, когда ему было 16 лет, и опубликованной в следующем году в виде брошюры под названием «Эссе для коников. Par BP». [1]

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

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

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

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

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

Мистическая гексаграмма

[ редактировать ]

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

Как доказал Томас Киркман в 1849 году, этим 60 линиям можно сопоставить 60 точек таким образом, что каждая точка находится на трёх линиях и каждая линия содержит по три точки. Сформированные таким образом 60 точек теперь известны как точки Киркмана . [5] Линии Паскаля также проходят по три за раз через 20 точек Штейнера . Существует 20 линий Кэли , состоящих из точки Штейнера и трех точек Киркмана. Точки Штайнера также лежат по четыре одновременно на 15 линиях Плюкера . Кроме того, 20 линий Кэли проходят по четыре одновременно через 15 точек, известных как точки Лосося . [6]

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

[ редактировать ]

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

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

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

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

Мы также можем вывести доказательство из существования изогонально-сопряженного . Если мы хотим показать, что X = AB DE , Y = BC EF , Z = CD FA коллинеарны для конциклических ABCDEF , то заметим, что EYB и CYF подобны и что X и Z будут соответствовать изогональным сопряжены, если перекрыть подобные треугольники. Это означает, что CYX = ∠ CYZ , что делает XYZ коллинеарным.

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

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

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

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

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

[ редактировать ]
Пересечения расширенных противоположных сторон простого вписанного шестиугольника ABCDEF (справа) лежат на линии Паскаля MNP (слева).

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

Теорема Кэли-Бакарака также используется для доказательства ассоциативности групповой операции на кубических эллиптических кривых. Ту же групповую операцию можно применить к конике, если мы выберем точку E на конике и прямую MP на плоскости. Сумма A и B получается путем нахождения точки пересечения линии AB с MP которая равна M. , Далее A и B складываются во вторую точку пересечения коники с линией EM есть D. , то Таким образом, если Q — вторая точка пересечения коники с прямой EN , то

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

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

[ редактировать ]

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

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

[ редактировать ]

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

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

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

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

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. Перейти обратно: Перейти обратно: а б с Паскаль 1640 , перевод Смита 1959 , с. 326
  2. ^ HSM Коксетер и Сэмюэл Л. Грейцер ( 1967 )
  3. ^ Янг 1930 , с. 67 со ссылкой на Веблена и Янга, «Проективная геометрия» , т. 67. я, с. 138, упр. 19.
  4. ^ Conway & Ryba 2012
  5. ^ Биггс 1981
  6. ^ Уэллс 1991 , с. 172
  7. ^ «Свойство шестиугольника Паскаля Паскаль мог упустить из виду» . 03.02.2014.
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 4b5382f6b5572bd4c79cf144716ac023__1719101520
URL1:https://arc.ask3.ru/arc/aa/4b/23/4b5382f6b5572bd4c79cf144716ac023.html
Заголовок, (Title) документа по адресу, URL1:
Pascal's theorem - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)