证明方程 x^2*cos3x-sinx=0在(π,1.5π)内至少有一个实根