Olympiad Maths Prep

Track / Stage 7 / 68 of 300 #1468 of 2000

Problem 1468

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.1 Prove it

Let a a be a positive real number. Prove that
asinx(a+1)cosxa,x[0,π2]. a^{\sin x}\cdot (a+1)^{\cos x}\ge a,\quad\forall x\in \left[ 0,\frac{\pi }{2} \right] .

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Consider the given inequality:
asinx(a+1)cosxax[0,π2]. a^{\sin x} \cdot (a+1)^{\cos x} \ge a \quad \forall x \in \left[0, \frac{\pi}{2}\right].

2. Take the natural logarithm on both sides of the inequality:
ln(asinx(a+1)cosx)lna. \ln \left( a^{\sin x} \cdot (a+1)^{\cos x} \right) \ge \ln a.

3. Using the properties of logarithms, we can separate the terms:
sinxlna+cosxln(a+1)lna. \sin x \cdot \ln a + \cos x \cdot \ln (a+1) \ge \ln a.

4. Let A=lna A = \ln a and B=ln(a+1) B = \ln (a+1) . The inequality becomes:
Asinx+BcosxA. A \sin x + B \cos x \ge A.

5. To simplify, we introduce the angle α\alpha such that:
cosα=AA2+B2andsinα=BA2+B2. \cos \alpha = \frac{A}{\sqrt{A^2 + B^2}} \quad \text{and} \quad \sin \alpha = \frac{B}{\sqrt{A^2 + B^2}}.

6. Substitute these into the inequality:
Asinx+Bcosx=A2+B2(AA2+B2sinx+BA2+B2cosx). A \sin x + B \cos x = \sqrt{A^2 + B^2} \left( \frac{A}{\sqrt{A^2 + B^2}} \sin x + \frac{B}{\sqrt{A^2 + B^2}} \cos x \right).

7. This can be rewritten using the angle sum identity for sine:
Asinx+Bcosx=A2+B2sin(x+α). A \sin x + B \cos x = \sqrt{A^2 + B^2} \sin (x + \alpha).

8. Therefore, the inequality becomes:
A2+B2sin(x+α)A. \sqrt{A^2 + B^2} \sin (x + \alpha) \ge A.

9. Divide both sides by A2+B2\sqrt{A^2 + B^2}:
sin(x+α)AA2+B2. \sin (x + \alpha) \ge \frac{A}{\sqrt{A^2 + B^2}}.

10. The minimum value of sin(x+α)\sin (x + \alpha) over the interval x[0,π2]x \in \left[0, \frac{\pi}{2}\right] is sinα\sin \alpha, since α\alpha is a fixed angle and xx varies.

11. We need to show that:
sinα=BA2+B2AA2+B2. \sin \alpha = \frac{B}{\sqrt{A^2 + B^2}} \ge \frac{A}{\sqrt{A^2 + B^2}}.

12. Since B=ln(a+1)B = \ln (a+1) and A=lnaA = \ln a, and given that aa is a positive real number, it follows that B>AB > A because ln(a+1)>lna\ln (a+1) > \ln a.

13. Therefore:
BA2+B2>AA2+B2. \frac{B}{\sqrt{A^2 + B^2}} > \frac{A}{\sqrt{A^2 + B^2}}.

14. Hence, the inequality sin(x+α)AA2+B2\sin (x + \alpha) \ge \frac{A}{\sqrt{A^2 + B^2}} holds true for all x[0,π2]x \in \left[0, \frac{\pi}{2}\right].

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.