Can I use the mean value theorem to prove that f>g for all x in (a,b)?

  • Context: Undergrad 
  • Thread starter Thread starter Dank2
  • Start date Start date
  • Tags Tags
    Functions Inequality
Click For Summary

Discussion Overview

The discussion centers around the application of the Mean Value Theorem to determine whether one continuous function, f, is greater than another continuous function, g, for all x in the interval (a, b). Participants explore the conditions under which this might hold true, particularly focusing on differentiability and the implications of the theorem.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants propose that if f and g are continuous and differentiable on (a, b), and if f > g at the left endpoint a and f' > g' for all x in (a, b), then f > g for all x in (a, b) might be inferred.
  • Others question the assumptions made, particularly whether differentiability is necessary and whether the limits at the endpoints are correctly interpreted.
  • One participant suggests defining f(a) and g(a) as their right-hand limits at a to facilitate the use of the interval [a, b) and to establish the inequality f(a) > g(a).
  • There is a discussion about the implications of the Mean Value Theorem, specifically regarding the behavior of the function h(x) = f(x) - g(x) and its derivative h'(x).
  • Some participants express confusion about the application of the Mean Value Theorem, particularly regarding the correct use of points and the signs of the derivatives involved.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the application of the Mean Value Theorem or the conditions under which f > g can be established. There are multiple competing views on the assumptions and implications of the theorem.

Contextual Notes

Limitations include unclear assumptions about differentiability, the correct interpretation of limits at the endpoints, and the proper application of the Mean Value Theorem. Participants have not resolved these issues.

Dank2
Messages
213
Reaction score
4
Assume f and g are two continuous functions in (a, b).
If at the start of the segment I've shown f>g by taking the lim where x ---> a+ and the f ' > g ' for every x in (a,b )
can i say that f >g for all x in (a,b )? is there a theorem for that? that looks intuitively right.
 
Physics news on Phys.org
You need to state more clearly what you are assuming.
Dank2 said:
Assume f and g are two continuous functions in (a, b).
If at the start of the segment I've shown f>g by taking the lim where x ---> a+ and the f ' > g ' for every x in (a,b )
can i say that f >g for all x in (a,b )? is there a theorem for that? that looks intuitively right.

You say ##f' > g'## but you only assumed ##f## and ##g## are continuous on ##(a,b)##. Do you mean to assume they are differentiable? And are you saying that ##\lim_{x \to a^+} f(x) > \lim_{x\to a^+}g(x)##? If the answers are yes to these, I suggest you try proving your result using the mean value theorem.
 
  • Like
Likes   Reactions: Dank2
Define ##f(a)## and ##g(a)## equal to their right hand limits at ##a## so you can use ##[a,b)## and ##f(a)>g(a)##. Let ##h(x) = f(x) - g(x)##, so you have ##h'(x)>0##. What does the mean value theorem tell you about ##h## if you have a point ##c## in ##(a,b)## where ##f(c)<g(c)##?
 
  • Like
Likes   Reactions: Dank2
LCKurtz said:
Define ##f(a)## and ##g(a)## equal to their right hand limits at ##a## so you can use ##[a,b)## and ##f(a)>g(a)##. Let ##h(x) = f(x) - g(x)##, so you have ##h'(x)>0##. What does the mean value theorem tell you about ##h## if you have a point ##c## in ##(a,b)## where ##f(c)<g(c)##?
if f(c)<g(c) then h(c) < 0, doesn't help me much
 
I asked you what the mean value theorem tells you. Write it down.
 
That there is point c where the derivative of h'(c) is parallel to the straight line connecting the two end points of the segment
 
Last edited:
You need to write down the equation the mean value theorem tells you applied to ##h##.
 
H'(c)= (h(b)-h(a))/b-a > 0
 
  • #10
Dank2 said:
H'(c)= (h(b)-h(a))/b-a > 0
Forget the > 0 for a minute. Examine the sign on the left side versus the sign on the right side.
[Edit, added] I overlooked you haven't used the point c properly on the right side. You don't know anything about h(b). And you don't want c on the left side.
 
Last edited:
  • #11
Now that the football game I was watching while I was working with you is over, I will be a bit more explicit about what you are doing wrong. Here is what I suggested in post #5:
LCKurtz said:
Define ##f(a)## and ##g(a)## equal to their right hand limits at ##a## so you can use ##[a,b)## and ##f(a)>g(a)##. Let ##h(x) = f(x) - g(x)##, so you have ##h'(x)>0##. What does the mean value theorem tell you about ##h## if you have a point ##c## in ##(a,b)## where ##f(c)<g(c)##?
Then I asked you to write what the mean value theorem tells you about ##h##. You wrote this:

Dank2 said:
H'(c)= (h(b)-h(a))/(b-a) > 0

There are several things wrong with this besides missing parentheses. First, there is no > 0 in the mean value theorem. Second, you can't use ##c## in ##H'(c)## because I have already used it above where you assume ##c## is a point where ##f(c)<g(c)##. Third, ##f## and ##g## aren't defined at ##b## so neither is ##h(b)##.
What you need to do is apply the mean value theorem to ##h## on the interval ##[a,c]##. Write it out carefully and completely. You will need to use the words "there exists" somewhere in your application of the mean value theorem.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K