Теорема Паппа

Теорема Паппа Материал из Википедии — свободной энциклопедии Перейти к навигацииПерейти к поиску Теорема Паппа Теоре́ма Па́ппа — это классическая теорема проективной геометрии. Содержание 1 Формулировка 1.1 Замечания 2 История 3 Доказательства 3.1 Доказательство удалением точек на бесконечность 3.2 Доказательство через теорему Менелая 4 Вариации и обобщения 5 См. также 6 Литература Формулировка Пусть A, B, C — три точки на одной прямой, A’ , B’ , C’ — три точки на другой прямой. Пусть три прямые АВ’ , BC’ , CA’ пересекают три прямые A’B, B’C, C’A, соответственно в точках X, Y, Z. Тогда точки X, Y, Z лежат на одной прямой. Замечания Двойственная формулировка к теореме Паппа является лишь переформулировкой самой теоремы: Пусть прямые {\displaystyle a_{1},a_{2},a_{3}}a_{1},a_{2},a_{3} проходят через точку A, {\displaystyle a_{1}’,a_{2}’,a_{3}’}a_{1}’,a_{2}’,a_{3}’ проходят через точку A’. {\displaystyle a_{1}}a_{1} пересекает {\displaystyle a_{2}’}a_{2}’ и {\displaystyle a_{3}’}a_{3}’ в точках B и C, {\displaystyle a_{2}}a_{2} пересекает {\displaystyle a_{1}’}a_{1}’ и {\displaystyle a_{3}’}a_{3}’ в точках C’ и Z, {\displaystyle a_{3}}a_{3} пересекает {\displaystyle a_{1}’}a_{1}’ и {\displaystyle a_{2}’}a_{2}’ в точках B’ и X. Тогда прямые BC’, B’C и XZ пересекаются в одной точке (на чертеже — точка Y) или параллельны. История Формулировка и доказательство этой теоремы содержатся в «Математическом собрании» Паппа Александрийского (начало IV века н. э.). В Новое время теорема была опубликована издателем и комментатором работ Паппа Федерико Коммандино в 1566 году. Доказательства Точки X, Y, Z лежат на одной прямой Доказательство удалением точек на бесконечность Пусть точка {\displaystyle O}O — точка пересечения прямых, на которых лежат точки {\displaystyle A}A, {\displaystyle B}B, {\displaystyle C}C и {\displaystyle A’}A’, {\displaystyle B’}B’, {\displaystyle C’}C’. Рассмотрим пересечения прямых: {\displaystyle AB’\cap A’B=X}{\displaystyle AB’\cap A’B=X} {\displaystyle AC’\cap A’C=Y}{\displaystyle AC’\cap A’C=Y} {\displaystyle CB’\cap C’B=Z}{\displaystyle CB’\cap C’B=Z} Теперь применим проективное отображение, переводящее прямую {\displaystyle XY}XY на бесконечность. Так как {\displaystyle X=\infty }{\displaystyle X=\infty }: {\displaystyle AB’\parallel A’B}{\displaystyle AB’\parallel A’B}, {\displaystyle Y=\infty }{\displaystyle Y=\infty }: {\displaystyle AC’\parallel A’C}{\displaystyle AC’\parallel A’C}. Теперь необходимо доказать, что {\displaystyle BC’\parallel B’C}{\displaystyle BC’\parallel B’C}. Рассмотрим подобные треугольники. {\displaystyle \bigtriangleup OAC’\sim \ \bigtriangleup OCA’\Rightarrow {\frac {OC}{OA’}}={\frac {OA}{OC’}}\Rightarrow OA\cdot OA’=OC\cdot OC’}{\displaystyle \bigtriangleup OAC’\sim \ \bigtriangleup OCA’\Rightarrow {\frac {OC}{OA’}}={\frac {OA}{OC’}}\Rightarrow OA\cdot OA’=OC\cdot OC’} {\displaystyle \bigtriangleup OAB’\sim \ \bigtriangleup OBA’\Rightarrow {\frac {OB}{OA’}}={\frac {OA}{OB’}}\Rightarrow OA\cdot OA’=OB\cdot OB’}{\displaystyle \bigtriangleup OAB’\sim \ \bigtriangleup OBA’\Rightarrow {\frac {OB}{OA’}}={\frac {OA}{OB’}}\Rightarrow OA\cdot OA’=OB\cdot OB’} Отсюда следует, что {\displaystyle {\frac {OB}{OC}}={\frac {OB’}{OC’}}\Rightarrow \bigtriangleup OCB’\sim \bigtriangleup OBC’}{\displaystyle {\frac {OB}{OC}}={\frac {OB’}{OC’}}\Rightarrow \bigtriangleup OCB’\sim \bigtriangleup OBC’} (по второму признаку подобия треугольников) {\displaystyle \Rightarrow BC’\parallel B’C}{\displaystyle \Rightarrow BC’\parallel B’C}. Что и требовалось доказать. Доказательство через теорему Менелая Применяя к треугольникам {\displaystyle \bigtriangleup AXB}{\displaystyle \bigtriangleup AXB}, {\displaystyle \bigtriangleup AYC}{\displaystyle \bigtriangleup AYC} и {\displaystyle \bigtriangleup BZC}{\displaystyle \bigtriangleup BZC} теорему Менелая, также можно доказать данное утверждение. Вариации и обобщения Теорема Паппа является вырожденным случаем в теореме Паскаля: если заменить в теореме Паскаля вписанный в конику шестиугольник на вписанный в пару пересекающихся прямых, то она станет эквивалентной теореме Паппа. Сам Паскаль считал пару прямых коническим сечением (то есть считал теорему Паппа частным случаем своей теоремы). Двойственная формулировка является вырожденным случаем Теоремы Брианшона. См. также Теорема Паппа о площадях