Proof f(x)>g(x) in an interval

  • Thread starter Thread starter Dank2
  • Start date Start date
  • Tags Tags
    Interval Proof
Click For Summary

Homework Help Overview

The discussion revolves around proving that if two functions, f(x) and g(x), are continuous on the interval [a, b] and differentiable on (a, b), with f(a) ≥ g(a) and f'(x) > g'(x) for a < x < b, then f(x) > g(x) for a < x ≤ b.

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the implications of the conditions given, questioning the correctness of inequalities and discussing the application of the Mean Value Theorem. Some express confusion over the continuity and differentiability of the functions involved.

Discussion Status

There are various lines of reasoning being explored, including the introduction of a new function k(x) = f(x) - g(x) and its properties. Some participants suggest using the Mean Value Theorem, while others are attempting to clarify the implications of the derivatives and the continuity of k.

Contextual Notes

Participants note the importance of precision in mathematical statements and the need to differentiate between the Mean Value Theorem and the Intermediate Value Theorem. There is also a recognition of the challenge in proving the desired inequality given the conditions stated.

  • #31
Dank2 said:

Homework Statement


let fx, gx be continuous in [a,b] and differentiable in (a,b). at the end of the interval f(a) >= g(a).

and f'(x) >g'(x) for a<x<b.

proof f(x) > g(x) for a<x<=b
I that supposed to be
let f(x), g(x) be continuous in [a,b] ...​
?
Attempt:
There is a statement says that if the f'x = g'x for x in [a,b] , then there exists k such that f'x - g'x = k for any x in [a,b]

but f'(x) = g'(x) + t(x), where t(x) isn't have to be a line. and i cannot use the statement
Did you mean that literally?
There is a statement says that if the f'x = g'x for x in [a,b] , then there exists k such that f'x - g'x = k ...​
or perhaps:
f'(x) = g'(x) for x in [a,b] , then there exists k such that f'(x) - g'(x) = k ...​
.
PeroK said:
You need to put a bit more effort in here! You're doing real analysis, which requires precision in terms of the statement of a problem. I'll help you on this point, but you need to start thinking more (pure) mathematically:

We have that ##k## is continuous on ##[a, b]##, differentiable on ##(a, b)##, ##k(a) \ge 0## and ##\forall x \in (a, b), \ k'(x) > 0##.

We must show that ##\forall x \in (a, b], \ k(x) > 0##
Thank you @PeroK !
 

Similar threads

Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
2K
Replies
5
Views
2K
Replies
3
Views
2K
Replies
2
Views
2K
Replies
4
Views
2K