Imo 2011

This is the wiki page for the mini-polymath3 project, which seeks solutions to Question 5 from the 2011 International Mathematical Olympiad.

The project will start at July 19 8pm UTC, and will be hosted at the polymath blog. A discussion thread will be hosted at Terry Tao's blog.

Rules

This project will follow the usual polymath rules. In particular:

• Everyone is welcome to participate, though people who have already seen an external solution to the problem should refrain from giving spoilers throughout the experiment.
• This is a team effort, not a race between individuals. Rather than work for extended periods of time in isolation from the rest of the project, the idea is to come up with short observations (or to carry an observation of another participant further) and then report back what one gets to the rest of the team. Partial results or even failures can be worth reporting.
• Participants are encouraged to update the wiki, or to summarise progress within threads, for the benefit of others. (In particular, linking between the wiki and specific comments on the blogs is highly encouraged.)

Threads

Planning:

• Mini-polymath 3: 2011 IMO question, June 9 2011.

Discussion:

• Mini-polymath3 discussion thread, July 19 2011.

Research:

• Minipolymath3 project: 2011 IMO, July 19 2011

The question

Problem 2. Let [math]\displaystyle{ S }[/math] be a finite set of at least two points in the plane. Assume that no three points of [math]\displaystyle{ S }[/math] are collinear. A windmill is a process that starts with a line [math]\displaystyle{ \ell }[/math] going through a single point [math]\displaystyle{ P \in S }[/math]. The line rotates clockwise about the pivot [math]\displaystyle{ P }[/math] until the first time that the line meets some other point [math]\displaystyle{ Q }[/math] belonging to [math]\displaystyle{ S }[/math]. This point [math]\displaystyle{ Q }[/math] takes over as the new pivot, and the line now rotates clockwise about [math]\displaystyle{ Q }[/math], until it next meets a point of [math]\displaystyle{ S }[/math]. This process continues indefinitely.

Show that we can choose a point [math]\displaystyle{ P }[/math] in [math]\displaystyle{ S }[/math] and a line [math]\displaystyle{ \ell }[/math] going through [math]\displaystyle{ P }[/math] such that the resulting windmill uses each point of as a pivot infinitely many times.

Observations and partial results

• None yet.

Possible strategies

• None yet.

Completed solutions

• None yet.