设 在 上连续可微，求证：对任意的 ， ，方程 满足初值条件 的解必在 上存在．