Lars Olsen proof of Darboux's Intermediate Value Theorem for Derivatives

In summary, we discussed Lars Olsen's proof and clarified the understanding of why ##y## will lie between ##f_a(a)## and ##f_b(b)##. We also looked at a specific example using the function ##f(x) = x^2## and values of ##a=-1## and ##b=2##. It was initially unclear how ##y## necessarily lies between ##f_a(a)## and ##f_a(b)##, but by considering the construction of the functions ##f_a## and ##f_b##, it becomes clear that ##y## will lie between either ##f_a(a)## and ##f_a(b)## or ##f_b(a)## and ##f_b(b)##
  • #1
Hall
351
87
Here is Lars Olsen's proof. I'm having difficulty in understanding why ##y## will lie between ##f_a (a)## and ##f_a(b)##. Initially, we assumed that ##f'(a) \lt y \lt f'(b)##, but ##f_a(b)## doesn't equal to ##f'(b)##.
 
Last edited by a moderator:
Physics news on Phys.org
  • #2
##y## will lie between ##f_a(a)## and ##f_b(b)##.
We also have by the construction of the functions ##f_a## and ##f_b## that ##f_a(b) = f_b(a)##.
Thus, ##y## will lie between ##f_a(a)## and ##f_a(b)## or between ##f_b(a)## and ##f_b(b)##.

What is it that you do not understand? Can you come up with a differentiable function ##f## for which the above is not true?
 
  • #3
malawi_glenn said:
##y## will lie between ##f_a(a)## and ##f_b(b)##.
We also have by the construction of the functions ##f_a## and ##f_b## that ##f_a(b) = f_b(a)##.
Thus, ##y## will lie between ##f_a(a)## and ##f_a(b)## or between ##f_b(a)## and ##f_b(b)##.

What is it that you do not understand? Can you come up with a differentiable function ##f## for which the above is not true?
## f_a(a) = f'(a) \lt y \lt f'(b) = f_b(b)##, that is correct. But how ##f_a(b) = f'(b)##?
 
  • #4
Hall said:
But how fa(b)=f′(b)?
where is that written/used?
In other words, where do you read ##f_a(b) = f_b(b)##?
 
  • #5
malawi_glenn said:
where is that written/used?
In other words, where do you read ##f_a(b) = f_b(b)##?
I don't know, sir, but I cannot see simply how ##y## lies between ##f_a(a)## and ##f_a(b)##.
 
  • #6
##f_a(b) = \frac{ f(a) - f(b)}{a-b}##, by Mean Value Theorem there is some ##c \in (a,b)## such that ##f_a(b) = f'(c)##. Why ##y## necessarily need to lie between ##f'(a) and f'(c)##? We assumed it to lie between ##f'(a)## and ##f'(b)##.
 
  • #7
Hall said:
I don't know, sir, but I cannot see simply how ##y## lies between ##f_a(a)## and ##f_a(b)##.
You have two cases to consider.
As I wrote, which is in the article.:
We have by the construction of the functions ##f_a## and ##f_b## that ##f_a(b) = f_b(a)##.
Thus, ##y## will lie between ##f_a(a)## and ##f_a(b)## or between ##f_b(a)## and ##f_b(b)##.

1672245477224.png


Work it out with the function say ##f(x) = x^2## and let ##a=-1## and ##b=2## or something.
 
Last edited:
  • Like
Likes jedishrfu
  • #8
Darboux.jpg
.

If ##y## lies between ##f'(a)## and ##f'(b)##, then it is surely to between the end-points of one of the graphs.

It was not very obvious for me to see, I was considering ##f_a(a)## and ##f_a(b)## individually and not in connection with that "or" ##f_b(a)## and ##f_b(a)##.
 
  • #9
Are you okay with the proof now?
 
  • Like
Likes jedishrfu
  • #10
malawi_glenn said:
Are you okay with the proof now?
Yes.
 
  • Love
  • Like
Likes jedishrfu and malawi_glenn

What is the Darboux's Intermediate Value Theorem for Derivatives?

The Darboux's Intermediate Value Theorem for Derivatives states that if a function is differentiable on an interval and takes on two different values at the endpoints of the interval, then it must also take on every value in between those two values at some point within the interval.

Who is Lars Olsen?

Lars Olsen is a mathematician who is known for his proof of the Darboux's Intermediate Value Theorem for Derivatives. He was a Danish mathematician who lived from 1861 to 1919.

What is the significance of Lars Olsen's proof of the Darboux's Intermediate Value Theorem for Derivatives?

Lars Olsen's proof is significant because it provided a rigorous and complete proof of the theorem, which was previously only proven by intuition. His proof also helped to solidify the importance of the theorem in calculus and analysis.

What are the key steps in Lars Olsen's proof of the Darboux's Intermediate Value Theorem for Derivatives?

The key steps in Lars Olsen's proof include using the Mean Value Theorem to show that the derivative of the function must take on all values between the two endpoint values, and then using induction to show that the function itself must also take on all values between the two endpoint values.

How does Lars Olsen's proof of the Darboux's Intermediate Value Theorem for Derivatives relate to other proofs of the theorem?

Lars Olsen's proof is considered one of the most elegant and complete proofs of the Darboux's Intermediate Value Theorem for Derivatives. It is also closely related to other proofs of the theorem, such as the Brouncker's proof and the Bolzano's proof, which also use the Mean Value Theorem as a key step.

Similar threads

  • Topology and Analysis
Replies
5
Views
1K
Replies
4
Views
2K
  • Topology and Analysis
Replies
3
Views
2K
Replies
2
Views
2K
  • Topology and Analysis
Replies
6
Views
1K
Replies
4
Views
2K
Replies
2
Views
2K
Replies
6
Views
2K
Replies
2
Views
984
Replies
2
Views
1K
Back
Top