展开 解的存在唯一性定理条件