imported>Д.Ильин: иллюстрирование

2026-01-27T03:43:37Z

иллюстрирование

Новая страница

[[Файл:Teorema paskalya.svg|мини|200px|[[многоугольник|Шестиугольник]] вписан в [[эллипс]], точки пересечения трёх пар противоположных сторон лежат на одной (красной) прямой]]
'''Теоре́ма Паска́ля'''<ref>Известна также под латинским названием '''hexagrammum mysticum''', ''таинственный шестиугодьник''.</ref> — классическая теорема [[Проективная геометрия|проективной геометрии]].

== Формулировка ==

Если [[многоугольник|шестиугольник]] вписан в [[окружность]] (или в любое другое [[коническое сечение]] — [[эллипс]], [[парабола|параболу]], [[Гипербола (математика)|гиперболу]]), то точки пересечения трёх пар противоположных сторон лежат на одной прямой.
Эту прямую называют ''прямой Паскаля'' <ref>''Дмитрий Ефремов''. [http://ilib.mccme.ru/djvu/ngt/ngt.djvu?djvuopts&page=17 Новая геометрия треугольника] {{Wayback|url=http://ilib.mccme.ru/djvu/ngt/ngt.djvu?djvuopts&page=17 |date=20200225055649 }}. — Одесса, 1902. — С. 7-8. Глава I, п.11.</ref>.

== История ==

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

== О доказательствах ==

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

== Применение ==

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

== Вариации и обобщения ==

*Теорема Паскаля [[Принцип двойственности (проективная геометрия)|двойственна]] к [[теорема Брианшона|теореме Брианшона]].

*Если главные диагонали шестиугольника пересекаются в одной точке, то соответствующая прямая, возникающая в теореме Паскаля, является [[Полюс и поляра|полярой]] этой точки относительно коники, в которую вписан шестиугольник.
**В общем случае, прямая из теоремы Паскаля для шестиугольника, вписанного в конику <math>\mathcal K</math>, является полярой относительно <math>\mathcal K</math> точки из [[Теорема Брианшона|теоремы Брианшона]] для шестиугольника, образованного касательными к <math>\mathcal K</math> в вершинах исходного шестиугольника.

[[Файл:Pascal-3456.png|450px|thumb|Вырожденные случаи теоремы Паскаля]]

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

*В [[1847]] появилось обобщение теоремы Паскаля, сделанное [[Мёбиус, Август Фердинанд|Мёбиусом]], которое звучит так:
**Если [[многоугольник]] с <math>4 n + 2</math> сторонами вписан в [[коническое сечение]] и противоположные его стороны продолжены таким образом, чтобы пересечься в <math>2 n + 1</math> точке, то если <math>2 n</math> этих точек лежат на прямой, последняя точка будет лежать на той же прямой.

*'''Теорема Киркмана''': Пусть точки <math>A</math>, <math>B</math>, <math>C</math>, <math>D</math>, <math>E</math> и <math>F</math> лежат на одном коническом сечении. Тогда прямые Паскаля шестиугольников <math>ABFDCE</math>, <math>AEFBDC</math> и <math>ABDFEC</math> пересекаются в одной точке.

*[[Теорема о 9 точках на кубике]]

== Дополнительные иллюстрации ==
[[Файл:Pascaltheoremgenericwithlabels.svg|thumb|250px|left|Шесть прямых Паскаля {{math|''GHK''}} самопересекающегося (невыпуклого) шестиугольника {{math|''ABCDEF''}}, вписанного в эллипс. Его три пары противоположных сторон выделены разными цветами (одна пара красная, другая жёлтая, а третья синяя). Точки пересечения лежат на одной прямой (эта прямая - прямая Паскаля - показана белым цветом)]]
[[Файл:Pascal'sTheoremLetteredColored.PNG|thumb|250px|right|Самопересекающийся (невыпуклый) шестиугольник {{math|''ABCDEF''}}, вписанный в окружность. Три пары его противоположных сторон пересекаются внешним образом так, что они лежат на одной прямой (на прямой Паскаля). Каждая из трёх пар его противоположных сторон пересекается внешним образом. Эти три пары показаны тремя цветами: одна пара красная, другая жёлтая, а третья синяя. Сама прямая Паскаля показана белым цветом]]
[[Файл:THPascal.svg|thumb|250px|center|Теорема верна даже для такого шестиугольника. Здесь имеется наружное пересечение трёх пар противоположных сторон выпуклого шестиугольника {{math|''ABCDEF''}}, вписанного в окружность (она справа). Его три пары противоположных сторон пересекаются в трёх точках M, N и P, лежащих на одной прямой (показаны слева). Три пары его противоположных продолженных сторон пересекаются на линии Паскаля (синяя)]]

== Примечания ==
{{примечания}}

== Литература ==
*{{статья|автор=Котельников К.|заглавие=Шестиугольник Паскаля|издание= [[В.О.Ф.Э.М.]]|ссылка=http://vofem.ru/ru/articles/5003/|год=1888|номер=50|страницы=34—35}}
* [[Паскаль, Блез|Паскаль]]. Опыт о конических сечениях с приложением письма Лейбница к Э. Перье. Перевод и комментарии Г. И. Игнациуса. // [[Историко-математические исследования]]. Выпуск XIV.
*{{статья|автор=Фрейверт Д. М.|заглавие=Новая тема в евклидовой геометрии на плоскости: теория «точек Паскаля», формируемых с помощью окружности на сторонах четырёхугольника|ссылка=http://libr.msu.by/handle/123456789/9675|год=2019|страницы=37—42}}
* [[Шаль, Мишель|Шаль]]. [[s:Исторический обзор происхождения и развития геометрических методов/Паскаль/ДО|Исторический обзор происхождения и развития геометрических методов]]. Гл. 2, § 16-19. М., 1883.
* ''Р.Курант, Г.Роббинс,'' [http://www.mccme.ru/free-books/pdf/kurant.htm Что такое математика?] Глава IV, § 8.4.
* Живые чертежи (на [[Java]])
** [http://cut-the-knot.org/Curriculum/Geometry/Pascal.shtml Pascal’s theorem] на [http://www.cut-the-knot.org/content.shtml Cut the knot]
** [https://web.archive.org/web/20120518095545/http://jimloy.com/cindy/pascal.htm Pascal’s theorem]
* {{Книга:Элементарная геометрия. Понарин|76-78|1}}
*{{статья
|автор= D. Fraivert
|издание=Journal of Mathematical Sciences: Advances and Applications
|заглавие=The theory of a convex quadrilateral and a circle that forms Pascal points - the properties of Pascal points on the sides of a convex quadrilateral
|том=40
|год=2016
|ref=Fraivert
|pages=1–34 | doi=10.18642/jmsaa_7100121666
}}
* {{статья
|автор=D. Fraivert.
|ref=Fraivert
|издание= Forum Geometricorum
|pages= 509–526
|заглавие= Properties of a Pascal points circle in a quadrilateral with perpendicular diagonals |ссылка=http://forumgeom.fau.edu/FG2017volume17/FG201748.pdf
|url= http://forumgeom.fau.edu/FG2017volume17/FG201748.pdf
|volume= 17
|год= 2017
}}

[[Категория:Проективная геометрия]]
[[Категория:Конические сечения]]
[[Категория:Теоремы планиметрии|Паскаля]]
[[Категория:Теоремы проективной геометрии]]
[[Категория:Блез Паскаль]]

Теорема Паскаля - История изменений

imported>Д.Ильин: иллюстрирование