為什么高數教材中不證明這個(gè)定理，真的那么難證明嗎？

閉區間上的連續函數具有：有界性定理、最值定理、介值定理和一致連續性定理。有界定理和最值定理的證明，老黃已經(jīng)在前面的作品中分享了。這次老黃要分享的是介值性定理的證明。介值定理是《老黃學(xué)高數》系列視頻第126講分享的內容。當時(shí)老黃只分享了定理的內容，并沒(méi)有進(jìn)行證明。在學(xué)習實(shí)數的完備性六大基本定理之后，我們就可以對它進(jìn)行證明了。

介值性定理：設函數f在[a,b]上連續，且f(a)≠f(b). 若μ是介于f(a)與f(b)之間的任何實(shí)數，則存在x0∈[a,b]，使得f(x0)=μ.

介值性定理，指的是閉區間上的連續函數，兩個(gè)端點(diǎn)的函數值不相等時(shí)，介于它們之間的任何實(shí)數，都存在與之相等的函數值。老黃給大家分享兩種證法。

證法一：(應用確界原理)不妨設f(a)μf(b)，令g(x)=f(x)-μ,【這里設左端點(diǎn)比較小，反之也是同理可證的。構造輔助函數是高等數學(xué)一項重要的技能】

則g在[a,b]上連續，且g(a)0, g(b)0.【輔助函數g在閉區間[a,b]上也連續，且兩個(gè)端點(diǎn)的函數值異號，似乎用根的存在性定理就可以證明了。但其實(shí)根的存在性定理是介值定理的一個(gè)特例，所以那樣證明并不合適】

記E={x|g(x)0, x∈[a,b]}，則E非空有界，E?[a,b]且b∈E，【E是g0時(shí)的定義域，它包含于[a,b], 且b屬于E，因為g(b)0嘛】

由確界原理，E有下確界，記x0=inf E. 【因為E很明顯是有下界a的】

∵g(a)0, g(b)0，由連續函數的局部保號性，存在δ0，【連續函數的局部保號性實(shí)質(zhì)就是極限的局部保號性】

使得在[a,a+δ]內g(x)0，在[b-δ,b]內g(x)0，【因為g函數在x=a的極限等于g(a)0，所以存在a的一個(gè)鄰域，使得鄰域內的所有g(shù)(x)0，但我們只需取這個(gè)鄰域的右閉鄰域就足夠了，同理，在b的左閉鄰域上，也有g(shù)(x)0】

∴x0≠a, x0≠b, 即x0∈(a,b).【x0不等于a，是因為E本身不包含a, x0不等于b，是因為b是E的最大值，即b是E的上確界。而x0是E的下確界】

若g(x0)≠0，則g(x0)0，【x0未必屬于E，所以未必有g(shù)(x0)0，但只要g(x0)不等于0，就有g(shù)(x0)0，否則g(x)就不連續?；蛘呒僭Og(x0)0，也可以利用下確界的定義，證明它是不可能的。這是要用反證法】

則又由局部保號性，存在U(x0,η)?(a,b)，使其內有g(shù)(x)0，

g(x0-η/2)0=x0-η /2 ∈E與x0=inf E矛盾，【與下確界的定義矛盾。因為下確界減去任意正數，結果都不屬于E】

∴g(x0)=0，即f(x0)=μ.

下面再看證法二：

證法二：(應用區間套原理)不妨設f(a)μf(b),令g(x)=f(x)-μ,【這一步和證法一相同】

將[a,b]二等分為[a,c]與[c,b]. 若g(c)=0，則c為所求.【閉區間二等分，如果二等分點(diǎn)的g函數等于0，就剛好是所求的點(diǎn)，否則】

若g(c)0,則記[a1,b1]=[a,c];若g(c)0,則記[a1,b1]=[c,b]，則【取兩端點(diǎn)g函數異號的那個(gè)半區間，記為構造區間套的第一個(gè)閉區間】

g(a1)0,g(b1)0且[a1,b1]?[a,b]，b1-a1=(b-a)/2.【這個(gè)閉區間的長(cháng)度是原區間的一半】

不斷重復以上過(guò)程，可得g(cn)=0或g(a_(n+1))0,g(b_(n+1))0【繼續將半區間二等分，如此反復不斷進(jìn)行，如果n等分點(diǎn)cn的g函數值等于0，那么cn就是所求，否則，就會(huì )有第n+1個(gè)區間的左端點(diǎn)的g函數小于0，右端點(diǎn)的g函數大于0】

且[a_(n+1),b_(n+1)]?[an,bn]，bn-an=(b-a)/2^n, n=1,2,….【并且得到一個(gè)閉區間列，后面的閉區間真包含于前面的閉區間，且閉區間的長(cháng)度趨于0，符合區間套的定義】

即{[an,bn]}是閉區間套，

則存在x0∈[an,bn], n=1,2,…【閉區間套確定一個(gè)點(diǎn)，一般記為ξ，這里為了保持和證法一的字母相同，記為x0】

若g(x0)≠0，不妨設g(x0)0，由局部保號性，存在U(x0, δ)，使其內有g(shù)(x)0.

又當n充分大時(shí)，有[an,bn]?U(x0, δ)，∴g(an)0矛盾.

∴g(x0)=0，即f(x0)=μ.

兩個(gè)證法都不是很簡(jiǎn)單，你應該能夠理解為什么高數的教材中一般不對這個(gè)定理進(jìn)行證明的原因了吧！