Example 2 Proof: y=secnαa−tannαb⩽(an+22+bn+22)2n+2,
where, α∈(0,2π),a>b>0,n∈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=−2n<0, we have y=(a1−p1)p−1(sec2α)p−(b1−p1)p−1(tan2α)p⩽(a1−p1−b1−p1)p−1(sec2α−tan2α)p=(an+22−bn+22)2n+2.
Similarly, we have (1) y=asecnα−btannα⩽(a2−n2−b2−n2)22−n(p=2n); (2) y=nsecαa−ntanαb⩽(a2n+12n−b2n+12n)2n2n+1(p=−2n1); (3) y=ansecα−bntanα ⩾(a2n−12n−b2n−12n)2n2n−1(p=2n1).
It is not difficult to find that the condition for equality in the above inequalities is a1−p1sec2α=b1−p1tan2α=a1−p1−b1−p11,
i.e., tan2α=a1−p1−b1−p1b1−ρ1.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.