x>0 için f(x)=x2+2xsinx−3cosx=x(x+2sinx)−3cosx≥x(x−2)−3=(x−3)(x+1) olduğu için,
x>3 için, dolayısıyla x≥π için, f(x)>0 olur.
(0,π) aralığında f′(x)=2x(1+cosx)+5sinx>0 olduğu için (0,π) aralığında en çok bir çözüm vardır. (Ara Değer Teoremi ile) Kolayca gösterildiği gibi (0,π) aralığında en az bir çözüm vardır.
Bunlar bir araya getirildiğinde (0,+∞) aralığında tek bir çözüm vardır.
f(x) çift fonksiyon olduğu için (−∞,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)