微积分学中辅助函数的构造