2014考研数学二真题：那年的中值定理证明题，你证出来了吗？

回望2014年考研数学二的试卷，至今仍让许多考生心有余悸 ，在那份试卷中
，最后一道证明题无疑是最大的“拦路虎”，也是无数人茶余饭后津津乐道的谈资 ，标题那句“你证出来了吗？ ”
，不仅是对当年考场战况的精准复盘,更道出了这道题背后所蕴含的数学逻辑之美与解题技巧之深。

这道题的命题思路非常经典，它将微分方程的求解技巧与中值定理的构造法完美融合 ，题目设定 $f(x)$ 在 $[0,1]$ 上连续
，在 $(0,1)$ 内可导，且满足 $f(0)=0, f(1)=1$ ，要求证明存在 $\xi \in (0,1)$
，使得 $f'(\xi) = \xi f(\xi)$ 。

乍一看，这似乎是一个纯粹的中值定理问题 ，但细心的考生会发现，目标等式 $f'(\xi) = \xi f(\xi)$ 并不陌生
，它像极了微分方程 $y' = xy$ 的特解形式，这正是解题的突破口 ，考研数学二向来不考查死记硬背
，而是考察对知识点的灵活迁移，面对 $f'(\xi) - \xi f(\xi) = 0$ ，我们需要敏锐地捕捉到 $e^{-x^2/2}$ 这个“积分因子
”的存在
。

通过构造辅助函数 $F(x) = e^{-x^2/2} f(x)$
，我们可以巧妙地将微分形式转化为导数形式，计算 $F'(x)$ 后 ，你会发现其表达式恰好是 $e^{-x^2/2}(f'(x) - x f(x))$
，这一步构造不仅需要扎实的计算功底，更需要极强的逻辑直觉——即如何将未知的证明目标,转化为已知的函数导数结构。

随后 ，利用罗尔定理
，结合端点条件 $F(0)=0$ 和 $F(1)=e^{-1/2}f(1)=e^{-1/2}$，直接导出存在 $\xi$ 使得 $F'(\xi)=0$ ，进而回代即得证，这道题之所以成为当年的“神题”
，不仅在于其计算量适中，更在于它对考生“通性通法 ”的极致考验 ，它告诉考生：中值定理证明题的难点不在于算
，而在于“想
”，能否在复杂的条件中一眼识别出微分方程的影子,是拉开分数的关键 。

即便多年过去 ，当我们重新审视这道题时
，依然能感受到那种拨云见日的快感，它不仅仅是一道考研真题 ，更是数学思维的一次精彩演绎
，对于后来者而言，这道题留下的最大启示便是：在数学的丛林中 ，寻找辅助函数往往需要逆向思维
，将问题转化为熟悉的模型,才是破解难题的终极利器
。