定理简述：若函数$ f(x) $在闭区间$[a, b]$上单调递增且有上界，或单调递减且有下界，则该函数必收敛，且收敛值是该区间上该函数的上确界或下确界。
直观理解：想象一个球在粗糙的地面上运动，它的速度会越来越慢，最终会暂停在一个特定的位置，这个位置就是它最终达到的极限。对于函数而言，这种“速度”对应的是函数的变化率，而“暂停的位置”就是函数值的极限。
逻辑构建与核心矛盾分析
引入公理体系进行证明
为了建立严谨的数学证明，我们需求基于有界收敛原理和单调有界定理这两个根本公理。
- 有界收敛原理：若函数序列$ {f_n} $在$[a, b]$上单调收敛，且$ lim f_n $存有，则该极限值必收敛。
- 单调有界定理：若$ {f_n} $在$[a, b]$上单调且有界，则该序列收敛。
结合这两个公理，我们能够推导出单调有界定理的直接推论：若函数$ f $在$[a, b]$上单调且存有极限，则该极限值为函数的上确界或下确界。
这不仅是逻辑的必然，也是解题的关键切入点。
构造反证法与极限存有性的论证
反证法的思维路径
假设函数$ f(x) $在区间$[a, b]$上单调增添，但其上确界$ M $无法达到，即对于任意$ x in [a, b] $，都有$ f(x) < M $。
要是$ M $存有，那么根据上确界的定义，必然存有某个$ x_0 in [a, b] $使得$ f(x_0) ge M $。
- 出于$ f $是单调增添的，且$ f(x_0) ge M $，而前面已证得$ f(x) < M $对所有$x$成立，这害得了矛盾。
- 假设不成立，必然存有某个$ x_0 in [a, b] $使得$ f(x_0) ge M $。
- 结合$ f(x) < M $再次出现，说明$ f(x_0) $就是上确界$ M $，矛盾。若$ M $不存有，则$ f(x) $趋于$ M $意味着$ f(x) $有下界且极限存有，进而知足收敛条件。
