1

EXTREMOS LOCALES y DIFERENCIACIÓN.

Proposición 0.1 vs Teorema 0.2, Figura 1.

Proposición 0.1 Sea y = f (x) derivable en un intervalo abier-

to. En particular en xec, perteneciente a dicho conjunto abier-
to en el que ∃ f 0(x) la función posee un extremo local (máxi-
mo o mı́nimo relativo), es decir por ejemplo (f (xec)) > f (x) -o
(f (xec)) < f (x) - ∀ x (xec, δ) entonces f 0(xec) = 0.

Demostración.
Suponiendo que f (xec) > f (x) ∀ x (xec, δ) es decir que f (xec) es
un máximo local, estudiemos el signo del cociente incremental para las
dos siguientes situaciones:

xD > xec ⇒ xD − xec > 0

<0
z }| {
e
f (xD ) − f (xc )
<0
xD − xec
| {z }
>0

f (xD ) − f (xec)
lı́m ≤0 (1)
xD →xec xD − xec

xI < xec ⇒ xI − xec < 0

2

<0
z }| {
e
f (xI ) − f (xc )
>0
xI − xec
| {z }
<0

f (xI ) − f (xec)
lı́m ≥0 (2)
xI →xec xI − xec
Como y = f (x) es derivable en un intervalo abierto al que perte-
nece xec, existe f 0(xec) luego (1) (2) deben coincidir en su valor por lo
que f 0(xec) = 0.

Teorema 0.2 Sea y = f (x) derivable en un intervalo abierto de

centro xec, es decir ∃ f 0(x) ∀ x (xec, δ) y además se verifica que
f 0(xec) = 0 entonces si al atravesar de izquierda a derecha la abs-
cisa crı́tica estacionaria-xec- el signo de la derivada primera cam-
bia, entonces en (xec, f (xec)) la curva posee un extremo local, ver
Figura 1. Si la derivada primera no cambia de signo al atravesar
de izquierda a derecha la abscisa crı́tica estacionaria -xec- el punto
de la gráfica (xec, f (xec)) no es ni máximo ni mı́nimo local, ver
Figura 1.

Teoremas del Valor Medio del Cálculo Diferencial.

Teorema 0.3 ¡Teorema de Rolle!

Sea f (x) continua en el intervalo cerrado y acotado [a, b], con
 3

derivada finita en el intervalo abierto acotado (a, b), y si se ve-

rifica que f (a) = f (b), entonces existe al menos una absci-
sa en (a, b) en el que la derivada primera se anula, i.e. existe
xζ ∈ (a, b) tal que f 0(xζ ) = 0.

Demostración. Por el Teorema de Bolzano-Weierstrass , sabemos

que una función continua en un conjunto compacto de los reales, al-
canza su valor máximo absoluto M y su valor mı́nimo absoluto m en
abscisas del intervalo cerrado y acotado [a, b], i.e.
m ≤ f (x) ≤ M ,
m = f (xm) ≤ f (x) ≤ M = f (xM ),
con xm y xM ∈ [a, b] .
Por lo tanto, en [a, b] existen xζ y xξ tales que f (xζ ) = M
y f (xξ ) = m, ya que m = f (xξ ) ≤ f (x) ≤ f (xζ ) = M
∀x ∈ [a, b].
Si xζ y xξ fueran los valores extremos del intervalo [a, b],
entonces e.g. m = f (a) ≤ f (x) ≤ f (b) = M , como por hipótesis
f (a) = f (b) = m = M se tiene que m = f (a) ≤ f (x) ≤ f (b) =
m, m ≤ f (x) ≤ m, es decir f (x) = m, la función es constan-
te en todo el intervalo [a, b]. Luego, su derivada primera es
nula, i.e. f 0(x) = 0 en todo ∀ x ∈ [a, b], luego el teorema está
justificado. Pero, si por el contrario, uno de los valores de
4

las abscisas xζ y xξ , perteneciera al interior. Supongamos que

xζ es interior, i.e. xζ ∈ (a, b), luego es un extremo local o relativo
de la función f (x), puede ser que f (xζ ) = M o que f (xζ ) = m, un
máximo local o un mı́nimo local, que a la vez sea el máximo o el mı́nimo
absoluto de la función en el intervalo cerrado y acotado. Obviamente,
esto exige la existencia de xζ - desde la validez de la Proposición
0.1- para una función diferenciable en el (a, b) que f 0(xζ ) = 0.

1
Cuadro 1: Teorema de Rolle: f (x) = x + , x ∈ [0,267949, 3,73205]; x ∈ [−3,73205, −0,267949].
x
 5

CRITERIO de la DERIVADA PRIMERA para EXTREMOS LOCALES.

∃ f 0 (x) ∀ x (xec , δ) y f 0 (xec ) = 0 .

f 0 (xec ) = 0
....... ....... ....... ....... ....... ....... .......
0+++++++ 0
.................................................................................................................................................................................. Signo(f (x)).
f 0 (x) < 0 en (xec − δ, xec ), ( | )
xec − δ xec xec + δ
f 0 (x) > 0 en (xec , xec + δ) y f 0 (xec ) = 0.
y = f (x) posee un mı́nimo local (relativo) en xec ,
i.e. ∀ x R (xec , δ) resulta f (x) > f (xec ).

f 0 (xec ) = 0
+++++++0 ....... ....... ....... ....... ....... ....... ...... 0
.................................................................................................................................................................................. Signo(f (x)).
f 0 (x) > 0 en (xec − δ, xec ), ( | )
xec − δ xec xec + δ
f 0 (x) < 0 en (xec , xec + δ) y f 0 (xec ) = 0.
y = f (x) posee un máximo local (relativo) en
xec , i.e. ∀ x R (xec , δ) resulta f (x) < f (xec ).

f 0 (xec ) = 0
0
... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... ....... 0
.................................................................................................................................................................................. Signo(f (x)).
f 0 (x) < 0 en (xec − δ, xec ), ( | )
xec − δ xec xec + δ
f 0 (x) < 0 en (xec , xec + δ) y f 0 (xec ) = 0.
y = f (x) no posee ni máximo ni mı́nimo local
(relativo) en xec .

f 0 (xec ) = 0
+++++++0+....+ +++++
... ....... ....... ....... ....... ....... ...... 0
.................................................................................................................................................................................. Signo(f (x)).
f 0 (x) > 0 en (xec − δ, xec ), ( | )
xec − δ xec xec + δ
f 0 (x) > 0 en (xec , xec + δ) y f 0 (xec ) = 0.
y = f (x) no posee ni máximo ni mı́nimo local (relativo)
en xec .

Figura 1: ∃ f 0 (x) ∀ x (xec , δ) y f 0 (xec ) = 0: Extremos locales.