Difference between revisions of "2011 IMO Problems/Problem 2"
(Added the solution) |
(Graph) |
||
(5 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
+ | __TOC__ | ||
+ | |||
+ | ==Problem== | ||
Let <math>\mathcal{S}</math> be a finite set of at least two points in the plane. Assume that no three points of <math>\mathcal S</math> are collinear. A ''windmill'' is a process that starts with a line <math>\ell</math> going through a single point <math>P \in \mathcal S</math>. The line rotates clockwise about the ''pivot'' <math>P</math> until the first time that the line meets some other point belonging to <math>\mathcal S</math>. This point, <math>Q</math>, takes over as the new pivot, and the line now rotates clockwise about <math>Q</math>, until it next meets a point of <math>\mathcal S</math>. This process continues indefinitely. | Let <math>\mathcal{S}</math> be a finite set of at least two points in the plane. Assume that no three points of <math>\mathcal S</math> are collinear. A ''windmill'' is a process that starts with a line <math>\ell</math> going through a single point <math>P \in \mathcal S</math>. The line rotates clockwise about the ''pivot'' <math>P</math> until the first time that the line meets some other point belonging to <math>\mathcal S</math>. This point, <math>Q</math>, takes over as the new pivot, and the line now rotates clockwise about <math>Q</math>, until it next meets a point of <math>\mathcal S</math>. This process continues indefinitely. | ||
Show that we can choose a point <math>P</math> in <math>\mathcal S</math> and a line <math>\ell</math> going through <math>P</math> such that the resulting windmill uses each point of <math>\mathcal S</math> as a pivot infinitely many times. | Show that we can choose a point <math>P</math> in <math>\mathcal S</math> and a line <math>\ell</math> going through <math>P</math> such that the resulting windmill uses each point of <math>\mathcal S</math> as a pivot infinitely many times. | ||
Line 7: | Line 10: | ||
In order to divide the set <math>\mathcal S</math> into two halves, define <math>n</math> so that <math>N=2n+1+d</math> where <math>d=0</math> for an odd number of points and <math>d=1</math> for an even number of points. | In order to divide the set <math>\mathcal S</math> into two halves, define <math>n</math> so that <math>N=2n+1+d</math> where <math>d=0</math> for an odd number of points and <math>d=1</math> for an even number of points. | ||
− | Start the "windmill" process with the line <math>\ell</math> going vertically through the point <math>P_{n+1}</math>. Attach a up | + | Start the "windmill" process with the line <math>\ell</math> going vertically through the point <math>P_{n+1}</math>. Attach a down-up direction to this line so that we can color all points as follows: Points to the left of <math>\ell</math> (with lower x-coordinates) are blue, the pivot point on <math>\ell</math> is white and point to the right of <math>\ell</math> (with higher x-coordinates) are red. We have now <math>n</math> blue points, one white point and <math>n+d</math> red points. |
After processing the "windmill" by 180 degrees, the line <math>\ell</math> goes vertically up-down. Now, points with lower x-coordinates are to the right of <math>\ell</math> and colored red; points with higher x-coordinates are to the left of <math>\ell</math> and colored blue. | After processing the "windmill" by 180 degrees, the line <math>\ell</math> goes vertically up-down. Now, points with lower x-coordinates are to the right of <math>\ell</math> and colored red; points with higher x-coordinates are to the left of <math>\ell</math> and colored blue. | ||
− | Note that at each pivot exchange, the old pivot point enters the same side of <math>\ell</math> where the new pivot point came from. This means that throughout the "windmill" process, the number of blue points and the number of red points stay constant, respectively: We still have <math>n</math> blue points, one white point and <math>n+d</math> red points. This means that the current pivot point is <math> | + | Note that at each pivot exchange, the old pivot point enters the same side of <math>\ell</math> where the new pivot point came from. This means that throughout the "windmill" process, the number of blue points and the number of red points stay constant, respectively: We still have <math>n</math> blue points, one white point and <math>n+d</math> red points. This means that the current pivot point is <math>P_{n+d}</math>. |
Note that all blue and all red points changed their color from the start of the "windmill" process. This implies that every point was a pivot at some stage of the rotation. | Note that all blue and all red points changed their color from the start of the "windmill" process. This implies that every point was a pivot at some stage of the rotation. | ||
For every 180 degrees of "windmill" rotation, the same argument applies: all colored points must change their color and hence be a pivot at some stage. Infinitely many rotations imply infinitely many color changes. This completes the proof. | For every 180 degrees of "windmill" rotation, the same argument applies: all colored points must change their color and hence be a pivot at some stage. Infinitely many rotations imply infinitely many color changes. This completes the proof. | ||
+ | |||
+ | ==Interactive Graph== | ||
+ | See [https://www.desmos.com/calculator/eec1g1zfh9 here] | ||
+ | (By u/basuboss on reddit) | ||
==See Also== | ==See Also== | ||
− | *[[ | + | |
+ | {{IMO box|year=2011|num-b=1|num-a=3}} | ||
+ | |||
+ | ==Weblinks== | ||
+ | * [http://bernikr.github.io/windmill/ A interactive visualization of the Problem] | ||
+ | |||
+ | * [https://www.youtube.com/watch?v=M64HUIJFTZM/ A video solution] |
Latest revision as of 23:19, 26 November 2023
Problem
Let be a finite set of at least two points in the plane. Assume that no three points of
are collinear. A windmill is a process that starts with a line
going through a single point
. The line rotates clockwise about the pivot
until the first time that the line meets some other point belonging to
. This point,
, takes over as the new pivot, and the line now rotates clockwise about
, until it next meets a point of
. This process continues indefinitely.
Show that we can choose a point
in
and a line
going through
such that the resulting windmill uses each point of
as a pivot infinitely many times.
Solution
Choose a coordinate system so that all points in have distinct x-coordinates. Number the points
of
by increasing x-coordinates:
.
In order to divide the set into two halves, define
so that
where
for an odd number of points and
for an even number of points.
Start the "windmill" process with the line going vertically through the point
. Attach a down-up direction to this line so that we can color all points as follows: Points to the left of
(with lower x-coordinates) are blue, the pivot point on
is white and point to the right of
(with higher x-coordinates) are red. We have now
blue points, one white point and
red points.
After processing the "windmill" by 180 degrees, the line goes vertically up-down. Now, points with lower x-coordinates are to the right of
and colored red; points with higher x-coordinates are to the left of
and colored blue.
Note that at each pivot exchange, the old pivot point enters the same side of where the new pivot point came from. This means that throughout the "windmill" process, the number of blue points and the number of red points stay constant, respectively: We still have
blue points, one white point and
red points. This means that the current pivot point is
.
Note that all blue and all red points changed their color from the start of the "windmill" process. This implies that every point was a pivot at some stage of the rotation.
For every 180 degrees of "windmill" rotation, the same argument applies: all colored points must change their color and hence be a pivot at some stage. Infinitely many rotations imply infinitely many color changes. This completes the proof.
Interactive Graph
See here (By u/basuboss on reddit)
See Also
2011 IMO (Problems) • Resources | ||
Preceded by Problem 1 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 3 |
All IMO Problems and Solutions |