I want to make it clear that applying the IVT to find a zero (i.e., a root) of a function requires having the following objects and proofs:
- a continuous function $f(x)$ from reals to reals, which is defined at least on some closed interval;
- two numbers $a$ and $b$ such that $a<b$ and $f(x)$ is defined on $[a,b]$;
- a proof that $f(a)<0$ and $f(b)>0$, or that $f(a)>0$ and $f(b)<0$.
If you are using the IVT to prove that an equation $g(x)=h(x)$ has a solution, then take $f(x)=g(x)-h(x)$. In particular, if you need to find not a zero of a function, but a solution to $g(x)=c$ for some $c$, then you consider $f(x)=g(x)-c$. It is easy to see that $g(a)-c<0<g(b)-c\iff g(a)<c<g(b)$.
In what you wrote, I don't always see all these elements.
bsmithysmith said:
So as Evgeny mentioned, driving 40 Miles per Hour on the highway and 25 Mile per Hour in the city, at some point in time between the highway and the city, the driver has gone 30 Miles per Hour. That's the one that stuck in my head the most.
40 is interval (b), per say, and 25 is (a)
$$25 < Speed < 40$$
What is the function here? Presumably, it returns speed, but what is its argument and domain? Starting from post #2, I used $a$ and $b$ as the ends of a segment in the
domain of a function. Of course, variable names don't matter, but it is crucial to have a function that is defined on some segment $[a,b]$. In this case, such function could map time or distance to speed.
bsmithysmith said:
So to sum it all up, to prove that $$x = cos(x)$$ has a solution using continuity, we must see if it is continuous or not by turning it into a function. From there we have to find out any discontinuities (which it doesn't) so we know that x has a solution.
Remember I advised you to express yourself precisely? An equation may have a solution, but $x$ is not an equation, so it can't have a solution. You also did not write what function you are talking about. I assume it's $f(x)=x-\cos x$. More importantly, just the fact that $f(x)$ is continuous does not guarantee that there is a solution of the equation $f(x)=0$.
bsmithysmith said:
Given a good starting point is x = 0, it would be (0,-1). Given another good input is if f(x) = 0, around (0.739,0)
If you had a precise value of $x$ such that $f(x)=0$, then you would not need to invoke the IVT to show that $f(x)=0$ has a solution. Besides, you need precise values of $a$ and $b$ from the checklist above, not approximate values.
bsmithysmith said:
and that would be my intervals, -1 and 0.
$-1$ and $0$ are not intervals, they are numbers. Also recall that the checklist includes an interval $[a,b]$ from the
domain, not the codomain (or range) of $f$. It seems to me that $-1$ and $0$ that you are considering are
values of the function, so they come from the codomain.
So I suggest looking at the graph of $f(x)=x-\cos x$ and coming up with all objects mentioned in the checklist above.