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