Maths Olympiad Prep

Library / /2 of 34

Algebra Difficulty 4.7 AIME Prove it Romania

Prove the inequality
sinπ4n22n, sin \frac{\pi}{4n} \ge \frac{\sqrt{2}}{2n},

where nn is a positive integer.

Solution

If a=cosπ2n+isinπ2na = \cos \frac{\pi}{2n} + i \sin \frac{\pi}{2n}, then a=1|a| = 1 and an=ia^n = i. We obtain from here that
i1=an1=(a1)(an1+an2++1), i - 1 = a^n - 1 = (a - 1)(a^{n-1} + a^{n-2} + \dots + 1),
and thus 2a1n\sqrt{2} \le |a - 1| \cdot n.
On the other hand, a1=2sin2π4n+2isinπ4ncosπ2n=2sinπ4n|a - 1| = |-2 \sin^2 \frac{\pi}{4n} + 2i \sin \frac{\pi}{4n} \cos \frac{\pi}{2n}| = 2 \sin \frac{\pi}{4n}, 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.