高数里证明题里的辅助函数是怎么设的,根据什么设