Olympiad Maths Prep

Track / Stage 5 / 349 of 400 #949 of 2000

Problem 949

AIME late
Algebra Difficulty 5.8 Prove it

Example 2 Proof:
y=asecnαbtannα(a2n+2+b2n+2)n+22, y=\frac{a}{\sec ^{n} \alpha}-\frac{b}{\tan ^{n} \alpha} \leqslant\left(a^{\frac{2}{n+2}}+b^{\frac{2}{n+2}}\right)^{\frac{n+2}{2}},

where, α(0,π2),a>b>0,nZ+\alpha \in\left(0, \frac{\pi}{2}\right), a>b>0, n \in \mathbf{Z}_{+}.

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

Prove that from equation (4), taking p=n2<0p=-\frac{n}{2}<0, we have
y=(sec2α)p(a11p)p1(tan2α)p(b11p)p1(sec2αtan2α)p(a11pb11p)p1=(a2n+2b2n+2)n+22. \begin{aligned} y & =\frac{\left(\sec ^{2} \alpha\right)^{p}}{\left(a^{\frac{1}{1-p}}\right)^{p-1}}-\frac{\left(\tan ^{2} \alpha\right)^{p}}{\left(b^{\frac{1}{1-p}}\right)^{p-1}} \\ & \leqslant \frac{\left(\sec ^{2} \alpha-\tan ^{2} \alpha\right)^{p}}{\left(a^{\frac{1}{1-p}}-b^{\frac{1}{1-p}}\right)^{p-1}} \\ & =\left(a^{\frac{2}{n+2}}-b^{\frac{2}{n+2}}\right)^{\frac{n+2}{2}} . \end{aligned}

Similarly, we have
 (1) y=asecnαbtannα(a22nb22n)2n2(p=n2); (2) y=asecαnbtanαn(a2n2n+1b2n2n+1)2n+12n(p=12n); \begin{array}{l} \text { (1) } y=a \sec ^{n} \alpha-b \tan ^{n} \alpha \\ \leqslant\left(a^{\frac{2}{2-n}}-b^{\frac{2}{2-n}}\right)^{\frac{2-n}{2}}\left(p=\frac{n}{2}\right) ; \\ \text { (2) } y=\frac{a}{\sqrt[n]{\sec \alpha}}-\frac{b}{\sqrt[n]{\tan \alpha}} \\ \leqslant\left(a^{\frac{2 n}{2 n+1}}-b^{\frac{2 n}{2 n+1}}\right)^{\frac{2 n+1}{2 n}}\left(p=-\frac{1}{2 n}\right) ; \end{array}
(3) y=asecαnbtanαny=a \sqrt[n]{\sec \alpha}-b \sqrt[n]{\tan \alpha}
(a2n2n1b2n2n1)2n12n(p=12n) \geqslant\left(a^{\frac{2 n}{2 n-1}}-b^{\frac{2 n}{2 n-1}}\right)^{\frac{2 n-1}{2 n}}\left(p=\frac{1}{2 n}\right) \text {. }

It is not difficult to find that the condition for equality in the above inequalities is
sec2αa11p=tan2αb11p=1a11pb11p, \frac{\sec ^{2} \alpha}{a^{\frac{1}{1-p}}}=\frac{\tan ^{2} \alpha}{b^{\frac{1}{1-p}}}=\frac{1}{a^{\frac{1}{1-p}}-b^{\frac{1}{1-p}}},

i.e., tan2α=b11ρa11pb11p\tan ^{2} \alpha=\frac{b^{\frac{1}{1-\rho}}}{a^{\frac{1}{1-p}}-b^{\frac{1}{1-p}}}.

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