logo
Проективная геометрия для ИМ

Гармонические свойства полного четырехвершинника

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

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

Гармоническими четверками будут на сторонах:

(AB,PM)=(АC,QG)=(AD,RL)=(BC,RN)=(BD,QF)=(CD,PK)= -1.

на диагоналях: (PQ,NL)=(PR,FG)=(RQ,MK)= -1.

Доказательство. Рассмотрим репер R( A, B, C, D ). Тогда A, B, C, D .

Точка Р является проекцией единичной точки D из третьей базисной точки С на координатную прямую (АВ) Р .

Точка Q является проекцией единичной точки D из второй базисной точки В на координатную прямую (АС) Q .

Точка R является проекцией единичной точки D из первой базисной точки А на координатную прямую (ВС) R .

М (АВ) х3 = 0.

М (QR)=0- х1 – х2 = 0- х1 = х2М .

Точки A , B , Р , М лежат на одной прямой и подсчет сложного отношения дает (АВ,РМ)= - 1.

Гармонизм других четверок можно доказать аналогично. □

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

Замечание: В силу принципа двойственности верна теорема для четырехсторонника. (сам-но).

Построение четвертой гармонической точки с использованием свойств полного 4-вершинника

Задача. На прямой даны три точки - A, B, C. Построить четвёртую гармоническую точку D.

Решение. Мы должны подобрать какой-либо четырёхвершинник для которого точки А, В будут вершинами, а точка С одной из диагональных точек. При этом четвертая гармоническая точка будет пересечением диагонали со стороной (АВ).

Построение:

1. Берем произвольную точку Р (АВ).

2. Проводим прямые (АР) и (ВР).

3. Через точку C проводим произвольную прямую с, так что Р с.

4. С1= (ВР) ∩ с, D1 = (АР) ∩ с, Q = (АС1)∩(ВD1 ).

5. В четырехвершиннике АВС1D1 точки Р , Q , С – диагональные. Тогда (РQ)∩(АВ)= D - искомая.

Замечание: Если C – середина AB, тогда D будет бесконечно удаленной точкой.

Рассмотрим частные случаи полного четырёхвершинника на расширенной евклидовой плоскости.

Например, точка R∞ (АD) || (ВС) АВСD – трапеция.

(AD,LR∞)= (BC,NR∞) = - 1

по свойству гармонических четвёрок

точка L -середина отрезка AD,

а точка N - середина отрезка BC.

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

Например, точки Р∞ и R∞ (АD) || (ВС) и (АВ) || (СD) АВСD – параллелограмм.

Так как прямая (Р∞R∞)- несобственная, то точки F, G тоже несобственные (АC,QG∞)=(BD,QF∞)=-1

точка Q - середина отрезков АС и BD.

Вывод: Точка пересечения диагоналей параллелограмма делит диагонали пополам.

(Свойство параллелограмма).

Задачи на построение.

Задача 1. Даны прямые а || b, точки А, В а. С помощью линейки построить середину отрезка АВ.

Решение. Так прямые параллельны будем использовать частный случай четырехвершинника – трапецию.

Построение:

1. Берем Р неинцидентную прямым а и b.

2. Проводим прямые (АР) и (ВР).

3. Строим точки

С=(АР)∩b,

D=(ВР)∩b.

4. Q = (СВ)∩(АD).

5. (РQ)∩(АВ)= М - искомая середина отрезка.

Задача 2. Даны точки А, В, С а и точка D а , причем точка С - середина отрезка АВ. С помощью линейки, через точку D провести прямую b ||а.

Решение. Так как необходимо построить параллельную прямую, будем использовать частный случай четырехвершинника – трапецию.

Построение:

1. Проводим (АD).

2. Берем Р(АD),

Р≠А, Р≠D.

3. Проводим прямые (СР), (ВР) и (ВD).

4. Q = (СР)∩(ВD).

5. (АQ)∩(ВР)= М.

Искомая

прямая - (МD)||а.

Задача 3. Даны прямые а || b, точки А, В а. С помощью линейки удвоить отрезок АВ.

Решение. Так прямые параллельны будем использовать частный случай четырехвершинника – трапецию.

Построение:

1. На прямой b возьмем две произвольные точки С и D.

2. Используя задачу 1, построим точку М – середину СD.

3. (АС)∩(ВМ)= Р.

4. (РD)∩а = N - искомая точка.