1

Manuel Jos Fernndez, mjfg@uniovi.es

CALCULO
GRADO EN INGEN. INFORM. DEL SOFTWARE. 11-12
TEMA 1. FUNCIONES REALES DE UNA VARIABLE REAL


1.1: Conjuntos Numricos.
Un conjunto es una coleccin de objetos. Los objetos de un conjunto se llaman los elementos
del conjunto. Para indicar que un elemento x est en el conjunto A escribimos A x y para
indicar lo contrario escribimos A x . A menudo se representan los conjuntos mediante llaves
encerrando a sus elementos. As pues { } 2 , 1 , 0 , 1 1 pero { } 3 , 2 , 1 0 .
De los conjuntos numricos se definen en primer lugar los nmeros naturales N
{ } . . . , 3 , 2 , 1 = con los cuales se pueden realizar las operaciones de suma y multiplicacin para que
el resultado siga siendo un nmero natural.

Mtodo de induccin.
Se considera el conjunto { } . . . , 3 , 2 , 1 = N . Sea P una propiedad que puede verificar o no
un nmero natural; expresamos que ) (n P es cierto si el nmero natural n verifica la propiedad
P . Si se verifica
i) ) 1 ( P es cierto, es decir, el primer nmero natural verifica P .
ii) Si es cierto ) (n P entonces tambin lo es ) 1 ( + n P .

Entonces todo nmero natural verifica la propiedad P .

Ejercicio:
Demostrar aplicando el principio de induccin que
2
) 1 (
... 2 1
+
= + + +
n n
n N n
Solucin:
Para n = 1 obtenemos
2
2 . 1
1 = cierto
Supongamos, por hiptesis de induccin, que es cierta la igualdad para n y debemos
demostrarla para n+1 :
2
) 2 )( 1 (
1 ... 2 1
+ +
= + + + + +
n n
n n


2
) 2 )( 1 (
2
) 1 ( 2 ) 1 (
1
2
) 1 (
1 ... 2 1
+ +
=
+ + +
= + +
+
= + + + + +
n n n n n
n
n n
n n


A continuacin se definen los nmeros enteros Z { } . . . , 3 , 2 , 1 , 0 , 1 , 2 , 3 . . . = con los
cuales se pueden realizar las operaciones de suma, resta y multiplicacin para que el resultado siga
siendo un nmero entero. Seguidamente se consideran los nmeros racionales
Q { } 0 y , ; / = q Z q p q p con los cuales se pueden realizar las cuatro operaciones
elementales de suma, resta, multiplicacin y divisin por un nmero distinto de cero.

Ejemplos:
5 . 0
2
1
= expresin decimal constituida por un nmero finito de cifras decimales
2
Manuel Jos Fernndez, mjfg@uniovi.es


3 . 0
3
1
= 142857 142857 . 0
7
1
= 6 1 . 0
6
1
=

nmero infinito de cifras decimales pero repetidas peridicamente.

Veamos ahora que 2 no es un nmero racional, es decir, que 2 no se puede expresar de
la forma q p / siendo esta una fraccin irreducible (es decir que p y q no tienen divisores
comunes a excepcin de la unidad).
Si q p / 2 =
2 2
/ 2 q p =
2 2
2q p =
2
p es par p es par ; entonces
N k / k p 2 =
2 2
4k p =
2
2q =
2 2
2k q =
2
q es par q es par .
En este caso p y q serian pares lo que contradice el hecho de que p y q no tengan
divisores comunes.

Los nmeros como 2 , , se les llama irracionales; el conjunto de los nmeros
racionales ampliado con los irracionales forman el conjunto de los nmeros reales R .
As, por ejemplo, las races de la ecuacin polinmica 0 1 3
2
= + x x son nmeros reales

2
5 3
= x irracionales

Sin embargo, las races de la ecuacin polinmica
2
x 0 3 2 = + x no son nmeros reales.
i x 2 1
2
8 2
=

= nmeros complejos o imaginarios.

Si A y B son conjuntos, entonces decimos que A est contenido en B y lo
representamos B A si y slo si todo elemento de A es tambin un elemento de B (se dice
que A es un subconjunto de B ).
As, por ejemplo, R Q Z N .

Producto cartesiano.
{ } y / ) , ( B b A a b a AxB =

Ejemplos:
Si { } 1 , 0 = A { } 2 , 1 = B

( ) { } ) 2 , 1 ( , ) 1 , 1 ( , ) 2 , 0 ( , 1 , 0 = AxB { } (2,1) (2,0), , ) 1 , 1 ( , ) 0 , 1 ( = BxA

Si [ ] 1 , 0 = = B A , [ ] [ ] { } 1 , 0 , 0,1 x / ) , ( = y y x AxB cuadrado unidad

Interseccin.

{ } B x A x x B A = y / ; si B A A B A =

Ejemplos:
{ } 3 de mltiplos = A , { } 4 de mltiplos = B , { } 12 de mltiplos = B A

3
Manuel Jos Fernndez, mjfg@uniovi.es


{ } 1 / > = x R x A , { } 3 x / < = R x B , { } 3 1 / < < = x R x B A

Unin.

{ } B x A x x B A = / ; si B A B B A =

Ejemplo:

{ } 1 / > = x R x A , { } 3 x / > = R x B

{ } 3 / > = x R x B A { } 1 / x > = R x B A

Propiedades de orden en R

* o bien b a < , o a b < , o b a =

* Si b a y c b , entonces c a

* Si b a , entonces c b c a + + R c

* Si b a y 0 > c entonces bc ac

* Si b a y 0 < c entonces bc ac . Por tanto si b a entonces b a

* Si b a , siendo b a y no nulos del mismo signo, entonces
b a
1 1



Valor absoluto de un nmero real.

Dado un nmero real x el valor absoluto de x , denotado por x , se define de la siguiente
manera, = x x si 0 x , x x = si 0 x
Otras caracterizaciones son,
{ } x x x = , max ;
2
x x =

interpretacin geomtrica: = x distancia entre x y 0.
= c x distancia entre x y c .

Ejemplos:

= 1 x 1 x si 1 x ; x x = 1 1 si 1 x

1 1
2 2
= x x si 1
2
x ;
2 2
1 1 x x = si 1
2
x , es decir,
1 1
2 2
= x x si 1 1 x x ;
2 2
1 1 x x = si 1 1 x
4
Manuel Jos Fernndez, mjfg@uniovi.es

Ejercicio:
Hallar los x R tales que 8 3 3 < + + x x

Propiedades del valor absoluto.

Sean R y x , . Se verifica
1) 0 x y 0 = x 0 = x
2) x x =
3) y x xy =
4) x x x
5) x x
6) c x + c x c
7) y x y x + + ; y x y x +
8) y x y x
9)
y
x
y
x
= si 0 y

Ejercicio:
Hallar los x R tales que 1 2 x
Solucin:
1 2 x 1 2 x 1 2 x 3 x 1 x

Ejercicio:
Hallar los x R tales que 1 1
2
x
Solucin:
1 1
2
x 1 1
2
x 1 1
2
x 2
2
x 0
2
x
2 x 0 = x 2 x 2 x 0 = x

Ejercicio:
Hallar los x R tales que 1
1

+ x
x

Solucin:

1
1

+ x
x
1
1
1
+

x
x

Si 1 > x , 1
1
1
+

x
x
1 1 + x x x 1 2 x 2 / 1 x
Si 1 < x , 1
1
1
+

x
x
1 1 + x x x no existe x

As pues, la solucin son los 2 / 1 x .
5
Manuel Jos Fernndez, mjfg@uniovi.es

Ejercicio:
Hallar los x R tales que 1
1
2

+ x
x


Conjuntos acotados.
Un conjunto R A se dice que est acotado superiormente : M R x / M A x
M se denomina cota superior para A

Un conjunto R A se dice que est acotado inferiormente : m R x / m A x
m se denomina cota inferior para A

Un conjunto R A est acotado : est acotado superior e inferiormente
K R
+
x / K A x

Axioma del supremo (nfimo).

Sea A un conjunto de nmeros reales acotado superiormente. Entonces A tiene extremo
superior o supremo, denotado por A sup , que coincide con la menor de las cotas superiores.
Sea A un conjunto de nmeros reales acotado inferiormente. Entonces A tiene extremo
inferior o nfimo, denotado por A inf , que coincide con la mayor de las cotas inferiores.
Si el supremo pertenece al conjunto A se llama mximo y se denota A max .
Si el nfimo pertenece al conjunto A se llama mnimo y se denota A min .

Intervalos acotados.
Dados R b a , se tiene

( ) b a , { } b x a R x < < = / intervalo abierto ; [ ] { } b x a R x b a = / , cerrado

( ] { } b x a R x b a < = / , ; [ ) { } b x a / , < = R x b a

Intervalos no acotados.
Dados R b a , se tiene

( ) , a { } a x R x > = / ; [ ) , a { } a x R x = /

( ) , b { } b x R x < = / ; ( ] b , { } b x R x = / ; ( ) R = ,


Ejercicio
Hallar, si existen, el supremo, nfimo, mximo y mnimo de los subconjuntos de R siguientes:

a) ( ) 4 , 0 = A = A sup 4 ; = A inf 0 ; no existe mximo ni mnimo de A.
b) { } . . . , 3 , 2 , 1 = = N B 1 min inf = = B B ; no existe supremo ni mximo de B .
c)

= ... ,
4
1
,
3
1
,
2
1
, 1 C 1 max sup = = C C ; 0 inf = C ; no existe mnimo de C .

6
Manuel Jos Fernndez, mjfg@uniovi.es

d) { } 0 6 5 /
2
+ = x x x D

