Appearance
证明题-存在一个点
日期:2026-01-04
27. (5分) 函数
求证: 在区间 上存在一点 使 。
要证明“在某个区间内存在一点导数为0”,最直接的工具就是罗尔定理。
罗尔定理的内容: 如果函数 满足以下三个条件:
- 在闭区间 上连续;
- 在开区间 内可导;
- 端点函数值相等,即 ;
那么,在 内至少存在一点 ,使得 。
本题难点: 题目给出的区间是 ,但在 时,。也就是 。 因此,我们不能直接在 上用罗尔定理。我们需要缩小区间,找到一个新的右端点 (在 到 之间),使得 。
详细解答步骤
第一步:寻找合适的区间
已知 (题目定义)。 我们需要找一个 ,使得 。 令 。 因为 ,所以必须 。 即 ( 为整数),解得 。
我们可以取 都可以。 图片中的解答取了 (即 的情况)。 因为 ,这个点确实在定义域内。 此时 。
所以,我们要构造的区间是 。
第二步:证明在该区间上连续
在 处: 我们要看 是否等于 。
由于 (有界函数),而 (无穷小量)。 根据“无穷小量乘以有界变量仍为无穷小量”,得:
因为 ,所以 。 结论:函数在 处右连续。
在 上: 是由初等函数 和 组成的,自然是连续的。
综上: 在闭区间 上连续。
第三步:证明在该区间内可导
在开区间 内,求导 :
显然,在 时,导数是存在的。
综上: 在开区间 内可导。
第四步:使用罗尔定理得出结论
我们现在有:
- 在 上连续;
- 在 内可导;
- 。
根据罗尔定理,在 内至少存在一点 ,使得 。
因为 (即这个小区间是包含在大区间里的), 所以在 上也必然存在这点 ,使得 。
证明完毕。