定理3解对初值的可微性定理:设∫(xy)在G内连续且关于y的偏导 数/(xy)在G内连续则微分方程=f(x,y)的解y=(xx,y)作为 (xx,y)的函数在它的存在范围 ={(x,x0y)(xo,y0)∈G,x∈(a(x,%),B(xy) 内是连续可微的,其中(a(x,y0),B(x0,y0)是解y=q(x,x0,)的饱和区