Assume that f:[a,b]->R is continuous and that f(a) and f(b) have opposite signs. Then there is a point c in (a,b) such that f(c)=0.The beginning of the proof is as follows: Consider the case where f(a)<0<f(b). Let A={x in [a,b]:f(x)<0} and set c=supA. Observe first that since f is continuous and f(b)>0, then c<b. I don't see why c<b follows from the fact that f is continuous and f(b)>0, but I would really like to understand this, especially since the author seems to think it needs no further explanation. I did try looking at other proofs for the IMT, on this site and other sites, but none of them phrased the proof in this way and they didn't really further my understanding.

smuklica8i

smuklica8i

Answered question

2022-07-22

The theorem is stated as follows:

Assume that f : [ a , b ] R is continuous and that f ( a ) and f ( b ) have opposite signs. Then there is a point c ( a , b ) such that f ( c ) = 0.

The beginning of the proof is as follows:

Consider the case where f ( a ) < 0 < f ( b ). Let A = { x [ a , b ] : f ( x ) < 0 } and set c = sup A. Observe first that since f is continuous and f ( b ) > 0, then c < b.

I don't see why c < b follows from the fact that f is continuous and f ( b ) > 0, but I would really like to understand this, especially since the author seems to think it needs no further explanation. I did try looking at other proofs for the IMT, on this site and other sites, but none of them phrased the proof in this way and they didn't really further my understanding.

Answer & Explanation

abortargy

abortargy

Beginner2022-07-23Added 19 answers

If f is continous then there exists a ball with the center in b such that f ( x ) > 00 in this ball. We could take for example the ball of the radius ε such that
  | x b | < ε | f ( x ) f ( b ) | < f ( b ) / 2.
Such ε exists according to continuity of f. So, then c b ε < b .

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?