Condition for trigonometric inequality I want to prove the following statement:
Suppose $\frac{1}{4}(\cos(\theta_1)+\cos(\theta_2))^2+\lambda^2(a\sin(\theta_1)+b\sin(\theta_2))^2\leq 1$ holds for all $\theta_1,\theta_2\in[-\pi,\pi]$, then we should have $\lambda^2(a^2+b^2)\leq \frac{1}{2}$.
This problem appears when I want to find the stability condition for a numerical scheme. I tried to use Lagrange multiplier, but it turns out to be very complicated. I have also tried to find some specific $\theta_1,\theta_2$, so that the first inequality can imply the second, but I failed to do so.

You want some bound for the expression $\lambda^2(a^2 + b^2)$.
We have
$$
\frac{1}{4}(\cos(\theta_1)+\cos(\theta_2))^2+\lambda^2(a\sin(\theta_1)+b\sin(\theta_2))^2\leq 1
$$
and with two other angles
$$
\frac{1}{4}(\cos(\theta_3)+\cos(\theta_4))^2+\lambda^2(a\sin(\theta_3)+b\sin(\theta_4))^2\leq 1
$$
Let us choose the angles such that $\sin(\theta_1)\sin(\theta_2) + \sin(\theta_3)\sin(\theta_4) = 0$. This is general, since it is necessary to remove terms $a \, b$.
Then we can add the two inequalities to give
$$
\frac{1}{4}((\cos(\theta_1)+\cos(\theta_2))^2 + (\cos(\theta_3)+\cos(\theta_4))^2) +\lambda^2(a^2(\sin^2(\theta_1) + \sin^2(\theta_3))+b^2 (\sin^2(\theta_2) + \sin^2(\theta_4)))\leq 2
$$
Let us now also impose $\sin^2(\theta_1) + \sin^2(\theta_3) - \sin^2(\theta_2) - \sin^2(\theta_4) = 0$. This is is general, since it is necessary to obtain the term $(a^2 +b^2)$.
Then we have 
$$
\lambda^2(a^2 + b^2) < \frac{2 - \frac{1}{4}((\cos(\theta_1)+\cos(\theta_2))^2 + (\cos(\theta_3)+\cos(\theta_4))^2)}{\sin^2(\theta_1) + \sin^2(\theta_3) }
$$
So the tightest bound will be obtained by minimizing the RHS subject to the two conditions $\sin^2(\theta_1) + \sin^2(\theta_3) - \sin^2(\theta_2) - \sin^2(\theta_4) = 0$ and $\sin(\theta_1)\sin(\theta_2) + \sin(\theta_3)\sin(\theta_4) = 0$.
The two conditions can be combined, replacing $\sin^2(\theta_1)$:
$\left[\sin^2(\theta_2) - \sin^2(\theta_3) \right]\left[ \sin^2(\theta_4) +\sin^2(\theta_2)  \right]= 0$
This can only be observed for a) $\theta_2 = \theta_3$ or b) $\theta_2 = \pi \pm \theta_3$ or c) $\theta_2 =  n \pi $ and $\theta_4 = m \pi$ $(n,m \in \cal Z)$. Let's look at these cases.  
Case a) gives, for the second condition, $\sin(\theta_1) + \sin(\theta_4) = 0$, which is   $\theta_1 = - \theta_4$, or $\theta_1 = \pi +  \theta_4$. Inserting  into the desired bound gives  
$$
\lambda^2(a^2 + b^2) < \frac{2 - \frac{1}{2}(\cos(\theta_1)+\cos(\theta_2))^2 }{\sin^2(\theta_1) + \sin^2(\theta_2) }
$$
The smallest value that the RHS can take is 1.
Case b) gives, for the second condition at $\theta_2 = \pi + \theta_3$ , $\sin(\theta_1) - \sin(\theta_4) = 0$, which is   $\theta_1 = \theta_4$, or $\theta_1 = \pi - \theta_4$. Inserting  into the desired bound gives  
$$
\lambda^2(a^2 + b^2) < \frac{2 - \frac{1}{2}(\cos^2(\theta_1)+\cos^2(\theta_2)) }{\sin^2(\theta_1) + \sin^2(\theta_2) }
$$
The smallest value that the RHS can take is 1.
Case c) gives, for the first condition, $\sin^2(\theta_1) + \sin^2(\theta_3) = 0$, which is  $\theta_1 =  n \pi $ and $\theta_3 = m \pi$ $(n,m \in \cal Z)$. Inserting  into the desired bound gives a diverging RHS. 
So in total,  the tightest bound one can obtain for $\lambda^2(a^2+b^2)$ is
$$
\lambda^2(a^2+b^2)\leq 1
$$
So by adding specific inequalities, a tighter bound could not be found.
