展开 非线性齐次方程组有唯一解的充要条件