0 6 5
2
= + x x
2
7 5
2
24 25 5
=
+
= x ; 1 = x 6 = x
0 6 5
2
+ x x 0 ) 6 )( 1 ( + x x 0 ) 1 ( x y 0 ) 6 ( + x
0 ) 1 ( x y 0 ) 6 ( + x

1 x y 6 x 1 x y 6 x 1 x y 6 x

[ ] 1 , 6 = D 1 max sup = = D D ; 6 min inf = = D D



1.2: Funciones reales de una variable real.

Nociones preliminares.
Se llama funcin real de variable real a toda aplicacin R R D f : , donde D es un
conjunto de nmeros reales denominado dominio de la funcin. Designaremos por x a un
elemento de D y por ) (x f y = a su imagen por la aplicacin f .

{ } R x f R x f Dom = ) ( / , { } y x f D x R y f = = ) ( , / Im ) (D f =

Ejemplos:


2
) ( x x f = R f Dom = [ ) + = , 0 Im f
4 ) ( + = x x f f Dom [ ) + = , 4 [ ) + = , 0 Im f

1
1
) (

=
x
x f { } 1 = R f Dom { } 0 Im = R f

El conjunto de todos los puntos del plano ( ) ) ( , x f x con D x forman la grfica de la funcin f

Ejemplos:
x x f = ) ( 1 ) ( + = x x f



Funcin montona.

Sea R R D f : una funcin real de variable real, y D S .
f es montona creciente en S : ) ( ) ( ,
2 1 2 1 2 1
x f x f x x S x x <
f es montona decreciente en S : ) ( ) ( ,
2 1 2 1 2 1
x f x f x x S x x <
7

Manuel Jos Fernndez, mjfg@uniovi.es

f es estrictamente creciente en S : ) ( ) ( ,
2 1 2 1 2 1
x f x f x x S x x < <
f es estrictamente decreciente en S : ) ( ) ( ,
2 1 2 1 2 1
x f x f x x S x x > <

Ejemplos:

2
) ( x x f = es estrictamente creciente en [ ) + , 0 y estrictamente decreciente en ( ] 0 , .

3
) ( x x f = es estrictamente creciente en todo . R

Funcin acotada.
Sea R R D f : una funcin real de variable real, y D S .

f est acotada superiormente en S : S x M x f R M ) ( / , es decir, si el
conjunto imagen { } S x x f S f = / ) ( ) ( es un conjunto acotado superiormente.
f est acotada inferiormente en S : S x m x f R m ) ( / , es decir, si el
conjunto imagen { } S x x f S f = / ) ( ) ( es un conjunto acotado inferiormente.

f est acotada en S : f est acotada superiormente e inferiormente en S
S x ) ( /
+
K x f R K , es decir, si el conjunto imagen { } S x x f S f = / ) ( ) (
es un conjunto acotado.

Ejemplos:

2
) ( x x f = est acotada inferiormente en R y no est acotada superiormente en R ya que
[ ) + = , 0 Im f . Por tanto ) ( min 0 ) ( inf x f x f
R x R x
= = ; ) ( sup x f
R x
y ) ( max x f
R x
no existen.


2
) ( x x f = est acotada en el intervalo [ ] 9 , 5 ya que [ ] 81 , 0 Im = f . Por tanto

[ ] [ ]
) ( min 0 ) ( inf
9 , 5 9 , 5
x f x f
x x
= = ;
[ ]
[ ]
) ( max 81 ) ( sup
9 , 5
9 , 5
x f x f
x
x


= =


2
) ( x x f = est acotada en el intervalo ( ) 9 , 5 ya que [ ) 81 , 0 Im = f . Por tanto

( ) ( )
) ( min 0 ) ( inf
9 , 5 9 , 5
x f x f
x x
= = ;
( )
81 ) ( sup
9 , 5
=

x f
x
,
( )
) ( max
9 , 5
x f
x
no existe.

Ejercicio.
Sea
2 16
1
) (
2

=
x
x f
Obtener el dominio y la imagen de f Es f acotada en su dominio? Determinar, si existen, el
supremo, mximo, nfimo y mnimo de f en su dominio

Funcin par e impar: Simetras.

Sea R R D f : tal que D x si D x

f es par : D x x f x f = ) ( ) (
f es impar : D x x f x f = ) ( - ) (

8
Manuel Jos Fernndez, mjfg@uniovi.es

La grfica de una funcin par es simtrica respecto al eje de ordenadas y la grafica de una
funcin impar es simtrica respecto al origen de coordenadas.

Ejemplos:

4
) ( x x f = es par ;
7
) ( x x f = es impar

Funcin peridica.
Sea R R D f : una funcin real de variable real.
f es peridica : existe
+
R h tal que ) ( ) ( h x f x f + = D x
El perodo p de una funcin peridica es el valor ms pequeo de h que verifica la igualdad
anterior.

Ejercicio:
Sea [ ] x x f = ) ( funcin parte entera de x , es decir, la funcin que a cada nmero real le
asigna el mayor entero que sea menor o igual a l (funcin floor en Matlab). Comprobar que la
funcin [ ] x x x f x x g = = ) ( ) ( es peridica de perodo uno.





Operaciones con funciones.

Sean f y g dos funciones reales de variable real tales que D g Dom f Dom = = .
Definimos la funcin suma de la forma siguiente:
R R D g f : + tal que = + ) )( ( x g f : ) ( ) ( x g x f + D x

La funcin nula
f
0 R R : tal que 0 ) ( 0 = x
f
R x verifica f f
f
= + 0

La funcin opuesta de f R R D f : , tal que = ) )( ( x f : ) (x f D x
verifica
f
f f 0 ) ( = +

Definimos la funcin producto R R D fg : tal que
= ) )( ( x fg : ) ( ) ( x g x f D x

La funcin unidad R R
f
: 1 tal que 1 ) ( 1 = x
f
R x verifica f f
f
= 1

La funcin reciproca de f , R R D
f
:
1
1
tal que =

) (
1
x
f
:
) (
1
x f

1
D x
siendo { } 0 ) ( /
1
= x f D x D , verifica
f
f
f 1
1
= .
9
Manuel Jos Fernndez, mjfg@uniovi.es


Definimos la funcin cociente R R
g
f
D :
2
tal que =

) (x
g
f
:
) (
) (
x g
x f

2
D x
siendo { } 0 ) ( /
2
= x g D x D .


Nota: Si g Dom f Dom con g Dom f Dom conjunto vacio, entonces:

g Dom f Dom fg Dom g f Dom ) ( ) ( = = +
{ } 0 ) ( / - ) ( ) / ( = = x g x g Dom f Dom g f Dom

Ejemplos:
*
2
) ( x x f =
1
) (

=
x
x
x g R f Dom = { } 1 = R g Dom


1 1
) )( (
2 3
2

+
=

+ = +
x
x x x
x
x
x x g f { } 1 ) ( = + R g f Dom

1
) ) (
3

=
x
x
x fg { } 1 ) ( = R fg Dom


*

>

=
0 si 1
0 si
) (
x
x x
x f

<
=
1 si
1 si
) (
2
x x
x x
x g

+
< <

= +
1 si 1
1 0 si 1
0 si 0
) )( (
2
x x
x x
x
x g f

< <
=
1 0 si
1 0 si
) )( (
2
x x x
x x
x fg

Composicin de funciones y funcin inversa.

Sean dos funciones f y g tales que f Dom g Im conjunto vacio. Definimos la
funcin g compuesta con f y se denota g f o de la siguiente forma:
( ) ( ) ) ( : ) ( x g f x g f = o g Dom x / f Dom x g ) (

Anlogamente, si g Dom f Im conjunto vacio, se define la funcin f compuesta
con g y se denota f g o de la siguiente forma:
( ) ( ) ) ( : ) ( x f g x f g = o f Dom x / g Dom x f ) (


La composicin de funciones verifica la propiedad asociativa, es decir,
( ) ( ) h g f h g f o o o o = . No verifica, en general, la propiedad conmutativa, es decir,
f g g f o o . El elemento neutro de la composicin es la funcin identidad I , es decir,
f I f = o f I o = siendo x x I = ) ( R x

10
Manuel Jos Fernndez, mjfg@uniovi.es

Ejemplo:

x x x f + =
2
) (
3
) ( x x g = R g Dom f Dom = =
( ) ( ) ( ) ( )
3
2
3 3
) ( ) ( x x x f x g f x g f + = = = o
( ) ( ) ( )
3 2 2
) ( ) ( x x x x g x f g x f g + = + = = o

Ejercicio.
Obtener g f o , f g o y sus dominios respectivos en los casos siguientes:
a) 1 ) (
2
+ = x x f , x x g = ) (
b) 3 ) ( = x x f , 1 ) (
2
+ = x x g



R R D f : es inyectiva : D x x
2 1
, / ( ) ( )
2 1
x f x f =
2 1
x x =

Ejemplos:

) 1 ( ) ( = x x x f no es inyectiva en R ya que ) 1 ( ) 0 ( f f =

3
) ( x x f = es inyectiva.

2
) ( x x f = no es inyectiva en R . Lo es en [ ) + , 0 y en ( ] 0 ,

Si f es una funcin inyectiva (en cierto dominio) entonces existe una nica funcin g
definida sobre la imagen de f , es decir, R f g Im : tal que ( ) x x g f = ) (
g Dom f x Im = . As pues, f Dom g Im = . A esta funcin g se le llama inversa de la
funcin f y se denota por
1
f . Por tanto
( ) x x f f =

) (
1
f x Im , es decir, I f f =
1
o

Se verifica tambin que ( ) x x f f =

) (
1
f Dom x , es decir, I f f =

o
1


Ejemplos:

x x f = ) ( x x f =

) (
1


x
x f
1
) ( =
x
x f
1
) (
1
=

3
) ( x x f =
3 1
) ( x x f =

( )
3 / 1
2 . 1 ) ( = x x f ( ) 2 1 ) (
3 1
+ =

x x f

Veamos esto ltimo, ( ) x x f f =

) (
1
( ) x x f =

3 / 1
1
2 ) ( 1 ( ) x x f =

1 2 ) (
3 / 1
1

( ) 2 1 ) (
3 1
+ =

x x f

Ejercicio.
Hallar la funcin inversa de x x x f =
2
) ( , [ ) , 5 . 0 x
11
Manuel Jos Fernndez, mjfg@uniovi.es

Funciones elementales.

Funcin potencial entera

n
x x f = ) ( , { } 0 N n

R f Dom = , R f = Im si n es impar , [ ) + , 0 si n >0 es par , { } 1 si n=0
Si n es impar entonces f es estrictamente creciente en R .





Funcin polinomica.


n
n
x a x a x a a x f + + + + = ... ) (
2
2 1 0
{ } 0 N n 0
n
a

R f Dom = . Si 1 = n recta ; si 2 = n parbola, ...

Funcin racional.

Es cociente de dos funciones polinomicas.


m
m
n
n
x b x b x b b
x a x a x a a
x f
+ + + +
+ + + +
=
...
...
) (
2
2 1 0
2
2 1 0
=
) (
) (
x Q
x P
; { } 0 ) ( / = x Q R x f Dom

Ejemplo:

) 1 )( 1 )( 1 (
1 5 2
) (
2
2 3
+ +
+
=
x x x
x x x
x f ; { } 1 , 1 = R f Dom


Funciones circulares y sus inversas.

) ( ) ( x sen x f = R f Dom = [ ] 1 , 1 Im = f

es acotada, impar y peridica de periodo 2



12
Manuel Jos Fernndez, mjfg@uniovi.es

) ( ) ( x arcsen x f =
Para definir la funcin inversa nos restringimos a un dominio donde la funcin seno sea
inyectiva, R
2
,
2

Para cada [ ] 1 , 1 x se define ) (x arcsen como el nico

2
,
2

y tal que
x y sen = ) (
[ ] 1 , 1 = Dom

=
2
,
2
Im

es acotada, creciente e impar









) cos( ) ( x x f = R f Dom = [ ] 1 , 1 Im = f

es acotada, par y peridica de periodo 2




13
Manuel Jos Fernndez, mjfg@uniovi.es

) arccos( ) ( x x f =

Para definir la funcin inversa nos restringimos a un dominio donde la funcin coseno sea
inyectiva, [ ] R , 0
Para cada [ ] 1 , 1 x se define ) arccos(x como el nico [ ] , 0 y tal que
x y = ) cos(
[ ] 1 , 1 = Dom [ ] , 0 Im = es acotada y decreciente









) cos(
) (
) ( ) (
x
x sen
x tg x f = =

= Z k k x f Dom ,
2
) 1 2 ( / R x

R f = Im

No es acotada en su dominio. Es impar y peridica de periodo

Para cada nmero real x se define ) (x arctg como el nico

2
,
2

y tal que
x y tg = ) (
R Dom =

=
2
,
2
Im

es acotada, creciente e impar

14
Manuel Jos Fernndez, mjfg@uniovi.es










) (
1
) (
) cos(
) ( cot ) (
x tg x sen
x
x g x f = = = ;
) cos(
1
) sec( ) (
x
x x f = =


) (
1
) ( cos ) (
x sen
x ec x f = =

Se verifica:

1 ) ( cos ) (
2 2
= + x x sen ; ) cos( ) ( 2 ) 2 ( x x sen x sen = ; ) ( ) ( cos ) 2 cos(
2 2
x sen x x =


2
) 2 cos( 1
) (
2
x
x sen

= ;
2
) 2 cos( 1
) ( cos
2
x
x
+
=

) ( 1 ) ( sec
2 2
x tg x + = ; ) ( cot 1 ) ( cos
2 2
x g x ec + =

+ = x sen x sen x
2 2
) cos(


15
Manuel Jos Fernndez, mjfg@uniovi.es

Funcin exponencial.


x
a x f = ) ( , 0 > a

R Dom = ; ( ) = , 0 Im si 1 a , { } 1 Im = si 1 = a

Es estrictamente creciente si 1 > a y estrictamente decreciente si 1 0 < < a

1
0
= a ;
y x y x
a a a
+
= R y x , ;
x
x
a
a
1
=

R x



Funcin logartmica.

Se llama funcin logartmica de base 0 > a ) 1 ( a , ) ( log ) ( x x f
a
= , a la inversa de la
funcin exponencial.
( ) = , 0 Dom ; R = Im

Es estrictamente creciente si 1 > a y estrictamente decreciente si 1 0 < < a .




16
Manuel Jos Fernndez, mjfg@uniovi.es

Si e a = , el logaritmo se llama neperiano o natural y se representa ) ( ) log( x l x
n
. Si 10 = a
se llama decimal.
Se verifica:

) (
) (
) ( log
a l
x l
x
n
n
a
= ;
) ( . a l x x
n
e a = ; 0 ) 1 ( log =
a
; ) ( log . ) ( log x n x
a
n
a
=
) ( log ) ( log ) . ( log y x y x
a a a
+ = ; ) ( log ) ( log ) / ( log y x y x
a a a
=


1.3: Lmites de funciones.

Lmite finito en un punto.

Consideremos una funcin f definida en las proximidades de un punto c , aunque no
necesariamente en c , es decir, R R D f : y c punto de acumulacin de D. La
funcin f tiene lmite R l en el punto c si ) (x f est tan prximo a l como queramos
siempre que x este suficientemente prximo a c . La definicin rigurosa es la siguiente:

l x f
c x
=

) ( lim 0 > 0 > / < < c x 0 < l x f ) (

D x
depende, en general, de y del punto c .
El lmite es independiente de que la funcin este o no definida en el punto c .

Ejemplo:
c x
c x
=

lim 0 > c

0 > 0 > / < < c x 0 < c x
0 x

= <

=
+

=
c c
c x
c x
c x
c x
c x
c x ; . c =

Lmites laterales.

l x f
c x
=

) ( lim 0 > 0 > / c x c < < < l x f ) (

D x

l x f
c x
=
+

) ( lim 0 > 0 > / + < < c x c < l x f ) (

Ejemplos:

0 si 1 ) ( > = x x f , 0 si 1 ) ( < = x x f

1 ) ( lim
0
=

x f
x
; 1 ) ( lim
0
=
+

x f
z

17
Manuel Jos Fernndez, mjfg@uniovi.es


x x g = ) ( ; 0 ) ( lim
0
=
+

x g
x





No existe ) ( lim
0
x f
x
en el ejemplo anterior ya que

l x f x f l x f
c x c x c x
= = =
+

) ( lim ) ( lim ) ( lim

Lmites infinitos.

La funcin f tiene lmite + (respectivamente ) en el punto c si ) (x f se puede
hacer tan grande (resp. tan pequea) como queramos, siempre que x este suficientemente
prximo a c . Anlogamente se definen los lmites laterales infinitos.

Ejemplos:
+ =

2
0
1
lim
x
x
; =

2
0
1
lim
x
x
; =
+

) log( lim
0
x
x

=

x
x
1
lim
0
; + =
+

x
x
1
lim
0
; + =

1
lim
0
x
x
; =
+

x
x
1
lim
0



Lmite finito en el infinito.

La funcin f tiene lmite l cuando la variable x tiende a + (res. ) si ) (x f est
tan prximo a l como queramos siempre que x sea suficientemente grande ( res. pequeo) .

Ejemplos:
0
1
lim =

x
x
; 0
x
1
lim =
+ x
; 0 e lim
x
=
x
; 0 ) 5 . 0 ( lim =
+
x
x



Lmite infinito en el infinito.

De manera anloga se pueden considerar lmites infinitos cuando la variable x tiende a +
.

Ejemplos:

+ =
+
2
lim x
x
; + =

2
lim x
x
; + =
+
x
x
e lim ; + =

x
x
e lim ; + =
+
) log( lim x
x

18
Manuel Jos Fernndez, mjfg@uniovi.es

Se verifica:

Si una funcin tiene lmite, finito o infinito, en un punto c en , entonces dicho
lmite es nico.

Teorema de la funcin intermedia. Sean f , g y h tres funciones reales definidas en las
proximidades de un punto c y supongamos que ) ( ) ( ) ( x h x f x g para todo x
perteneciente a un entorno reducido de c , es decir, x { } c c c + ) , ( . Si
l x h x g
c x c x
= =

) ( lim ) ( lim , entonces l x f
c x
=

) ( lim . y l c pueden ser finitos

infinitos.

Si 0 ) ( lim =

x f
c x
y g es una funcin acotada en un entorno reducido de c entonces
se verifica que 0 ) ( ) ( lim =

x g x f
c x
.

Ejemplo.
0
1
. lim
0
=

x
sen x
x
ya que 0 lim
0
=

x
x
y 1
1

x
sen 0 x

R l x f
c x
=

) ( lim ( ) 0 ) ( lim =

l x f
c x
0 ) ( lim =

l x f
c x


Operaciones con lmites de funciones.

Si R l x f
c x
=

) ( lim y R m x g
c x
=

) ( lim siendo R c = c , se verifica:

[ ] m l x g x f
c x
+ = +

) ( ) ( lim ; [ ] m l x g x f
c x
=

) ( ) ( lim ; [ ] l a x f a
c x
. ) ( . lim =

R a
[ ] m l x g x f
c x
. ) ( ) ( lim =

;
m x g
c x
1
) (
1
lim =

y
m
l
x g
x f
c x
=

) (
) (
lim si 0 m

Si alguno o ambos de los lmites l y m es infinito se verifica un resultado anlogo,
aunque se pueden presentar indeterminaciones. Veamos esto con ms detalle.

Si + = =

) ( lim ) ( lim x g x f
c x c x
[ ] [ ] + = = +

) ( ) ( lim ) ( ) ( lim x g x f x g x f
c x c x


Si = =

) ( lim ) ( lim x g x f
c x c x
[ ] = +

) ( ) ( lim x g x f
c x
y [ ] + =

) ( ) ( lim x g x f
c x


Si 0 ) ( lim > =

l x f
c x
y + =

) ( lim x g
c x
[ ] [ ] + = = +

) ( ) ( lim ) ( ) ( lim c g x f x g x f
c x c x


+

= 0
) (
) (
lim
x g
x f
c x


Si 0 ) ( lim < =

l x f
c x
y + =

) ( lim x g
c x
[ ] + = +

) ( ) ( lim x g x f
c x
, [ ] =

) ( ) ( lim c g x f
c x

= 0
) (
) (
lim
x g
x f
c x

19
Manuel Jos Fernndez, mjfg@uniovi.es

Si 0 ) ( lim =

x f
c x
y + =

) ( lim x g
c x
[ ] + = +

) ( ) ( lim x g x f
c x
y 0
) (
) (
lim =

x g
x f
c x



Si 0 ) ( lim > =

l x f
c x
y =

) ( lim x g
c x
[ ] [ ] = = +

) ( ) ( lim ) ( ) ( lim c g x f x g x f
c x c x

= 0
) (
) (
lim
x g
x f
c x


Si 0 ) ( lim < =

l x f
c x
y =

) ( lim x g
c x
[ ] = +

) ( ) ( lim x g x f
c x
, [ ] + =

) ( ) ( lim c g x f
c x


+

= 0
) (
) (
lim
x g
x f
c x


Si 0 ) ( lim =

x f
c x
y =

) ( lim x g
c x
[ ] = +

) ( ) ( lim x g x f
c x
y 0
) (
) (
lim =

x g
x f
c x



Si + =

) ( lim x f
c x
y =

) ( lim x g
c x
[ ] =

) ( ) ( lim c g x f
c x


Si + =

) ( lim x f
c x
y 0 ) ( lim < =

l x g
c x
=

) (
) (
lim
x g
x f
c x


Si + =

) ( lim x f
c x
y 0 ) ( lim > =

l x g
c x
+ =

) (
) (
lim
x g
x f
c x


Si =

) ( lim x f
c x
y 0 ) ( lim < =

l x g
c x
+ =

) (
) (
lim
x g
x f
c x


Si =

) ( lim x f
c x
y 0 ) ( lim > =

l x g
c x
=

) (
) (
lim
x g
x f
c x



Indeterminaciones.


0
0

. 0
0
0

1
0


Asntotas.

a x = es una asntota vertical de la funcin f si se verifica alguna de las condiciones
siguientes:

+ =

) ( lim x f
a x
=

) ( lim x f
a x
por la izquierda
+ =
+

) ( lim x f
a x
=
+

) ( lim x f
a x
por la derecha

20
Manuel Jos Fernndez, mjfg@uniovi.es

Ejemplo:

x
x
e
x f

=
1
1
1
) ( { } 1 , 0 = R f Dom

0
1
lim
0
x
x
x

1 lim
1
0
x
x
x
e + = =

=
+

0
1
1 1
1
) ( lim
0
x f
x



+

+
0
1
lim
0
x
x
x

+

=
+
1 lim
1
0
x
x
x
e = =

=
+

+
0
1
1 1
1
) ( lim
0
x f
x


0 = x es asntota vertical por la izquierda y por la derecha

+ = =

0
1
1
lim
1
x
x
x
+ = =
+

e e
x
x
x
1
1
lim 0
1
1
) ( lim
1
=

=

x f
x


= =

+
0
1
1
lim
1
x
x
x
0 lim
1
1
= =

+
e e
x
x
x
1
0 1
1
) ( lim
1
=

=
+

x f
x


1 = x no es asntota vertical


b y = es una asntota horizontal de la funcin f si

b x f
x
=
+
) ( lim y/o b x f
x
=

) ( lim

En el caso de que ambos lmites sean iguales a b la curva ) (x f y = se pega a la asntota
por los dos lados (en la parte de la derecha y en la de la izquierda).

Ejemplo:

x
x
e
x f

=
1
1
1
) (
1
1
1
1
1
1
lim
1
lim =

+ +
x
x
x
x x

1 1
1
) ( lim
1

=

+
e
e
e
x f
x

Se obtienen los mismos resultados si x .

1
=
e
e
y es una asntota horizontal por los dos lados.



b ax y + = , 0 a , es una asntota oblicua de la funcin f si

[ ] 0 ) ( ) ( lim = +
+
b ax x f
x
y/o [ ] 0 ) ( ) ( lim = +

b ax x f
x


21
Manuel Jos Fernndez, mjfg@uniovi.es

b a y se determinan de la siguiente manera:


x
x f
a
x
) (
lim
+
= ; [ ] x a x f b
x
. ) ( lim =
+


y/o lo mismo con lmite en el , pero en cualquiera de los casos R b a , , 0 a .

Una funcin puede tener una asntota horizontal y una oblicua pero no en el mismo lado .

Ejemplo:

x
x
e
x f

=
1
1
1
) ( no tiene asntotas oblicuas

Ejercicio.
Obtener las asntotas de la funcin
2
3
) 1 (
) (
+
=
x
x
x f

Infinitsimos e infinitos.

Se dice que la funcin f es un infinitsimo en el punto R c si 0 ) ( lim =

x f
c x

Se dice que la funcin f es un infinito en el punto R c si + =

) ( lim x f
c x


Las definiciones anteriores y las que siguen se pueden extender al caso + = c , = c


Dadas dos funciones f y g infinitsimos en el punto c se dice que f es de orden superior
a g si 0
) (
) (
lim =

x g
x f
c x
y se dice que f es de orden inferior a g si + =

) (
) (
lim
x g
x f
c x


Ejemplos:

2
) ( x x f = es de orden superior a x x g = ) ( en 0 = c
1 ) ( = x x f es de orden inferior a
2
) 1 ( 2 ) ( = x x g en 1 = c

En el caso de que
) (
) (
lim
x g
x f
c x
sea un nmero real distinto de cero las dos funciones son
infinitsimos del mismo orden en el punto c .

Ejemplo:
) cos( 2 x x es un infinitsimo del mismo orden que x cuando 0 x .


Dadas dos funciones f y g infinitsimos en el punto c se dice que f y g son
equivalentes, cuando c x , y se denota g f si 1
) (
) (
lim =

x g
x f
c x
.
22
Manuel Jos Fernndez, mjfg@uniovi.es

Ejemplo:
) cos(x x es un infinitsimo equivalente a x cuando 0 x .

Ejemplos de infinitsimos equivalentes.

) ( ) ( x arcsen x x sen si 0 x
) ( ) ( x arctg x x tg si 0 x

2
) cos( 1
2
x
x si 0 x
x x + ) 1 log( si 0 x ; 1 ) log( x x si 1 x
) log( . 1 a x a
x
0 > a si 0 x ; x e
x
1 si 0 x


Ejercicio:
Calcular, empleando infinitsimos equivalentes, los siguientes lmites:

1 2
) 1 log(
lim
0

x
x
x
;
) 1 log(
1
lim
2
0
x
x
x
sen
x
+

Dadas dos funciones f y g infinitos en el punto c se dice que f es de orden superior a g
si + =

) (
) (
lim
x g
x f
c x
y se dice que f es de orden inferior a g si 0
) (
) (
lim =

x g
x f
c x
.

Ejemplo:

2
1
) (
x
x f = es un infinito de orden superior a
x
x g
1
) ( = si 0 x

Jerarqua de infinitos.

Si + x
x p
e x x << << ) log( ( 0 > p , << significa orden inferior)


Ejercicio:

Calcular
x
x
e x
/ 1
0
. lim

Solucin:

0 0 . 0 . 0 . lim
/ 1
0
= = =

e e x
x
x
, = =
+

+
. 0 . 0 . lim
/ 1
0
e e x
x
x
indeterminacin

= =
+ +

x
e
e x
x
x
x
x
/ 1
lim . lim
/ 1
0
/ 1
0
+ =
+
t
e
t
t
lim , ya que si + =
x
t
1
t e
t
>>

Por tanto el lmite pedido no existe (por no coincidir los lmites laterales).

23
Manuel Jos Fernndez, mjfg@uniovi.es

1.4: Continuidad de funciones.

Funciones contnuas. Tipos de discontinuidades.

Sea R R D f : y R c . f es continua en c :

1) D c , es decir, f est definida en c .
2) R x f
c x


) ( lim
3) ) ( ) ( lim c f x f
c x
=

Si no se verifica alguna de estas condiciones se dice que f es discontinua en c .

Se dice que f presenta una discontinuidad evitable en el punto c si R x f
c x


) ( lim , pero
es distinto de ) (c f la funcin no est definida en c .

Ejemplos.

>
<
=
0 si
0 si 0
) (
2
x x
x
x f

=
>
<
=
0 si 2
0 si
0 si 0
) (
2
x
x x
x
x g


Se dice que f presenta una discontinuidad esencial en el punto c si no existe ) ( lim x f
c x

como nmero real. Es de salto finito si R x f
c x

) ( lim y R x f
c x

+

) ( lim pero son distintos.

Ejercicio.
Estudiar el tipo de discontinuidad en el punto 0 de la funcin
x
x
e
e
x f
/ 1
/ 1
1
) (
+
=
Solucin:
0
0 1
0
) ( lim
0
=
+
=

x f
x
;

) ( lim
0
x f
x
indeterminacin

1
1 0
1
1
1
1
lim ) ( lim
/ 1
0 0
=
+
=
+
=
+ +

x
x x
e
x f
es una discontinuidad esencial de salto finito.


Continuidad lateral.

Sea R R D f : y R c . f es continua por la derecha en c
1) D c , es decir, f est definida en c .
2) R x f
c x

