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
SUMMARY

The discussion centers on the application of the Mean Value Theorem (MVT) to prove that if two continuous functions, f and g, satisfy f > g at the limit as x approaches a from the right and f' > g' for all x in (a, b), then f > g for all x in (a, b). Participants clarify that both functions must be differentiable and suggest defining f(a) and g(a) as their right-hand limits at a. The MVT is then applied to the function h(x) = f(x) - g(x), leading to the conclusion that if h'(x) > 0, then h must remain positive throughout the interval.

PREREQUISITES
  • Understanding of the Mean Value Theorem (MVT)
  • Knowledge of continuity and differentiability of functions
  • Familiarity with limits and their properties
  • Ability to analyze derivatives and their implications
NEXT STEPS
  • Study the formal statement and proof of the Mean Value Theorem
  • Explore applications of the Mean Value Theorem in calculus
  • Learn about the implications of differentiability on function behavior
  • Investigate the relationship between limits and continuity in function analysis
USEFUL FOR

Mathematics students, calculus instructors, and anyone interested in the rigorous application of the Mean Value Theorem in proving inequalities between continuous functions.

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
1K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · 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