The number of points in (-∞, ∞), for which x² - x sin x - cos x = 0, is
f(x)=x2−xsinx−cosx
To find: number of real solutions of f(x)=0
f(−x)=x2−(−x)sin(−x)−cos(−x)
=x2−xsinx−cosx=f(x)(f is even)
f′(x)=2x−(sinx+xcosx)+sinx
=2x−xcosx=x(2−cosx)
2−cosx≥1>0⇒sgnf′(x)=sgnx
f↘ on (−∞,0),f↗ on (0,∞)
f(0)=−1(global minimum)
f(x)→+∞ as x→±∞
on (0,∞): f rises from −1 to +∞⇒exactly one root
even⇒exactly one root on (−∞,0)
2 real roots⇒option (3)