试写出求方程1/x-c=0（其中c为已知正常数）的Newton迭代格式，并证明当初值x0满足0＜x＜2/c时迭代格式收敛。该迭代格式中是否含有除法运算？