1/18

TEMAS DE MATEMTICAS
(Oposiciones de Secundaria)
TEMA 28
ESTUDIO GLOBAL DE FUNCIONES. APLICACIONES A LA
REPRESENTACIN GRFICA DE FUNCIONES.
1. Introduccin.
2. Dominio.
3. Continuidad.
4. Puntos de Corte con los Ejes.
5. Simetras.
6. Periodicidad.
7. Asntotas.
7.1. Asntotas Horizontales.
7.2. Asntotas Verticales.
7.3. Asntotas Oblicuas.
8. Regionamiento.
9. Crecimiento y Decrecimiento. Extremos.
9.1. Teorema del Valor Medio.
9.2. Crecimiento y Decrecimiento de una funcin.
9.3. Caracterizacin de los Mximos y Mnimos Locales.
10. Curvatura. Puntos de Inflexin.
11. Representacin Grfica.
Bibliografa Recomendada.
2/18
TEMA 28
ESTUDIO GLOBAL DE FUNCIONES. APLICACIONES A LA
REPRESENTACIN GRFICA DE FUNCIONES.
1. INTRODUCCIN.
En los dos temas anteriores hemos estudiado propiedades de las funciones como la
continuidad, derivabilidad, crecimiento, decrecimiento, curvatura, etc, todas ellas a
nivel local. En este tema tratamos esas mismas propiedades pero a nivel global de la
funcin.
El desarrollo que vamos a realizar del tema ser similar al que sigue cuando
queremos realizar el estudio y representacin de una funcin.
2. DOMINIO
DEF Sea f: A 3 una funcin real de variable real. Llamemos grafo de f, y se denota
por G(f), al conjunto de pares de la forma (x, f(x)). Es decir:
G(f) = { (x, f(x)) }
La definicin anterior nos obliga a tener en cuenta para que valores xA existe su
imagen mediante f. Ello es debido a que no se verifica que para todo elemento x de A
existe f(x). Por tanto nos vemos obligados a definir un conjunto formado por aquellos
elementos de A para los cuales exista f(x).
DEF Sea f: A 3 una funcin real de variable real y A3. Llamamos dominio de f,
y lo representamos por Dom(f) al conjunto formado por los elementos de A para los
cuales existe f(x).Es decir:
Dom(f) = { xA / f(x)}
Teniendo en cuenta esta definicin podemos redefinir el conjunto grafo de f como:
G(f) = { (x, f(x)) / xDom(f)}
PROP Sean f,g: A 3 dos funciones reales de variables real y A3. Se verifican las
siguientes propiedades:
1) ) ( ) ( ) ( g Dom f Dom g f Dom I t
2) ) ( ) ( ) ( g Dom f Dom g f Dom I
3) }) 0 ) ( / ) ( { ) ( ( ) ( ) / ( x g g Dom x g Dom f Dom g f Dom I
4) )} ( ) ( / ) ( { ) ( g Dom x f f Dom x f g Dom o
Dem.
Inmediata.
3/18
3. CONTINUIDAD
DEF Una funcin f: A 3 real de variable real es continua en x
0
A si se verifica:
1) x
0
) ( f Dom
2) ) ( lim
0
x f
x x
( los limites laterales existen y son iguales)
3) ) ( ) ( lim
0
0
x f x f
x x

DEF Diremos que la funcin f: A 3 real de variable real es continua en todo su

dominio si es continua en x, ) ( f Dom x .
A la vista de las dos definiciones anteriores nos podemos plantear la siguiente
pregunta: Cundo una funcin no es continua en un punto? La respuesta sera cuando
no se verifique alguna de las tres condiciones de la primera definicin.
Sea f: A 3 una funcin real de variable real y A x
0
.
DEF Diremos que f presenta una discontinuidad evitable en x=x
0
si existe ) ( lim
0
x f
x x
pero no existe f(x
0
).
OBS Recibe el nombre de discontinuidad evitable ya que se podra evitar si definimos
f(x
0
) como
f(x
0
) = ) ( lim
0
x f
x x
DEF Diremos que f presenta una discontinuidad inevitable de salto finito en x=x
0
si
existen ) ( lim
0
x f
x x

y ) ( lim
0
x f
x x
+

y son finitos pero distintos.

DEF Diremos que f presenta una discontinuidad inevitable de salto infinito en x=x
0
si
alguno de los limites laterales no existe o es infinito.
4. PUNTOS DE CORTE CON LOS EJES.
Sea f: A 3 una funcin real de variable real. Sabemos que el eje de abcisas tiene
por ecuacin y=0, por tanto, los puntos de la funcin que cortan al dicho eje son
aquellos que verifican la ecuacin:
f(x)=0.
Si 0Dom(f) entonces la funcin f tambin intersectar con el eje de ordenadas,
siendo (0, f(0)) el punto de corte.
4/18
5. SIMETRIAS
DEF Sea f: A 3 una funcin real de variable real. Diremos que f es una funcin
simtrica respecto de un cierto eje vertical x=a si se verifica:
f(a+x) = f(a-x) ) ( f dom x .
Si a=0 entonces f es simtrica respecto del eje de ordenadas y recibe el nombre de
funcin simtrica par, verificndose:
f(x) = f(-x) ) ( f dom x .
Ser simtrica respecto de un eje vertical x=a, geomtricamente significa que si
doblamos el plano respecto de dicho eje ambos trozos de la grfica se superponen
(coinciden).
DEF Sea f: A 3 una funcin real de variable real. Diremos que f tiene simetra
impar si se verifica:
f(-x) = -f(x) ) ( f dom x .
Geomtricamente, que la funcin tenga simetra impar significa que si doblamos el
plano respecto del eje de ordenadas y a continuacin respecto del eje de abcisas, las
grficas se superponen. Tambin se conoce como ser simtrica respecto del origen de
coordenadas.
En general, para que una funcin f: A IR sea simtrica, par o impar, debe
cumplirse como condicin necesaria que el conjunto Dom(f) sea simtrico respecto del
punto x=0.
OBS Nunca vamos a encontrar una funcin que tenga una grfica que sea simtrica
respecto de un eje horizontal, ya que en ese caso existiran valores de x pertenecientes al
dominio de f que tendran mas de una imagen, lo que entra en conflicto con la propia
definicin de funcin. Este es el caso que nos encontramos con las grficas de la
circunferencia, la elipse, la hiprbole, etc, que no se pueden expresar como funciones.
6. PERIOCIDAD
DEF Sea f: A 3 una funcin real de variable real. Diremos que f es una funcin
peridica si existe una constante T>0 tal que f(x + T) = f(x) ) ( f dom x . Llamaremos
periodo de la funcin f a la menor de dichas constantes.
Si una funcin es peridica de periodo T, para representarla grficamente slo es
necesario hacerlo en un intervalo de la forma [x, x + T], ya que el resto de la grfica
consiste en repetir la representacin anterior a lo largo del dominio.
5/18
Ejemplo
Las funciones f(x)=Sen x, f(x)=Cos x y f(x)=Tg x son peridicas de periodo 2, 2,
respectivamente.
La funcin f(x)=Sen 2x es peridica de periodo ya que:
f(x + ) = Sen (2(x + )) = Sen (2x + 2) = Sen 2 = f(x)
7. ASNTOTAS
DEF Diremos que un punto se aleja infinitamente sobre una curva cuando su abcisa o
su ordenada o ambas coordenadas crecen infinitamente. Podemos afirmar que el punto
recorre una rama infinita.
DEF Si al recorrer un punto P una rama infinita la recta OP tiende a una posicin
lmite, entonces esa recta lmite y sus paralelas definen una direccin asntota.
DEF Llamaremos a la recta r asntota de la curva y = f(x) si su direccin es una
direccin asntota de la curva y la distancia de un punto P a la recta r tiende a cero
cuando P se aleja infinitamente.
7.1. Asntotas Horizontales.
DEF Llamaremos Asntota Horizontal de f(x) a la recta y = K = cte. que verifica una
de las dos condiciones siguientes:
1) K x f
x