+

) ( lim
3) ) ( ) ( lim c f x f
c x
=
+

24
Manuel Jos Fernndez, mjfg@uniovi.es

Anlogamente se define la continuidad por la izquierda en c . Se verifica que f es continua en
c f es continua por la derecha y por la izquierda en c .

Ejemplo:

x
x
e
e
x f
/ 1
/ 1
1
) (
+
= si 0 x y 0 ) 0 ( = f

es continua por la izquierda en 0 pero no por la derecha ( por lo visto en el ejercicio anterior).


f es continua en un intervalo abierto cuando es continua en todos los puntos de ese intervalo.

f es continua en un intervalo cerrado [ ] b a , : f es continua en todos los puntos del
abierto ( ) b a , , es continua por la derecha en a y es continua por la izquierda en b .

Continuidad de las funciones elementales.

La funcin potencial entera
n
x x f = ) ( , ,... 2 , 1 , 0 = n es continua en R .
Las funciones polinmicas son continuas en R .
Las funciones racionales son continuas en R excepto en los puntos que anulan al
denominador.
La funcin seno y la funcin coseno son continuas en R .
La funcin tangente es continua en su dominio.
La funcin exponencial es continua en R
La funcin logartmica es continua en su dominio.

Ejercicio.
Estudiar la continuidad de la funcin

= =

=
1 0 0
) 1 , 0 (
) 1 (
1
) (
x x
x
x x
x f

Propiedades de las funciones continuas.

* Si f y g son continuas en un punto c , entonces las funciones g f + , g f y fg
son tambin continuas en c . Si, adems, 0 ) ( c g entonces g f / es tambin continua en c .

* Si g es continua en c y f es continua en ) (c g entonces g f o es continua en c .

Ejercicio.
Estudiar la continuidad de la funcin
x
e x x f
/ 1
. ) ( = si 0 x y 0 ) 0 ( = f

Teorema de Bolzano.
Si f es continua en [ ] b a , y 0 ) ( ). ( < b f a f , es decir, f cambia de signo en los extremos
del intervalo, se verifica que existe, al menos, un punto ) , ( b a c tal que 0 ) ( = c f .


25
Manuel Jos Fernndez, mjfg@uniovi.es

Se dice que c es raz de la ecuacin 0 ) ( = x f : 0 ) ( = c f

Ejercicios.
* Se puede aplicar Bolzano a la funcin
x
x f
1
) ( = si ( ] 1 , 0 x , 1 ) 0 ( = f en el intervalo
[ ] 1 , 0 ?.
* Demostrar que la ecuacin 0 ) (
2
= x sen
x
tiene, al menos, una raz en el intervalo

,
2
.


Teorema de Darboux (del valor intermedio).

Sea f continua en [ ] b a , y " "d un nmero comprendido entre ) (a f y ) (b f . Entonces
existe, al menos, un punto ( ) b a c , tal que d c f = ) ( , es decir, f alcanza todos los valores
comprendidos entre ) (a f y ) (b f .

Teorema.

Si f es continua en [ ] b a , f est acotada en [ ] b a , , es decir,
[ ] b a x K f R K , (x) /
+
.

Teorema de Weierstrass.

Si f es continua en [ ] b a , , entonces f alcanza el mximo y el mnimo (absoluto) en dicho
intervalo, es decir, existen
1
x ,
2
x [ ] b , a tales que ) ( ) ( ) (
2 1
x f x f x f [ ] b a x , .

el mnimo sera ) (
1
x f y el mximo ) (
2
x f


1.5: Derivabilidad. Propiedades de las funciones derivables.

Derivada de una funcin en un punto: interpretacin geomtrica.

Se dice que una funcin R R D f : es derivable en un punto c perteneciente al
interior de D , si existe y es finito el lmite siguiente:

h
c f h c f
h
) ( ) (
lim
0
+

en cuyo caso, a dicho valor se le llama derivada de f en el punto c , y se denota por ) (c f .

Ntese que
h
c f h c f ) ( ) ( +
es la pendiente de la recta secante a la curva ) (x f y = que
pasa por los puntos ( ) ) ( , c f c y ( ) ) ( , h c f h c + + .
La derivada de f en c , si existe, es la pendiente de la recta tangente a la curva ) (x f y = en
el punto ( ) ) ( , c f c . La ecuacin de esta recta es: ) ( ) ( ) ( c x c f c f y = .

26
Manuel Jos Fernndez, mjfg@uniovi.es

Si 0 ) ( = c f , la tangente a la curva ) (x f y = en el punto ( ) ) ( , c f c es una recta horizontal.
Si + =
+

h
c f h c f
h
) ( ) (
lim
0
se dice que f tiene derivada infinita en c (aunque no es
derivable en c ).

Ejemplos:

2
) ( x x f = ; 0 lim lim
) 0 ( ) (
lim ) 0 (
0
2
0 0
= = =

=

h
h
h
h
f h f
f
h h h


La tangente a
2
x y = en el punto (0,0) es 0 = y


3
) ( x x f = ; = ) 0 ( f = = =

3 / 2
0
3
0 0
lim lim
) 0 ( ) (
lim h
h
h
h
f h f
h h h
+






Derivadas laterales

Si f est definida en un intervalo a la derecha de c , se dice que f es derivable por la
derecha en c si existe y es finito el lmite siguiente:

h
c f h c f
h
) ( ) (
lim
0
+
+

en cuyo caso, a dicho valor se le llama derivada por la derecha de f en el punto c , y se denota
por ). (
+
c f
Anlogamente, se define la derivada por la izquierda
=

) (c f
h
c f h c f
h
) ( ) (
lim
0
+

Se verifica que f es derivable en c f es derivable por la derecha y por la izquierda en
c y ambos valores coinciden.

Si en un punto c en el que f es continua se tienen derivadas laterales finitas y distintas, la
grfica de f presenta un pico en el punto c y se dice que ( ) ) ( , c f c es un punto anguloso.

Ejemplo:

x x f = ) ( no es derivable en el cero.
27
Manuel Jos Fernndez, mjfg@uniovi.es



1 lim
) 0 ( ) (
lim ) 0 (
0 0
= =

=
+ +

+
h
h
h
f h f
f
h h
; 1 lim
) 0 ( ) (
lim ) 0 (
0 0
=

h
h
h
f h f
f
h h



De forma similar se definen las derivadas laterales infinitas en caso de que los lmites laterales
correspondientes sean infinitos (tambin puede ocurrir que uno de los lmites laterales sea infinito
y el otro no).

Ejercicio:
Comprobar que la funcin x x f = ) ( tiene derivadas laterales infinitas en el cero.

Funcin derivada: ejemplos.

f es derivable en un subconjunto abierto de R si lo es en todos sus puntos.
Dada R R D f : , en los puntos en que f sea derivable tiene sentido hablar de la
funcin derivada R R D f

D D
x ) (x f

Ejemplos:
k x f = ) ( R x

0 lim
) ( ) (
lim ) (
0 0
=

=
+
=

h
k k
h
x f h x f
x f
h h
R x

x x f = ) ( R x

1 lim
) ( ) (
lim ) (
0 0
=
+
=
+
=

h
x h x
h
x f h x f
x f
h h
R x


2
) ( x x f = R x
( ) x x h
h
xh h
h
x h x
x f
h h h
2 2 lim
2
lim
) (
lim ) (
0
2
0
2 2
0
= + =
+
=
+
=

R x

x x f = ) ( 0 x

( ) x x h x h
x h x
h
x h x
x f
h h
2
1
lim lim ) (
0 0
=
+ +
+
=
+
=

0 > x

x x f = ) ( R x
1 ) ( = x f si 0 > x ; 1 ) ( = x f si 0 < x
28
Manuel Jos Fernndez, mjfg@uniovi.es

Derivabilidad y continuidad.

Si f es derivable en un punto c , entonces f es continua en dicho punto. El recproco no es
cierto en general. As, por ejemplo, la funcin x x f = ) ( es continua en 0 = c pero no es
derivable en dicho punto.

Nota:
Si f es derivable por la izquierda (resp. por la derecha) en c entonces f es continua por la
izquierda (resp. por la derecha) en dicho punto. Por tanto, si f es derivable por la izquierda y por
la derecha en c entonces f es continua en dicho punto.


Propiedades de la derivada.

1) Si f y g son derivables en un punto c , entonces g f + es derivable en c y adems:
) ( ) ( ) )( ( c g c f c g f + = +
2) Si f es derivable en un punto c y R , entonces f . es derivable en c y adems:
) ( . ) )( . ( c f c f =
3) Si f y g son derivables en c , entonces fg es derivable en c y adems:
) ( ) ( ) ( ) ( ) )( ( c g c f c g c f c fg + =

Utilizando la propiedad 3) se demuestra (por induccin) lo siguiente:
Si
n
x x f = ) ( ... , 3 , 2 , 1 = n
1
) (

=
n
nx x f R x

y como consecuencia de 1), 2) y el resultado anterior si


