The diagonal triangle of a complete quadrangle
is the triangle formed by its three diagonal points.
If the quadrangle is a cyclic quadrilateral, then the circle is the polar circle of the diagonal
triangle, i.e., each vertex is the inversion pole
of the opposite side with respect to the circle.