f(x) = x^2 cosx - sinx
f(π) = - π^2
f(3π/2) = 1
==>
f(x) = 0 x^2 在【π,3/2π】内至少有一实根
==> x^2 cosx=sinx在【π,3/2π】内至少有一实根