证明方程x-cosx=0在区间(0,π/2)内有实根