0 1
2
2
1
1
. . . ) ( a x a x a x a x a x P
n
n
n
n
+ + + + + =

N n
resulta que
1 2
2
1
1
2 . . . ) 1 ( ) ( a x a x a n x na x P
n
n
n
n
+ + + + =

R x

4) Si g es derivable en un punto c y 0 ) ( c g , entonces
g
1
es derivable en c y adems:

[ ]
2
) (
) (
) )( / 1 (
c g
c g
c g =
Por tanto:
Si
n
x x f = ) (
n
x

=
1
... , 3 , 2 , 1 = n
1
2
1
) (
) (

=
n
n
n
nx
x
nx
x f 0 x

5) Si f y g son derivables en c y 0 ) ( c g , entonces
g
f
es derivable en c y adems:

[ ]
2
) (
) ( ) ( ) ( ) (
) )( / (
c g
c g c f c g c f
c g f

=

Como consecuencia se deduce que las funciones racionales son derivables en todos los puntos de
su dominio, es decir, en todos aquellos puntos que no anulan al denominador.
29
Manuel Jos Fernndez, mjfg@uniovi.es

Derivadas de otras funciones.

* Si ) ( ) ( x sen x f = ) cos( ) ( x x f = R x

=
+
=
+
=

h
x sen h sen x h x sen
h
x sen h x sen
x f
h h
) ( ) ( ) cos( ) cos( ) (
lim
) ( ) (
lim ) (
0 0



( )
= +

=

h
h sen x
h
h x sen
h h
) ( ) cos(
lim
1 ) cos( ) (
lim
0 0
) cos(
2 /
lim ) (
2
0
x
h
h
x sen
h
+

) cos(x =


* Si ) ( log ) ( x x f
a
= 0 > a 1 a ) ( log
1
) ( e
x
x f
a
= 0 > x

Si e a = se obtiene la derivada del logaritmo neperiano
* ) log( ) ( x x f =
x
x f
1
) ( = 0 > x


Derivada de funciones compuestas. Regla de la cadena.

Si g es derivable en c y f es derivable en ) (c g se verifica que g f o es derivable en c y

( ) ) ( . ) ( ) )( ( c g c g f c g f = o


Otras derivadas.

* Si

= = x sen x x f
2
) cos( ) (

= ) (x f

x
2
cos

. ( ) 1 = ) (x sen R x
* Si
) cos(
) (
) ( ) (
x
x sen
x tg x f = = ) ( sec
) ( cos
1
) ( cos
) ( ) ( cos
) (
2
2 2
2 2
x
x x
x sen x
x f = =
+
= =

) ( 1
2
x tg + =

Z k k R x ,
2
) 1 2 (



* Si
x
a x f = ) ( 0 > a ) log( . ) ( log a x x f = y aplicando la regla de la cadena
) log( ) (
) (
1
a x f
x f
= ) log( . ) ( a a x f
x
= R x

* Si
x
e x f = ) (
x x
e e e x f = = ) log( . ) ( R x

Ejercicio:
Obtener la funcin derivada de las siguientes funciones:

30
Manuel Jos Fernndez, mjfg@uniovi.es

a)
3
) 1 ( ) ( x tg x f + =
b)
x
e x f

