隐函数存在定理在几何方面的应用.