Sequence of Points on a Circle
Source: 2012 USAJMO Day 2 #4
April 25, 2012
floor functioninductionanalytic geometryirrational numberAMCUSAJMO
Problem Statement
Let be an irrational number with , and draw a circle in the plane whose circumference has length . 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 arc is , when travelling counterclockwise around the circle from to . Suppose that and are the nearest adjacent points on either side of . Prove that .