1.7.4 利用介值定理证明方程根的存在性

应用介值定理证明方程f(x)=0在某区间内至少有一个根的方法和步骤

定义

介值定理（Intermediate Value Theorem, IVT）是微积分中的重要定理。其核心内容为：如果函数 \(f(x)\) 在闭区间 \([a,b]\) 上连续，且 \(f(a)\) 和 \(f(b)\) 异号（即 \(f(a) \cdot f(b) < 0\)），或者 \(k\) 是 \(f(a)\) 和 \(f(b)\) 之间的任意值，那么在开区间 \((a,b)\) 内至少存在一点 \(c\)，使得 \(f(c) = 0\)（或 \(f(c) = k\)）。利用介值定理证明方程根的存在性的关键步骤为：(1)确认函数在给定区间上连续；(2)计算端点处的函数值；(3)验证端点函数值异号或包含目标值；(4)由介值定理结论方程至少有一个根存在于该区间内。

核心公式

• \(\text{介值定理：若 } f(x) \text{ 在 } [a,b] \text{ 上连续，且 } f(a) \cdot f(b) < 0, \text{ 则 } \exists c \in (a,b), \text{ 使得 } f(c) = 0\)
• \(\text{推广形式：若 } f(x) \text{ 在 } [a,b] \text{ 上连续，} k \text{ 为 } f(a) \text{ 与 } f(b) \text{ 之间的任意值，则 } \exists c \in (a,b), \text{ 使得 } f(c) = k\)
• \(\text{根的存在性证明步骤：验证连续性} \Rightarrow \text{计算 } f(a), f(b) \Rightarrow \text{检验异号条件} \Rightarrow \text{应用IVT得出结论}\)
• \(f(a) \cdot f(b) < 0 \Leftrightarrow f(a) \text{ 和 } f(b) \text{ 异号}\)
• \(\text{若 } f(x) \text{ 在 } [a,b] \text{ 上连续，则 } f(x) \text{ 的值域为 } [\min\{f(a),f(b)\}, \max\{f(a),f(b)\}] \text{ 的子集}\)

易错点

• ⚠️ 忘记验证连续性条件：学生常常直接使用介值定理而不检查函数在给定区间上是否连续。实际上，连续性是应用IVT的必要前提，不连续的函数可能不满足介值定理的结论。
• ⚠️ 混淆异号条件的含义：学生有时错误地认为只要 \(f(a) \neq f(b)\) 就可以应用IVT，但实际上必须满足 \(f(a) \cdot f(b) < 0\)（即函数值异号），才能保证根的存在。
• ⚠️ 忽视开区间和闭区间的区别：介值定理保证根存在于开区间 \((a,b)\) 内，而非闭区间 \([a,b]\)。学生在表述结论时应准确使用开区间符号。
• ⚠️ 计算函数值时出错：在验证异号条件时，学生可能在代入端点值时出现计算错误，导致错误判断是否满足异号条件，从而得出错误的结论。