y=2x2−1,定义域为x>0
因 x>0,令 v=xy,则 y′=v+xv′ 且 x2+y2=x1+v2。原方程化为
积分得 arsinhv=lnx+C。初值 x=1,y=0 给出 v=0,故 C=0。
于是 v=sinh(lnx)=21(x−x−1),从而
代回时 x2+y2=2(x2+1),可直接验证初值与方程均成立。