Гармонійна четвірка

Гармонійна четвірка точок — четвірка точок на проєктивній прямій, подвійне відношення яких ${\displaystyle (ABCD)=-1}$. В цьому випадку кажуть також, що точки ${\displaystyle C}$ і ${\displaystyle D}$ гармонійно поєднані відносно ${\displaystyle A,B}$ і пишуть ${\displaystyle H(AB,CD)}$.

Приклад гармонійної четвірки точок A, B, C і D.

Гармонійна четвірка прямих — четвірка прямих ${\displaystyle a,b,c,d}$ у проєктивній площині, що проходять через одну точку ${\displaystyle S}$, для яких будь-яка четвірка точок ${\displaystyle A,B,C,D}$, така, що ${\displaystyle A\in a,B\in b,C\in c,D\in d}$, що знаходяться на одній прямій, є гармонійною. В цьому випадку пишуть ${\displaystyle H(ab,cd)}$.

Властивості

• Якщо гармонійну четвірку прямих перетинає пряма, то на цій прямій утворюється гармонійна четвірка точок.
• На кожній стороні повного чотиривершинника є гармонійна четвірка точок.
• На кожній діагоналі повного чотиривершинника є гармонійна четвірка точок.

Побудова

A, B, C, D — гармонійна четвірка точок.

Для будь-яких трьох точок, що лежать на одній прямій, користуючись гармонійними властивостями повного четиривершинника, можна побудувати четверту точку так, що вийде гармонійна четвірка точок. А саме, точки перетину поротилежних сторін повного чотиривершинника і точки перетину діагоналей з прямою, що проходить через ці точки, утворюють гармонійну четвірку точок.

Гармонійна четвірка на розширеній евклідовій площині

• Якщо точка ${\displaystyle D_{\infty }}$ невласна, то четвірка ${\displaystyle A,B,C,D_{\infty }}$ є гармонійною, якщо ${\displaystyle C}$ — середина відрізка ${\displaystyle AB}$.
• Якщо ${\displaystyle ABCD}$ — повний чотиривершинник і його діагональні точки ${\displaystyle P_{\infty },Q_{\infty }}$ — невласні, то на розширеній евклідовій площині ${\displaystyle ABCD}$ — паралелограм, а з його гармонійних властивостей випливає, що точка перетину його діагоналей ділить їх навпіл.
• Якщо ${\displaystyle ABCD}$ — повний чотиривершинник, у якого одна діагональна точка ${\displaystyle R_{\infty }=BC\cap AD}$ — невласна, ${\displaystyle P=AB\cap CD,Q=AC\cap BD}$, то на розширеній евклідовій площині ${\displaystyle ABCD}$ — трапеція, а з його гармонійних властивостей випливає, що ${\displaystyle PQ}$ ділить ${\displaystyle AD}$ навпіл.

Див. також

• Відношення напрямлених відрізків

Література

• Базылев, Дуничев, Иваницкая. Геометрия, часть 2. — М. : Просвещение, 1975.
• Ефимов Н. В. Высшая геометрия. — 6-е изд.. — М., 1978.
• Певзнер С.Л. Проективная геометрия. — М. : Просвещение, 1980.
• Постников М. М. Аналитическая геометрия. — 1973.
• Х. С. М. Кокстер. Действительная проективная плоскость / под ред. проф. А. А. Глаголева — М., 1959.