y+x2+y2=C,其中C>0;等价地y=2CC2−x2
记 R=x2+y2。原方程定义在 x=0 上,并给出 y′=x(y−R)。于是
因此
从而
对 x=0,左端严格为正,故 C>0。
平方并整理可写成
解的定义区间应不穿过原方程的奇点 x=0。