Перспектива и проективная геометрия
жүктеу/скачать 0,73 Mb.
|
Перспектива и проективная геометрия
| Теорема Паппа
Пусть X,Y,Z и X',Y',Z'– коллинеарные тройки точек. Прямые XY' и X'Y пересекаются в точке А, прямые YZ' и Y'Z – в точке В, прямые ZX' и Z'X – в точке С. Тогда точки А,В,С коллинеарны. Перед нами замечательный пример проективной теоремы. В условии даны две коллинеарные тройки точек, и в заключении получаем еще одну коллинеарную тройку. Исходные тройки точек можно располагать на прямых в любом порядке, получая разнообразные, непохожие друг на друга чертежи, но точки А,В,С обязательно будут лежать на одной прямой. Всего в рассмотренную конфигурацию входят девять точек и девять прямых. На каждой прямой лежат по три точки, через каждую точку проходят три прямые. Попытка воспользоваться принципом двойственности и обменять местами точки и прямые приведет лишь к тому, что мы получим эквивалентную формулировку той же самой теоремы. Пусть x,y,z и x',y',z' – две тройки конкурентных прямых. Соединим точки пересечения прямых x,y' и x',y прямой а, точки пересечения y,z' и y',z – прямой b, точки пересечения z,x' и z',x – прямой c. Тогда прямые a,b,c конкурентны. Построив чертеж к двойственной теореме, увидим ту же самую конструкцию из девяти прямых и девяти точек. Интересно, что в теореме Паппа речь идет о «дважды дезарговых» трехвершинниках. Рассмотрим два трехвершинника, образованных прямыми XY', YZ', ZX' и X'Y, Y'Z, Z'X. Назовем их KLM и PQR. Точки пересечения сторон KL и QR, LM и PQ, MK и PR – это точки X, Y, Z, лежащие на одной прямой. Точно так же точки пересечения сторон KL и PR, LM и QR, MK и PQ – это точки X', Y', Z', лежащие на одной прямой. Теорема Паппа утверждает, что эти трехвершинники являются даже «трижды дезарговыми», то есть точки пересечения сторон KL и PQ, LM и PR, MK и RQ также лежат на одной прямой. Кажется очень естественной попытка доказать теорему Паппа, используя теорему Дезарга. Однако, Гильберт в своей знаменитой книге «Основания геометрии» показал, что попытки получить доказательство теоремы Паппа, только применяя к различным парам трехвершинников на чертеже теорему Дезарга, не могут привести к успеху. Теорема Паппа оказывается в каком-то смысле «глубже» теоремы Дезарга. Обратный ход оказывается вполне возможным. Теорему Дезарга можно доказать, используя теорему Паппа. Разумеется, речь идет о «проективных» доказательствах без использования пропорций, отношений или, тем более, расстояний между точками.. Теорема Паппа знаменита прежде всего тем, что это первая проективная теорема. Папп сформулировал и доказал ее примерно за полторы тысячи лет до возникновения проективной геометрии. При этом он не рассматривал ни проекций, ни сложных отношений. Попробуйте сами доказать теорему Паппа, используя только теоремы школьного курса евклидовой геометрии. Нет сомнений, что на этом пути вас ожидают определенные трудности. Для этого, видимо, придется многократно применять к различным треугольникам теорему Менелая или теорему Чевы. Возможно есть и другие пути доказательства. Кто знает?... Не зря же Папп был назван последним великим геометром античности. жүктеу/скачать 0,73 Mb. Достарыңызбен бөлісу:
|