写出求方程4x=cos（x）+1在区间[0，1]的根的收敛的迭代公式，并证明其收敛性。