隐函数组导数、微分几何应用