Anlisis.

Parte I:
Clculo diferencial.














PCRdeG v.3

1.- Conjuntos acotados.

Definicin.- Sea A un conjunto de nmeros reales. A est acotado superiormente si
existe R s e tal que s a A a s e . A los nmeros s que cumplen esa propiedad
respecto a A se les llama cotas superiores de A.

Ejemplo 1.1.- Consideremos { } 74 |
3
< e = a R a A . A est acotado superiormente. Por
ejemplo 5, 67, 10 son cotas superiores. En cambio, 2 no es cota superior porque existe
un elemento de A, el 4, tal A e 4 pero 4>2
Ejemplo 1.2.- El conjunto ,....} 2 , 2 , 1 , 1 , 0 { = Z no est acotado superiormente.

Anlogamente podemos definir conjunto acotado inferiormente:

Definicin.- Sea A un conjunto de nmeros reales. A est acotado inferiormente si
existe R i e tal que i a A a > e . A los nmeros que cumplen esa propiedad respecto
a A se les llama cotas inferiores de A.

Ejemplo 1.3.- Ni el conjunto A del ejemplo 1 ni el conjunto Z del ejemplo 2 estn
acotados inferiormente. En cambio, los nmeros naturales N={l ,2, 3, } s estn
acotados inferiormente: cotas inferiores de N son, por ejemplo, -4, 0, 074, 1.

Definicin.- Un conjunto es acotado si a la vez est acotado superior e inferiormente

Ninguno de los conjuntos de los ejemplos anteriores son acotados pero, por ejemplo,
{ } 7 | < e = x R x B es un conjunto acotado. Son cotas superiores de B:8, 73, 7. Son
cotas inferiores de B, por ejemplo, -20, -7, -7000001.


Un conjunto acotado superiormente tiene infinitas cotas superiores pues si s es cota
superior tambin ser cota superior cualquier nmero mayor que s. De todas esas cotas
superiores nos interesa especialmente la menor de todas ellas:

Definicin.- Un nmero s es supremo del conjunto acotado superiormente A si es la
menor de sus cotas superiores. El supremo de un conjunto se denota por sup A

Ejemplo 1.4.- Consideremos el conjunto { } ,.... 999 ' 4 , 99 ' 4 , 9 ' 4 = L El conjunto L est
acotado superiormente por el 6 pero no es su supremo. Es fcil comprobar que 5=sup L

La definicin de nfimo es anloga:

Definicin.- Un nmero i es nfimo del conjunto acotado inferiormente A si es la
mayor de sus cotas inferiores. El nfimo de un conjunto se denota por inf A.

Ejemplo 1.5.- Consideremos el conjunto H de las fracciones positivas cuyo numerador
es una unidad mayor que el numerador. Claramente todas esas fracciones son mayores
que 1 por lo que 1 es cota inferior y es fcil comprobar que 1 es inf H.
Es obvio que si un conjunto tiene supremo este es nico (pues es la menor de las
cotas superiores). Idnticamente, si un conjunto tiene nfimo, este es nico.

Consideremos los conjuntos ) 7 , 3 [ = A y | | 7 , 3 = B . En ambos se cumple que su
supremo es el 7 pero en cambio B A e e 7 , 7 . Para distinguir estos dos casos,
definimos mximo:

Definicin.- Un nmero es el mximo de un conjunto si es su supremo y si pertenece al
conjunto. Un nmero es el mnimo de un conjunto si es su nfimo y si pertenece al
conjunto.

El mximo de un conjunto A se denota max A y su mnimo por min A.

Ejemplo 1.6.- Consideremos los conjuntos | ) ( | 10 , 7 , 10 , 7 = = B A . Tenemos que
supA=supB=10. maxB=10 pero A no tiene mximo. Inf A=inf B=7. minA=7 pero B
no tiene mnimo.

Hasta ahora hemos comprobado que dado un conjunto A acotado superiormente
siempre tiene supremo. Pero cabra preguntarse si existe algn conjunto,
presumiblemente extraordinariamente complicado, tal que a pesar de tener cotas
superiores no exista la cota ms pequea, es decir, no tenga supremo.
La respuesta es NO y eso es lo que se llama Axioma de continuidad de los nmeros
reales.

Axioma de continuidad de los nmeros reales.- Todo conjunto no vaco de nmeros
reales acotado superiormente tiene supremo.

Hay que hacer varios comentarios sobre este axioma:

Existen otros enunciados (al menos tres muy conocidos) equivalentes a este
axioma; de hecho, ms adelante veremos uno de ellos: el Principio de los
intervalos encajados.
Por supuesto, podemos sustituir este axioma por su equivalente para nfimos.
(Dejo como ejercicio que redactis el axioma equivalente)
El axioma es no es constructivo: nos dice que un conjunto acotado
superiormente tiene supremo pero no nos da la menor pista sobre cmo hallar
dicho supremo.
Este axioma es el que diferencia las propiedades de los nmeros racionales de la
de los nmeros reales. Dentro de los nmeros racionales es perfectamente
posible encontrar un conjunto de nmero racionales acotado superiormente que
no tenga un supremo racional.


Definicin.- Una sucesin de intervalos
n
I tal que ....
3 2 1
I I I se llama sucesin
de intervalos encajados.

Ejemplo 1.7.- Consideremos los intervalos ( |
n n
I
1
, 0 = . Es una sucesin de intervalos
encajados. Obsrvese que no hay ningn nmero que pertenezca a todos los intervalos,
es decir, que la interseccin de los intervalos es vaca.
No obstante, si los intervalos son cerrados, seguro que algn nmero pertenece a todos
ellos:

Principio de los intervalos encajados.- Toda sucesin de intervalos cerrados encajados
tiene interseccin no vaca.
Demostracin.- Sean | |
n n n
b a I , = tales que ....
3 2 1
I I I Tenemos entonces que
1 2 1 1 2 1
... .... ... b b b b a a a a
m m n n
s s s s s s s s s
+ +
.
Consideremos el conjunto { } ... ,... .
2 1 n
a a a A = El conjunto A est acotado superiormente
por cualquier
m
b as que, segn el axioma de continuidad, existe c=supA.
Demostraremos que c pertenece a todos los intervalos.
Supongamos que existe un intervalo
n
I tal que
n
I c e . Como c=supA, c es cota
superior de A luego c a
n
s . As que si
n
I c e necesariamente es porque c b
n
< . Pero
n
b es cota superior de A por lo que es imposible que sea menor que supA as que
hemos llegado a una contradiccin al suponer que
n
I c e por lo que c pertenece a todos
los intervalos.





2.- Funciones continuas.

Recordamos las definiciones de lmite y de continuidad de una funcin en un punto.
Para ello, recordamos tambin que llambamos entorno de radio r>0 de un nmero
R ae

a los intervalos de la forma ( ) r a r a + ,

Definicin (topolgica).- Sea una funcin R D f : y sea D ae , un nmero.
=

f
a x
lim si para todo entorno E de existe un entorno I de a tal que
E x f a x I x e = e ) ( ,


Definicin (topolgica).- Sea una funcin R D f : y sea D ae . La funcin f es
continua en a si para todo entorno E de f(a) existe un entorno I de a tal que
E x f I x e e ) (

Obviamente, a partir de las definiciones, se tiene que f es continua en a si y slo
si ) ( lim a f f
a x
=

Traduciendo los entornos a intervalos y recordando que ( ) r a x r a r a x < + e ,
tenemos las definiciones ms corrientemente usadas:

Definicin (Cauchy).- Sea una funcin R D f : y sea D ae . =

f
a x
lim si para
todo 0 > c existe un 0 > o tal que c o < < < ) ( 0 x f a x


Definicin (Cauchy).- Sea una funcin R D f : y sea D ae . La funcin f es
continua en a si para todo 0 > c existe un 0 > o tal que c o < < ) ( ) ( a f x f a x

Ejemplo 2.1.- Vamos a demostrar que la funcin f(x)=3x+5 es continua en a=4. El
procedimiento, reconozcmoslo, es cualquier cosa menos intuitivo y bonito pero de lo
que se trata es de recordar cmo se aplica la definicin.
Consideremos un 0 > c cualesquiera. Hagamos 3 / c o = Tenemos entonces que si
o < 4 x entonces c o = < = = + = 3 4 3 12 3 17 ) 5 3 ( ) 4 ( ) ( x x x f x f

En cualquier caso, lo que conviene recordar es que una funcin continua en un punto a
hace que valores cercanos a ese punto tomen, mediante la funcin, valores cercanos a
f(a).

Listamos las principales propiedades de los lmites:
a. g f g f
a x a x a x
+ = + lim lim ) ( lim
b. g f g f
a x a x a x
= lim lim ) ( lim .
c. Si 0 lim =

g
a x
entonces g f g f
a x a x a x
= lim / lim ) / ( lim


Recordamos las principales propiedades de las funciones continuas:

d. Si f y g son continuas en x=a entonces f+g, f-g y f g son funciones continuas en
x=a.
e. Si f y g son continuas en x=a y 0 ) ( = a g entonces f/g es continua en x=a
f. Si f es continua en a y g es continua en f(a) la funcin compuesta f g es
continua en x=a.
g. Las funciones constantes son continuas.
h. Por tanto, si R D f : , R D g : son funciones continuas en todos los puntos
de D tenemos que f+g, f-g, f g son continuas. Adems f/g es continua en los
puntos donde g no se anula. Y, por ltimo, si c es un nmero, f(x)+c, c f(x) son
funciones continuas y c/g(x) es continua donde no se anula g.

De estas propiedades, tan slo demostraremos las dos ms sencillas, pues se har uso
explcito de ellas en algunos teoremas :

Proposicin 2.1.- Sea R D f : continua en x=a. Sea R c e .Sea R D g : tal que
D x c x f x g e + = ) ( ) ( . Entonces g es continua en x=a.
Por tanto, si f es continua en D tambin lo es g.
Demostracin.- Sea 0 > c . La funcin f es continua en a, luego existe un 0 > o tal
que c o < < ) ( ) ( a f x f a x . Por tanto,
c o < = + + = < ) ( ) ( ) ) ( ( ) ) ( ( ) ( ) ( a f x f c a f c x f a g x g a x

Proposicin 2.2.- .- Sea R D f : continua en x=a. Sea R c e . Sea R D g : tal
que D x x f c x g e = ) ( ) ( . Entonces g es continua en x=a.
Por tanto, si f es continua en D tambin lo es g.
Demostracin.-Podemos suponer que 0 = c pues si c=0 la funcin g es nula y
obviamente continua. Sea 0 > c . La funcin f es continua en a, luego existe un 0 > o
tal que c a f x f a x / ) ( ) ( c o < < . Por tanto,
c c o = < = = < c c a f x f c a f c x f c a g x g a x / ) ( ) ( ) ( ) ( ) ( ) (



Definicin.- Sea R D f : , sea D Ac . Entonces | | { } A x x f A f e = | ) (

f[A] representa el conjunto de los valores que toma f cuando x recorre el
conjunto A. En particular, f[D] es la imagen de f.

Ejemplo 2,2.- Consideremos f(x)=4x-2. Sea | ) 10 , 5 = A Entonces | | A f e 22 pues
22=f(6). En cambio, | | A f e 38 pues 38=f(10) y A e 10 . Es fcil comprobar que
| | | ) 38 , 18 = A f


