$x>0$ için $f(x)=x^2+2x\sin x-3\cos x=x(x+2\sin x)-3\cos x\geq x(x-2)-3=(x-3)(x+1)$ olduğu için,
$x>3$ için, dolayısıyla $x\geq\pi$ için, $f(x)>0$ olur.
$(0,\pi)$ aralığında $f'(x)=2x(1+\cos x)+5\sin x>0$ olduğu için $(0,\pi)$ aralığında en çok bir çözüm vardır. (Ara Değer Teoremi ile) Kolayca gösterildiği gibi $(0,\pi)$ aralığında en az bir çözüm vardır.
Bunlar bir araya getirildiğinde $(0,+\infty)$ aralığında tek bir çözüm vardır.
$f(x)$ çift fonksiyon olduğu için $(-\infty,0)$ aralığında da tek bir çözüm vardır.
0 bir çözüm olmadığında göre, denklemin tam 2 gerçel çözümünün varlığı gösterilmiş oldu.
(Not: bu denkleme 2. derece demesek daha iyi olur. Çünki (sol tarafdaki) fonksiyon bir polinom değil)