ection::::局部定理的证明.一个简洁的证明思路为构造一个总是满足初始条件的函数递归序列formula_14，使得formula_15，这样，如果这个序列有一个收敛点 formula_16 ，那么formula_16为函数formula_18的不动点，这时就有formula_19，于是我们构造出了一个解formula_16。为此，我们从常数函数这样构造出来的函数列formula_23中的每个函数都满足初始条件。并且由于 formula_24 在 formula_10 中满足利普希茨条件，当区间足