Four or more points ,
,
,
,
... which lie on a circle
are said to be concyclic. Three points are trivially concyclic
since three noncollinear points determine a circle (i.e.,
every triangle has a circumcircle).
Ptolemy's theorem can be used to determine if
four points are concyclic.
The number of the lattice points
which can be picked with no four concyclic is
(Guy 1994).
A theorem states that if any four consecutive points of a polygon are not concyclic, then its area can be increased by making them concyclic. This fact arises in some proofs that the solution to the isoperimetric problem is the circle.