介值定理, 提示, 此条目页的主题不是中值定理, 在数学分析中, 英語, intermediate, value, theorem, 又稱中間值定理, 描述了連續函數在兩點之間的連續性, 假設, displaystyle, mathbb, 為一連續函數, 若一實數, displaystyle, 滿足, displaystyle, 則存在一實數, displaystyle, 使得, displaystyle, 首先由伯纳德, 波尔查诺在1817年提出和证明, 在這個證明中, 他附帶證明了波爾查諾, 魏爾斯特拉斯定理,. 提示 此条目页的主题不是中值定理 在数学分析中 介值定理 英語 intermediate value theorem 又稱中間值定理 描述了連續函數在兩點之間的連續性 假設 f a b R displaystyle f a b to mathbb R 為一連續函數 若一實數 u displaystyle u 滿足 f a u f b u lt 0 displaystyle f a u f b u lt 0 則存在一實數 c a b displaystyle c in a b 使得 f c u displaystyle f c u 介值定理首先由伯纳德 波尔查诺在1817年提出和证明 在這個證明中 他附帶證明了波爾查諾 魏爾斯特拉斯定理 目录 1 定理 2 证明 3 與實數完備性的關係 4 零点定理 波尔查诺定理 5 现实世界中的意义 6 参见 7 参考资料 8 外部链接定理 编辑 nbsp 介值定理圖解 設 I a b displaystyle I a b nbsp 其中 a lt b displaystyle a lt b nbsp 且 f I R displaystyle f colon I to mathbb R nbsp 為一連續函數 則下列敘述成立 對任意滿足 f a u f b u lt 0 displaystyle f a u f b u lt 0 nbsp 的實數 u displaystyle u nbsp 皆存在一實數 c a b displaystyle c in a b nbsp 使得 f c u displaystyle f c u nbsp f I displaystyle f I nbsp 為一包含 f a displaystyle f a nbsp 與 f b displaystyle f b nbsp 的閉區間 证明 编辑先证明第一种情况f a lt u lt f b displaystyle f a lt u lt f b nbsp 第二种情况也类似 displaystyle 设S displaystyle S nbsp 为 a b displaystyle a b nbsp 内所有x displaystyle x nbsp 的集合 使得f x u displaystyle f x leqslant u nbsp 那么S displaystyle S nbsp 是非空的 因为a displaystyle a nbsp 是S displaystyle S nbsp 的一个元素 且S displaystyle S nbsp 是上有界的 其上界为b displaystyle b nbsp 于是 根据实数的完备性 最小上界c s u p displaystyle c mathrm sup nbsp S displaystyle S nbsp 一定存在 我们来证明f c u displaystyle f c u nbsp 假设f c gt u displaystyle f c gt u nbsp 那么f c u gt 0 displaystyle f c u gt 0 nbsp 因此存在d gt 0 displaystyle delta gt 0 nbsp 使得当 x c lt d displaystyle left x c right lt delta nbsp 时 就有 f x f c lt f c u displaystyle left f x f c right lt f c u nbsp 因为f displaystyle f nbsp 是连续函数 但是 这样一来 当 x c lt d displaystyle left x c right lt delta nbsp 时 就有f x gt f c f c u u displaystyle f x gt f c f c u u nbsp 也就是说 对于 c d c d displaystyle c delta c delta nbsp 内的x displaystyle x nbsp f x displaystyle f x nbsp 皆 gt u displaystyle gt u nbsp 但參照上述定義 因为c s u p displaystyle c mathrm sup nbsp S displaystyle S nbsp 因此存在x c d c displaystyle x in c delta c nbsp 使得f x u displaystyle f x leqslant u nbsp 所以我们有 f x gt u displaystyle f x gt u nbsp 并且f x u displaystyle f x leqslant u nbsp 这显然是矛盾的 假设f c lt u displaystyle f c lt u nbsp 根据连续性 存在一个d gt 0 displaystyle delta gt 0 nbsp 使得当 x c lt d displaystyle left x c right lt delta nbsp 时 就有 f x f c lt u f c displaystyle left f x f c right lt u f c nbsp 那么对于 c d c d displaystyle c delta c delta nbsp 内的x displaystyle x nbsp 都有f x lt f c u f c u displaystyle f x lt f c u f c u nbsp 因此存在大于c displaystyle c nbsp 的x displaystyle x nbsp 使得f x lt u displaystyle f x lt u nbsp 这与c displaystyle c nbsp 的定义矛盾 因此f c u displaystyle f c u nbsp 與實數完備性的關係 编辑此定理仰賴於實數完備性 它對有理數不成立 例如函數f x x 2 2 displaystyle f x x 2 2 nbsp 滿足f 0 2 f 2 2 displaystyle f 0 2 f 2 2 nbsp 但不存在滿足f x 0 displaystyle f x 0 nbsp 的有理數x displaystyle x nbsp 零点定理 波尔查诺定理 编辑零点定理是介值定理的一种特殊情况 如果曲線上兩點的值正負號相反 其間必定存在一個根 设函数f x displaystyle f x nbsp 在闭区间 a b displaystyle a b nbsp 上连续 且f a f b lt 0 displaystyle f a cdot f b lt 0 nbsp 则必存在3 a b displaystyle xi in a b nbsp 使f 3 0 displaystyle f xi 0 nbsp 成立 由於零点定理可用來找一方程式的根 也稱為勘根定理 伯纳德 波尔查诺於1817年證明了這個定理 同時證明了這個定理的一般情況 即介值定理 以現代的標準來說 他的證明並不算是非常嚴格 1 现实世界中的意义 编辑介值定理意味着在地球的任何大圆上 温度 压强 海拔 二氧化碳的浓度 或其他任何连续变化的变量 总存在两个对蹠点 在这两个点上该变量的值是相同的 证明 取f为圆上的任何连续函数 通过圆的中心作一条直线 与圆相交于点A和点B 设d为f A f B 的差 如果把这条直线旋转180度 将得到值 d 根据介值定理 一定存在某个旋转角 使得d 0 在这个角度上便有f A f B 这是一个更加一般的结果 博苏克 乌拉姆定理的特殊情况 参见 编辑中值定理 极值定理 達布定理参考资料 编辑 Weisstein Eric W 编 Bolzano s Theorem at MathWorld A Wolfram Web Resource Wolfram Research Inc 英语 外部链接 编辑cut the knot 上的介值定理 波尔查诺定理 页面存档备份 存于互联网档案馆 埃里克 韦斯坦因 Intermediate Value Theorem MathWorld 取自 https zh wikipedia org w index php title 介值定理 amp oldid 80819541 零点定理 波尔查诺定理, 维基百科,wiki,书籍,书籍,图书馆,