Definicin.- Una funcin f est acotada en A si f[A] es un conjunto acotado.

Ejemplo 2.3.- La funcin del ejemplo 2.2 est acotada en A pues | | | ) 38 , 18 = A f que es
un conjunto acotado. Sin embargo, no est acotada en ) , 1 [ = B pues | | | ) = , 2 B f que
no es un conjunto acotado. Aunque, claro est, s podemos decir que f est acotada
inferiormente en B.

Cuando una funcin es continua en un punto su comportamiento respecto a la acotacin
es bueno en los valores prximos a ese punto. Esto es lo que nos dice el

Lema de acotacin.- Si f es continua en a existe 0 > o tal que f est acotada en
( ) o o + a a ,
Demostracin.- Hagamos 1 = c y apliquemos la definicin de continuidad. Dado
1 = c existe un 0 > o tal que 1 ) ( ) ( < < a f x f a x o .
Pero eso equivale a que ( ) ) 1 ) ( , 1 ) ( ( ) ( , + e + e a f a f x f a a x o o .
Por tanto f(a)-1 es cota interior de ( ) | | o o + a a f , y f(a)+1 es cota superior de
( ) | | o o + a a f , con lo que concluimos que ( ) | | o o + a a f , es un conjunto acotado.


Dado que ( ) o o + a a , es un entorno de a, un enunciado equivalente de lema de
acotacin nos dira que si f es continua en a, existe un entorno de a en la que f
est acotada. O, dicho ms llanamente, en los alrededores de un punto donde la
funcin es continua, la funcin est acotada (es decir no puede tomar valores
muy grandes).


Antes de enfrentarnos a los grandes teoremas acerca de la continuidad necesitaremos
otro lema. En este caso, tambin el enunciado puede resultar ms confuso que lo que
quiere decir. La idea es muy simple: si una funcin es positiva y continua en un punto,
en valores prximos a ese punto tambin ser positiva. En lenguaje coloquial, se puede
traducir a una apreciacin muy cotidiana: si un punto de la sopa est muy caliente, sus
alrededores tambin lo estarn.

Lema del signo.-
a) Si f es continua en a y 0 ) ( > a f entonces existe 0 > o tal que
( ) 0 ) ( , > + e x f a a x o o
b) Si f es continua en a y q a f > ) ( entonces existe 0 > o tal que
( ) q x f a a x > + e ) ( , o o
Demostracin.-
a) Puesto que 0 ) ( > a f podemos hacer
2
) (a f
= c siendo entonces 0 > c .
En virtud de la continuidad x=a existe un 0 > o tal que
c o < < ) ( ) ( a f x f a x .
Pero ( ) ) ( ) ( ) ( , ) ( ) ( ) ( ) ( x f a f a f a f x f a f x f < + e < c c c c
Como 0
2
) (
) ( > =
a f
a f c concluimos que ) ( 0 x f < siempre que o < a x
b) Hagamos g(x)=f(x)-q. g es continua en x=a, por la proposicin 2.1 y adems
0 ) ( ) ( > = q a f a g . Luego por el apartado a) existe 0 > o tal que
( ) q x f q x f x g a a x > > > + e ) ( 0 ) ( 0 ) ( , o o



3.- Teorema de Bolzano.
El teorema de Bolzano enuncia una propiedad muy intuitiva: una funcin continua que
toma valores positivos y negativos se anula para algn punto.

Por ejemplo, puesto que la funcin 10 3 2 ) ( + =
x x
x f es continua y cumple que
3 ) 2 ( , 5 ) 1 ( = = f f podemos asegurar que entre 1 y 2, f se anula o, dicho de otra
forma, que la ecuacin 10 3 2 = +
x x
tiene una solucin (por lo menos).

La necesidad de que la funcin f sea continua es esencial. Por ejemplo, si
consideramos

>
<
=
2 3
2 23
) (
x si
x si
x f tenemos una funcin que toma valores
positivos y negativos pero no se anula.

Antes de demostrar el teorema usaremos la misma tcnica de la demostracin para
encontrar con una buena aproximacin una raz del polinomio 23 ) (
4
+ = x x x f .
En primer lugar, consideramos 3 , 2
1 1
= = b a de forma que ) ( 0 ) (
1 1
b f a f < <
Hallamos 5 ' 2
2
1 1
1
=
+
=
b a
c . Como 0 ) (
1
> c f reemplazamos
1
b por
1
c , es decir,
hacemos
1 2 1 2
, c b a a = = . El procedimiento prosigue as hasta que lo consideremos
oportuno. Cada vez la distancia entre los b y los c se hace ms pequea. Si
observamos la siguiente tabla podemos afirmar que 13178 ' 2 = c dista de una de las
races de f(x) menos que 000001. Y todo esto en 17 iteraciones, lo que no es mucho si
se usa una hoja de clculo y se afinan algo los valores iniciales.
n a b c f( c ) b-c
1 2,00000 3,00000 2,50000 18,56250 0,50000
2 2,00000 2,50000 2,25000 4,87891 0,25000
3 2,00000 2,25000 2,12500 -0,48413 0,12500
4 2,12500 2,25000 2,18750 2,08522 0,06250
5 2,12500 2,18750 2,15625 0,77330 0,03125
6 2,12500 2,15625 2,14063 0,13787 0,01563
7 2,12500 2,14063 2,13281 -0,17479 0,00781
8 2,13281 2,14063 2,13672 -0,01888 0,00391
9 2,13672 2,14063 2,13867 0,05939 0,00195
10 2,13672 2,13867 2,13770 0,02023 0,00098
11 2,13672 2,13770 2,13721 0,00067 0,00049
12 2,13672 2,13721 2,13696 -0,00911 0,00024
13 2,13696 2,13721 2,13708 -0,00422 0,00012
14 2,13708 2,13721 2,13715 -0,00178 0,00006
15 2,13715 2,13721 2,13718 -0,00055 0,00003
16 2,13718 2,13721 2,13719 0,00006 0,00002
17 2,13718 2,13719 2,13718 -0,00025 0,00001

Debe advertirse, no obstante, que existen mtodos ms eficientes para calcular
ceros de una funcin aunque no tan sencillos como este.


Teorema de Bolzano.- Sea | | R b a f , : una funcin continua tales que f(a) y f(b) sean
de distinto signo. Entonces existe ( ) b a c , e tal que f(c)=0.
Demostracin.- Podemos suponer que ) ( 0 ) ( b f a f < < pues el caso ) ( 0 ) ( b f a f > >
se demuestra de forma anloga.
Hagamos
2
, ,
1 1 1
b a
c b b a a
+
= = = . A continuacin, si 0 ) (
1
> c f hagamos
2
, ,
2 2
2 1 2 1 2
b a
c c b a a
+
= = = y en caso contrario hagamos
2
, ,
2 2
2 1 2 1 2
b a
c b b c a
+
= = =
Proseguimos as construyendo las sucesiones
n n n
c b a , , de forma que siempre se tenga
) ( 0 ) (
n n
b f a f < < y haciendo
2
n n
n
b a
c
+
= de forma que si 0 ) ( >
n
c f hacemos
2
, ,
1 1 1
n n
n n n n n
b a
c c b a a
+
= = =
+ + +
y en caso contrario
2
, ,
1 1 1
n n
n n n n n
b a
c b b c a
+
= = =
+ + +

Si hacemos | |
n n n
b a I , = tenemos una sucesin de intervalos cerrados encajados. Por el
Principio de los intervalos encajados, existe un nmero que pertenece a todos estos
intervalos. Sea c ese nmero y demostremos que f(c )=0.
Probemos en primer lugar que no es posible que . 0 ) ( > c f
Supongamos que . 0 ) ( > c f Entonces, aplicando el lema del signo, existe 0 > o tal que
( ) 0 ) ( , > + e x f c c x o o . Ahora bien, la longitud de los intervalos | |
n n n
b a I , =
tiende a cero pues cada intervalo tiene la mitad de la longitud del intervalo anterior.
Podemos elegir, pues, un intervalo de longitud tan pequea como deseemos. En
particular, si
n
I tiene una longitud menor que o se tiene que e
n
I c
( ) 0 ) ( ` , > + e + < < <

+ < <
< <
n n n n
n n
n n
a f c c a c b a c
c b c b
a c a c
o o o o
o o
o o
,
absurdo. As, no es posible que . 0 ) ( > c f
Un razonamiento anlogo prueba que no es posible que 0 ) ( < c f con lo que 0 ) ( = c f


La anterior demostracin tiene la ventaja de ser constructiva y estar basada en un
mtodo sencillo de aplicar. Lamentablemente es algo farragosa as que propongo otra
demostracin, esta vez basada en el Axioma de continuidad.

Demostracin alternativa del Teorema de Bolzano.- Podemos suponer que
) ( 0 ) ( b f a f < < pues el caso ) ( 0 ) ( b f a f > > se demuestra de forma anloga.
Sea | | { } 0 ) ( | , < e = x f b a x A . A no es un conjunto vaco pues A ae . Adems b es
cota superior de A. Por tanto, al ser A un conjunto no vaco acotado superiormente, por
el axioma de continuidad, existe c=supA.
Probaremos que 0 ) ( = c f .
Veamos en primer lugar que no es posible que 0 ) ( > c f . De ser 0 ) ( > c f , aplicando el
lema del signo existira 0 > o tal que ( ) 0 ) ( , > + e x f c c x o o . Sea 2 / o = c z
.

Si A ae entonces c a s pero como ( ) 0 ) ( , > + e x f c c x o o
concluimos que
z a c a A a < s e o con lo que z sera una cota superior de A menor que c lo
que es imposible.
Descartado que 0 ) ( > c f , descartemos ahora que 0 ) ( < c f .
Si suponemos que 0 ) ( < c f , una vez ms aplicando el lema del signo tendramos que
existira 0 ' > o tal que ( ) 0 ) ( ' , ' < + e x f c c x o o . Pero eligiendo un ( ) ' , ' o + e c c z ,
por ejemplo 2 / ' ' o + = c z tendramos que 0 ) ' ( < z f con lo que A z e ' lo que es
imposible pues c<z y c es cota superior de A.
En definitiva, la nica alternativa posible es que 0 ) ( = c f .


Si la temperatura de una habitacin a las 13 horas es de 18 y a las 15 horas es de 21,
es posible afirmar que en algn momento la habitacin tena una temperatura de 20?

Si el lunes mi hucha tena 20 euros y el domingo tenia 23 euros, es posible afirmar que
en algn momento la hucha tuvo 22 euros?

El teorema de los valores intermedios responde afirmativamente al menos a la primera
pregunta (suponiendo que la funcin de temperatura es continua). Y precisamente la
falta de continuidad de la cantidad del dinero de la hucha, no permite asegurar nada
acerca de la segunda pregunta.

Teorema de los valores intermedios.- Sea | | R b a f , : una funcin continua. Sea
un nmero entre f(a) y f(b). Existe ( ) b a c , e tal que = ) (c f
Demostracin.- Podemos suponer ) ( ) ( b f a f < < . El caso ) ( ) ( a f b f < < es
similar.
Consideremos la funcin | | R b a h , : tal que = ) ( ) ( x f x h . La funcin h es
continua puesto que f lo es. Adems 0 ) ( ) ( , 0 ) ( ) ( > = < = b f b h a f a h .
Aplicando el teorema de Bolzano a h deducimos que existe ( ) b a c , e tal que h(c)=0, o,
lo que es lo mismo, 0 ) ( = c f , es decir, = ) (c f


4.- Teorema de Weierstrass.

La funcin ( ) R f , 0 : tal que x x f / 1 ) ( = es continua y acotada en el intervalo
(2,5). Sin embargo, no est acotada superiormente en el intervalo (0,5). Es decir,
aunque el intervalo sea acotado, no podemos asegurar que la funcin lo sea.
Tambin puede suceder lo contrario: la funcin R R g : tal que
1
1
) (
2
+
=
x
x g est
acotada, elijamos el intervalo que elijamos. La funcin h(x)= senx es otro ejemplo claro
de funcin acotada independientemente del intervalo elegido pues 1 1 s s senx
Por otra parte, el lema de acotacin nos asegura que en los alrededores donde una
funcin es continua, esta funcin est acotada.
Es interesante, pues, encontrar condiciones sencillas con las que asegurar cundo una
funcin continua est acotada. El lema de Weiertrass nos da esta condicin, pero antes
necesitaremos un pequeo e intuitivo lema sobre conjuntos acotados y sus supremos.

El lema 4.1, traducido a lenguaje coloquial viene a decir que si en la clase de Fsica
nadie sobrepasa el 190 de altura y en la clase de Latn nadie sobrepasa una altura de
195, podemos asegurar que si juntamos a los alumnos de fsica y latn ninguno
sobrepasar el 195 de altura.

Lema 4.1.- Sean A y B conjuntos acotados superiormente. Entonces se cumple que
B A es un conjunto acotado superiormente y adems { } B A B A sup , sup max sup =
Demostracin.- Llamemos a=supA, b=supB. Sea c=max{a,b}
Probemos en primer lugar que B A est acotado superiormente:

s s e
s s e
e
c x b x B x
bien o
c x a x A x
B A x As pues, c es cota superior de B A , con lo
que B A est acotado superiormente. Si probamos, adems, que c es la menor de las
cotas superiores de B A tendremos que B A c = sup
Sea d otra cota superior de B A . Como B A A c , necesariamente d es tambin
cota superior de A luego, por ser a=supA se tiene que d a s . De la misma forma
probamos que d b s y, por tanto, d b a c s = } , max{

Corolario 4.2.- Si f est acotada en A y B lo est en B A
Demostracin.- Decir que f est acotada en A y en B quiere decir que los conjuntos
f[A] y f[B] son conjuntos acotaos. Pero, como es fcil de ver, | | | | | | B f A f B A f =
luego | | B A f es un conjunto acotado por ser unin de dos conjuntos acotados.


Lema de Weiertrass.- Sea | | R b a f , : continua. Entonces f est acotada en [a,b].
Demostracin.- Haremos la demostracin por reduccin al absurdo, esto es,
supondremos que f no est acotada en [a,b] y llegaremos a una contradiccin.
Hagamos | | | |
1 2 2 2 1 2
1 1
2 1 1
, , , ,
2
, , b c K c a J
b a
c b b a a = =
+
= = =
Si f est acotada en
2
J y en
2
K se tendra, por el corolario 4.2, que f est acotada en
| |
2 2
, K J b a = lo que no es posible. Por tanto, o bien f no est acotada en
2
J (y en
tal caso hacemos
2 2
J I = ) , o bien f no est acotada en
2
K (y en tal caso hacemos
2 2
K I = )
Proseguimos por recurrencia. Suponemos que f no est acotada en | |
n n n
b a I , = .
Hacemos | | | |
n n n n n n
n n
n
b c K c a J
b a
c , , , ,
2
1 1 1 1 1 + + + + +
= =
+
= . O bien f no est acotada en
1 + n
J (y en tal caso hacemos
1 1 + +
=
n n
J I ) , o bien f no est acotada en
1 + n
K (y en tal caso
hacemos
1 1 + +
=
n n
K I ).
Hemos construido una sucesin ....
3 2 1
I I I de intervalos cerrados encajados por
lo que segn el principio de los intervalos encajados existir un nmero c que
pertenecer a todos ellos.
Aplicndole a este nmero el lema de acotacin obtenemos que existe 0 > o tal que f
est acotada en ( ) o o + c c , . Ahora bien, la longitud de los intervalos | |
n n n
b a I , =
tiende a cero pues cada intervalo tiene la mitad de la longitud del intervalo anterior.
Podemos elegir, pues, un intervalo de longitud tan pequea como deseemos. En
particular, si
n
I tiene una longitud menor que o se tiene que
( ) o o o o
o o
o o
+ c + < < <

+ < <
< <
e c c I c b a c
c b c b
a c a c
I c
n n n
n n
n n
n
,

Ahora la contradiccin est clara: por un lado f est acotada en ( ) o o + a a , y por
otro, f no est acotada en
n
I a pesar de que ( ) o o + c ` , c c I
n
. Concluimos que nuestra
hiptesis de partida, a saber, que f no est acotada en [a,b] es falsa.



Hemos visto que aunque todo conjunto acotado tiene supremo o nfimo no es cierto que
tenga mximo o mnimo. Si f es continua, el lema de Weierstrass nos asegura que
f([a,b]) est acotado, y, por tanto que existen supremos e nfimos de ese conjunto.
El Teorema de Weierstrass va algo ms lejos: afirma que, adems, existen el mximo y
el mnimo de ese conjunto.


Teorema de Weierstrass.- Sea | | R b a f , : continua. Existen | | b a q p , , e tales que
| | ) ( ) ( ) ( , q f x f p f b a x s s e
Demostracin.- Antes de comenzar la demostracin recordemos que por el lema de
Weierstrass, si L es un intervalo cerrado contenido en [a,b] la funcin f est acotada el L
luego existen sup f[L], inf f[L]
Hagamos | | | |
1 2 2 2 1 2
1 1
2 1 1
, , , ,
2
, , b c K c a J
b a
c b b a a = =
+
= = =
Como | |
2 2
, K J b a = , segn el lema 4.1 , | | | | | | | | { }
2 2
inf , inf min , inf K f J f b a f = .
Por tanto, o bien | | | | | |
2
inf , inf J f b a f = o bien | | | | | |
2
inf , inf K f b a f = . Hagamos
2 2
J I = si | | | | | |
2
inf , inf J f b a f = y hagamos
2 2
K I = si | | | | | |
2
inf , inf K f b a f = .
Procedemos ahora por recurrencia: suponemos que | | | | | | b a f I f
n
, inf inf = . Hacemos
| | | |
n n n n n n
n n
n
b c K c a J
b a
c , , , ,
2
1 1 1 1 1 + + + + +
= =
+
= y, por ltimo, hacemos
1 1 + +
=
n n
J I si
| | | |
1
inf inf
+
=
n n
J f I f o bien hacemos
1 1 + +
=
n n
K I si | | | |
1
inf inf
+
=
n n
K f I f .
Hemos construido una sucesin ....
3 2 1
I I I de intervalos cerrados encajados por
lo que, segn el principio de los intervalos encajado, existir un nmero p que
pertenecer a todos ellos. Vamos a demostrar que | | | | b a f p f , inf ) ( =
Llamemos | | | | b a f y , inf =
Supongamos que y p f = ) ( . Entonces y p f > ) ( . Sea
2
) ( p f y
z
+
= . Se tiene,
naturalmente, que ) ( p f z y < < y, por el lema del signo, existe 0 > o tal que
( ) z x f p p x > + e ) ( , o o . Pero, repitiendo el razonamiento del lema anterior,
podemos elegir un intervalo
n
I tal que ( ) o o + c p p I
n
, . Veamos ahora que todo
este razonamiento de suponer y p f = ) ( nos lleva a una contradiccin. Por un lado
| | y I f
n
= inf , es decir, y x f I x
n
> e ) ( .
Por otro lado, como ( ) o o + c p p I
n
, se tiene z x f I x
n
> e ) ( luego z sera una
cota inferior de | |
n
I f mayor que | |
n
I f y inf = . Absurdo. As, necesariamente
f(p)=y.

Hemos encontrado, pues, | | b a p , e tal que | | | | b a f p f , inf ) ( = luego
| | ) ( ) ( , p f x f b a x > e . Anlogamente obraramos para obtener q tal que
| | | | b a f q f , sup ) ( =


5.- Derivadas.

Recordaremos la definicin de derivada. Las propiedades de las derivadas as como su
operatividad, se dan por aprendidas durante el curso de Bachillerato I y, en cualquier
caso, pueden consultarse los apuntes que se dieron en su momento.

Definicin.- Sea R D f : . La funcin f es derivable en D ae si existe el lmite
a x
a f x f
a f
a x

=

) ( ) (
lim ) ( ' .

Una consecuencia sencilla del lema del signo nos ser de gran utilidad en los captulos
siguientes:

Proposicin 5.1.- Sea R D f : derivable en x=a con 0 ) ( ' > a f . Existe un 0 > o tal
que ( ) 0
) ( ) (
, , >

= + e
a x
a f x f
a x a a x o o
Demostracin.- Consideremos la funcin R D g : tal que

=
=

=
a x si ) ( '
a x si
) ( ) (
) (
a f
a x
a f x f
x g . Puesto que ) ( ) ( '
) ( ) (
lim lim a g a f
a x
a f x f
g
a x a x
= =

=

se
tiene que g es continua en a por lo que podemos aplicar el lema del signo y se cumple
que existe un 0 > o tal que ( ) 0 ) ( , > + e x g a a x o o . Luego
( ) 0
) ( ) (
0 ) ( , , >

> = + e
a x
a f x f
x g a x a a x o o

Definicin.- a es un punto singular de f si f(a)=0.

Definicin.-
a es un mximo local de f si existe un 0 > o tal que ( ) ) ( ) ( , a f x f a a x s + e o o .
Anlogamente, a es un mnimo local de f si existe un 0 > o tal que
( ) ) ( ) ( , a f x f a a x > + e o o .

En Primero de Bachillerato se enunci la siguiente proposicin que ahora podemos
demostrar:

Proposicin 5.2.- Si a es un mximo o un mnimo local de f y f es derivable en a
entonces a es un punto singular.
Demostracin.- Supongamos que a es un mximo local. Veamos que no es posible
que 0 ) ( ' = a f
Si 0 ) ( ' > a f , por la proposicin 5.1 tendramos que existe un 0 > o tal que
( ) 0
) ( ) (
, , >

= + e
a x
a f x f
a x a a x o o . Por otro lado, por ser a mximo local
existe un 0 > tal que ( ) ) ( ) ( , a f x f a a x s + e . Sea { } o o , min = . Sea
( ) o + e a a x , . Se llega a la siguiente contradiccin:
( )

s
>

+ < <
+ < <
+ < < + e
) ( ) (
0
) ( ) (
,
a f x f
a x
a f x f
a x a
a x a
a x a a a x

o
o o
.
) ( ) (
a) x que (ya 0 ) ( ) (
Absurdo
a f x f
a f x f

s
> >

Anlogamente vamos a razonar que no es posible que f(a)<0.
Si 0 ) ( ' < a f , por la proposicin 5.1 tendramos que existe un 0 > o tal que
( ) 0
) ( ) (
, , <

= + e
a x
a f x f
a x a a x o o . Por otro lado, por ser a mximo local
existe un 0 > tal que ( ) ) ( ) ( , a f x f a a x s + e . Sea { } o o , min = . Sea
( ) a a x , o e . Se llega a la siguiente contradiccin:
( )

s
<

< <
< <
< < e
) ( ) (
0
) ( ) (
.,
a f x f
a x
a f x f
a x a
a x a
a x a a a x

o
o o
.
) ( ) (
a) x que (ya 0 ) ( ) (
Absurdo
a f x f
a f x f

s
< >

Lo anterior prueba que todo mximo local es punto singular. La demostracin de que
todo mnimo local es punto singular es anloga.


6.- Teoremas de Rolle y del valor medio.

Teorema de Rolle.- Sea | | R b a f , : , continua en [a,b] y derivable en (a,b) tal que
f(a)=f(b). Entonces, existe ) , ( b a c e tal que f(c)=0.
Demostracin.- Puesto que f es continua en [a,b], el teorema de Weiertrass nos asegura
que existen | | b a q p , , e tales que | | ) ( ) ( ) ( , q f x f p f b a x s s e . Distinguimos dos
casos:
Caso 1: f(p)=f(q)
En tal caso la funcin f es constante y su derivada en todo punto de (a,b) es nula luego,
efectivamente existe ) , ( b a c e tal que f(c)=0.
Caso 2: f(p)<f(q)
En tal caso no es posible que p y q sean a la vez los extremos del intervalo [a,b] puesto
que f(a)=f(b). Por tanto, o bien p o bien q (y quiz ambos) estn en (a,b). Suponiendo
que ) , ( b a pe tenemos que p es un mnimo absoluto de f y, por tanto, mnimo local.
Como f es derivable en (a,b) se tiene, por la proposicin 5.2, que f(p)=0.
Anlogamente, se razona si ) , ( b a q e .

El Teorema del valor medio es una consecuencia sencilla y tremendamente importante
del Teorema de Rolle. Este teorema, tambin conocido como Teorema de Lagrange o
Teorema de los incrementos finitos tiene una par de interpretaciones muy intuitivas que
daremos a conocer antes que el enunciado de dicho teorema:

Interpretacin fsica del Teorema del valor medio: Supongamos que un automvil ha
recorrido en dos horas 180 km. Su velocidad media es, pues, 90 km/h. Podemos
asegurar que en algn momento el velocmetro del automvil ha marcado los 90 km/h?
Ms general: Bajo que condiciones podemos asegurar que en algn momento un mvil
ha tenido la misma velocidad instantnea que su
velocidad media?

Interpretacin geomtrica del Teorema del valor
medio: Trazamos una curva que pasa por A y B.
Bajo qu condiciones podemos asegurar la
existencia de un punto de la curva, C, tal que la recta
tangente a la curca que pasa por C es paralela a la
recta AB?



Teorema del valor medio.- Sea | | R b a f , : , continua en [a,b] y derivable en (a,b) .
Entonces, existe ) , ( b a c e tal que
a b
a f b f
c f

=
) ( ) (
) ( '
Demostracin.- Sea | | R b a g , : tal que
)) ( ) ( ) ( ( ) )) ( ( ) ( ( ) ( a f x f a b a x a f b f x g = . La funcin g es continua en [a, b]
y derivable en (a, b) ya que f lo es.
Adems g(a)=0, g(b)=0 con lo que g(a)=g(b). Podemos, pues, aplicar el Teorema de
Rolle a g con lo que existir ) , ( b a c e tal que g(c)=0. Pero
) ( ' ) ( )) ( ) ( ( ) ( ' x f a b a f b f x g = luego
a b
a f b f
c f c f a b a f b f c g

= = =
) ( ) (
) ( ' ) ( ' ) ( )) ( ) ( ( 0 0 ) ( '


La verdadera utilidad del Teorema del valor medio es que nos sirve para demostrar otros
teoremas. Valga como muestra la siguiente proposicin y su corolario que sern
utilizados ms adelante:

Proposicin 6.1.- Sea I intervalo abierto y sea f derivable en I. Entonces f es constante
s y slo si f=0.
Demostracin.-
Si f es constante se tiene que 0
0
lim
) ( ) (
lim ) ( ' =

=

a x a x
a f x f
a f
a x a x

:Para probar que f es constante en I nos basta con demostrar que si b a I b a = e , ,
entonces necesariamente f(a)=f(b).
Aplicando el Teorema del valor medio al intervalo [a,b] , existe ) , ( b a c e tal que
a b
a f b f
c f

=
) ( ) (
) ( ' . Pero f(c)=0 con lo que f(a)=f(b) por lo que f es constante.

Colorario 6.2.- Sea I intervalo abierto y sean f y g derivables en I.
Entonces, si f=g se cumple que existe un nmero K tal que K x f x g A x + = e ) ( ) (
.
Demostracin.- Puesto que f=g se cumple que (g-f)=0 por lo que, segn la
proposicin anterior, g-f es constante luego g(x)-f(x)=K, es decir, g(x)=f(x)+K, .


7.- Funciones crecientes y decrecientes. Clculo de
mximos y mnimos locales.

Definicin.- Sea R D f : una funcin. Sea D I c un intervalo abierto.
f es creciente en I si ) ( ) ( , , y f x f y x I y x < < e
f es decreciente en I si ) ( ) ( , , y f x f y x I y x > < e
Diremos que f es creciente si D es un intervalo abierto y f es creciente en l.
Diremos que f es decreciente si D es un intervalo abierto y f es decreciente en l.
Diremos que f es montona si es creciente o decreciente.

Ntese que, segn esta definicin, una funcin constante no es ni creciente ni
decreciente en ningn intervalo.

Ejemplo 7.1.- La funcin R R f : tal que
3
) ( x x f = es montona creciente en R.



Ejemplo 7.2.- La funcin R R g : tal que
2
) ( x x g = es decreciente en ( ) 0 , y
creciente en ( ) + , 0 .






La siguiente proposicin, ya enunciada y usada en Primero de Bachillerato, es
extraordinariamente til:

Proposicin 7.1.- Sea I intervalo abierto; sea R I f : derivable. Entonces:
a) Si f es creciente en I entonces 0 ) ( ' > e a f I a
b) Si 0 ) ( ' > e x f I x entonces f es creciente en I.
c) Si f es decreciente en I entonces 0 ) ( ' s e a f I a
d) Si 0 ) ( ' < e x f I x entonces f es decreciente en I.
Demostracin.-
a) Si f es creciente en I no es posible que exista I a e con 0 ) ( ' < a f pues en tal
caso existira 0 > o tal que ( ) 0
) ( ) (
, , <

= + e
a x
a f x f
a x a a x o o . Pero
eligiendo un ( ) o + e a a x , tendamos que 0
) ( ) (
<

a x
a f x f
y como x-a>0 se
cumplira que 0 ) ( ) ( < a f x f lo que es imposible pues f es creciente en I.
b) Sean b a I b a < e , , . Aplicando el Teorema del valor medio ) , ( b a c e tal que
a b
a f b f
c f

=
) ( ) (
) ( ' . Como 0 ) ( ' > c f se tiene que 0
) ( ) (
>

a b
a f b f
luego
0 ) ( ) ( > a f b f ya que 0 > a b
c) [Puede hacerse una demostracin directa anloga al apartado a) pero preferimos
uar un resultado enunciado en el ejercicio 7.6]
Sea g(x)=-f(x).
Tenemos que si f es decreciente entonces g=-f es creciente luego, por el apartado
a), 0 ) ( ' 0 ) ( ' 0 ) ( ' s > > a f a f a g
d) [Nuevamente preferimos una demostracin indirecta a la directa]
Si 0 ) ( ' < e x f I x entonces, haciendo g(x)=-f(x) se tiene que
0 ) ( ' ) ( ' > = e x f x g I x luego, por el apartado b), g es creciente luego f es
decreciente.



