Proof using Rolle's thm or the Mean Value Thm

  • Thread starter Thread starter island-boy
  • Start date Start date
  • Tags Tags
    Mean Proof Value
Click For Summary

Homework Help Overview

The discussion revolves around proving an equality related to interpolation and derivatives, specifically using concepts from calculus such as Rolle's Theorem and the Mean Value Theorem. The original poster presents a formula involving divided differences and second derivatives, seeking assistance in establishing its validity.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants explore the application of the Mean Value Theorem to a constructed function g(x) and discuss the implications of its derivatives. Questions arise regarding the relationship between g'(c) and the second derivative f''(c), particularly in the context of different choices for c.

Discussion Status

The conversation is ongoing, with participants actively engaging in mathematical reasoning and questioning the assumptions underlying their approaches. Some have identified potential connections between their findings and the original equality, while others express confusion about the implications of their calculations.

Contextual Notes

Assumptions include that the function f is twice differentiable over the interval containing the points x_0, x_1, and x_2. The discussion also reflects on the constraints of using elementary calculus methods for the proof.

island-boy
Messages
93
Reaction score
0
it is known thm of interpolation that:
[tex]\frac{f[x_1, x_2] - f[x_0, x_1]}{x_2 - x_0}[/tex] = f"(c)}/2
where c is between the minimum and maximum of [tex]x_0, x_1, x_2[/tex]

and where
[tex]f[x_0, x_1] = \frac{f(x_1) - f(x_0)}{x_1 - x_0} = f'(d)[/tex] where d is between [tex]x_0[/tex] and [tex]x_1[/tex] by the mean value theorem.

Is it possible and if so, can anyone help me prove this equality:
[tex]\frac{f[x_1, x_2] - f[x_0, x_1]}{x_2 - x_0}[/tex] = f"(c)/2
using possibly Rolle's Thm, the Mean Value Thm, the Taylor series expansion, among others? (i.e., using only elelmentary calculus)

thanks
 
Last edited:
Physics news on Phys.org
Assuming that f is twice differentiable of some interval containing [itex]x_0[/itex], [itex]x_1[/itex], and [itex]x_2[/itex], let [itex]g(x)= \frac{f(x)- f(x_1)}{x- x_1}[/itex]. Apply the mean value theorem to g(x).
 
cheers for the help, HallsofIvy,
applying the mean value thm to g(x), indeed I would get:
[tex]\frac{f[x_1, x_2] - f[x_0, x_1]}{x_2 - x_0}[/tex]
on the left hand side of the equation.

On the right side, I would have g'(c), but isn't
[tex]g'(x) = \frac{f'(x)(x-x_1) - f(x)}{(x-x_1)^2}[/tex]
thus
[tex]g'(c) = \frac{f'(c)(c-x_1) - f(c)}{(c-x_1)^2}[/tex]

how is this equal to f"(c)/2?

thanks

ETA: I was able to see that [tex]g(x) = f'(c)[/tex] where c is between [tex]x[/tex] and [tex]x_1[/tex]...
I guess if I let [tex]c = \frac{x-x_1}{2}[/tex], I could get:
g'(c) = f"(d)/2
with d between the maximum of [tex]x_0, x_1, x_2[/tex]

but what if I let
[tex]c = \frac{x-x_1}{3}[/tex]?
Wouldn't I get
g'(c) = f"(d)/3 as a result?
I'm confused...:(
 
Last edited:
okay, the best I can come up with is
[tex]g'(x) = \frac{f'(x)(x-x_1)-[f(x)-f(x_1)]}{(x-x_1)^2}[/tex]
[tex]=\frac{f'(x)(x-x_1) - f'(d)(x-x_1)}{(x-x_1)^2}[/tex]
[tex]=\frac{f'(x)-f'(d)}{x-x_1}[/tex]

Thus
[tex]g'(c)=\frac{f'(c)-f'(d)}{c-x_1}[/tex]
where c and d are between x and x1.

how is this equal to f"(s)/2?I did try an arbtrary f(x) and for some reason, the two really are equivalent
 
Last edited:

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 22 ·
Replies
22
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K