+
) ( lim
2) K x f
x

) ( lim
El estudio de las asntotas horizontales cuando + x es independiente de cuando
x , por tanto no tiene porque existir asntota por ambos lados simultneamente ni
tiene porque ser la misma en los dos lados.
PROP Sea f: 3 3 una funcin real de variable real. Cuando x tiende a + la asntota
horizontal, en caso de existir, es nica.
Dem.
Supongamos que f(x) presenta dos asntotas horizontales en y = K e y = K, con
K K, cuando x tiende a + . Entonces, por definicin
K x f
x

+
) ( lim y K x f
x

+
) ( lim
Pero obtenemos una contradiccin ya que el lmite, al existir, es nico. Por tanto,
K = K y la asntota horizontal es nica.
6/18
PROP Sea f: 3 3 una funcin real de variable real. Cuando x tiende a - la asntota
horizontal, en caso de existir, es nica.
Dem.
Anloga a la anterior.
Ejemplos
1) f(x) = arctg x

+
2
lim

arctgx
x
Presenta A.H. en y=
2

2
lim

arctgx
x
Presenta A.H. en y=
2

2) f(x) =
x
x ln

+ +
0
1
/ 1
lim
ln
lim
x
x
x
x x
Presenta A.H. en y = 0


x
x
lim
x
ln
No tiene A.H.
3) f(x) =
3
x
e

