Demostración del teorema de Lagrange.

Si evaluamos g en a y b:

g(a) = f(a) – { [ ( f(b) - f(a) ) / (b-a) ] * (a – a) + f(a) }

El teorema nos dice que si una función f es continua en un intervalo
[a,b] y derivable en un intervalo (a,b),
g(b) = f(b) – { [ ( f(b) - f(a) ) / (b-a) ] * (b – a) + f(a) }
existe un c perteneciente a (a,b) tal que f’(c) = ( f(b) – f(a) ) / (b-a).
Ambas dan como resultado 0.
Si se interpreta geometricamente, se puede ver que lo “único” que
Sabemos que g es continua en [a,b] porque es una resta de funciones
nos dice es que hay un punto en el que la recta tangente a la curva es
continuas, y que es derivable en (a,b) porque es resta de funciones
paralela a la recta secante entre los dos puntos que dan el intervalo.
derivables, asi que como g(a) = g(b) podemos aplicar el teorema de
Rolle.
Para demostrarlo, definimos una funcion g:
Por Rolle, deducimos que existe un c perteneciente a (a,b) tal que
g(x) = f(x) – y donde y seria la recta secante entre los puntos a y
g’(c)=0.
b.
g’(x) = f’(x) – { [ ( f(b) - f(a) ) / (b-a) ] * (x – a) + f(a) }’
La ecuacion de una recta que pasa por 2 puntos (x0,y0) (x1,y1) es y
– y0 = m (x – x0), donde m es la pendiente.
g’(x) = f’(x) – { [ ( f(b) - f(a) ) / (b-a) ] * (x – a) }’ + f(a)’
La pendiente esta dada por ( y1 – y0) / (x1 – x0).
g’(x) = f’(x) – { [ ( f(b) - f(a) ) / (b-a) ] * (x – a) }’ + 0
Entonces si armamos la ecuacion en base a los puntos (a,f(a))
g’(x) = f’(x) – [ ( f(b) - f(a) ) / (b-a) ]
(b,f(b)) obtenemos que:
Entonces
y – f(a) = [ ( f(b) - f(a) ) / (b-a) ] * (x – a)
g’(c) = f’(c) – [ ( f(b) - f(a) ) / (b-a) ] = 0
y = [ ( f(b) - f(a) ) / (b-a) ] * (x – a) + f(a)
f’(c) = [ ( f(b) - f(a) ) / (b-a) ] como queríamos demostrar.
Por lo que g sería:

g(x) = f(x) – { [ ( f(b) - f(a) ) / (b-a) ] * (x – a) + f(a) }