用二分法求方程x^2-2=0的近似根的算法