Let be a set of points in a plane.
Define to be the set of points obtained from in the following way: Let be the set of all lines that intersect in exactly two points. Let be the set of midpoints defined by the pairs of points for each . Let .
That is, we add to the midpoint of every pair of points in that are not collinear with another point of . By construction, .
The map is not so interesting if the points in are all collinear. If the points are all collinear and contains other than 2 points, then . If there are exactly two points in , then will consist of the two points of together with their midpoint.
But if the points of are not all collinear, things get interesting.
Let be a finite set of points in a plane which are not all collinear. The Sylvester-Gallai theorem tells us that there will always be a line that intersects in exactly two points. This means we can iterate to create a sequence of strictly increasing sets. We start with some finite set of points in the plane not all collinear. Call it . For , define . The Sylvester-Gallai theorem guarantees that this sequence will never stabilize.
For example, if we start with the vertices of an equilateral triangle, here’s what happens:
The image at the very top of this blog post shows the result after one more iteration.
The total number of points in each stage, starting with the initial triangle vertices is:
3, 6, 9, 18, 69, 336, 1518, . . .
(By the way, this effectively represents the situation where consists of the vertices of any triangle because linear transformations respect the notions of collinearity and midpoint.)
If we don’t restrict ourselves to finite sets, the map has some interesting properties. For instance, if is the boundary of a bounded convex set in the plane, can you show that is together with all the points inside?
If is two kissing circles of the same radius, then will consist of the two circles plus the gray region shown below:
Do you know what kind of curves the red boundaries are?
For the answer, hover over this.
Getting back to the iteration that starts with the vertices of a triangle, let be the union of all the . Then is an example of a bounded, countable set of points such that no line intersects in exactly 2 points. Can you think of other countable, bounded sets that have this property? (There are a lot!) Can you think of a discrete set in the plane that satisfies ?
Finally, here’s a question I don’t know the answer to: what is the closure of ?
If you dream up a set with a neat , please share!
(Speaking of Sylvester-Gallai, Prof. Terrence Tao recently blogged about new results he obtained with Ben Green related to the theorem. They obtained far out results concerning the structure of finite sets of points that have very few lines that intersect in exactly two points (or 3 points) enabling them to obtain sharp lower bounds on the number of such “ordinary” lines for large sets. In his post, he mentions use of one of my favorite mathematical results due to Poonen and Rubenstein: if you draw in all the diagonals of a regular polygon, what is the maximum number of diagonals that can intersect in a single point off center? In a regular polygon with 2n sides, n of the diagonals will intersect at the center point. But what about off the center point? The answer, which first happens in a regular 30-gon, is 7. For an illustration, see page 2 of Poonen and Rubenstein’s paper.)