若f(x)在区间[a,b]上连续,且f(a)f(b)<0
则存在c属于(a,b)使得f(c)=0
要证明这个定理,需用到实数理论
参见数学分析极限续论一章