Let be an irrational number with , and draw a circle in the plane whose circumference has length 1. Given any integer , define a sequence of points as follows. First select any point on the circle, and for define as the point on the circle for which the length of is , when travelling counterclockwise around the circle from to . Suppose that and are the nearest adjacent points on either side of . Prove that .
Solution
No points coincide since is irrational. Assume for contradiction that . Then it follows that
as shown below. !
This is an obvious contradiction since then is contained in the arc of the circle through .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.