考研数学证明题构造函数