Existence of $x_0$ s.t. $\frac{f''( x_0 )}{2}=\frac{f( a )}{( a-b ) ( a-c )}+\frac{f( b )}{( b-a ) ( b-c )}+\frac{f( c )}{( c-a ) ( c-b )}$ 
Let $f$ be continuous on $[a,b]$, and $f''(x)$ exists on $(a,b)$. Prove that $\forall c\in(a,b), \exists x_0\in(a,b)$, s.t.
$$
\frac{f''\left( x_0 \right)}{2}=\frac{f\left( a \right)}{\left( a-b \right) \left( a-c \right)}+\frac{f\left( b \right)}{\left( b-a \right) \left( b-c \right)}+\frac{f\left( c \right)}{\left( c-a \right) \left( c-b \right)}
$$

My Approach: Assume $$\dfrac{K}{2} = \frac{f\left( a \right)}{\left( a-b \right) \left( a-c \right)}+\frac{f\left( b \right)}{\left( b-a \right) \left( b-c \right)}+\frac{f\left( c \right)}{\left( c-a \right) \left( c-b \right)}$$
Let
$$
g\left( x \right) =\frac{K}{2}\left( \left( a-x \right) \left( x-c \right) \left( c-a \right) \right) +f\left( a \right) \left( x-c \right) +f\left( x \right) \left( c-a \right) +f\left( c \right) \left( a-x \right) 
$$
Then $g(a)=g(c)=g(b)=0$.
Since $g$ is continuous on $[a,b]$ and differentiable on $(a,b)$, there exist $x_1\in(a,c),x_2\in(c,b)$ s.t. $g'(x_1)=g'(x_2)=0$.
And since $g'$ is continuous on $[a,b]$ and differentiable on $(a,b)$, there exists $x\in(x_1,x_2)\subset (a,b)$, s.t. $g''(x_0)=0$.
From
$$
g''\left( x_0 \right) =\frac{K}{2}\cdot 2\left( a-c \right) +f''\left( x_0 \right) \left( c-a \right) 
$$
We have $K=f''(x_0)$.
My Question is, is the proof right? And can we generalize the original claim(that is, change $f''(x)$ to $f^{(k)}(x)$)?
Other proofs of the original claim is also welcomed.

Your formula can be written as
$$\frac{\left | \begin{matrix} 1& 1& 1\\ a  & b & c \\ f(a) & f(b) & f(c) \end{matrix} \right|}{
\left| \begin{matrix} 1& 1& 1\\ a  & b & c \\ g(a) & g(b) & g(c) \end{matrix} \right|}=\frac{f''(\xi)}{g''(\xi)}
$$
(with $g(x) = x^2$).
Let $K$ be the value of the quotient. Then the function
$$F(x) =\left | \begin{matrix} 1& 1& 1\\ x  & b & c \\ f(x) & f(b) & f(c) \end{matrix} \right| - K \cdot \left | \begin{matrix} 1& 1& 1\\ x  & b & c \\ g(x) & g(b) & g(c) \end{matrix} \right|$$
is $0$ at $x=a$. Clearly it is also $0$ at $x=b$, and $x=c$. So it has $3$ distinct zeroes. Applying Rolle twice we find $\xi$ such that $F^{(2)}(\xi)=0$.
It is easy to generalize this to $n+1$ distinct $a_i$'s. One can also pass to the limit in these formulas, grouping several $a_i$ together. In particular, if $n$ of them are "equal", we get the quotient of Taylor series approximations.
