考研数学一第四题｜2020考研数学一第4题｜深度解析

本题是2020年全国硕士研究生招生考试数学一试卷中极具代表性的微积分综合证明题，聚焦函数极限、连续性、可导性与中值定理的有机融合，全面考查考生的逻辑推演能力与数学建模素养。

题型定位与分值权重

该题为选择题后的第一道计算证明题（通常为第22题），占据10分分值，是整套试卷中“函数微分学”模块的核心考点之一。从近年真题分布看，微积分证明题平均得分率仅为37%，是区分高分段考生的关键题型。

考查模块：一元函数微分学 → 中值定理应用
知识层级：基础概念 → 定理迁移 → 辅助函数构造
能力要求：逻辑严谨性、问题转化力、数学抽象力

题干原文与条件拆解

题目陈述

设函数 f(x) 在区间 [0,1] 上连续，且满足 f(0)=0，f(1)=1，且 f 在该区间上可导。证明：存在一点 c∈(0,1)，使得 f′(c)=1。

条件三维解析

  1. 定义域连续性：在闭区间 [0,1] 上连续 → 保证函数图像无断裂，满足罗尔定理第一条件
  2. 开区间可导性：在开区间 (0,1) 内可导 → 确保导数存在，满足罗尔定理第二条件
  3. 端点函数值：f(0)=0，f(1)=1 → 为构造辅助函数提供关键数值基础

题干关键词标注

• 连续：保证极值存在性与积分可积性
• 可导：导数存在是应用拉格朗日中值定理的前提
• 存在一点 c∈(0,1)：非构造性证明，仅需存在性论证
• f′(c)=1：目标导数值，需通过辅助函数转化

解题思路全景拆解

核心思路：构造辅助函数

题设要求证明 f′(c)=1，直接应用拉格朗日中值定理可得：存在 c∈(0,1) 使得 f′(c)=[f(1)−f(0)]/(1−0)=1，看似可直接得证。但本题要求使用罗尔定理（Rolle's Theorem），需通过构造将问题转化为端点值相等的情形。

【经典构造】g(x)=f(x)−x

观察目标 f′(c)=1，联想到导数差为零的情形：
f′(c)−1=0 ⇔ [f(x)−x]′|x=c=0

因此构造 g(x)=f(x)−x，则：

  • g(0)=f(0)−0=0
  • g(1)=f(1)−1=0
  • g(x) 在 [0,1] 上连续（因 f(x) 连续，x 连续）
  • g(x) 在 (0,1) 内可导（因 f(x) 可导，x 可导）
  • g′(x)=f′(x)−1

满足罗尔定理全部条件 ⇒ 存在 c∈(0,1)，使 g′(c)=0 ⇒ f′(c)−1=0 ⇒ f′(c)=1

替代构造方案对比

方案1：平移函数法（标准解法）

构造 g(x)=f(x)−x，将原问题转化为 g′(c)=0 的存在性证明，严格遵循罗尔定理应用流程：

Step 1：验证g(x)在[0,1]连续 Step 2：验证g(x)在(0,1)可导 Step 3：验证g(0)=g(1)=0 Step 4：由罗尔定理⇒∃c∈(0,1),g'(c)=0 Step 5：还原⇒f'(c)=1

方案2：几何意义法（直观理解）

函数 f(x) 连接点 (0,0) 与 (1,1)，其图像必穿过直线 y=x。若 f(x) 恒等于 x，则处处满足 f′(x)=1；若存在偏离，则因连续性必在某点切线斜率为1（类比“爬山问题”）。

该方法虽具启发性，但缺乏严格证明，考试中需转换为辅助函数法作答。

方案3：反证法（拓展思路）

假设对任意 x∈(0,1)，均有 f′(x)≠1，分两种情况：

  • 若 f′(x)>1 恒成立 ⇒ f(x) 增长快于 x，则 f(1)>f(0)+1=1，与 f(1)=1 矛盾
  • 若 f′(x)<1 恒成立 ⇒ f(x) 增长慢于 x，则 f(1)，同样矛盾

