existe $x_0$ $y_0$ $[a,b]$ tal que
\begin{align}
f(a) = f(\frac{a+b}{2}) + f'(\frac{a+b}{2})(a - \frac{a+b}{2}) + \frac{1}{2}f''(x_0)(a-\frac{a+b}{2})^2 \\
f(b) = f(\frac{a+b}{2}) + f'(\frac{a+b}{2})(b - \frac{a+b}{2}) + \frac{1}{2}f''(y_0)(b-\frac{a+b}{2})^2
\end{align}
Multiplicando por $\frac{1}{2}$ y combinando estas dos ecuaciones da
\begin{align}
f(\frac{a+b}{2}) = \frac{1}{2}[f(a) + f(b)] - \frac{f''(x_0) + f''(y_0)}{2}\frac{(a-b)^2}{8}
\end{align}
Uso del teorema de Darboux para encontrar una $c \in [a,b]$, de tal manera que $f''(c) = \frac{f''(x_0) + f''(y_0)}{2}$
La parte de arriba $\textbf{didn't}$ el uso de la suposición de $f'(a) = f'(b)$, por lo tanto la conclusión es diferente, en lugar de + , tengo una -. Yo correcta en las siguientes:
existe $x_1$ $y_1$ $[a,b]$ tal que
\begin{align}
f(\frac{a+b}{2}) = f(a) + f'(a)(\frac{a+b}{2} - a) + \frac{1}{2}f''(x_1)(a-\frac{a+b}{2})^2 \\
f(\frac{a+b}{2}) = f(b) + f'(b)(\frac{a+b}{2} - b) + \frac{1}{2}f''(y_1)(b-\frac{a+b}{2})^2
\end{align}
Desde $f'(a) = f'(b)$, multiplicando por $\frac{1}{2}$ y combinando estas dos ecuaciones da
\begin{align}
f(\frac{a+b}{2}) = \frac{1}{2}[f(a) + f(b)] + \frac{f''(x_1) + f''(y_1)}{2}\frac{(a-b)^2}{8}
\end{align}
El mismo teorema permite obtener la conclusión.