下面这个精彩的问题来自于刚刚结束的 IMO 2011 中的第 2 题：

     设 S 是平面上包含至少两个点的一个有限点集，其中没有三点在同一条直线上。所谓一个“风车”是指这样一个过程：从经过 S 中单独一点 P 的一条直线 l 开始，以 P 为旋转中心顺时针旋转，直至首次遇到 S 中的另一点，记为点 Q 。接着这条直线以 Q 为新的旋转中心顺时针旋转，直到再次遇到 S 中的某一点，这样的过程无限持续下去。

         证明：可以适当选取 S 中的一点 P ，以及过 P 的一条直线 l ，使得由此产生的“风车”将 S 中的每一点都无限多次用作旋转中心。

         注意，由于两点确定的直线只有有限多条，因此直线无限旋转下去，必然会出现和以前某个时刻相同的状态，于是产生循环。另外，由于直线旋转的过程是可逆的，我们不必担心最终产生的是一个 ρ 字形的循环。因此，我们实际上只需要证明，存在这样一条初始直线，它可以碰到所有的点。

     我用 Mathematica 写了一个程序，做了一些直观的动画。如图所示的由 6 个点构成的点集，适当地选择初始直线就能遍历所有的点，但错误的选择将会导致有一些点永远也碰不到。

     IMO 2011 赛后统计资料显示，这道漂亮的问题竟然是六道题中第二难的题(第一难的题是最后一道)。 polymath blog 组织了 mini-polymath3 活动，邀请众人一同讨论这道题的解法。活动开始后的第 74 分钟，有人给出了正确的解法。果然不出所料，神题就该有神解，这道题有一个异常简单巧妙的证明方法。