由介值性可知，导数不可能恒大于或恒小于1，故必存在 c 使 f′(c)=1。

解题策略与步骤模板

标准答题流程（10分拆解）

  1. 构造辅助函数（2分）：明确写出 g(x)=f(x)−x
  2. 验证连续性（2分）：因 f(x) 连续，x 连续 ⇒ g(x) 连续
  3. 验证可导性（2分）：因 f(x) 可导，x 可导 ⇒ g(x) 可导
  4. 验证端点值（1分）：计算 g(0)=0，g(1)=0
  5. 引用定理（2分）：由罗尔定理 ⇒ ∃c∈(0,1)，使 g′(c)=0
  6. 结论还原（1分）：因 g′(c)=f′(c)−1=0 ⇒ f′(c)=1

时间轴：2020年考生常见解题路径

考前120天

基础阶段：掌握罗尔定理、拉格朗日定理、柯西定理的条件与结论

考前90天

强化阶段：训练辅助函数构造技巧，重点练习“差值为零”型转化

考前30天

真题演练：精做2020数学一第4题，总结答题规范

考前7天

错题复盘：回顾本题常见错误，强化定理应用意识

配套训练题（同类型强化）

训练题1

设 f(x) 在 [a,b] 上连续，在 (a,b) 内可导，且 f(a)=f(b)，证明存在 c∈(a,b)，使 f′(c)=f(c)。

提示构造：g(x)=e−xf(x)

训练题2

设 f(x) 在 [0,2] 上连续，在 (0,2) 内可导，且 f(0)=0，f(2)=4，证明存在 c∈(0,2)，使 f′(c)=2c。

提示构造：g(x)=f(x)−x²

高频误区与避坑指南

错误类型清单

  • 未构造直接套用拉格朗日定理
    本题明确要求使用罗尔定理，直接引用拉格朗日定理虽结论正确，但不符合题设逻辑路径，可能扣2-3分
  • 忽略端点闭区间连续性
    仅说明“在(0,1)可导”而未强调“[0,1]连续”，导致定理条件不满足
  • 导数计算错误
    g′(x)=f′(x)−x（漏减1）或 g′(x)=f′(x)+1（符号错误）
  • 区间表示错误
    结论写成 c∈[0,1]（端点处导数不一定存在）
  • 逻辑跳跃
    “显然存在”“易得”等非严格表述，缺少中间推导

避坑策略：三查三对

查条件完整性

连续性（闭区间）、可导性（开区间）、端点值相等 → 缺一不可

查函数构造

目标导数为k ⇒ 构造 g(x)=f(x)−kx ⇒ 使 g′(x)=f′(x)−k

查结论还原

由 g′(c)=0 ⇒ f′(c)=k，不可遗漏还原步骤

教学意义与能力迁移

知识体系定位

本题是连接“微积分基础”与“数学分析”的关键节点，体现三大能力迁移路径：

  1. 概念理解迁移：从“极限定义”→“连续性”→“可导性”的递进认知
  2. 定理应用迁移：从罗尔定理→拉格朗日定理→柯西定理的逻辑链条
  3. 问题转化迁移：从具体计算→存在性证明→构造性论证的思维升级

教学案例：辅助函数构造四步法

步骤1：识别目标导数形式

目标为 f′(c)=k（k为常数）⇒ 联想到 [f(x)−kx]′=0

步骤2：验证端点差值

计算 f(b)−kb 与 f(a)−ka，若相等则可直接构造

步骤3：调整构造函数

若不等，考虑添加常数项或指数函数因子（如 eλx）

步骤4：回代验证

确保新函数满足罗尔定理三条件后，完成证明闭环

延伸思考：定理推广

本题可推广至更一般情形：
命题：设 f(x) 在 [a,b] 上连续，在 (a,b) 内可导，且 f(a)=A，f(b)=B，则存在 c∈(a,b)，使 f′(c)=(B−A)/(b−a)。

此即拉格朗日中值定理，而本题是当 a=0,b=1,A=0,B=1 时的特例。通过本题，考生可深刻理解“罗尔定理是拉格朗日定理的基础情形”这一教学要点。