闭区间上连续函数的性质
零点存在定理
重要程度：7 分
<div>
<h2>零点存在定理</h2>
<p>零点存在定理是关于闭区间上连续函数的一个重要性质。它表明，如果一个函数在一个闭区间上是连续的，并且在这个区间的两个端点处的函数值异号，那么在该区间内至少存在一个点使得函数值为0。</p>
<p>用数学语言表述如下：</p>
<div style="text-align: center;">
<p>设函数$f(x)$在闭区间$[a, b]$上连续，且$f(a) \cdot f(b) < 0$，则至少存在一点$c \in (a, b)$，使得$f(c) = 0$。</p>
</div>
<h3>例题</h3>
<p>考虑函数$f(x) = x^2 - 4$在闭区间$[-3, 3]$上的性质。</p>
<ol>
<li>首先验证函数在区间$[-3, 3]$上是否连续。由于$f(x) = x^2 - 4$是一个多项式函数，因此在整个实数域上都是连续的，当然也在$[-3, 3]$上连续。</li>
<li>计算$f(-3)$和$f(3)$的值：</li>
<ul>
<li>$f(-3) = (-3)^2 - 4 = 9 - 4 = 5$</li>
<li>$f(3) = 3^2 - 4 = 9 - 4 = 5$</li>
</ul>
<p>显然，这里计算出的$f(-3)$和$f(3)$的值相同，这并不是我们需要的情况。让我们换一个区间来更好地理解定理。</p>
</ol>
<p>现在考虑函数$f(x) = x^2 - 4$在闭区间$[-3, 0]$上的性质。</p>
<ol start="3">
<li>再次验证函数在区间$[-3, 0]$上是否连续，结论同上。</li>
<li>计算$f(-3)$和$f(0)$的值：</li>
<ul>
<li>$f(-3) = (-3)^2 - 4 = 9 - 4 = 5$</li>
<li>$f(0) = 0^2 - 4 = -4$</li>
</ul>
<p>注意到$f(-3) \cdot f(0) = 5 \cdot (-4) = -20 < 0$，满足零点存在定理的条件。</p>
<p>因此，根据零点存在定理，在开区间$(-3, 0)$内至少存在一点$c$使得$f(c) = 0$。</p>
<p>实际上，我们可以解方程$x^2 - 4 = 0$得到$x = \pm 2$。显然，$x = -2$属于区间$(-3, 0)$，符合我们的结论。</p>
</ol>
</div>