如何在函数相关证明题中合理构造函数