En realidad, esto aparece en una de las pruebas del Teorema Fundamental del Cálculo. La forma en que se demuestra que $F(b) - F(a) = \int_a^b f$ es demostrar que, independientemente de la partición que se elija, siempre hay un "etiquetado" (es decir, una elección de un punto de muestra en cada subintervalo) tal que la suma de Riemann correspondiente es exactamente igual a $F(b) - F(a)$ .
Mi sugerencia para esto es aplicar el Teorema del Valor Medio (a $F$ ) en cada subintervalo. ¿Ayuda esto?
(De hecho en este resultado la continuidad de $f$ se puede debilitar a: $f$ es integrable de Riemann y tiene una antiderivada $F$ . Esta es una sutil ventaja de este enfoque de la FTC. Una declaración equivalente -y ligeramente menos confusa- de esto se puede encontrar en $\S$ 8.3.3 de estas notas . Sin embargo, hay que tener en cuenta que en ese punto de las notas sólo se han introducido las sumas superiores e inferiores, no las sumas de Riemann. Esto hace que el argumento sea ligeramente más complicado y notablemente menos elegante: obtenemos que $F(b)-F(a)$ se encuentra entre todas las sumas inferiores y superiores en lugar de ser en la nariz igual a una suma de Riemann).