= ) (
c) ) / 1 ( . ) (
2
x sen x x f = si 0 x ; 0 ) 0 ( = f
d) 1 ) ( =
x
e x f si 0 x ;
3
) ( x x f = si 0 < x
e)
) 1 log(
) 1 ( ) (
x
x x f
+
+ =

Derivada de la funcin inversa.
Sea f una funcin inyectiva y
1
f su funcin inversa. Si f es derivable en el punto ) (
1
c f


con derivada distinta de cero, se verifica que
1
f es derivable en el punto c y adems:

)) ( (
1
) )( (
1
1
c f f
c f

=

Otras derivadas.

* Si ) ( ) ( x arcsen x g = , entonces
)) ( (
1
) (
x g f
x g = siendo ) ( ) ( x sen x f = . Por tanto


2 2
1
1
)) ( ( 1
1
)) ( cos(
1
) (
x x g sen
x g
x g

=
+
= = ) 1 , 1 ( x

Recurdese que [ ] 1 , 1 : g

2
,
2



* Si ) arccos( ) ( x x g = , entonces
)) ( (
1
) (
x g f
x g = siendo ) cos( ) ( x x f = . Por tanto


2 2
1
1
)) ( ( cos 1
1
)) ( ( sen
1
) (
x x g
x g
x g

= ) 1 , 1 ( x

Recurdese que [ ] 1 , 1 : g [ ] , 0


* Si ) ( ) ( x arctg x g = , entonces
)) ( (
1
) (
x g f
x g = siendo ) ( ) ( x tg x f = . Por tanto

2 2
1
1
)) ( ( 1
1
) (
x x g tg
x g
+
=
+
= R x

Recurdese que R g :

2
,
2



* Si
n n
x x x g
/ 1
) ( = = , entonces
)) ( (
1
) (
x g f
x g = siendo
n
x x f = ) ( . Por tanto
31
Manuel Jos Fernndez, mjfg@uniovi.es


( )
1
) (
1
) (

=
n
x g n
x g =
( )
1
/ 1
1
n
n
x n
= ( )
n
n
x
n
1
/ 1
1
=
1
1
1

n
x
n
=
n n
x n
1
1

0 x si n es impar ; 0 > x si n es par


Teorema de Rolle.
Si f es continua en [ ] b a , , derivable en ( ) b a , y ) ( ) ( b f a f = , se verifica que existe, al
menos, un punto c ( ) b a , tal que 0 ) ( = c f , es decir, la tangente a la curva ) (x f y = en
el punto ( ) ) ( , c f c es paralela al eje de abscisas.

Como consecuencia de este teorema se deduce que si f es derivable en R y 0 ) ( x f
R x entonces la ecuacin 0 ) ( = x f tiene, a lo sumo, una raz real. Anlogamente en un
intervalo ( ) b a , .

Ejercicios:
1) Encontrar una funcin f definida en [ ] 1 , 1 que no satisfaga alguna de las hiptesis del
teorema de Rolle, y sin embargo verifique 0 ) ( = c f para algn ( ) 1 , 1 c .
2) Se puede aplicar el teorema de Rolle a la funcin x x f = ) ( en [ ] 1 , 1 ?

Como consecuencia de los teoremas de Bolzano y de Rolle se deduce:

Si f es continua en [ ] b , a , 0 ) ( ). ( < b f a f , f derivable en ( ) b , a y 0 ) ( x f
( ) b a x , , se verifica que existe un nico punto ( ) b a c , tal que 0 ) ( = c f , es decir, en
el intervalo ( ) b a , la ecuacin 0 ) ( = x f tiene una y solo una raz.

Ejemplo:
La ecuacin ) (
2
x sen
x
0 = tiene una nica raz en el intervalo

,
2
ya que la funcin
= ) (x f ) (
2
x sen
x
verifica ser continua en

,
2
, derivable en

,
2
, ( ) 0 .
2
<

f f
y 0 ) cos(
2
1
) ( = x x f x

,
2
puesto que
2
1
) cos( = x si
3

= x ,
3
5
, ...

Ejercicio:
Demostrar que la ecuacin 1 3 ) ( + x x sen tiene una nica raz real y encontrar un intervalo
de longitud menor que dos que la contenga.

Teorema del valor medio de Lagrange.

Si f es continua en [ ] b a , y derivable en ( ) b a , entonces existe, al menos, un punto
( ) b a c , tal que
a b
a f b f
c f

=
) ( ) (
) (

32
Manuel Jos Fernndez, mjfg@uniovi.es

Interpretacin geomtrica.

a b
a f b f

) ( ) (
es la pendiente de la recta r que pasa por los puntos ( ) ) ( , a f a y ( ) ) ( , b f b .
Por tanto el teorema del valor medio afirma que existe al menos un punto ( ) b a c , tal que las
tangente a la curva ) (x f y = en el punto ( ) ) ( , c f c es paralela a r .

Ejercicios.
1) Sea [ ) , 0 : f R dada por
2
3
) (
2
x
x f

= si 1 0 x ;
x
x f
1
) ( = si 1 > x
Estudiar si existe ( ) 2 , 0 c tal que
2
) 0 ( ) 2 (
) (
f f
c f

= . En caso afirmativo calcular tal o
tales valores de c .
2) Demostrar que x x
x
x
< + <
+
) 1 log(
1
si 0 > x

Soluciones:
1)
f es continua en [ ] 2 , 0 - { } 1 ya que en este dominio f viene dada mediante funciones
racionales y el denominador no se anula. Veamos que pasa en 1 = x

