令f(x)=x-cosx
f(0)=-10
由介值定理知f(x)在区间（0,π/2）上有零点
即方程x-cosx=0在区间（0,π/2）内有实根