If a=cos2nπ+isin2nπ, then ∣a∣=1 and an=i. We obtain from here that i−1=an−1=(a−1)(an−1+an−2+⋯+1), and thus 2≤∣a−1∣⋅n. On the other hand, ∣a−1∣=∣−2sin24nπ+2isin4nπcos2nπ∣=2sin4nπ, which complete the proof.
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.
Source: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic and difficulty added by this site.