|
Interessante esse problema!
Suponhamos, inicialmente, que o intervalo � [0,1] e
que f(0) = 0.
Como f � C^1 em [0,1], f' existe e � cont�nua
em [0,1].
Seja g = |f'| (ou seja, g(x) = |f'(x)| para todo x
em [0,1]).
Ent�o g tamb�m � cont�nua em [0,1] e, portanto,
atinge seu valor m�ximo, igual a M, nesse intervalo.
� claro que M >= 0.
Seja h:[0,1] -> R dada por:
h(x) = (M+1)x.
h � claramente crescente em [0,1] e h(0) =
0.
Seja k:[0,1] -> R dada por:
k(x) = f(x) - (M+1)x.
k eh de classe C^1 e k(0) = 0.
Al�m disso, para todo x em [0,1],
k'(x) = f'(x) - (M+1) <= |f'(x)| - (M+1) <
0.
Logo, k eh decrescente em [0,1].
� claro que, para todo x em [0,1], f(x) = h(x) +
k(x).
Ou seja, o resultado est� provado para uma fun�ao
definida em [0,1] com f(0) = 0.
A generaliza��o para o caso geral � f�cil.
Se f:[a,b] -> R � de classe C^1, basta
considerar a fun��o:
F:[0,1] -> R dada por:
F(x) = f(a + (b-a)x) - f(a)
que voc� recai no caso provado acima.
� claro que F � de classe C^1 em [0,1] e F(0) =
0.
[]s,
Claudio.
|