数学证明中的构造辅助函数方法