1
2
3
lim ) ( lim
2
1 1
=

=


x
x f
x x
; 1
1
lim ) ( lim
1 1
= =
+ +

x
x f
x x
; 1
2
1 3
) 1 ( =

= f

Por tanto f es continua en 1 = x y en consecuencia lo es en [ ] 2 , 0 .

f es derivable en [ ] 2 , 0 - { } 1 . Veamos que pasa en 1 = x .

h
h
h
f h f
f
h h
1
2
) 1 ( 3
lim
) 1 ( ) 1 (
lim ) 1 (
2
0 0

+
=
+
=

1
2
2
lim
2
0
=

=

h
h h
h


1
) 1 (
lim
1
1
1
lim
) 1 ( ) 1 (
lim ) 1 (
0 0 0
=
+

+
=
+
=
+ + +

+
h h
h
h
h
h
f h f
f
h h h


Por tanto f es derivable en 1 y 1 ) 1 ( = f

x x f = ) ( si 1 0 < < x ;
2
1
) (
x
x f = si 1 > x ; 1 ) 1 ( = f
Por el teorema del valor medio ( ) 2 , 0 c tal que
2
1
2
2
3
2
1
2
) 0 ( ) 2 (
) ( =

=
f f
c f

2 / 1 ) ( = = c c f 2 / 1 = c ;
2
1 1
) (
2
=

=
c
c f 2 = c
33

Manuel Jos Fernndez, mjfg@uniovi.es

2)
Sea ) 1 log( ) ( x x f + = continua en [ ] x , 0 y derivable en ( ) x , 0 ; por tanto ( ) x c , 0

tal que
0
) 0 ( ) (
) (

=
x
f x f
c f , es decir,
x
x
c
) 1 log(
1
1 +
=
+


x c < < 0 x c + < + < 1 1 1 1
1
1
1
1
<
+
<
+ c x


As pues 1
) 1 log(
1
1
<
+
<
+ x
x
x
y como 0 > x se verifica x x
x
x
< + <
+
) 1 log(
1



Regla de LHopital.

Nos permite el clculo de lmites con indeterminaciones del tipo

,
0
0
, . 0 , ,

1 ,
0
,
0
0 . Lo vamos a enunciar para los dos primeros casos ya que los dems se pueden expresar
de alguna de esas dos maneras.

1) Sean f y g dos funciones derivables en un entorno reducido de un punto R c .
Si 0 ) ( lim ) ( lim = =

x g x f
c x c x
y existe
) (
) (
lim
x g
x f
c x
, entonces tambin existe
) (
) (
lim
x g
x f
c x
y
adems
) (
) (
lim
x g
x f
c x
=
) (
) (
lim
x g
x f
c x
.

2) Sean f y g dos funciones derivables en un entorno reducido de un punto R c .
Si + = =

) ( lim ) ( lim x g x f
c x c x
y existe
) (
) (
lim
x g
x f
c x
, entonces tambin existe
) (
) (
lim
x g
x f
c x

y adems
) (
) (
lim
x g
x f
c x
=
) (
) (
lim
x g
x f
c x
.

En ambos casos el resultado es igualmente valido si + = c = c . Si en la expresin
) (
) (
lim
x g
x f
c x
se vuelve a presentar una indeterminacin del tipo

,
0
0
se puede volver a aplicar
la regla de LHopital.


Ejercicios.
1)

) log(
1
1
lim
1
x x
x
x
; 2)
x
x
x
0
lim

