Skip to content

证明题-存在一个点

日期:2026-01-04

27. (5分) 函数

求证: 在区间 上存在一点 使


要证明“在某个区间内存在一点导数为0”,最直接的工具就是罗尔定理

罗尔定理的内容: 如果函数 满足以下三个条件:

  1. 在闭区间 连续
  2. 在开区间 可导
  3. 端点函数值相等,即

那么,在 内至少存在一点 ,使得

本题难点: 题目给出的区间是 ,但在 时,。也就是 。 因此,我们不能直接在 上用罗尔定理。我们需要缩小区间,找到一个新的右端点 (在 之间),使得


详细解答步骤

第一步:寻找合适的区间

已知 (题目定义)。 我们需要找一个 ,使得 。 令 。 因为 ,所以必须 。 即 ( 为整数),解得

我们可以取 都可以。 图片中的解答取了 (即 的情况)。 因为 ,这个点确实在定义域内。 此时

所以,我们要构造的区间是

第二步:证明在该区间上连续

  • 处: 我们要看 是否等于

    由于 (有界函数),而 (无穷小量)。 根据“无穷小量乘以有界变量仍为无穷小量”,得:

    因为 ,所以 结论:函数在 处右连续。

  • 上: 是由初等函数 组成的,自然是连续的。

综上: 在闭区间 上连续。

第三步:证明在该区间内可导

在开区间 内,求导

显然,在 时,导数是存在的。

综上: 在开区间 内可导。

第四步:使用罗尔定理得出结论

我们现在有:

  1. 上连续;
  2. 内可导;

根据罗尔定理,在 内至少存在一点 ,使得

因为 (即这个小区间是包含在大区间里的), 所以在 上也必然存在这点 ,使得

证明完毕。