2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему
 
 Двойственная теорема (т.Паппа)
Сообщение08.01.2009, 08:47 


06/01/09
4
Доброго времени! Прощу Вашего совета/помощи в составлении двойственной теоремы теореме Паппа о полном четырёхстороннике...

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

Вот такой у нас чертёж изначально.
Изображение

На этом же примере: гармонические отношение здесь будет означать следующее (PQMN)=(ACSN)=(BDSM)=-1. То есть, к примеру, Изображение

Для формулировки двойственной теоремы я построила новый чертёж, использовав инцидентность и преобразуя все точки в прямые и прямые в точки. Получилось следующее:

Изначально:
Изображение

Двойственность:
Изображение

Вот с формулировкой никак не получается сообразить :?

Если перефразировать исходную теорему (с использованием чертежа), то получается примерно следующее: две прямые, проходящие через точки A, C и B, D гармонически делят третью прямую PQ.
Пробую поменять местами прямые с точками и наоборот: через 2 точки, лежащих на пересечении прямых a, c и b, d из вершин H и G полного четырёхсторонника проходят прямые m и n, гармонически разделяющие KI.

Но надо что-то более обобщённое...

 Профиль  
                  
 
 
Сообщение08.01.2009, 19:24 
Заслуженный участник


27/06/08
4062
Волгоград
ile в сообщении #175022 писал(а):
Прощу Вашего совета/помощи в составлении двойственной теоремы теореме Паппа о полном четырёхстороннике...

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

Вот такой у нас чертёж изначально.


На этом же примере: гармонические отношение здесь будет означать следующее (PQMN)=(ACSN)=(BDSM)=-1. То есть, к примеру,


По-моему, у Вас некая путаница (по крайней мере, в обозначениях). В условии говорится, о гармоническом свойстве полного четырехсторонника, а судя по обозначениям на первой картинке, Вы рассматривете одно из гармонических свойств двойственной фигуры - полного четырехугольника (ABCD).

Укажите почетче, какую именно фигуру Вы рассматриваете изначально: образованную четверкой точек (никакие три из которых неколлинеарны), или четверкой прямых (никакие три из которых не проходят через одну точку).

 Профиль  
                  
 
 
Сообщение08.01.2009, 19:58 


06/01/09
4
2VAL:
Согласно теореме Менелая о трансверсалях (теорема о полном четырехстороннике), плоский полный четырехсторонник можно получить из произвольного четырехугольника продолжением каждой пары его противоположных сторон до пересечения.

Получается, что ABCD или BPDQ или APCQ - четырёхсторонник, а AC, BD и PQ - его диагонали...

 Профиль  
                  
 
 
Сообщение08.01.2009, 22:47 
Заслуженный участник


27/06/08
4062
Волгоград
ile писал(а):
2VAL:
Согласно теореме Менелая о трансверсалях (теорема о полном четырехстороннике), плоский полный четырехсторонник можно получить из произвольного четырехугольника продолжением каждой пары его противоположных сторон до пересечения.

Получается, что ABCD или BPDQ или APCQ - четырёхсторонник, а AC, BD и PQ - его диагонали...

Меня учили, правда, это было давно (но уже после Паппа и Менелая), по-другому.

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

Например, на Вашем первом чертеже можно принять за вершины полного четырехугольника точки A,B,C и D. Тогда прямые AB, AC, AD, BC, BD и CD будут сторонами. P, Q и S будут дигональными точками. PQ - диагональ (еще две диагонали PS и QS не нарисованы).

Полный четырехугольник обладает целым рядом гармонических свойств:

1) на каждой диагонали полного четырехугольника имеется гармоническая четвера точек, образованная парой диагональных точек и точками пересечения этой диагонали со сторонами, проходящими через третью диагональную точку.
(На Вашем первом чертеже это четверка P,Q,M,N.)

