辅助函数在数学中的应用