+
0 lim
3
x
x
e Presenta A.H. en y=0
+

3
lim
x
x
e No presenta A.H.
7.2. Asntotas Verticales.
DEF Sea f: 3 3 una funcin real de variable real. Llamamos Asntota Vertical de
f(x) a la recta x=a si se verifica alguna de las condiciones siguientes:
1)

) ( lim x f
a x
2) +

) ( lim x f
a x
3)
+

) ( lim x f
a x
4) +
+

) ( lim x f
a x
Tambin podramos haber dado como definicin de asntota vertical la siguiente:
Una funcin f(x) tiene como asntota vertical la recta x=a si presenta en el punto
x=a una discontinuidad inevitable de salto infinito.
Es probable, aunque no obligatorio, encontrar asntotas verticales en los puntos de
adherencia del conjunto dom(f) que no pertenecen al interior de dom(f).
7/18
Igualmente, si la funcin est definida a trozos, tambin hemos de buscar
posibles asntotas verticales en los puntos de cambio de trozo.
Ejemplos
1)

'

x
x
x f
ln
) (
si
si
0
0
>

x
x



0 lim ) ( lim
0 0
x x f
x x
No presenta A.V.

+ +

x x f
x x
ln lim ) ( lim
0 0
Presenta A.V. en x=0
2) f(x) =
x
x ln
Dom(f) = (0, + )
Slo podemos estudiar la existencia de asntota vertical a la derecha de
x= 0

+ +

x
x
x f
x x
ln
lim ) ( lim
0 0
Presenta A.V. a la derecha de x=0
3) f(x) =
2
) 1 (
1

x
e
Dom(f) = 3 {1}
0 lim ) ( lim
2
) 1 (
1
1 1

e e x f
x
x x
0 lim ) ( lim
2
) 1 (
1
1 1

+ +
e e x f
x
x x
Por tanto no existe asntota vertical por ninguno de los lados.
7.3 Asntotas Oblicuas.
DEF Sea f: 3 3 una funcin real de variable real. Diremos que f presenta una
Asntota de ecuacin y = mx+n con m,n3 m 0, llamada asntota oblicua, si verifica
una de las dos condiciones siguientes:
1) m
x
x f
x

