MathLabs

Problem 2

Let SS be a finite set of at least two points in the plane. Assume that no three points of SS are collinear. A windmill is a process that starts with a line going through a single point P∈SP\in S. The line rotates clockwise about the pivot PP until the first time that the line meets some other point belonging to SS. This point, QQ, takes over as the new pivot, and the line now rotates clockwise about QQ, until it next meets a point of SS. This process continues indefinitely. Show that we can choose a point PP in SS and a line going through PP such that the resulting windmill uses each point of SS as a pivot infinitely many times.
Step 2 of 6: Build a balancing line through each vertex
In plain words

Spin a line 180° about a fixed vertex: the count of points on its right changes by exactly one point at a time, so it must pass through the balanced value on the way.

0→k→n−1−k0\to k\to n-1-k
Detailed analysis

Fix a vertex PP and start with any ordinary line through PP, say with kk points to its right. As the line rotates 180∘180^\circ about the pivot PP, each of the other n−1n-1 vertices QQ switches sides exactly once, precisely when the line's direction passes through the (distinct, since no three points are collinear) direction of PQPQ; after the full half-turn the right-count has gone from kk to n−1−kn-1-k, changing by exactly 11 at each such crossing. Hence at some ordinary direction along the way the right-count equals ⌊n−12⌋\left\lfloor\frac{n-1}{2}\right\rfloor, and the line at that moment is the desired ordinary balancing line through PP.