; 3)
) (
) (
lim
0
x sen x
x x tg
x

34
Manuel Jos Fernndez, mjfg@uniovi.es

1.6: Polinomio de Taylor.

Derivadas sucesivas.
Dada R R D f : , en los puntos en que f sea derivable tiene sentido hablar de la
funcin derivada R R D f
1
:
1
D D
x ) (x f

Si c es un punto interior del dominio de ' f , se dice que f es derivable en c si existe y es
finito el lmite siguiente:
h
c f h c f
h
) ( ) (
lim
0
+

en cuyo caso, a dicho valor se le llama derivada segunda de f en el punto c , y se denota por
) (c f .
En los puntos en que f sea derivable tiene sentido hablar de la funcin derivada segunda de f :
R R D f
2
:
x ) (x f
2
D
1
D

De modo anlogo se definen las derivadas tercera f , cuarta
4 (
f , . . . , y en general la
derivada n-sima
n
f
(
.

Si ) (x f y = en la notacin de Leibniz :

dx
dy
x f y = = ) ( ;
2
2
) (
dx
y d
x f y = = ; . . .
n
n
n n
dx
y d
x f y = = ) (
( (


Definicin.
Se dice que f es de clase n en ) , ( b a y escribiremos f C
n
) , ( b a si f es derivable
hasta el orden n en todo punto de ) , ( b a de modo que
n
f
(
es continua en ) , ( b a .
Se dice que f es de clase infinito en ) , ( b a y escribiremos f C

) , ( b a si f es
derivable de cualquier orden en todos los puntos de ) , ( b a . As, por ejemplo, las funciones
polinmicas, exponenciales, seno y coseno son de clase infinito en R .

Ejercicio.
Obtener la funcin derivada segunda de la funcin siguiente:
= ) (x f

0 si 0
0 si ) / 1 (
2
x
x x sen x

Es f de clase uno en ) 1 , 1 ( ?

Polinomios de Taylor. Frmula de Taylor con resto.
Los polinomios de Taylor aproximan a una funcin en un entorno de un punto, de tal manera
que coinciden con la funcin y con algunas de sus derivadas en dicho punto.
Sea f C
1 + n
) , ( b a y sea b a x , (
0
). Entonces, para cada ) , ( b a x
0
x x , existe un
punto c comprendido entre x y
0
x tal que:
1
0
1 (
0
0
(
2
0
0
0
0
0
) (
)! 1 (
) (
) (
!
) (
... ) (
! 2
) (
) (
! 1
) (
) ( ) (
+
+

+
+ + + + + =
n
n
n
n
x x
n
c f
x x
n
x f
x x
x f
x x
x f
x f x f
35
Manuel Jos Fernndez, mjfg@uniovi.es

Definicin.
Al polinomio = ) (x P
n
n
x x
n
x f
x x
x f
x x
x f
x f ) (
!
) (
... ) (
! 2
) (
) (
! 1
) (
) (
0
0
(
2
0
0
0
0
0
+ + + +
se le llama polinomio de Taylor de orden n asociado a la funcin f en el punto
0
x , y se denota
por ) )( , (
0
x x f T
n
o simplemente ). (x T
n


Se verifica : ) ( ) (
0 0
x f x P = , ) ( ) (
0 0
x f x P = , ) ( ) (
0 0
x f x P = , . . . , ) ( ) (
0
(
0
(
x f x P
n n
=

Definicin.
El trmino
1
0
1 (
) (
)! 1 (
) (
+
+

+
n
n
x x
n
c f
se llama resto (en la forma de lagrange) de orden n de f en
el punto
0
x y se denota ). )( , (
0
x x f R
n
Por tanto se verifica:

) )( , ( - ) ( ) )( , (
0 0
x x f T x f x x f R
n n
=
que nos mide el error cometido al tomar como valor de la funcin en un punto el valor del
polinomio en dicho punto.

Formula de Mac-Laurin.
Es la frmula de Taylor desarrollada en el punto 0
0
= x , es decir,

1
1 ( (
2
)! 1 (
) (
!
) 0 (
...
! 2
) 0 (
! 1
) 0 (
) 0 ( ) (
+
+
+
+ + + + + =
n
n
n
n
x
n
c f
x
n
f
x
f
x
f
f x f , ) , 0 ( x c ) 0 , (x c

Ejercicio.
Sea 1 ) ( + = x x f
a) Hallar el polinomio de Taylor de orden 4 asociado a f en el punto 0
0
= x .
b) Calcular un valor aproximado de 02 . 1 utilizando un polinomio de Taylor de segundo
grado y dar una cota del error cometido.

Solucin.
a) = ) )( 0 , (
4
x f T + + +
2
! 2
) 0 (
! 1
) 0 (
) 0 ( x
f
x
f
f
4
4 (
3
! 4
) 0 (
! 3
) 0 (
x
f
x
f
+

2 / 1
) 1 (
2
1
) (

+ = x x f 2 / 1 ) 0 ( = f ;
2 / 3
) 1 (
4
1
- (x)

+ = x f -1/4 (0) = f

2 / 5
) 1 (
8
3
) (

+ = x x f 3/8 (0) = f ;
2 / 7 4 (
) 1 (
16
15
) (

+ = x x f 16 / 15 ) 0 (
4 (
= f
= ) )( 0 , (
4
x f T
4 3 2
128
5
16
1
8
1
2
1
1 x x x x + +
b)
= ) )( 0 , (
2
x f T
2
8
1
2
1
1 x x +
00995 . 1 ) 02 . 0 (
8
1
02 . 0
2
1
1 ) 02 . 0 )( 0 , ( ) 02 . 0 ( 02 . 0 1 02 . 1
2
2
= + = = + = f T f
= = ) 02 . 0 )( 0 , ( ) 02 . 0 ( ) 02 . 0 )( 0 , (
2 2
f T f f R 02 . 1 00995 . 1
36

Manuel Jos Fernndez, mjfg@uniovi.es

= =
3
2
) 02 . 0 (
3!
(c)
) 02 . 0 )( 0 , (
f
f R
3 2 / 5 3
2 / 5
) 02 . 0 ( ) 1 (
16
1
) 02 . 0 (
2 3
) 1 (
8
3

+ =
+
c
x
c


02 . 0 0 < < c 02 . 1 1 1 < + < c 1 ) 1 (
2 / 5
> + c 1 ) 1 (
2 / 5
< +

c

Por tanto ) 02 . 0 )( 0 , (
2
f R =
3 3 2 / 5
) 02 . 0 (
16
1
) 02 . 0 ( ) 1 (
16
1
< +

c
7
10 5

= x

Ejercicio.
Obtener la expresin general del desarrollo de Mac-Laurin de la funcin ) 1 log( ) ( + = x x f y
utilizarlo para demostrar que 6 / 5 ) 2 log( < .

Solucin.


1
1 ( (
2
)! 1 (
) (
!
) 0 (
...
! 2
) 0 (
! 1
) 0 (
) 0 ( ) (
+
+
+
+ + + + + =
n
n
n
n
x
n
c f
x
n
f
x
f
x
f
f x f , ) , 0 ( x c ) 0 , (x c


1
1
) (
+
=
x
x f 1 ) 0 ( = f ;
2
) 1 (
1
) (
+
=
x
x f 1 ) 0 ( = f

3
) 1 (
2
) (
+
=
x
x f 2 ) 0 ( = f ;
4
4 (
) 1 (
6
) (
+
=
x
x f 6 ) 0 (
4 (
= f


n
n
n
x
n
x f
) 1 (
)! 1 ( ) 1 (
) (
1
(
+

=

; )! 1 ( ) 1 ( ) 0 (
1 (
=

n f
n n
;
n n
f
n
n
1
) 1 (
!
) 0 (
1
(

=


1
1 (
) 1 (
! ) 1 (
) (
+
+
+

=
n
n
n
c
n
c f ;
1
1 (
) 1 )( 1 (
) 1 (
)! 1 (
) (
+
+
+ +

=
+
n
n n
c n n
c f


1
1
1 4 3 2
) 1 )( 1 (
) 1 ( 1
) 1 ( . . .
4
1
3
1
2
1
) 1 log(
+
+

+ +

+ + + + = +
n
n
n
n n
x
c n
x
n
x x x x x , ) , 0 ( x c


1
1
) 1 )( 1 (
) 1 ( 1
) 1 ( ...
4
1
3
1
2
1
1 ) 2 log(
+

+ +

+ + + + =
n
n
n
c n n
, ) 1 , 0 ( c



3
1
2
1
1
6
5
+ = . Por tanto, si 3 = n ,
4
3
) 1 ( 4
) 1 (
6
5
) 2 log(
+

+ =
c
4
) 1 ( 4
1
6
5
+
=
c


0
) 1 ( 4
1
4
>
+ c

6
5
) 2 log( <


37
Manuel Jos Fernndez, mjfg@uniovi.es


Ejercicio.
Utilizar un desarrollo de Mac-Laurin adecuado para calcular ) 1 cos( con un error menor que
2
10

Solucin.

) cos( ) ( x x f = 1 ) 0 ( = f ; ) ( ) ( x sen x f = 0 ) 0 ( = f
) cos( ) ( x x f = 1 ) 0 ( = f ; ) ( ) ( x sen x f = 0 ) 0 ( = f
) cos( ) (
4 (
x x f = 1 ) 0 (
4 (
= f ; ) ( ) (
5 (
x sen x f = 0 ) 0 (
5 (
= f

Resulta : ) cos( ) 1 ( ) (
2 (
x x f
n n
= ,
n n
f ) 1 ( ) 0 (
2 (
=

) ( ) 1 ( ) (
1 1 2 (
x sen x f
n n + +
=


n
n
n
x
n
f
x
f
x
f
f x f T
2
2 (
2
2
)! 2 (
) 0 (
...
! 2
) 0 (
! 1
) 0 (
) 0 ( ) )( 0 , ( + + + + = =
=
n
n
x
n
x x
2
4 2
)! 2 (
) 1 (
...
! 4 ! 2
1

+ +


1 2
1 2 (
2
)! 1 2 (
) (
) )( 0 , (
+
+
+
=
n
n
n
x
n
c f
x f R =
1 2
1
)! 1 2 (
) ( ) 1 (
+
+
+

n
n
x
n
c sen
, ) , 0 ( x c ) 0 , (x c

+

+ + =
n
n
x
n
x x
x
2
4 2
)! 2 (
) 1 (
...
! 4 ! 2
1 ) cos(
1 2
1
)! 1 2 (
) ( ) 1 (
+
+
+

n
n
x
n
c sen
, ) , 0 ( x c ) 0 , (x c



)! 1 2 (
) ( ) 1 (
)! 2 (
) 1 (
...
! 4
1
! 2
1
1 ) 1 cos(
1
+

+ + =
+
n
c sen
n
n n
, ) 1 , 0 ( c


2 10
)! 1 2 (
1
)! 1 2 (
) (
)! 1 2 (
) ( ) 1 (
2
1
<
+
<
+
=
+

+
n
n n
c sen
n
c sen
n


Si 2 = n , 4 2 = n y por tanto
24
13
24
1
2
1
1
! 4
1
! 2
1
1 ) 1 cos( = + = +



24
13
) 1 cos( con un error menor que
2
10

38
Manuel Jos Fernndez, mjfg@uniovi.es

1.7: Optimizacin

Aplicaciones de la derivada. Estudio local de una funcin: Criterios de crecimiento y
decrecimiento.

Teorema.
Sea f derivable en un intervalo abierto I ( unin de intervalos abiertos).
a) f es creciente en I 0 ) ( x f I x
b) f es decreciente en I 0 ) ( x f I x
c) Si 0 ) ( > x f I x f es estrictamente creciente en . I
d) Si 0 ) ( < x f I x f es estrictamente decreciente en . I
e) Si 0 ) ( = x f I x f es constante en . I

Los recprocos de c) y d) no son ciertos en general. As, por ejemplo, la funcin
3
) ( x x f = es
estrictamente creciente en ) 1 , 1 ( y sin embargo . 0 ) 0 ( = f
Si dos funciones definidas en un intervalo abierto tienen la misma derivada, su diferencia es una
constante.

Mximos y mnimos locales
Sea R R D f : y sea D x
0


Definicin.
La funcin f presenta un mximo local (o relativo) en el punto :
0
x 0 > /
) ( ) (
0
x f x f ) , (
0 0
+ x x x D .

Definicin.
La funcin f presenta un mnimo local (o relativo) en el punto :
0
x 0 > /
) ( ) (
0
x f x f ) , (
0 0
+ x x x D .

Los mximos y mnimos relativos se llaman extremos relativos o locales.

Definicin.
La funcin f alcanza el mximo absoluto en el punto :
0
x ) ( ) (
0
x f x f x D.

Definicin.
La funcin f alcanza el mnimo absoluto en el punto :
0
x ) ( ) (
0
x f x f x D.

Al mximo y mnimo absoluto se les llama extremos absolutos. Lgicamente todo extremo
absoluto tambin es relativo.

Condicin necesaria de extremo.
Sea f definida en un abierto . I Si f presenta un mximo o un mnimo relativo en un punto
I x
0
, entonces 0 ) (
0
= x f ) (
0
x f no existe.

Definicin.
A los puntos I x
0
tales que 0 ) (
0
= x f ) (
0
x f no existe se les llama puntos crticos.
39
Manuel Jos Fernndez, mjfg@uniovi.es


Criterio de la derivada primera (Condicin suficiente de extremo).
Sea
0
x un punto crtico de f y supongamos que f es continua en
0
x . Si existe 0 > tal que
0 ) ( > x f ) , (
0 0
x x x y 0 ) ( < x f ) , (
0 0
+ x x x , entonces f tiene un
mximo relativo en
0
x (la funcin pasa de creciente a decreciente). Si ambas desigualdades se
invierten, entonces f tiene un mnimo relativo en
0
x (la funcin pasa de decreciente a creciente).

Ejercicio.
Determinar los intervalos de crecimiento y decrecimiento y los extremos relativos y absolutos
de la funcin 1 ) (
2
= x x f .
Solucin.


[ ]

=
1 , 1 si 1

1 1 si 1
) (
2
2
x x
x x x
x f
. 1 en y 1 en
derivable es no que comprueba Se
= = x x

< >
=
) 1 , 1 ( si 2
1 1 si 2
) (
x x
x x x
x f 0 0 ) ( = = x x f

puntos crticos: 1 , 0 , 1
intervalos de monotona: ( ) 1 , , ( ) 0 , 1 , ( ) 1 , 0 , ( ) , 1

0 ) ( > x f ) , 1 ( ) 0 , 1 ( x f es estrictamente creciente en
) , 1 ( ) 0 , 1 ( .
0 ) ( < x f ) 1 , 0 ( ) 1 , ( x f es estrictamente decreciente en ) 1 , 0 ( ) 1 , ( .

En 1 = x mnimo local ; 0 ) 1 ( = f mnimo local y absoluto.
En 0 = x mximo local; 1 ) 0 ( = f mximo local
En 1 = x mnimo local ; 0 ) 1 ( = f mnimo local y absoluto.





[ ) = , 0 Im f
f no est acotada superiormente en R y por tanto no existe ) ( max x f
R x
, es decir, no existe el
mximo absoluto.
40
Manuel Jos Fernndez, mjfg@uniovi.es

Criterio de la derivada ensima.
Sea f C
n
) , ( b a y ) , (
0
b a x / 0 ) ( ... ) ( ) (
0
1 (
0 0
= = = =

x f x f x f
n
,
0 ) (
0
(
x f
n
. Entonces, si n es par, f tiene un mnimo relativo en
0
x si 0 ) (
0
(
> x f
n
y un
mximo relativo si 0 ) (
0
(
< x f
n
. Si n es impar, f no tiene extremo en
0
x .

Corolario (Criterio de la derivada segunda).
Sea f C
2
) , ( b a y ) , (
0
b a x / 0 ) (
0
= x f y 0 ) (
0
x f . Si 0 ) (
0
> x f , f
tiene un mnimo relativo en
0
x . Si 0 ) (
0
< x f , f tiene un mximo relativo en
0
x .

Ejercicio.
Determinar los extremos relativos de la funcin ) 1 .( ) 3 ( ) (
4
= x x x f
Solucin.
0 ) 7 5 ( ) 3 ( ) 3 ( ) 1 ( ) 3 ( 4 ) (
3 4 3
= = + = x x x x x x f 3 = x , 5 / 7 = x

) 36 20 ( ) 3 ( ) 3 ( 5 ) 7 5 ( ) 3 ( 3 ) (
2 3 2
= + = x x x x x x f

0 ) 3 ( = f ; 0 ) 5 / 7 ( < f ) 5 / 7 ( f mximo relativo

) 132 60 )( 3 ( ) 3 ( 20 ) 36 20 )( 3 ( 2 ) (
2
= + = x x x x x x f ; 0 ) 3 ( = f

312 120 ) 3 ( 60 132 60 ) (
4 (
= + = x x x x f

0 ) 3 (
4 (
> f 0 ) 3 ( = f mnimo relativo.


Clculo de extremos en intervalos cerrados: mx. y mn. en los puntos frontera.
Si el dominio es un intervalo cerrado [ ] b a , entonces la continuidad de la funcin garantiza la
existencia tanto del mximo absoluto como del mnimo absoluto. En este caso se consideran:
a) los puntos en los que f no es derivable.
b) Los puntos ) , (
0
b a x tales que 0 ) (
0
= x f .
c) Los puntos frontera, es decir, a y b .

Para funciones definidas sobre un conjunto abierto de R los puntos crticos son aquellos para los
que la derivada es cero o no existe. Para funciones definidas sobre un conjunto cerrado los puntos
frontera se llaman tambin puntos crticos.

Ejercicio.
Hallar los extremos absolutos y relativos de la funcin 7 3 ) (
2 3
+ = x x x f si [ ] 5 , 0 x .
Solucin.
= = = 0 ) 2 ( 3 6 3 ) (
2
x x x x x f 0 = x , 2 = x
Los puntos crticos son: 0 , 2 y 5.
7 ) 0 ( = f ; 3 ) 2 ( = f ; 57 ) 5 ( = f

Por tanto,
[ ]
57 ) ( max
5 0
=

x f
x
,
[ ]
3 ) ( min
5 , 0
=

x f
x
; 7 ) 0 ( = f mximo relativo en la frontera.

41
Manuel Jos Fernndez, mjfg@uniovi.es

Ejercicio.
Hallar las dimensiones del rectngulo de rea mxima que tiene un lado sobre el eje X y est
inscrito en el triangulo determinado por las rectas 0 = y , x y = , x y 2 4 = .


Concavidad y puntos de inflexin.
La funcin f es cncava hacia arriba en un intervalo I si para todo I b a , , el segmento
que une ( ) ) ( , a f a con ( ) ) ( , b f b queda por encima de la grfica de f correspondiente al
intervalo [ ] b a , . Por ejemplo,
2
) ( x x f = es cncava hacia arriba en R .
La funcin f es cncava hacia abajo en un intervalo I si para todo I b a , , el segmento
que une ( ) ) ( , a f a con ( ) ) ( , b f b queda por debajo de la grfica de f correspondiente al
intervalo [ ] b a , .Por ejemplo,
3
) ( x x f = es cncava hacia abajo en ( ) 0 , y cncava hacia
arriba en ( ) , 0 .

Teorema.
Si f tiene derivada segunda en I y 0 ) ( > x f I x f es cncava hacia arriba en . I
Si f tiene derivada segunda en I y 0 ) ( < x f I x f es cncava hacia abajo en . I

Definicin.
Sea f Dom x
0
; se dice que el punto ( ) ) ( ,
0 0
x f x es un punto de inflexin : 0 > tal
que f es cncava en un sentido en ( )
0 0
, x x y cncava en el sentido opuesto en
( ) +
0 0
, x x .

Teorema.
Se verifica que si f tiene un punto de inflexin en
0
x entonces 0 ) (
0
= x f no existe
). (
0
x f

Teorema.
Sea f C
n
) , ( b a y ) , (
0
b a x / 0 ) ( ... ) ( ) (
0
1 (
0 0
= = = =

x f x f x f
n
y
0 ) (
0
(
x f
n
. Entonces si n es impar, f tiene en
0
x un punto de inflexin.

Ejercicio.
Determinar los extremos relativos y los puntos de inflexin de la funcin ). 1 ( ) (
3
= x x x f













42