Find the minimum of $\sqrt{\cos x+3}+\sqrt{2\sin x+7}$ without derivative

analysiscalculusinequalitytrigonometry

How do we find the minimum of
$$f(x)=\sqrt{\cos x+3}+\sqrt{2\sin x+7}$$
without using derivatives?

This problem is probably related to circles of Apollonius.

I have tried AM-GM and Cauchy-Schwarz inequality but I can't work it out.

Anyway, I have solved it in a more geometric way. Here's my answer.

Firstly we can do some identical transformation.
$$f(x)=\dfrac{\sqrt{2}}{2}(\sqrt{(\cos x+1)^2+(\sin x)^2+4}+\sqrt{(\cos x)^2+(\sin x+2)^2+9})$$

So that it makes sense in geometry.

f(x)

$P(\cos x,\sin x)$ is on the circle $x^2+y^2=1$, and the value of $f(x)$ equals to sum of the distance from $A(0,-2)$ to $P$ and from $B(-1,0)$ to $P$.

In other words:
$$f(x)=\dfrac{\sqrt{2}}{2}(\sqrt{|PB|^2+4}+\sqrt{|PA|^2+9}).$$

And here we can use Minkowski inequality.

$$f(x)\geq \dfrac{\sqrt{2}}{2} \sqrt{(|PA|+|PB|)^2+25}$$

When $P$,$A$,$B$ is collinear, $RHS$ gets the minimum. Meanwhile, $LHS = RHS$.

Therefore, $f(x)_{min}=\sqrt{15}$.

Best Answer

Here's a rough idea for a solution (since there are some details I skim over). I'm pretty sure the algebra can be simplified using some AM-GM variation, but I couldn't make it work. Although I'm hopeful that someone else can give a more optimal solution.

Note that for all $t \in \mathbb{R}$ \begin{align*} &0 \le(t+2)^2(5t^2+6) =5 t^4 + 20 t^3 + 26 t^2 + 24 t + 24\\ \color{darkblue}{\implies}& 14 t^4 + 8 t^3 + 42 t^2 + 16 t + 28 \ge 9t^4 - 12 t^3 + 16 t^2 - 8 t + 4\\ \color{darkblue}{\implies}&\left(2t^2 +4\right)\left( 4t +7t^2+7\right)\ge (3 t^2 + 2 - 2 t)^2\\ \color{darkblue}{\implies}&2\sqrt{2t^2 +4}\sqrt{4t+7t^2+7} \ge 2\left(3t^2 +2-2t \right)\\ \color{darkblue}{\implies}&2t^2 +4 +2\sqrt{2t^2 +4}\sqrt{4t+7t^2+7} + 4t+7t^2 +7 \ge 15\left(t^2+1\right)\\ \color{darkblue}{\implies}&\left(\sqrt{2t^2 +4} + \sqrt{4t+7t^2+7}\right)^2 \ge\left( \sqrt{15}\sqrt{t^2+1}\right)^2\\ \color{darkblue}{\implies}&\frac{\sqrt{2t^2+4}}{\sqrt{t^2+1}} + \frac{\sqrt{4t+7t^2+7}}{\sqrt{t^2+1}}\ge \sqrt{15}\\ \color{darkblue}{\implies}&\sqrt{\frac{1-t^{2}}{1+t^{2}}+3}\ +\ \sqrt{2\frac{2t}{1+t^{2}}+7} \ge \sqrt{15} \end{align*}

Lastly, notice that under the half-angle substitution the problem becomes showing that $$ \min\left\{\sqrt{\frac{1-t^{2}}{1+t^{2}}+3}\ +\ \sqrt{2\frac{2t}{1+t^{2}}+7}\right\} = \sqrt{15} $$ where $t = \tan(x/2)$. Since $\sqrt{\frac{1-t^{2}}{1+t^{2}}+3}\ +\ \sqrt{\frac{4t}{1+t^{2}}+7}\Bigg\vert_{t=-2} = \sqrt{15}$ we are done.