Find all integers with the following property: there exist distinct points on the plane such that each point is the circumcentre of a triangle formed by 3 of the points.
Solution
The answer is any integer .
When , consider two equilateral triangles of side lengths 1 having parallel sides and the same orientation such that each pair of corresponding vertices is at a distance 1 apart. It is clear that each point has a distance 1 to three other points, so that it is the circumcentre of some triangle.


Assume there are distinct points such that each point is the circumcentre of some triangle. Consider the convex hull of these points. Let be a side of the convex hull. We may assume there is no point on the segment . Let be a point such that is the largest possible. Note that since it is not possible that all points are collinear.
If , then the circumcentre of lies on or on a different side to the line as . In both cases, is distinct from all these points. We can take as the st point so that each point is the circumcentre of some triangle.
If , then the circumcentre of satisfies
From the choice of , the point must be distinct from all the points. Again, we can take as the st point.
By induction, we find that the property is satisfied for any .
It remains to show that does not satisfy the property. If this is true, then both and do not satisfy the property from the above inductive step.
Let the points be . WLOG assume is the circumcentre of . One of the following must occur.
* If is the circumcentre of , then . So both and are equilateral triangles. Note that at least one of must lie on a circle with centre that contains 3 points. So lies on the circle with centre that passes through and . Similarly, lies on the circle with centre that passes through and . This is a contradiction since the two circles only meet at and .

* If is the circumcentre of , then . So is an equilateral triangle. Thus, there must be 3 points lying on the circle with centre that passes through and . In either case or , we get the same configuration as above and hence it is a contradiction.
* If is the circumcentre of , we may also assume is the circum-centre of since otherwise it is included in the above two cases by symmetry. Then this is exactly the same as the first case. Again, this yields a contradiction.
Therefore, does not satisfy the property. The result then follows.