$a^{\tan x}+a^{\cot x} \leq 2a$ where $\frac{1}{2} \leq a \leq 1$ and $0 \leq x \leq \frac{\pi}{4}$
I would like to prove the inequality which is given above. I spent all day thinking about it - I tried some inequalities like relation between exponential and linear or Jensen, but it doesn't work. I tried also by calculus - but when we calculate the derivative and assume it is equal to 0 we have an equality which isn't easy to solve. Maybe anyone has an idea, maybe it's easy and I don't know why I have a problem... I would be grateful if you gave me a hint, I don't want a full solution :)
If we set $\tan(x)=z$ we have $z\in [0,1]$ and we may find the maximum of $$ f(a)=a^{z-1} + a^{\frac{1}{z}-1} $$ over the interval $a\in\left[\frac{1}{2},1\right]$. Since the given function is convex (it is the sum of two convex functions) the maximum is attained at the boundary. At $a=1$ we have $f(a)=2$ and at $a=\frac{1}{2}$ we have $$ f(a) = \frac{2}{2^{z}}+\frac{2}{2^{1/z}}\leq 2 $$ hence $f(a)\leq 2$ as wanted.