Problem 2
The special direction built through P can only ever be realized by the balancing line through P, and that direction keeps coming back forever.
Let be the direction of the ordinary balancing line through built earlier, and start the windmill from that line. By the invariant, every ordinary line occurring in this windmill is a balancing line, and by the previous step the only balancing line with direction is the one through ; so whenever direction recurs in the windmill, must be the pivot at that moment. Since recurs after every subsequent of rotation, is the pivot infinitely often. As was an arbitrary vertex of , we may in particular start the windmill from the balancing line through any chosen point, and the same argument shows every vertex of is used as a pivot infinitely many times.