+
) (
lim y n mx x f
x

+
) ) ( ( lim
2) m
x
x f
x

) (
lim y n mx x f
x


) ) ( ( lim
8/18
El estudio de la existencia de asntota oblicua cuando x tiende a + es
independiente del que se realiza cuando x tiende a -, y no tienen por qu existir
asntotas por ambos lados ni ser iguales.
PROP Sea f: 3 3 una funcin real de variable real. La asntota oblicua de f(x)
cuando x tiende a + , en caso de existir, es nica.
Dem.
La demostracin se realiza de forma anloga a la que vimos con asntotas
horizontales, basndonos en la unicidad del lmite.
PROP Sea f: 3 3 una funcin real de variable real. La asntota oblicua de f(x)
cuando x tiende a - , en caso de existir, es nica.
Dem.
Igual que la anterior.
Otra consecuencia que podemos deducir de la unicidad del lmite es que las
asntotas horizontales y oblicuas de f(x) por el mismo lado ( + x x ) son
mutuamente excluyentes. La existencia de una de ellas impide la existencia de la otra.
Ejemplo.
f(x) =
2
3
1
x
x +
1 1
1
lim
1
lim
) (
lim
3
3
2
3

+

+ + +
m
x
x
x
x
x
x
x f
x x x
0 0
1
lim
1
lim )
1
( lim ) ) ( ( lim
2 2
3 3
2
3

+

+

+ + + +
n
x x
x x
x
x
x
x x f
x x x x
Existe asntota oblicua cuando x en y = x
8. REGIONAMIENTO
Utilizando todos los datos obtenidos hasta este momento, en este paso se trata de
localizar las regiones del plano en las que se va a situar la grfica de la funcin, de
manera que podamos aclarar an ms su forma. Por tanto, estudiando el regionamiento
podemos saber, por ejemplo si nos ajustamos por arriba o por abajo a una asntota
horizontal.
Para aclarar ms el estudio del regionamiento, utilizaremos la informacin que nos
puede ofrecer la primera derivada de f(x).
9/18
9. CRECIMIENTO Y DECRECIMIENTO. EXTREMOS
El estudio de mximos y mnimos de una funcin f(x) consiste en encontrar
puntos que verifiquen alguna de las siguientes propiedades:
1) Algn punto x = aDom f tal que existe un entorno centrado en dicho punto,
E(a,r), de manera que f(a) f(x) xE(a,r). El punto x = a recibe el nombre de
mximo relativo de f(x).
2) Algn punto x = aDom f tal que existe un entorno centrado en dicho punto,
E(a,r), de manera que f(a) f(x) xE(a,r). El punto x= a recibe el nombre de
mnimo relativo de f(x).
3) Un punto x = a tal que f(a) f(x) xDom f. Este punto recibe el nombre de
mximo absoluto de f(x) y no tiene por que ser nico.
4) Un punto x = a tal que f(a) f(x) xDom f. Este punto recibe el nombre de
mnimo absoluto de f(x) y no tiene por que ser nico.
Los puntos del dominio de f(x) que hay que considerar a la hora de buscar
mximos y mnimos, ya sean relativos o absolutos, deben cumplir alguna de las
siguientes condiciones:
1) Sean puntos crticos de f, es decir, sean solucin de la ecuacin f(x) = 0.
2) Si Dom f = [a,b], entonces los puntos x = a y x = b.
3) Los puntos del Dom f en los que l funcin f(x) no sea derivable.
9.1. Teorema Del Valor Medio.
TEOREMA. TEOREMA DE ROLLE.
Sea f:[a,b] 3 una funcin continua en [a,b] derivable en (a,b) y f(a)=f(b).
Entonces existe al menos un punto c(a,b) tal que f(c)=0.
Dem
Sabemos por el teorema de Weierstrass que toda funcin continua definida en un
cerrado alcanza un valor mximo y mnimo en el intervalo.
Segn donde podamos localizar ese mximo y ese mnimo vamos a distinguir dos
casos:
1) Tanto el mximo como el mnimo est en los extremos. Como f(a)=f(b)
maxf=minf f es cte. Si el mximo y el mnimo de f son iguales, necesariamente f
tiene que ser constante.
Si f es constante su derivada es cero y entonces c es cualquier punto de (a,b).
Recordemos que a y b no pueden ser ya que f no es derivable en ellos.
2) Al menos uno de ellos se alcanza en el interior. En un teorema anterior vimos que
"si f alcanza un extremo relativo en a y existe f(a) entonces f(a)=0". Al localizarse el
extremo absoluto en el interior tambin es relativo y como en ese punto (al ser interior)
es derivable, su derivada es cero.
Llamaremos a ese punto x=c y se verifica que:
c(a,b) y f(c)=0.
10/18
OBS La interpretacin geomtrica del teorema de Rolle es que una funcin continua es
derivable e igual en sus extremos debe tener un punto cuya recta tangente sea
horizontal.
El siguiente teorema a ver es el del Valor medio o Lagrange.
Supone una generalizacin del anterior, pues en ste eliminamos la hiptesis de que f(x)
coincida en los extremos del intervalo. Lo que vamos a conseguir ahora es un punto x=c
que va a tener tangente paralela a la recta que une los puntos (a,f(a)) y (b,f(b)).
TEOREMA. TEOREMA DE LAGRANGE.
Sea f:[a,b] 3 continua en [a,b] y derivable en (a,b). Entonces c(a,b) tal que
a b
a f b f
c f

) ( ) (
) ( '
Dem.
Definimos :[a,b] 3
x(x)=f(x)+mx, donde m=-

a b
a f b f ) ( ) (
para que (a) = (b)
[ ]
0 ) ( / ) , (
) ( ) (
) , (
,

'

c b a c
b a
b a en derivable es
b a en continua es

(x) = f(x)+m (c) = f(c)+m = 0 f(c) =

a b
a f b f ) ( ) (
f(c)(b-a) = f(b)-f(a).
Geomtricamente existe al
menos un punto de la grfica de f,
distinto de sus extremos Ay B en el
que la tangente de la grfica es
paralela a la cuerda AB.
PROP Si f(x) = 0 x(a,b) f=cte.
Dem
x
1
,x
2
(a,b) con x
1
,x
2
consideremos [x
1
,x
2
](a,b). Como f(x) = 0 f es
11/18
derivable en (a,b) es continua en (a,b) f es continua en [x
1
,x
2
] y derivable
en (x
1
,x
2
).
Aplicando el teorema del valor medio:
c(x
1
,x
2
) / f(c) 0 ) ( ) ( 0
) ( ) (
0 ) (
) ( ) (
1 2
1 2
1 2
1 2
1 2

'

x f x f
x x
x f x f
c f
x x
x f x f
Entonces f(x
1
)=f(x
2
) x
1
, x
2
(a,b)
Por tanto f es una funcin constante.
PROP Si f y g son dos funciones que tienen la misma derivada entonces se diferencian
en una constante.
Dem
Sean las funciones f,g:AR con f(x)=g(x) xA siendo A un intervalo abierto.
Consideremos la funcin f-g. Su derivada:
(f-g)=f-g= 0 (f-g)=cte.
9.2. Crecimiento y Decrecimiento de una funcin.
DEF Diremos que una funcin f: 3 3 real de variable real creciente en un
intervalo [a,b] Dom f. Si x
1
,x
2
[a,b] con x
1
<x
2
se verifica que f(x
1
) f(x
2
).
DEF Diremos que una funcin f: R R real de variable real decreciente en un
intervalo [a,b] Dom f. Si x
1
,x
2
[a,b] con x
1
<x
2
se verifica que f(x
1
) f(x
2
).
TEOREMA. Si f(x)>0 xI f(x) es estrictamente creciente en I.
Dem
Tomemos un punto cualquiera x
0
I. Sabemos que la funcin es derivable y que
la derivada es positiva, luego f(x
0
)>0.
Como f(x
0
)= lim
xxo

'

< <
> >
>

) ( ) (
) ( ) (
0
) ( ) (
0 0
0 0
0
0
x f x f x x si
x f x f x x si
x x
x f x f
Por tanto f(x) es creciente cerca de x
0
, tanto antes como despus. Y como eso ocurre
para cualquier punto x
0
I, entonces la funcin es creciente en I.
12/18
TEOREMA. Si f(x)<0 xI f(x) es estrictamente decreciente en I.
Dem
La demostracin es igual que la anterior.
Sea x
0
I un punto cualquiera. Sabemos que f(x
0
)>0.
Como f(x
0
)= lim
xxo

'

> <
< >
<

) ( ) (
) ( ) (
0
) ( ) (
0 0
0 0
0
0
x f x f x x si
x f x f x x si
x x
x f x f
Vemos que la funcin es decreciente en x
0
lo es en todo I.
El recproco de las dos proposiciones anteriores es falso. Por ejemplo, si f es
creciente es fcil comprobar que f(x)= 0 (por ejemplo para f(x)= x
3
+ 1).
Vamos ahora a dar un mtodo general para poder afirmar si un punto singular es
un mximo o mnimo local, o ninguna de ambas cosas. Para ello tengamos en cuenta las
siguientes grficas:
Si f> 0 en algn intervalo a la izquierda de x
0
y f< 0 en algn intervalo a la
derecha de x
0
entonces x
0
es un mximo relativo.
Si f< 0 en algn intervalo a la izquierda de x
0
y f> 0 en algn intervalo a la
derecha de x
0
entonces x
0
es un mnimo relativo.
Si f tiene el mismo signo en algn intervalo tanto a la derecha como a la
izquierda de x
0
entonces x
0
no es un extremo relativo.
9.3. Caracterizacin de los Mximos y Mnimos locales.
PROP Sea una funcin f: 3 3 real de variable real, y ( ) f Dom a , un punto en el
que existe f(a) y f(a). Sea f(a)= 0, se verifica
1) Si f(a) > 0 entonces f tiene un mnimo relativo en x = a.
2) Si f(a) < 0 entonces f tiene un mximo relativo en x = a
Dem.
1) Por definicin tenemos que
f>0 f<0 f<0 f>0 f<0 f<0 f>0 f>0
x
1
x
1
x
1
x
1
13/18
( )
h
a f h a f
a f
h
) ( ' ) ( '
lim ' '
0
+

y como f(a)= 0
( )
h
h a f
a f
h
) ( '
lim ' '
0
+

Por hiptesis 0
) ( '
0 ) ( ' ' >
+
>
h
h a f
a f para h suficientemente pequeo.
Si f h a f h > +
+
0 ) ( ' 0 crece a la derecha de a.
Si f h a f h < +

0 ) ( ' 0 crece a la izquierda de a.
Luego f(x) presenta en x= a un mnimo relativo
2) Anloga.
PROP Sea una funcin f: 3 3 real de variable real. Sea ( ) f Dom a tal que
existe f(a) y f(a).
1) Si f tiene un mnimo relativo en x = a entonces f(a) 0 .
2) Si f tiene un mximo relativo en x = a entonces f(a) 0 .
Dem.
1) Supongamos que f tiene un mnimo relativo en x = a si f(a) < 0 entonces,
aplicando el teorema anterior, f tendra un mximo local en x = a.
Pero si f presenta en x = a un mximo y un mnimo entonces sera constante y,
por tanto, f(a) = 0 lo cual es una contradiccin.
Por tanto f(a) 0 .
2) Anloga a la anterior.
10.CURVATURA. PUNTOS DE INFLEXIN.
DEF Diremos que una funcin f es convexa en un intervalo si para todo par de puntos
x
1
, x
2
de ese intervalo, el segmento rectilneo que une (x
1
, f(x
1
)) con (x
2
, f(x
2
)) queda
por encima de la grfica de f.
La condicin geomtrica en la que basamos la definicin podemos expresarla
analticamente.
La recta que une (x
1
, f(x
1
)) con (x
2
, f(x
2
)) es
x
1
x
2
14/18
) ( ) (
) ( ) (
) (
1 1
1 2
1 2
x f x x
x x
x f x f
x g +

La recta g(x) quedar por encima de f(x) siempre que se verifique g(x)>f(x), y
es:
) (
) ( ) ( ) ( ) (
2 1
1
1
1 2
1 2
x x x
x x
x f x f
x x
x f x f

>

obteniendo una definicin equivalente. Por tanto:

DEF Una funcin f: 3 3 real de variable real es convexa en un intervalo si para
x
1
, x
2
y x con x
1
< x < x
2
se verifica
1
1
1 2
1 2
) ( ) ( ) ( ) (
x x
x f x f
x x
x f x f

>

Anlogamente vamos a definir funcin cncava.

DEF Diremos que una funcin f es cncava en un intervalo si para todo par de puntos
x
1
, x
2
de ese intervalo, el segmento rectilneo que une (x
1
, f(x
1
)) con (x
2
, f(x
2
)) queda
por debajo de la grfica de f.
DEF Una funcin f: 3 3 real de variable real es cncava en un intervalo si para
x
1
, x
2
y x con x
1
< x < x
2
se verifica
1
1
1 2
1 2
) ( ) ( ) ( ) (
x x
x f x f
x x
x f x f

<

PROP Sea f: 3 3 una funcin real de variable real y convexa. Sea ). ( f dom a
1) Si f es derivable en x = a entonces la grfica de f queda por encima de la
tangente a f en (a, f(a)) excepto en (a, f(a))
2) Si a < b y f es derivable en a y en b, entonces f(a) < f(b)
Dem.
Sea
2 1
0 h h < < y consideremos los puntos
2 1
h a h a a + < + < .
Como f es convexa se verifica
2
2
1
1
) ( ) ( ) ( ) (
h
a f h a f
h
a f h a f +
<
+
x
1
x
2
15/18
Si tomamos lmites cuando
+
0
1
h
2
2
2
2
0
1
1
0
) ( ) (
) ( '
) ( ) (
lim
) ( ) (
lim
1 1
h
a f h a f
a f
h
a f h a f
h
a f h a f
h h
+
<
+
<
+
+ +

llegamos a que la pendiente de la recta tangente es menor que la pendiente de la secante
que pasa por (a, f(a)) y (a + h
2
, f(a + h
2
)) lo cual implica que el punto
(a + h
2
, f(a + h
2
)) queda por encima de la recta tangente.
De forma anloga, si 0
1 2
< < h h y consideramos a h a h a < + < +
1 2
como f es
convexa se verifica:
2
2
1
1
) ( ) ( ) ( ) (
h
a f h a f
h
a f h a f +
<
+
Si tomamos lmites cuando

0
1
h
2
2
2
2
0
1
1
0
) ( ) (
) ( '
) ( ) (
lim
) ( ) (
lim
1 1
h
a f h a f
a f
h
a f h a f
h
a f h a f
h h
+
>
+
>
+


y esto nos indica que la pendiente de la recta tangente es mayor que la pendiente
de la secante que pasa por (a, f(a)) y (a + h
2
, f(a + h
2
)) lo cual implica que el punto
(a + h
2
, f(a + h
2
)) queda por encima de la recta tangente en x = a.
3) Sea a < b. Entonces b = a + (b-a)
a b
a f a b a f
a f

