Let function ƒ be Differentiable

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 2K views
sergey_le
Messages
77
Reaction score
15
Homework Statement
Let function ƒ be Differentiable in the interval [0,1] so that 0≤f'(x)≤1 for all x in the interval [0,1].
Prove that there is a point x in [0,1] so that f'(x)=x.
Relevant Equations
Intermediate value theorem
What I've tried is:
I have defined a function g(x)=f(x)-x^2/2. g Differentiable in the interval [0,1] As a difference of function in the interval.
so -x≤g'(x)≤1-x for all x∈[0,1] than -1≤g'(x)≤0 or 0≤g'(x)≤1 .
Then use the Intermediate value theorem .
The problem is I am not given that f' is continuous
 
  • Like
Likes   Reactions: vanhees71 and member 587159
on Phys.org
Interesting problem. First, it looks like you need continuity to apply the intermediate value theorem, but in fact you don't. Here you know that ##f## is differentiable, so ##f'## is still 'sufficiently nice', in the following sense:

##f'## may be discontinuous, but it still satisfies the intermediate value theorem. This is known as Darboux's theorem. See https://en.wikipedia.org/wiki/Darboux's_theorem_(analysis) for two short elementary proofs.
 
Last edited by a moderator:
  • Like
Likes   Reactions: sergey_le and vanhees71
Math_QED said:
Interesting problem. First, it looks like you need continuity to apply the intermediate value theorem, but in fact you don't. Here you know that ##f## is differentiable, so ##f'## is still 'sufficiently nice', in the following sense:

##f'## may be discontinuous, but it still satisfies the intermediate value theorem. This is known as Darboux's theorem. See https://en.wikipedia.org/wiki/Darboux's_theorem_(analysis) for two short elementary proofs.
Thanks