Maths Olympiad Prep

Library / Romanian Mathematical Olympiad /11 of 275

Romanian Mathematical Olympiad

Algebra Difficulty 4.8 AIME Prove it Romania

Let a>0a > 0 be a real number. Prove the inequality
asin⁡x⋅(a+1)cos⁡x≥a,∀x∈[0,π2]. a^{\sin x} \cdot (a+1)^{\cos x} \ge a, \quad \forall x \in [0, \frac{\pi}{2}].

Solution

If a>1a > 1, taking logs of both sides we obtain the equivalent inequality
sin⁡x+cos⁡x⋅log⁡a(a+1)≥1. \sin x + \cos x \cdot \log_a (a+1) \ge 1.
For x∈[0,π/2]x \in [0, \pi/2], we have sin⁡x≥sin⁡2x\sin x \ge \sin^2 x and cos⁡x≥cos⁡2x\cos x \ge \cos^2 x. Because log⁡a(a+1)>1\log_a (a+1) > 1, we obtain
sin⁡x+cos⁡x⋅log⁡a(a+1)≥sin⁡2x+cos⁡2x=1. \sin x + \cos x \cdot \log_a (a+1) \ge \sin^2 x + \cos^2 x = 1.
The inequality clearly holds true for a=1a = 1.

Finally, if a∈(0,1)a \in (0, 1), the inequality is equivalent to
sin⁡x+cos⁡x⋅log⁡a(a+1)≤1,∀x∈[0,π/2], \sin x + \cos x \cdot \log_a (a+1) \le 1, \quad \forall x \in [0, \pi/2],
which is obvious, since sin⁡x≤1\sin x \le 1, cos⁡x≥0\cos x \ge 0 and log⁡a(a+1)<0\log_a (a+1) < 0.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.