DejeA:=f2+g2A:=f2+g2, dondef,gf,g son funciones dexx tal quef′=(c−1)(fcos(x)sin(x)+gsin2(x)),$g′=−(c−1)(fcos2(x)+gcos(x)sin(x)), $
para alguna constantec.
(Nota: f′cos(x)+g′sin(x)=0)
¿Cómo muestro queA′≤4|c−1|A?
veo que
\begin{align}
A'&=2ff'+2gg'\\
&=2(c-1)\left(f^2\cos(x)\sin(x)+fg\sin^2(x)-fg\cos^2(x)-g^2\cos(x)\sin(x)\right)\\
&=2(c-1)(f\cos(x)+g\sin(x))(f\sin(x)-g\cos(x)).
\end {align} ¿Pero cómo sigue la desigualdad deseada?