2) на каждой стороне полного четырехугольника имеется гармоническая четверка точек, образованная парой вершин, диагональной точкой и точкой пересечения данной стороны с диагональю, проходящей через две оставшиеся диагональные точки.
(На Вашем первом чертеже это, например, четверка A,C,S,N.)

3) пара противоположных сторон полного четырехугольника гармонически делит пару диагоналей, проходящих через точку пересечения этих сторон.
(На Вашем первом чертеже это, например, четверка прямых AC, BD, PS, QS.)

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

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

Каждое из гармонических свойств полного четырехугольника с помощью малого принципа двойственности можно превратить в гармоническое свойство полного четырехсторонника.

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

Может быть, это то что Вам нужно?

 Профиль  
                  
 
 
Сообщение09.01.2009, 06:01 


06/01/09
4
VAL, спасибо большое :!: Буду пересматривать сейчас задачу с этой стороны :idea:

 Профиль  
                  
 
 
Сообщение09.01.2009, 20:33 
Заслуженный участник


11/03/08
535
Петропавловск, Казахстан
Две прямые могут гармонически разделять две другие прямые. У Вас не закончена формулировка теоремы.

Добавлено спустя 21 минуту 32 секунды:

Кроме того, три диагонали четырёхсторонника не проходят через одну точку.

 Профиль  
                  
 
 
Сообщение09.01.2009, 20:39 


12/09/08

2262
BVR в сообщении #175508 писал(а):
У Вас не закончена формулировка теоремы Паппа.
Никак не пойму, почему все называют это теоремой Паппа? Ведь же теорема Паппа — это совсем о другом.
BVR в сообщении #175508 писал(а):
Кроме того, три диагонали четырёхсторонника не проходят через одну точку.
Хехе, проективные геометрии бывают не только над $\mathbb{R}$ :)

 Профиль  
                  
 
 
Сообщение09.01.2009, 21:01 
Заслуженный участник


11/03/08
535
Петропавловск, Казахстан
вздымщик Цыпа
Да это вообще не теорема. А теоремой Паппа разные авторы разные утверждения называют причём неизвестно имеют ли они отношение к Паппу или нет. Но, однако, в теореме Паппа говорится о шести точек и у четырёхсторонника есть шесть вершин. Может автор начального поста уточнит.

 Профиль  
                  
 
 
Сообщение10.01.2009, 16:04 


06/01/09
4
Цыпе и BVR:
Поясню насчёт возникшей путанницы в теоремах. Дело в том, что их несколько.

У алексадрийского математика Паппа (III в.н.э.) при исследовании свойств четырёхсторонника впервые вводится двойное (ангармоническое отношение) прямолинейной четвёрки точек. Им была доказана теорема, равносильная теореме об инвариантности двойного отношения в проектировании. Также теорема о полном четырёхстороннике: две диагонали полного четырёхсторонника гармонически разделяют третью (теорема Паппа о полном четырёхстороннике). И было доказано следующее утверждение (теорема Паппа): если на двух пересекающихся прямых l и l' лежат две тройки точек соответственно A, B, C и A', B', C', причём ни одна из них не совпадает с точкой O пересечения прямых l и l', то точка P пересечения прямых AB' и A'B, точка R пересечения прямых BC' и B'C и точка Q пересечения прямых AC' и A'C лежат на одной прямой. Иначе: если вершины шестисторонника AB'CA'BC' попеременно лежат на l и l', то три другие точки пересечения его сторон лежат на одной прямой.

В задаче при построении по принципу двойственности получается та же фигура - четырёхсторонник, отличием будет соотношение прямых и точек. То есть если в первом случае у нас было 4 прямых, на которых лежало 3 точки, и 3 прямых на которых их было 4, то получим обратное.

Благодаря VAL'у пришёл новый подход к восприятию задачи :idea:

 Профиль  
                  
 
 
Сообщение12.01.2009, 19:32 
Заслуженный участник


11/03/08
535
Петропавловск, Казахстан
ile
А Вы точно перечитали, что написали в первом посте?

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 10 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group