定义网址:https://www.geogebra.org/m/Rb9VJVH8
The theorem that a single-valued, real-valued, continuous function of a real variable
is equal to zero at some point in an interval if its values at the end points of the interval have opposite sign.
https://encyclopedia2.thefreedictionary.com/Bolzano%27s+Theorem