Hola
PD. Ah no. Vale ya entiendo... Dices que o bien el máximo o bien el mínimo están fuera de los extremos. Mi crítica no es acertada.
Si. Me refería a eso. Si suponemos por ejemplo que la función es creciente (análogo decreciente) y por tanto NO hay ni máximo ni mínimo en el interior del dominio tendríamos \( f'(a)=g(a)\leq g(x)\leq g(b) \) para \( x\in [a,b] \) o equivalentemente:
\( f(x)\leq f(a)+(x-a)g(b) \) (*)
Además:
\( f'(b)=\lim_{x \to b}{}\dfrac{f(b)-f(x)}{b-x} \)
Pero por (*):
\( f(b)-f(x)\geq f(b)-f(a)-(x-a)g(b)=g(b)(b-a)-(x-a)g(b)=g(b)(b-x) \)
Luego de (**) y \( f'(a)=f'(b) \):
\( g(a)=f'(a)=f'(b)=\lim_{x \to b}{}\dfrac{f(b)-f(x)}{b-x}\geq \lim_{x \to b}{}\dfrac{g(b)(b-x)}{b-x}=g(b) \)
y por (*) la función \( g(x) \) sería constante y lo tenemos.
Saludos.