证明方程证明方程x^2 cosx-sinx=0 在区间(派,3/2派)内至少有一个实根