+
<
) ( ) ( (
) ( ' por ser
a b
a f b f
a f a b

< >
) ( ) (
) ( ' 0
b a
b f b a b f
b f

+
>
) ( ) ( (
) ( ' por ser
b a
b f a f
b f b a

> <
) ( ) (
) ( ' 0
luego, ) ( '
) ( ) (
) ( ' b f
a b
a f b f
a f <

<
LEMA Supongamos que f: 3 3 una funcin real de variable real es derivable y
f creciente. Si a < b y f(a) = f(b) entonces f(x) < f(a) = f(b) para a < x < b.
Dem.
Supongamos que f(x) > f(a) = f(b) para algn ) , ( b a x
Entonces el mximo de f sobre [a,b] se presenta en algn punto ) , (
0
b a x con
f(x
0
) > f(a) y por supuesto f(x
0
) = 0. Por otra parte, aplicando el teorema del valor
medio al intervalo [a,x
0
] encontramos que existe un punto x
1
cib a < x
1
< x
0
y
0
) ( ) (
) ( '
0
0
1
>

a x
a f x f
x f
y eso est en contradiccin con que f sea creciente ya que 0 ) ( ' ) ( '
0 1
> x f x f y
0 1
x x > .
16/18
Luego hemos demostrado que f(x) f(a) = f(b) para a < x < b y solo nos queda
por ver que f(x) = f(a) para algn ) , ( b a x .
Sabemos que f no es constante sobre [a,x] ya que si lo fuese f no sera creciente,
de modo que existe algn x
1
con a < x
1
< x y f(x
1
) < f(a).
Aplicando el teorema del valor medio a [x
1
,x] deducimos que existe un punto x
2
con x
1
< x
2
< x y
0
) ( ) (
) ( '
1
1
2
>

x x
x f x f
x f
Por otra parte, f(x) = 0, puesto que hay un mximo relativo en x. De nuevo
llegamos a una contradiccin por ser f creciente.
TEOREMA
Sea f: 3 3 una funcin real de variable real. Si f es derivable y f
creciente, entonces f es convexa.
Dem.
Sea a<b. Definimos una funcin g como
) (
) ( ) (
) ( ) ( a x
a b
a f b f
x f x g

Es fcil ver que g(x) es una funcin creciente, y como g(a)=g(b)=f(a), aplicamos el
Lema anterior a g(x) y
g(x)<f(a) si a<x<b
Que g(x)<f(a) significa que
) ( ) (
) ( ) (
) ( a f a x
a b
a f b f
x f <

a b
a f b f
a x
a f x f

<

) ( ) ( ) ( ) (
Por lo tanto f es convexa.
DEF Llamaremos punto de inflexin de f a x = a si la tangente a la grafica de f en
(a, f(a)) cruza la grfica.
PROP Sea f: 3 3 una funcin real de variable real. Si f es derivable de orden dos
en x
0
y f(x
0
) > 0, entonces f es convexa en x
0
.
Dem.
17/18
Inmadiata
PROP Sea f: 3 3 una funcin real de variable real. Si f es derivable de orden dos
en x
0
y f(x
0
) < 0, entonces f es cncava en x
0
.
Dem.
Inmediata
PROP Sea f: 3 3 una funcin real de variable real. Si f es derivable de orden dos
en x
0
y x
0
es un punto de inflexin entonces f(x
0
) = 0.
Dem.
Inmediata
11. REPRESENTACIN GRFICA.
1)
x
x
x f
ln
) (
1. Dominio: + , 0 ( ) ( f Dom )
2. Puntos de corte con los ejes:
OY: x = 0; no existe
OX: y = 0 ) 0 , 1 ( 1 0 ln 0
ln
0 ) ( P x x
x
x
x f
3. Simetras: No hay
4. Periodicidad: No hay
5. Asntotas
a) Horizontal:
0 0
1
lim } ' {
ln
lim

