MathCastle
TrigonometrySuperchallengeThe Unit Circle and Circular Functions

The Unit Circle and Circular Functions · Superchallenge problem

Define t1=2π7t_1 = \dfrac{2\pi}{7}, and for n≥1n \ge 1 let tn+1t_{n+1} be 2tn2t_n reduced into [0,2π)[0, 2\pi) (subtract whatever whole number of full turns is needed). Find the smallest integer n>1n > 1 for which tn=t1t_n = t_1.