Problem

Source:

Tags: inequalities, trigonometry, geometric inequality, IMO Shortlist, IMO Longlist



Prove the inequality \[\tan \frac{\pi \sin x}{4\sin \alpha} + \tan \frac{\pi \cos x}{4\cos \alpha} >1\] for any $x, \alpha$ with $0 \leq x \leq \frac{\pi }{2}$ and $\frac{\pi}{6} < \alpha < \frac{\pi}{3}.$