,
`

.
|

+ +
y
x
x
Hopital L
x
x
x x
b) Vertical:
0
0
ln
lim
0

+
x
x
x
x
c) Oblicua: No hay porque hay horizontal
6. Crecimiento y decrecimiento. Extremos.
2
ln 1
) ( '
x
x
x f

Mximo e e P e x x x x f ) 1 , ( 1 ln 0 ln 1 0 ) ( '
Se cumple que

'

+ <
>
) , ( 0 ) ( '
) , 0 ( 0 ) ( '
e x x f
e x x f
7. Curvatura. Puntos de inflexin.
18/18
3
ln 2 3
) ( ' '
x
x
x f
+

.
|

,
`
+
2 / 3
2 / 3 2 / 3
2
3
, 0 ln 2 3 0 ) ( ' '
e
e P e x x x f
Se cumple que

'

+ >
<
) , ( 0 ) ( ' '
) , 0 ( 0 ) ( ' '
2 / 3
2 / 3
e x x f
e x x f
8. Grfica:
Bibliografa Recomendada.
Anlisis Matemtico I. Aut. J.A. Fernndez Via. Ed. Tecnos
Lecciones de Clculo Infinitesimal I. Aut. R. Molina Legaz, M. Franco. Ed.
Universidad de Murcia.
Principios de Anlisis Matemtico. Aut. W. Rudin. Ed. McGraw-Hill
Curso de Anlisis Matemtico I. Aut. E.L. Luna. Ed. Edunsa, 1991.
Calculus. Aut. M. Spivak. Ed. Revert.
Anlisis Matemtico. Aut. M. de Guzmn, B. Rubio. Ed. Pirmide.
Anlisis Matemtico 2 Edicin. Aut. T. M. Apostol. Ed. Revert
Introduccin al Anlisis Matemtico. Aut. J.M. Ortega. Ed. Labor