4.4.

1 Extremos relativos o locales

El siguiente teorema establece una condicin necesaria para que una funcin tenga un
extremo relativo en un punto en el cual f es derivable. La demostracin del teorema
puede verla el lector en el apndice E (pg. 442) del libro de Stewart.
TEOREMA DE FERMAT.
(CONDICIN NECESARIA PARA EXTREMOS
RELATIVOS)
(f tiene extremo relativo en c f ' ( c ) = 0 )
Sea f una funcin que tiene un extremo relativo en c para el cual
Entonces,

f ' ( c ) existe.

f ' (c ) = 0 .

Observaciones:
i.

El teorema anterior, significa geomtricamente que si una funcin f tiene un

extremo relativo en c, y f ' ( c ) existe, entonces, la recta tangente a la curva
en el punto (c, f (c )) es horizontal (fig. 4.8 (a))

(a)

(b)

(c)
fig. 4.8

ii.

El recproco del teorema 1 no siempre se cumple, es decir, en una funcin se puede

cumplir que f ' ( c ) = 0 para algn punto c de su dominio, y sin embargo,
f no presentar extremos relativos en c; como sucede por ejemplo, con la funcin
f ( x ) = x 3 (fig. 9.9. (b)).

f ' ( 0 ) = 0 pero, la funcin no presenta ni mximos ni

Note que f ' ( x ) = 3 x 2 ,
mnimos relativos en el origen; puesto que a la izquierda del origen f es negativa y a la
derecha es positiva.
Mas an, una funcin puede tener un extremo relativo en un punto y ni siquiera ser
derivable alli, como sucede por ejemplo con la funcin f ( x ) = x , (fig. 4.8 (c)) que
tiene un mnimo relativo en
seccin 9.3.).

x = 0,

pero

f '(0 )

no existe (observacin i. de la

Definicin:
Sea f una funcin definida en un intervalo abierto I. Un punto c I se llama punto
crtico de f si f ' ( c ) = 0 f ' ( c ) no existe.
Asi por ejemplo, para la funcin:

y = f ( x ) = (3 x 2 ) 3 x = (3 x 2 ) x 1 / 3 , se tiene:
y ' = f ' ( x ) = 3 x 1 / 3 + (3 x 2 )
= 3x1/ 3 +

1 2 / 3
x
3

3 x 2 12 x 2
=
3x 2 / 3
3x 2 / 3

Los puntos crticos de f son entonces x = 0 y x = 1/6 (Porqu?).