本文以微分几何中的“活动标架”为工具,对南开大学导出的齿轮啮合理论中的啮合函数、一类和二类界限函数及诱导法曲率等一般公式进行进一步的推导,得到了相应的一套具体、便于计算的公式。此外,文中还根据导出的曲面法向加速度a_n与二界函数Φ_t的函数关系,用Φ_t消去Baxter公式中的a_n项,得到了一种计算量更小的改进的Baxter公式。