text: Если A B C D {\displaystyle ABCD} — полный четырёхвершинник и его диагональные точки P ∞ , Q ∞ {\displaystyle P_{\infty },Q_{\infty }} — несобственные, то на расширенной евклидовой плоскости A B C D {\displaystyle ABCD} — параллелограмм, а из его гармонических свойств следует, что точка пересечения его диагоналей делит их пополам.