MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 4 added 871 characters in body

To prove your result we need to rule out the

The first case cannot be circularly stable as soon as $|X|\geq 6$. This can is because if we let $P$ be done by considering circumcircles of triangles with disjoint bases and the common apex . For and $A,B,C,D$ be collinear points in that order, then the second case one can check circumcircles of $PAC$ and $PBD$ intersect in a point not in $X$. We conclude that if $|X|\geq 7$ and $X$ is circularly stable, then either $X$ is collinear or it is dense in the plane.

To classify all circularly stable only when sets with $|X|=6$ that are not collinear we must be in the second case above. Let the points be $A,B,C,D$ as vertices of the parallelogram and $O$ the intersection of the diagonals. Now, the circumcircle of $ABC$ and the line $BD$ must intersect at $D$ so $ABCD$ is inscribed in a circle, i.e. it is a rectangle. So Now looking at the maximum size circumcircle of $ABO$ and the line $BC$ we must have $BC$ tangent to this circumcircle so $ABCD$ must be a finite square. It's easy to check that a square, its center and the point at infinity form a circularly stable setis 6 (The four verties .

There are no circularly stable sets with $|X|=5$ that are not collinear. If there were it would come from the first case. We have the apex $A$ and center three collinear points $B,C,D$. The circumcircle of a rectangle $ABD$ and the line $AC$ intersect in a different pointat infinity), contradiction. On the other hand, as you mention in the OP, any set with $|X|\le 4$ is circularly stable.

show/hide this revision's text 3 added 308 characters in body

Send one of the points to infinity by a Mobius tranformation. Your set of points now has the property that the intersection of any two lines passing from pairs of points in the set is also in the set. Such configurations are either all collinear, dense in the plane, or one of these two exceptional cases:

  • A point together with a collection of points in a line
  • The four vertices of a convex quadrilateralparallelogram and the intersection of its diagonals.

To prove your result we need to rule out the first case. This can be done by considering circumcircles of triangles with disjoint bases and the common apex. For the second case one can check that it is circularly stable only when the parallelogram is inscribed in a circle, i.e. it is a rectangle. So the maximum size of a finite circularly stable set is 6 (The four verties and center of a rectangle and the point at infinity).

The result I used above is proved in "A dense planar point set from iterated line intersections" by D. Ismailescu and R. Radoicic.

show/hide this revision's text 2 edited body

Send one of the points to infinity by a projective Mobius tranformation. Your set of points now has the property that the intersection of any two lines passing from pairs of points in the set is also in the set. Such configurations are either all collinear, dense in the plane, or one of these two exceptional cases:

  • A point together with a collection of points in a line
  • The four vertices of a convex quadrilateral

To prove your result we need to rule out the first case. This can be done by considering circumcircles of triangles with disjoint bases and the common apex. The result I used above is proved in "A dense planar point set from iterated line intersections" by D. Ismailescu and R. Radoicic.

show/hide this revision's text 1