Ejemplo7.3.- Sea
x
e x x f ) (
7
= Entonces
x x
e x x e x x x f ) 7 ( ) 7 ( ) ( '
6 6 7
+ = + = por lo
que, como 0
6
>
x
e x , tenemos que 7 0 7 0 ) ( ' > > + > x x x f En definitiva, la
funcin es creciente en ) , 7 ( + y decreciente en ) 7 , ( y, adems, podemos
afirmar que tiene un mnimo en x= -7.



El siguiente teorema suele ser de gran utilidad para localizar mximos y mnimos
relativos. No obstante conviene recordar que no siempre es efectivo, como
comprobaremos en un ejemplo posterior y que, adems, nos obliga a hacer una segunda
derivada:

Proposicin 7.2.- Supongamos f(a)=0. Si f (a)>0 entonces f tiene un mnimo local
en a; si f (a)<0 entonces f tiene un mximo local en a.
Demostracin.- Por definicin
a x
x f
a x
a f x f
a f
a x a x

=

=

) ( '
lim
) ( ' ) ( '
lim ) ( ' ' . Supongamos
que f(a)>0. Entonces se tiene que existe 0 > o tal que
( ) 0
) ( '
, , >

= + e
a x
x f
a x a a x o o Por tanto f(x) debe ser positivo si ( ) o + e a a x , y
f(x) debe ser negativa si ( ) a a x , o e . Eso significa que f crece en ( ) o + a a, y
decrece en ( ) a a , o . En consecuencia, f tiene un mnimo local en a.
La demostracin para el caso f (a)<0 es parecida.


Ejemplo 7.4.- Calculemos los mnimos de la funcin f(x)=x+2 senx. Como la funcin
es derivable, sus mnimos sern puntos singulares. Como f(x)=1+2 cosx sus mnimos
se encontrarn entre las soluciones de la ecuacin cosx= -1/2, es decir, son de la forma
Z n n x e + = , 2
3
2
t
t
o bien de la forma Z n n x e + = , 2
3
4
t
t
. Pero f (x)=-2 senx
luego 0 ) 2
3
2
( 2 < + n sen t
t
y los nmeros de la forma Z n n x e + = , 2
3
2
t
t
son
mximos locales. En cambio, 0 ) 2
3
4
( 2 > + n sen t
t
por lo que los mnimos buscados
son los de la forma Z n n x e + = , 2
3
4
t
t



Ejemplo 7.5.- Consideremos la funcin
x
e x x f ) (
4
= y busquemos sus mximos y
mnimos locales. Como la funcin es derivable, podemos limitar nuestra bsqueda a los
puntos singulares. Se tiene que
x
e x x x f ) 4 ( ) ( '
3 4
+ = con lo que los puntos singulares
cumplen 0 4
3 4
= + x x , es decir, x=0, -4. La segunda derivada de la funcin es
x
e x x x x f ) 12 8 ( ) ( ' '
2 3 4
+ + = por lo que 0 64 ) 4 ( ' '
4
< =

e f luego -4 es un mximo
local. Sin embargo, 0 ) 0 ( ' ' = f por lo que la proposicin 7.2 no nos aclara la naturaleza
de x=0. No obstante, es fcil comprobar, sin recurrir siquiera a la derivacin, que x=0
es un mnimo absoluto puesto que 0 ) (
4
> =
x
e x x f y 0 ) 0 ( = f .


8.- Concavidad y convexidad. Puntos de inflexin.

Definicin.- Sea R D f : , sea D I c intervalo abierto. f es convexa en I si para todo
I b a e , , la grfica de la funcin f en el intervalo [a,b] queda por debajo del segmento
AB, siendo A=(a,f(a)), B=(b, f(b))




Como la ecuacin punto-pendiente de la recta AB es ) ( ) (
) ( ) (
a f a x
a b
a f b f
y +

=
que f sea convexa en I equivale a
) ( ) (
) ( ) (
) ( , , a f a x
a b
a f b f
x f b x a I b a +

s s s e


Definicin.- Sea R D f : , sea D I c intervalo abierto. f es cncava en I si para todo
I b a e , , la grfica de la funcin f en el intervalo [a,b] queda por encima del segmento
AB, siendo A=(a,f(a)), B=(b, f(b))

Como la ecuacin punto-pendiente de la recta AB es ) ( ) (
) ( ) (
a f a x
a b
a f b f
y +

=
que f sea cncava en I equivale a
) ( ) (
) ( ) (
) ( , , a f a x
a b
a f b f
x f b x a I b a +

> s s e

Ejemplos 8.1.-
i.
x
e x f = ) ( es convexa en R.
ii. x x f log ) ( = es convexa en ) , 0 ( +
iii.
2
) ( x x f = es cncava en R
iv.
x
x f
1
) ( = es convexa en ) , 0 ( + y cncava en ) 0 , (
Obsrvese que concavidad/convexidad no est relacionado con
crecimiento/decrecimiento. Por ejemplo,
x
e x f = ) ( es convexa creciente mientras que
x x f log ) ( = es convexa decreciente.

La siguiente es una caracterizacin de las funciones convexas que necesitaremos ms
adelante. Se deja como ejercicio la misma caracterizacin para funciones cncavas.


Proposicin 8.1.- Sea R D f : , sea D I c intervalo abierto. Son equivalentes:
i. f es convexa en I.
ii. Para todo I c b a e , , con b c a < < si
A=(a,f(a)), B=(b,f(b)), C=(c,f(c)), la recta
AC tiene mayor pendiente que la recta CB.
Demostracin.-
ii i Por ser f convexa en I se cumple que
) ( ) (
) ( ) (
) ( a f a c
a b
a f b f
c f +

s , es decir,
) ))( ( ) ( ( ) )) ( ( ) ( ( a c a f b f a b a f c f s .
Operando, se obtiene que
a a f c a f a b f c b f a a f b a f a c f b c f ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( + s + , es decir,
s c a f a b f c b f b a f a c f b c f ) ( ) ( ) ( ) ( ) ( ) (
+ s + a c f a b f c b f c a f b a f b c f ) ( ) ( ) ( ) ( ) ( ) (
+ s + a c f a b f c c f c b f c a f b a f c c f b c f ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) (
c b
c f b f
a c
a f c f
a c c f b f c b a f c f

s
) ( ) ( ) ( ) (
) )) ( ( ) ( ( ) )) ( ( ) ( (
Recordando que
a c
a f c f

) ( ) (
es la pendiente de la recta AC y que
c b
c f b f

) ( ) (
es
la pendiente de la recta BC hemos terminado la demostracin.
i ii Se demuestra exactamente igual, simplemente cambiando el orden de las
implicaciones.

En los ejercicios, se encuentra el enunciado de la proposicin equivalente para
funciones cncavas.

La siguiente proposicin, ya usada en Primero de Bachillerato, permite localizar con
facilidad los intervalos de concavidad y convexidad de una funcin con derivada
segunda:

.Proposicin 8.2.- Sea I intervalo abierto, R I f : derivable dos veces en I.
Entonces:
Si 0 ) ( ' ' > e x f I x , f es convexa en I.
Si 0 ) ( ' ' < e x f I x , f es cncava en I.
Demostracin.-
i. Sean I c b a e , , con b c a < < . Aplicando dos veces el teorema del valor medio,
existen ) , ( c a pe , ) , ( b c q e tales que
a c
a f c f
p f

=
) ( ) (
) ( ' y
c b
c f b f
q f

=
) ( ) (
) ( ' . Como 0 ) ( ' ' > e x f I x , resulta que f (x) es creciente
en I luego ) ( ' ) ( ' q f p f q p s < , es decir,
c b
c f b f
a c
a f c f

) ( ) ( ) ( ) (
lo que,
por la proposicin anterior, equivale a decir que f es convexa en I.
ii. Es anloga.

Definicin.- Sea R D f : Un punto D ce es un punto de inflexin de si existen
D b a e , con b c a < < tales que o bien f es cncava en (a,c) y convexa en (c, b) o bien f
es convexa en (a,c) y cncava en (c,b)

Ejemplo 8.2.- Sea
3
) 7 ( ) ( = x x f . Se tiene que ) 7 ( 6 ) ( ' ' = x x f con lo que f es
convexa en ) , 7 ( + , pues su segunda derivada es positiva, y cncava en ) 7 , ( . Por
tanto, x=7 es punto de inflexin.

La siguiente proposicin da una condicin til para discriminar puntos de inflexin:

Proposicin 8.3.- Si f tiene segunda derivada y a es punto de inflexin con f
continua en a entonces f(a)=0.
Demostracin.- Sea a punto de inflexin. No puede sr f(a)>0 puesto que, por la
continuidad de f y el lema del signo, existira 0 > o tal que
( ) 0 ) ( ' ' , > + e x f a a x o o lo que implicara que en el intervalo ( ) o o + a a , la
funcin sera convexa y, por tanto, a no sera punto de inflexin. Anlogamente se
prueba que no es posible que f(a)<0 por lo que necesariamente f(a)=0.

Ejemplo 8.3.- Es posible, no obstante, que f (a)=0 sin ser a punto de inflexin. Esto
ocurre, por ejemplo, siendo
4
) 7 ( ) ( = x x f en a=7. Un vistazo a la segunda derivada
confirma que la funcin es convexa en todo R.