设 $f$ 在 $(0,0)$ 的某邻域内连续可微，$f(0,0)=0$⁠，且

令

并记 $u_{n+1}=y_{n+1}-y_n$⁠。证明：当 $|x|$ 充分小时，级数

收敛，并且 $f(x,y(x))=0$⁠。