Let and . Prove that
has solution in .
Solution
Consider the function which is clearly continuous. It holds that
(1)
If then and are roots. If one of , is strictly less than then it follows from that the other is strictly greater than and vice versa. It follows from Bolzano , that somewhere in between there exists an such that . The result follows.