根的存在性证明(零点定理).docxVIP

根的存在性定理：如果 f (x) 在闭区间[a,b]上连续 f (a) f (b) ? 0,则存在? ?（a, b）使得f (?) ? 0 。 证明 利用构造法的思想，将 f (x) 的零点范围逐步缩小。先将[a,b]二等分为[a, a ? b ],[ a ? b , b]，如果 f ( a ? b ) ? 0 。则定理获证。如果 2 2 2 f ( a ? b ) ? 0 ，则 f(a)和f(b)中必然有一个与 f ( a ? b ) 异号，记这个小区间 2 2 为[ a , b ],它满足 f (a ) f (b ) ? 0且区间的长度b - a ? b ? a 。又将[ a , b ]二等 1 1 1 1 1 1 2 1 1 分，考虑中点的函数值，要么为零，要么不为零。如果中点的函数值为零，则定理获证。如果中点的函数值不为零，那么必然可以选出一 个小区间，使得f(x)在这个区间的端点值异号，记这个小区间为 [a , b ]，它满足[a,b] ? [ a , b ] ? [a , b ]， b ? a ? b ? a 且f (b ) f (a ) ? 0 。采 2 2 1 1 2 2 2 2 22 2 2 用这样的方法一直进行下去，或者到有限步时，某个区间的中点的函数值为零，这样定理的结论成立。或者所有区间的中点的函数值不为 零，那么我们就会得到一个无穷的区间序列{[a , b n n ]}，它满足:① [a,b] ? [ a , b ] ? [a , b ] ? ???；② b ? a ? b ? a ；③ f (b ) f (a ) ? 0 。 1 1 2 2 n n 2n n n 由单调有界定理，可以得到lim a ? lim b ? ? ?[a, b] ，如果 f (?) ? 0 ， n?? n n?? n 则定理获证。如果 f (?) ? 0 ，因为 f(x)在? 点连续，因而由连续函数的局部保号性：存在一个? ? 0 ，使得 f(x)在(? ??,? ? ? ) ?[a, b] 上与 f (? ) 同号。根据所构造的区间的性质②，存在正整数N，当nN 时， [a , b n n ] ? (? ??,? ??) ?[a, b]。根据区间的性质③， f (b n ) f (a n ) ? 0 ，矛盾。 综上所述，只有 f (?) ? 0 ，且? ?[a, b]。定理获证。 注：上面采用的证明方法是非常有用的二分法，其思想可以广泛的 应用于各个领域，而a , b n n 实际上是函数零点的近似值。