Maths Olympiad Prep

Library / /1 of 48

Algebra Difficulty 4.3 AIME Prove it Baltic Way

Let xx be a positive acute angle. Prove that
cos2(x)cot(x)+sin2(x)tan(x)1 \cos^2(x) \cot(x) + \sin^2(x) \tan(x) \ge 1

Solution

The geometric-arithmetic inequality gives
cosxsinxcos2x+sin2x2=12. \cos x \sin x \le \frac{\cos^2 x + \sin^2 x}{2} = \frac{1}{2}.
It follows that
1=(cos2x+sin2x)2=cos4x+sin4x+2cos2xsin2xcos4x+sin4x+12 1 = (\cos^2 x + \sin^2 x)^2 = \cos^4 x + \sin^4 x + 2 \cos^2 x \sin^2 x \le \cos^4 x + \sin^4 x + \frac{1}{2}
so
cos4x+sin4x12cosxsinx. \cos^4 x + \sin^4 x \ge \frac{1}{2} \ge \cos x \sin x.
The required inequality follows.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.