Given a real function continuous on , with and . Prove there is some such that (i.e., has a fixed point in ).
Proof. If or then we are done since these would be fixed points.
Assume then that and and let . We know that is continuous on and
Thus, by Bolzano’s theorem, there is some such that ; hence, or