The Darboux theorem, one of the fundamental results in analysis, states that the derivative of a real (not necessarily continuously) differentiable function defined on a compact interval has the intermediate value property, that is, attains each value between the derivatives at the endpoints. The Bolzano intermediate value theorem, which implies Darboux's theorem when the derivative is continuous, states that a continuous real‐valued function
f$$ f $$ defined on
false[−1,1false]$$ \left[-1,1\right] $$ satisfying
ffalse(−1false)<0$$ f\left(-1\right)<0 $$ and
ffalse(1false)>0$$ f(1)>0 $$, has a zero, that is,
ffalse(xfalse)=0$$ f(x)&#x0003D;0 $$ for at least one number
−1