Для любых точек A , B , C , D {\displaystyle A,B,C,D} плоскости выполнено неравенство
причём равенство достигается тогда и только тогда, когда A B C D {\displaystyle ABCD} — выпуклый вписанный четырёхугольник, или точки A , B , C , D {\displaystyle A,B,C,D} лежат на одной прямой.