,即   ．

因为 所以 ，考察 

    ，

　　　　　　　    ，

当 时，至少存在一个正根   ，使 ；

当 时，不妨只考察 ，因为   ，并且

  ，

所以至少存在一个正根   ，使 ．

因此，方程  至少有一个正根，且不超过 .

例2 证明：若 ， 为正整数，则存在唯一正数 ，使  

 ．

证明 先证存在性．由于当 时，有 ，故必存在正数 ，使得 . 

　　因 在 上连续，并有 ，故由介值定理，至少存在一点

 ，使得 ．

再证唯一性．设正数 使得 ，则有

   ．

由于第二个括号内的数为正，所以只能 ,即 ．

例3 设 在闭区间 连续，满足 ．证明：存在 ，使得 ．

证明 由条件知：对任何 有 ，特别有  以及  ．

若 或 ，则取 或 ，从而 成立．

现设 与  令 ，则  ．源:自~751·论`文'网·www.751com.cn/

故由根的存在性定定理，存在 使得 即 ． 

4 介值定理在解不等式中的应用

我们该当都知道，倘若原命题成立，则这个命题的逆否命题也必然成立的，故而我们不需要对逆否命题进行证明，事实上我们在利用介值定理解决解不等式的问题时，并非直接利用“根的存在定理”，却是应用的“根的存在定理”的逆否命题．接下来我们将给出根据根的存在定理得到的逆否命题和推论命题．

设函数 在某一区间 (也可指 、 、 )内有定义且连续．

(1)(1)（根的存在定理——逆否命题）假如方程在内没有根，那么函数的值在内就应保持相同的符号（正号或者负号)；