证明积分因子公式确实求解 。同时证明给定初值的解的唯一性。