Está en la página 1de 60

Lmite finito

Definicin
Intervalo cerrado
Un segmento en el eje numrico con extremos a y b, con a < b, se denomina intervalo. Si los puntos extremos, a y b, estn incluidos en el intervalo, se dice que el intervalo es cerrado, y se denota por [a,b]. [a,b] ! x perteneciente a R " a < x< b#

$l intervalo cerrado [a,b] consiste de los puntos x para los cuales a < x< b.

Definicin
Intervalo abierto
Si los puntos extremos se excluyen, el intervalo se llama abierto, y se denota por %a,b&. %a,b& ! x perteneciente a R " a < x < b #

$l intervalo abierto %a,b& consiste de aquellos puntos x para los cuales a < x < b.

Definicin
Entorno del punto a de radio
$s el intervalo abierto %a ' (,a ) (&, esto es, consiste de los valores x para los cuales a ' ( < x < a ) (. $a,( ! x perteneciente a R " *x ' a* < ( #

Son los puntos x cuya distancia al punto a es menor que (.

Definicin
Entorno reducido de a de radio
+o incluye al punto a. $,a,( ! x perteneciente a R " - < *x ' a* < ( #

Son los puntos x cuya distancia al punto a es menor que ( pero mayor que -, es decir, no se incluye a a.

El concepto de Lmite
.onsideremos la /unci0n /%x& x1. 2bservemos los valores de /%x& para x cercanos a 3.
x 1,7 1,4 1,4; 1,44 f(x) 8,79 7,9: 7,8-1; 7,49-:

.uando x se aproxima a 3, los valores de /%x& se acercan a 4. Se dice que /%x& tiende a 4 cuando x tiende a 3.

1,444 7,449--: 3,--: 4,--<--: 3,-: 3,-; 3,: 3,1 4,-<-: 4,3-1; 4,<: :-,19

$n general, una /unci0n /%x& tiende a un l5mite b cuando x tiende a a, si /%x& di/iere arbitrariamente poco de b para todo x situado su/icientemente cerca de a. $n s5mbolos, limx'6a/%x& b.

$nseguida se expresa ms precisamente la de/inici0n de l5mite.

Definicin
Lmite finito de una funcin
limx'6a /%x& b < 6 para todo =6- existe (6- " para todo x, - < *x'a* < ( */%x& ' b* < =. 2tra notaci0n> limx'6a /%x& b < 6 para todo $b,= existe un $,a,( " para todo x perteneciente al $,a,( /%x& pertenece a $b,=. Se dice que la /unci0n /%x& tiene l5mite b, cuando x tiende a a, si dado = positivo arbitrario y tan peque?o como se quiera, existe un ( tal que para todo x perteneciente al entorno reducido de a de radio (, la /unci0n pertenece al entorno de b de radio =. @icAo de otro modo, para cualquier nBmero positivo =, por peque?o que sea, podemos encontrar un ( tal que para todos los x dentro del entorno reducido de a de radio ( se cumple que /%x& est dentro del entorno de b de radio =.

limx'6a/%x& b signi/ica que por ms peque?o que sea el entorno considerado alrededor de b, va a ser posible encontrar un entorno de a, para cuyos valores x %x C a&, la /unci0n / da como resultado valores que estn dentro del entorno de b considerado. $n otras palabras, la /unci0n /%x& tiene l5mite b, cuando x tiende a a, si el valor de la /unci0n /%x& se Aace arbitrariamente pr0ximo al valor b cuando x se aproxima al valor a.

Teoremas sobre lmites


Teorema
Unicidad del lmite de una funcin

Si una /unci0n tiene l5mite es Bnico.

D& $xiste limx'6a/%x& b E& b es Bnico

Demostracin Fa demostraci0n se Aace por reducci0n al absurdo. Suponemos que /%x& tiene dos l5mites distintos b y c, cuando x tiende a a. Suponemos que b 6 c. limx'6a/%x& b 6 %por de/. de l5mite& para todo $b,= existe un $,a,(: " para todo x

perteneciente al $,a,(: /%x& pertenece al $b,=. limx'6a/%x& c 6 %por de/. de l5mite& para todo $c,= existe un $,a,(1 " para todo x

perteneciente al $,a,(1 /%x& pertenece al $c,=. .onsideremos un = tal que $b,= $c,= G.

Hueremos que c)= < b'= Sea ( min !(:,(1#

6 = < %b ' c&"1

Iara todo x perteneciente al $,a,( se cumple /%x& pertenece a $b,= /%x& pertenece a $c,=

Jbsurdo, pues /%x& no puede pertenecer a dos entornos disjuntos. Jbsurdo de suponer b C c. Ior lo tanto b c.

Definicin
Lmites laterales
Lmite de f(x) en el punto a por la derec a ! limx'6a)/%x& b < 6 para todo = 6 - existe ( 6 - " para todo x perteneciente a %a,a ) (& */%x& ' b* < =. Lmite de f(x) en el punto a por la i"#uierda ! limx'6a'/%x& b < 6 para todo = 6 - existe ( 6 - " para todo x perteneciente a %a ' (,a& */%x& ' b* < =. +ota> x'6a) indica que x tiende a a por la derecAa, es decir que x pertenece al entorno %a,a ) (&. x'6a' indica que x tiende a a por la iKquierda, es decir que x pertenece al entorno %a ' (,a&. J veces las /unciones son discontinuas o no estn de/inidas en un punto a, pero son continuas a uno y otro lado. $n estos casos, el l5mite por la iKquierda puede ser distinto del l5mite por la derecAa.

E$emplo
f(x) = x2 si x <= 2 -2x + 1 si x > 2

limx'61'/%x& 9 limx'61)/%x& '3 +o existe limx'61/%x&

Teorema
$xiste el l5mite /inito de una /unci0n < 6 los l5mites laterales son iguales.

D& limx'6a/%x& b E& limx'6a)/%x& limx'6a'/%x& b

Demostracin! Directo! limx'6a/%x& b 6 %por de/. de l5mite& para todo = 6 - existe ( 6 - " para todo x perteneciente al $,a,( /%x& pertenece al $b,=. 6 para todo = 6 - existe ( 6 - " para todo x perteneciente a %a ' (,a& /%x& pertenece al $b,= 6 %por de/. de l5mites laterales& limx'6a'/%x& b.

y para todo = 6 - existe ( 6 - " para todo x perteneciente a %a,a ) (& /%x& pertenece al $b,= Recproco! limx'6a)/%x& b 6 %por de/. de l5mites laterales& para todo = 6 - existe (: 6 - " para todo x perteneciente a %a,a ) (:& /%x& pertenece al $b,=. 6 %por de/. de l5mites laterales& limx'6a)/%x& b.

limx'6a'/%x& b

6 %por de/. de l5mites laterales& para todo = 6 - existe (1 6 - " para

todo x perteneciente a %a ' (1,a& /%x& pertenece al $b,=. Sea ( min !(:,(1#

Iara todo x perteneciente a $,a,( /%x& pertenece al $b,=. 6 %por de/. de l5mite& limx'6a/%x& b.

E$emplo! en la /unci0n del ejemplo anterior, no existe limx'61/%x&, pues limx'61'/%x& C limx'61)/%x&.

Teorema
%onservacin del si&no

Iara valores de x su/icientemente pr0ximos al valor de tendencia, la /unci0n tiene el mismo signo que su l5mite.

D& limx'6a/%x& b 6 E& $xiste ( 6 - " para todo x perteneciente al $,a,( /%x& 6 -

Demostracin! limx'6a/%x& b 6 %por de/. de l5mite& para todo = 6 - existe ( 6 - " para todo x

perteneciente al $,a,( /%x& pertenece al $b,=. $s decir, b ' = < /%x& < b ) =. .onsideremos = < b 6 - < b ' = < /%x& 6 /%x& 6 -.

Js5, basta considerar un = menor que b, para tener un entorno de a donde /%x& es mayor que -.

'ota! $l teorema tambin se cumple para valores negativos. Si la /unci0n tiene distinto signo en la mitad iKquierda del entorno de a que en la mitad derecAa, entonces su l5mite en a vale -.

Teorema de la funcin comprendida


Si una /unci0n est comprendida entre otras dos que tienen igual l5mite cuando x tiende a a, entonces tiene el mismo l5mite.

D& limx'6a/%x&

limx'6ag%x&

b A%x& < g%x&

$xiste (: 6 - " para todo x perteneciente al $,a,(: /%x& < E& limx'6aA%x& b

Demostracin! limx'6a/%x& b 6 %por de/. de l5mite& para todo = 6 - existe (1 6 - " para todo x

perteneciente al $,a,(1 b ' = < /%x& < b ) =. limx'6ag%x& b 6 %por de/. de l5mite& para todo = 6 - existe (3 6 - " para todo x

perteneciente al $,a,(3 b ' = < g%x& < b ) =. Sea ( min !(:,(1,(3# A%x& < g%x& < b ) =

Iara todo x perteneciente al $,a,( b ' = < /%x& < 6 %por de/. de l5mite& limx'6aA%x& b.

Teorema de la acotacin
Si una /unci0n tiene l5mite /inito cuando x tiende a a, entonces est acotada en un entorno reducido de a.

D& limx'6a/%x& b E& $xiste ( 6 - y existen A y L reales " para todo x perteneciente al $,a,( A < /%x& < L

Demostracin( limx'6a/%x& b 6 %por de/. de l5mite& para todo = 6 - existe ( 6 - " para todo x

perteneciente al $,a,( b - --^-h cota inferior < f(x) < b + --^-k cota superior

'ota! tambin podemos expresar la tesis como> $xiste (6- y existen A y L reales positivos " para todo x perteneciente al $,a,( A < */%x&* < L.

Lmite infinito
2bservemos la /unci0n /%x& :"x1 para valores de x positivos muy grandes.

x :-:.--:-.--:--.---

f(x) :,-x:'9 '< '7 ':-

Si tomamos x cada veK mayor, /%x& est cada veK ms cerca de -. Si x es su/icientemente grande podemos conseguir que /%x& se acerque a - tanto como queramos. @ecimos que /%x& tiende a - cuando x tiende a in/inito.

:,-x:-

:,-x:-

:,-x:-

:.---.--- :,-x:-':1

Meamos a continuaci0n las de/iniciones precisas de cada uno de los l5mites que involucran al in/inito.

Definicin
Lmite infinito %aso )!
limx'6a/%x& $
, a,(

)in/ < 6 para todo J 6 - existe ( 6 - " para todo x perteneciente al

/%x& 6 J.

$l l5mite de /%x& cuando x'6a es in/inito positivo, si para cualquier nBmero positivo J %tan grande como se quiera&, podemos encontrar un nBmero ( tal que, para todos los x dentro del entorno reducido de a de radio ( se cumple que /%x& es mayor que J. $n otras palabras, si para cualquier nBmero positivo J que consideremos, existe un entorno reducido de a donde la /unci0n vale ms que J, quiere decir que /%x& puede Aacerse mayor que cualquier nBmero, con tal de que x se acerque lo su/iciente a a. Ior eso se dice que el l5mite de /%x& cuando x tiende a a es )in/.

%aso *!
limx'6a/%x& $
, a,(

'in/ < 6 para todo J 6 - existe ( 6 - " para todo x perteneciente al

/%x& < 'J.

%aso +!
limx'6)in//%x& )in/ < 6 para todo J 6 - existe N 6 - " para todo x 6 N /%x& 6 J.

Iara cualquier nBmero positivo J %por grande que sea&, es posible encontrar un nBmero positivo N tal que para todos los x mayores que N, /%x& es mayor que J. $s decir que /%x& puede ser mayor que cualquier nBmero, si x es lo su/icientemente grande.

%aso ,
limx'6)in//%x& 'in/ < 6 para todo J 6 - existe N 6 - " para todo x 6 N /%x& < 'J.

%aso -!
limx'6'in//%x& )in/ < 6 para todo J 6 - existe N 6 - " para todo x < 'N /%x& 6 J.

%aso .!
limx'6'in//%x& 'in/ < 6 para todo J < - existe N < - " para todo x < 'N /%x& < 'J.

%aso /!
limx'6)in//%x& al $b,=. b < 6 para todo = 6 - existe N 6 - " para todo x 6 N /%x& pertenece

Lmites de polinomios
Lmite de un polinomio
I%x& anxn ) an':xn': ) ... ) a:x ) a-

:& limx'6b I%x&

I%b&

E$emplo! limx'6: x1 ) 1x ' :

1& limx'6in/ I%x&

limx'6in/ anxn

limx->inf P(x) = limx->inf anxn + an-1xn-1 + ... + a1x + a0 = 0 --^-n

0 --^--

0 --^-+

0 --^-a0 ) = lim anxn

anx (1 + an-1 + an-2 + ... + a1

lim x->inf

--anx

--anx
2

--anx
n-1

--anx
n

x->inf

E$emplo! limx'6)in/ x1 ' 1x ' :

limx'6)in/ x1

)in/

Lmite del cociente de polinomios


J%x& N%x& anxn ) an':xn': ) ... ) a:x ) abnxn ) bn':xn': ) ... ) b:x ) b-

A(x) lim ---- =

A() si B() distinto de 0

| 1) ---| B()

x-> B(x)

| 2) inf si B()=0 y A() distinto de 0 | 3) INDETERMINADO de la forma 0/0 | si B()=0 y A()=0

E$emplo! 2x2 + x + 1 lim x->1 x2 + 2x - 1 x2 + 1 lim x->1 ------------ = +inf x2 + x - 2 x2 - 1 lim ----------x->1 x + x - 2
2

4 2

----------- = -- = 2

INDETERMINADO de la forma 0/0

%mo resolver la indeterminacin 010


N%O& 6 O es ra5K de N%x& 6 %por teo. de @escartes& %x ' O& * N%x& %x ' O&N:%x&

% %x ' O& divide a N%x& &

6 existe N:%x& " N%x&

J%O&

6 O es ra5K de J%x& %x ' O&J:%x&

6 %por teo. de @escartes& %x ' O& * J%x&

6 existe

J:%x& " J%x& A(x) x-> B(x) E$emplo x2 - 1

(x - )A1(x) x-> (x - )B1(x)

A1() B1()

=> lim ---- = lim ------------ = ------

(x - 1)(x + 1) x->1 (x - 1)(x + 2)

2 3

lim ----------- = lim -------------- = -x->1 x2 + x - 2

%2lculo de lmites
3olinomios
Mer pgina sobre l5mites de polinomios por detalles.

limx'6a I%x&

I%a&

E$emplo! limx'61 x1 ' 3x ) 9

limx'6in/ I%x&

limx'6in/ anxn

E$emplo! limx'6)in/ '3x3 ) x1 ' 1x ) :

limx'6)in/ '3x3

'in/

A(x) lim ---- = x-> B(x)

| |

A() si B()0 B()

| 1) ----

| 2) inf si B()=0 y A()0 | 3) INDETERMINADO de la forma 0/0 | si B()=0 y A()=0

E$emplos! x2 - 1 1) lim 3

------- = --

x->2 3x - 4 x2 - 1 x->2 x - 2

2 3 0 0 INDETERMINADO 0

2) lim -------- = -- = +inf

-2x2 + 5x - 2 x->2 3x - 2x - 8
2

3) lim -------------- = --

Iara resolverlo, expresamos cada polinomio como un producto y simpli/icamos los /actores comunes. Iara ello, bajamos cada polinomio por Pu//ini. '1 1 '1 ; '1 '9 : 1 %x ' 1&%'1x ) :&

'1x1 ) ;x ' 1 3 '1 1 3 < 9 7 7 -

x1 ' 1x ' 7

%x ' 1&%3x ) 9&

-2x2 + 5x - 2 x->2 3x2 - 2x - 8 A(x) lim ---- = lim x->inf B(x)

(x - 2)(-2x + 1) x->2 (x - 2)(3x + 4) anxn ----

-3 10

lim -------------- = lim ---------------- = ---

x->inf bmxm

E$emplo! 3x3 + 2x2 - 5 lim x->+inf -------------- = lim 2x - 8x


3 2

3x3 x->+inf 2x3

3 2

----- = --

Races de polinomios
Si el l5mite da indeterminado, aplicar el siguiente truco>

____

____

P(x) - Q(x) ____ ____

lim \|P(x) - \|Q(x) = lim ---------------\|P(x) + \|Q(x))

Se llama expresi0n conjugada de __ __ a __ __

\|a - \|b

\|a + \|b

Qultiplicando y dividiendo por la conjugada, obtenemos la di/erencia de las cantidades subradicales. ____ ____ ____ ____ ____

____ (\|P(x) + \|Q(x)) ____ ____

lim \|P(x) - \|Q(x) = lim \|P(x) - \|Q(x) ----------------- = (\|P(x) + \|Q(x)) P(x) - Q(x) lim ---------------____ ____ \|P(x) + \|Q(x)) E$emplo! (IND. inf - inf) ___________
2

__________ |

lim \|x + 2x - 3 - \|x2 + x - 1 = x->-inf __________ ___________ lim x->-inf __________ (\|x
2

__________

+ 2x - 3 + \|x2 + x - 1) __________

\|x2 + 2x - 3 - \|x2 + x - 1

---------------------------- = __________ (\|x


2

+ 2x - 3 + \|x2 + x - 1) x - 2 __________
2

x2 + 2x - 3 - (x2 + x - 1) lim x->-inf __________


2

----------------------------- = lim ---------------------- = __________


2

__________

\|x + 2x - 3 + \|x + x - 1

\|x + 2x - 3 + \|x2 + x - 1

x lim x->-inf ----------- = lim __


2

x ------- = lim __
2

x x->-inf -2x

-1 2

--- = --

x->-inf -x - x

\|x + \|x

Ra" c4bica
3 ____ 3 ____ \|Q(x) = 3 3 ____ 3 ____ \|Q(x) lim \|P(x) ____
2

lim \|P(x) -

____
2

_______

( \|P(x) + 3 ____
2

\|Q(x) + \|P(x)Q(x) ) 3 ____


2

-------------------------------- = 3 _______ ( \|P(x) + \|Q(x) + \|P(x)Q(x) )

P(x) - Q(x) lim 3 -----------------------------____ \|P(x) +


2

____
2

_______

\|Q(x) + \|P(x)Q(x)

E$emplo! (IND. inf - inf) 3 x->-inf x3 - 3x2 + 1 - x3 + 4x - 1 2 + lim ----------------------------------------------------- = __________ \|(x -3x +1) + -3x2 2 + lim ---- = 2 - 1 = 1 x->-inf 3x2
3 2 2

____________

___________ |

lim 2 + \|x3 - 3x2 + 1 - \|x3 - 4x + 1 =

x->-inf 3

_________
3 2

3 ___________________ + \|(|x3-3x2+1)(x3-4x+1)

\|(x -4x+1)

Indeterminacin 010

Si se trata de un cociente de polinomios, aplicar Pu//ini como se explic0 antes.

Jplicar l5mites tipo. E$emplo!

L(1 + 5x) lim --------- = lim x->0 2x | | IND. 0/0

5x x->0 2x

5 2

-- = --

Lmite tipo: L(1 + f(x)) equiv. f(x) f(x)->0 Jplicar FRDSpital>

D& limx'6a /%x&

limx'6a g%x&

$xiste limx'6a/R%x&"gR%x& E& limx'6a/%x&"g%x& limx'6a/R%x&"gR%x&

E$emplo! 2x - 2 lim -----x->1 Lx 2 Veamos lim ---- = 2 x->1 1/x => x->1 2x - 2 lim ------ = 2 Lx INDETERMINADO 0/0

Indeterminacin )inf
g(x) lim f(x) x->a lim g(x)(f(x) - 1) = e x->a

E$emplo! (IND. 1inf) | x + 5

x + 2 | lim ((x + 5)/(x - 3)) 8 lim (x + 2)---- = e x->+inf x - 3 lim x->+inf 8x

lim (x + 2)(----- - 1) x - 3 =

= e x->+inf

-- = e

e x->+inf x

Indeterminaciones 00 e inf0
g(x) lim f(x) x->a lim = e x->a g(x)Lf(x)

E$emplo! (IND 00) | 2x | lim x x->0+ (IND. inf0) | 1/x lim ((1 + x + 2x )/(x - 1))
2

(IND. 0.inf) | lim 2xLx | lim Lx

(por rdenes de infinitos) | | = e 0 = 1 -----

e x->0+

e x->0+ 1/2x

| = (IND. inf/inf) |

x->+inf lim e x->+inf


2

(1/x)L((1 + x + 2x )/(x - 1)) | =

0 e = 1 |

(por rdenes de infinitos)

Indeterminaciones inf 5 inf e inf1inf


Jplicar l5mites tipo E$emplo! equiv. a 1/x + 1 --^-1/x (2x - 1)(1 + x) - 2x2

lim

(2x - 1)e

- 2x = lim x->+inf x

-------------------- = x

x->+inf x - 1 lim ----= lim x->+inf x->+inf x

--- = 1 x

Jplicar 0rdenes de in/initos. $quivalente al de mayor orden.

orden Fx < orden xn < orden ax < orden xnx %x'6)in/&

E$emplo! (IND. inf - inf) | lim x->0+ pues orden (x - 1)2/x > orden (Lx)2 (IND. inf/inf) e lim x->+inf
x

(Lx) - (x - 1) /x = -inf

| pues orden ex > orden x

---- = +inf x

Indeterminacin 0(inf
Iasar la expresi0n que tiende a - al denominador del denominador. Hueda una indeterminaci0n in/"in/. Pesolverla aplicando 0rdenes de in/initos. E$emplo! (IND. 0.inf) | 1/(x - 3) | lim (3 - x)e x->3+ = lim e -------x->3+ 1/(x - 3) (por rdenes de infinitos) Jplicar l5mites tipo 1/(x - 3) (IND. inf/inf) | | = -inf

Lmites tipo
Sustituir una expresi0n por su l5mite o su equivalente, cuando> es un trmino que multiplica o divide a toda la expresi0n es una cantidad subradical aunque apareKcan suma de radicales es una expresi0n a/ectada por una /unci0n trascendental %e, F, sen, cos, tg, etc.& lim x->inf lim x->0 L(1 + x) lim -------- = 1 x->0 x => L(1 + x) equiv x x->0 (1 + x)1/x = e (1 + 1/x)x = e

Tambin: Lx equiv x - 1 x->1 ex - 1 lim ------- = 1 x->0 x ax - 1 lim x->0 ------ = La x sen x lim ----- = 1 x->0 x tg x lim ---- = 1 x->0 x 1 - cos x x->0 x2 (1 + x)m - 1 1 => 1 - cos x equiv x2/2 x->0 2 => tg x equiv x x->0 => sen x equiv x x->0 (a perteneciente a R+) => ax - 1 equiv xLa x->0 => ex - 1 equiv x x->0

lim ---------- = --

lim ------------- = 1 x->0 n mx ______ \|1 + x x->0 n _____ x - 1 1

=>

(1 + x)m - 1 equiv mx x->0 n _____ \|1 + x - 1 ------------ = 1 x/n

lim ------------- = -n

=> lim x->0

=> \|1 + x - 1 equiv x/n

E$ercicios de lmites
-3x2 + 2x - 5 lim -------------x3 - 1
-3x2 ------ = lim x3 x->-inf -3 --- = 0 x->-inf x

x->-inf

-3x2 + 2x - 5 lim -------------- = lim x3 - 1 x->-inf

_____

__

\|2 + x - \|2 lim ------------x->0 x


_____ __ _____ __ _____ __ Indeterminacin 0/0 \|2 + x - \|2 lim ------------x->0 x x->0 \|2 + x - \|2 (\|2 + x + \|2 ) __ ) 1 ----__ 2\|2 __

= lim -------------------------------- = _____ x( \|2 + x + \|2

2 + x - 2 lim ------------------ = lim x->0 _____ __ x->0 x(\|2 + x + \|2 )

1 ------------- = _____ (\|2 + x + \|2 )

x3 - 3x + 2 lim ------------x->1 x2 + x - 2

Indeterminacin 0/0

x3 - 3x + 2 x->1 x2 + x - 2 x->1

(x - 1)(x - 1)(x - 2) (x - 1)(x + 2)

lim ------------- = lim --------------------- = 0

Ruffini:

: : : : : '1 :

- '3 :

1 : : : '1 : : '1 : 1 '1 1 -

: '1 -

: '1 : 1 '1 1 -

x3 + 4x2 lim x->0+ ----------x4 - 2x2

Indeterminacin 0/0 x3 + 4x2 lim x->0+ x4 - 2x2 x->0+ x2(x + 4) x2(x2 - 2) 4 -2

----------- = lim ------------- = --- = -2

L(x - 1) lim --------x->2 ex-2 - 1


Indeterminado 0/0 equiv. a x - 2 ---^--L(x - 1) lim --------- = lim x->2 ex-2 - 1 ---^--equiv. a x - 2 x->2 x - 2 ----- = 1 x - 2 por lmites tipo (tambin se resuelve aplicando L'Hpital)

31/x - 1 lim ----------x->+inf 51/x - 1


Indeterminacin 0/0

equiv. a (1/x)L3 ---^--31/x - 1 lim ------------^--equiv. a (1/x)L5 = lim x->+inf 51/x - 1 (1/x)L3 ------- = x->+inf (1/x)L5 L3 ---- = log53 L5 por lmites tipo

3sen4x lim ------x->0 2x


Indeterminado 0/0 equiv. a 4x --^-3sen4x x->0 2x x->0 3.4x por lmites tipo 2x lim ------- = lim ---- = 6

1 - cos3x lim --------x->0 x2


Indeterminado 0/0 equiv. a (3x)2/2 ----^---1 - cos3x x->0 x2 x->0 (3x)2 2x2 9 --2 por lmites tipo lim --------- = lim ------- =

sen3x + tg2x lim -----------x->0 x


Indeterminado 0/0 equiv. a 3x --^-equiv. a 2x --^-3x + 2x x->0 x x->0 5x por lmites tipo x ------- = lim ---- = 5

sen3x + tg2x lim ------------ = lim x->0 x

lim ((x - 1)/(x + 3))x+2 x->+inf


Indeterminado 1inf lim (x + 2)((x - 1)/(x + 3) - 1)

lim ((x - 1)/(x + 3))x+2 = e x->+inf x->+inf lim (x + 2)(x - 1 - x - 3)/(x + 3) e x->+inf lim -4x/x e x->+inf = e -4 = 1/e4 lim -4(x + 2)/(x + 3) = e x->+inf

lim xLx x->0+


Indeterminado 0.inf Lx lim xLx = lim ----- = 0x->0+ x->0+ 1/x por rdenes de infinitos

ex - e lim --------x->1 x2 - 1
Indeterminacin 0/0 ex - e x->1 x2 - 1 x->1 ex 2x e por L'Hpital 2

lim --------- = lim ---- = ---

Tambin: equiv. a (x-1) ----^---e x->1


x

- e x->1

e(ex

- 1

- 1) x->1

e(x - 1) (x - 1)(x + 1)

e 2

lim --------- = lim x2 - 1

-------------- = lim x2 - 1

-------------- = ---

por lmites tipo

lim (1 + 2/x)x x->+inf


Indeterminado 1inf lim x(2/x) lim (1 + 2/x) x->+inf
x

= e x->+inf

= e

L(Lx) lim ------x->e x - e


Indeterminacin 0/0

L(Lx) lim ------- = lim x->e x - e Tambin: equiv. a Lx - 1 --^-L(Lx) x->e x - e x - e x->e e(x - e) x->e 1

1 -----x->e (Lx)x

1 = --e por L'Hpital

equiv. a x/e - 1 --^-Lx - 1 x - e x->e Lx - Le x - e | | La - Lb = L(a/b) por lmites tipo L(x/e) x->e x - e

lim ------- = lim -------- = lim -------- = lim ------- =

lim -------- = --e

x - 1

lim (Lx) x->1+


Indeterminacin 00 (IND. 0.inf) |
x - 1

L(Lx) lim ---------0 = e = 1 x->1+ 1/(x - 1)

lim (x - 1)L(Lx) | = e x->1+ = e

lim (Lx) x->1+

por rdenes de infinitos

3ropiedades 4tiles de los lo&aritmos

log(a/b) = log a - log b log a.b = log a + log b log(a - b) = log(a/eb) log ak = klog a logc a logb a = --------logc b

Funciones Continuas en un punto

/%x& x1

Tntuitivamente, la continuidad signi/ica que un peque?o cambio en la variable x implica s0lo un peque?o cambio en el valor de /%x&, es decir, la gr/ica consiste de un s0lo troKo de curva.

/%x& sgn x

$n contraste, una gr/ica como la de la /unci0n /%x& discontinuidad.

sgn x %signo de x& que

consiste de pedaKos de curva separados por un vac5o en una abcisa exAibe all5 una

Fa continuidad de la /unci0n /%x& para un valor a signi/ica que /%x& di/iere arbitrariamente poco del valor /%a& cuando x est su/icientemente cerca de a. $xpresemos esto en trminos del concepto de l5mite...

Definicin
%ontinuidad
Una /unci0n /%x& es continua en un punto a si limx'6a/%x& /%a&.

'ota! observar que debe existir /%a& y debe existir el limx'6a /%x& y debe ser igual a /%a&.

E$emplos de discontinuidad

/%x&

:"x1

@iscontinua en x - %+o existe /%-&&

/%x&

x1 si x <

1x ' 9 si x 6 1 @iscontinua en x 1. Si bien existe /%1&, no existe limx'61/%x&, pues limx'61' /%x& 9 y limx'61)/%x& -

Sin embargo, si miramos la /unci0n para x pr0ximos a 1 pero menores, e ignoramos los x mayores que 1, la /unci0n es continua en 1 Upor la iKquierdaU.

Definicin
%ontinuidad por la i"#uierda
Una /unci0n /%x& es continua por la iKquierda en el punto a si existe /%a& y limx'6a' /%x& /%a&.

Definicin
%ontinuidad por la derec a
Una /unci0n /%x& es continua por la derecAa en el punto a si existe /%a& y limx'6a)/%x& /%a&. Fa /unci0n anterior es continua por la iKquierda en x 1, pero no por la derecAa.

Definicin
%ontinuidad en un intervalo cerrado 6a7b8
Una /unci0n /%x& es continua en un intervalo cerrado [a,b] si> / es continua en a por la derecAa / es continua en b por la iKquierda / es continua en x, para todo x perteneciente al intervalo abierto %a,b&

%lasificacin de discontinuidades
Evitable
Caso A: +o existe /%a& pero existe limx'6a/%x&. E$emplo!

/%x&

e':"x1 ) 1

+o existe /%-& pues anula un denominador. limx'6-'/%x& limx'6-)/%x& 1 o sea limx'6-/%x& 1

Iodemos extender la de/inici0n de la /unci0n, asignndole en el punto a el valor del l5mite, con lo cual la /unci0n se torna continua. Ior ello este tipo de discontinuidad se denomina evitable. Caso B: $xiste /%a& y existe limx'6a/%x& b pero bC/%a&. %$xiste /%a& pero es distinto al valor del l5mite&. E$emplo!

/%x&

x1 si xC1 7 si x 1

/%1&

7 9

limx'61 /%x&

Jsignndole a la /unci0n el valor 9 en x 1, se elimina la discontinuidad.

'o evitable
1 especie: limx'6a'/%x& C limx'6a)/%x&. %Fos l5mites laterales son distintos&. E$emplo!

/%x&

x"%x ' 1&

limx'61'/%x& limx'61)/%x& 2 especie:

'in/ )in/

+o existe limx'6a'/%x& o no existe limx'6a)/%x&. %+o existe por lo menos uno de los l5mites laterales&. E$emplo!

______ f(x) = \|x2 - 4

$n x '1 y x 1 la /unci0n presenta discontinuidades no evitables de 1V especie. +o existe limx'6'1)/%x& y no existe limx'61'/%x&.

9peraciones con funciones continuas


Si / y g son /unciones continuas en x a, la suma, multiplicaci0n y cociente de / y g %con g%a& C -& son /unciones continuas en x a.

D& /%x& es continua en x a. g%x& es continua en x a. E& /%x& ) g%x& es continua en x a.

Demostracin Ior de/inici0n de continuidad, existe /%a& y existe limx'6a/%x& existe g%a& y existe limx'6ag%x& /%a& g%a&

6 por teo. l5mite de la suma de /unciones, el l5mite de una suma de /unciones es igual a la suma de los l5mites de cada /unci0n, si stos son /initos. limx'6a /%x& ) g%x& /%a& ) g%a&

6 por de/. de continuidad /%x& ) g%x& es continua en x a. Jnlogamente se prueba la continuidad del producto y el cociente.

:U'%I9'E; %9'TI'U<; E' U' I'TER=<L9

3R93IED<DE;

Teorema de >ol"ano
NernAard NolKano %:87:':797&

Si una /unci0n /%x& es continua en un intervalo cerrado [a,b] y /%a& y /%b& son de distinto signo, existe por lo menos un punto entre a y b para el cual /%c& -.

D& /%x& continua en [a,b] /%a&./%b& < E& $xiste c perteneciente a %a,b& " /%c& -

Weomtricamente, el teorema establece que si dos puntos %a,/%a&& y %b,/%b&& de la gr/ica de una /unci0n continua estn situados en di/erentes lados del eje x, entonces la gr/ica intersecta al eje en algBn punto entre a y b. Ior supuesto que pueden Aaber varias intersecciones. Demostracin! Supongamos que /%a&<- y /%b&6-. %Fa demostraci0n ser5a anloga si supusiramos /%a&6- y /%b&<-.&

.onsideremos el punto medio de [a,b]> %a)b&"1. Si /%%a)b&"1& - queda demostrado el teorema. Sino, / ser positiva o negativa en %a)b&"1. Eomemos una de las mitades del intervalo [a,b] donde la /unci0n sea negativa en un extremo y positiva en el otro. Flamemos a: y b: a los extremos de este intervalo. JAora dividamos [a:,b:] a la mitad. Si / no vale cero en el punto medio, ser positiva o negativa. Eomemos la mitad donde / tiene distinto signo en cada extremo, y llamemos a estos puntos a1 y b1. Si continuamos de esta manera, obtenemos una sucesi0n de intervalos [a,b], [a:,b:], [a1,b1], etc., tales que a < 6 bn. a: < a1 < ... < an y b 6 b: 6 b1 6 ...

$s decir, :& Fos ai /orman una sucesi0n creciente y los bi /orman una sucesi0n decreciente. 1& Fos ai son siempre menores que los bi. Meamos cul es el limn'6)in/ bn ' an. bn ' an es la longitud del intervalo [an,bn]. Fa longitud del intervalo [a:,b:] es %b ' a&"1, la mitad de la longitud de [a,b] que es b ' a. Fa longitud del intervalo [a1,b1] es %b ' a&"11, la mitad de la longitud de [a:,b:] que es %b ' a&"1. X siguiendo de esta manera, la longitud del intervalo [an,bn] es %b ' a&"1n. @e modo que, 3& limn'6)in/ bn ' an limn'6)in/ %b ' a&"1n -.

:&, 1& y 3& son las condiciones de la de/inici0n de ISQ.> an es creciente, bn es decreciente Iara todo n natural an < bn Iara todo =6- existe A natural " bA ' aA < = %que es lo mismo que limn'6)in/ bn ' an -.&

Eodo ISQ. tiene la propiedad de de/inir un nBmero /rontera entre ambas sucesiones. %%an&,%bn&& es un ISQ. c). lim an lim bn c' signi/ica que para todo (6- existe n: " para todo n6 n: c ' ( < an < c. c) signi/ica que para todo (6- existe n1 " para todo n6 n1 c < bn < c ) (. 6 existe c " para todo n an < c< bn, lim an c' y lim bn

2 sea que tomando el mayor entre n: y n1, llammosle n3, se cumplen ambas cosas. $s decir, para todo (6- existe n3 " para todo n 6 n3 c'( < [an,bn] < c)(.

$sto signi/ica que, para cualquier entorno de c que consideremos, existe un intervalo [an,bn] contenido en dicAo entorno.

Ior otro lado, / es continua en [a,b] por Aip0tesis. Ior lo tanto es continua en c. Ior de/inici0n de continuidad, limx'6c /%x& /%c&. Si /%c&<-, por teo. de conservaci0n del signo existe un entorno de c donde /%x& es negativa.

@entro de este entorno, existe un intervalo [an,bn], donde /%an& es de distinto signo que /%bn&. $sto es una contradicci0n, por lo tanto /%c& no puede ser negativo. Si /%c&6-, por teo. de conservaci0n del signo existe un entorno de c donde /%x& es positiva. Iero, otra veK, dentro de ese entorno existe un intervalo [an,bn] tal que /%an& es de distinto signo que /%bn&. Ior lo tanto, no existe otra posibilidad> /%c& -.

3ropiedad de Darboux
Waston @arboux %:791':4:8&

Si una /unci0n /%x& es continua en un intervalo cerrado [a,b] y L es cualquier nBmero entre /%a& y /%b&, entonces existe un valor d entre a y b para el cual /%d& L.

D& / continua en [a,b] /%a& < L < /%b& E& $xiste d perteneciente a %a,b& " /%d& L

Sea g una /unci0n auxiliar> g%x&

/%x& ' L.

:. g es continua en [a,b] por ser suma de /unciones continuas 1. g%a& 3. g%b& /%a& ' L < /%b& ' L 6 -

6 de :&, 1& y 3& por teorema de NolKano, existe d perteneciente a %a,b& " g%d& /%d& ' L -

2 sea, existe d perteneciente a %a,b& " /%d& L.

Lema de ?eierstrass
Yarl Zeierstrass %:7:;':748&

Una /unci0n continua en un intervalo cerrado est acotada.

D& / continua en [a,b] E& / est acotada en [a,b]

Demostracin! Fa demostraci0n se realiKa por el absurdo. $sto es, se supone /alsa la tesis y se llega a una contradicci0n. Suponemos entonces que /%x& no est acotada en [a,b]. @ividamos el intervalo [a,b] a la mitad. Si / est acotada en una de las mitades, entonces no lo est en la otra. Eomemos esta mitad. Flamemos a: y b: a los extremos de este nuevo intervalo. / no est acotada en [a:,b:]. @ividamos [a:,b:] en dos intervalos iguales. Si / est acotada en uno de ellos, tomemos el otro, si no, tomemos cualquiera. Flamemos a sus extremos a1 y b1. .ontinuando de esta manera, tenemos una sucesi0n de intervalos [a,b], [a:,b:], [a1,b1], etc., tales que a < a: < a1 < ... < an y b 6 b: 6 b1 6 ... 6 bn .

$s decir, :& Fos ai /orman una sucesi0n creciente y los bi /orman una sucesi0n decreciente. 1& Fos ai son siempre menores que los bi. Meamos cul es el limn'6)in/ bn ' an. bn ' an es la longitud del intervalo [an,bn]. Fa longitud del intervalo [a:,b:] es %b'a&"1, la mitad de la longitud de [a,b] que es b'a. Fa longitud del intervalo [a1,b1] es %b'a&"11, la mitad de la longitud de [a:,b:] que es %b'a&"1. X siguiendo de esta manera, la longitud del intervalo [an,bn] es %b'a&"1n.

@e modo que... 3& limn'6)in/ bn ' an limn'6)in/ %b ' a&"1n -.

%:&, %1& y %3& son las condiciones de la de/inici0n de ISQ.. $s decir que las sucesiones an y bn cumplen con la de/inici0n de ISQ.> an es creciente, bn es decreciente Iara todo n natural an < bn Iara todo =6- existe n- natural " bn- ' an- < = %que es lo mismo que limn'6)in/ b n ' an -.&

%%an&,%bn&& es un ISQ. y, por lo tanto, tiene /rontera> existe c " para todo n an < lim an c. lim bn (. 2 sea que tomando el mayor entre n:y n1, llammosle n3, se cumplen ambas cosas. $s decir, para todo ( 6 - existe n3 " para todo n 6 n3 c ' ( < [an,bn] < c ) (. c) signi/ica que para todo ( 6 - existe n1 " para todo n 6 n1 c < bn < c ) c< bn, lim an c' y lim bn c). n: c ' ( < an <

c' signi/ica que para todo ( 6 - existe n: " para todo n 6

$sto signi/ica que, para cualquier entorno de c que consideremos, existe un intervalo [an,bn] contenido en dicAo entorno.

Ior otro lado, / es continua en [a,b] por Aip0tesis. Ior lo tanto es continua en c. Ior de/inici0n de continuidad, limx'6c/%x& para todo x perteneciente al $,c,( /%c&, o sea, para todo = 6 - existe ( 6 - " /%c& ' = < /%x& < /%c& ) =.

$s decir, / est acotada en %c ' (, c ) (&. Iero antes dijimos que / no estaba acotada en ninguno de los intervalos [an,bn].

Eenemos pues aqu5 una contradicci0n> decimos que / est acotada en %c ' (, c ) (&, pero no en [an,bn] que est contenido dentro, lo cual es absurdo. $ste absurdo proviene de suponer que / no est acotada en [a,b].

@2ximo A mnimo absoluto


Flamamos mximos relativos y m5nimos relativos a aquellos puntos donde la /unci0n / tiene un valor mximo o m5nimo comparado con los valores de /%x& para x en algBn entorno de esos puntos. .uando Aablamos de mximo y m5nimo absoluto nos re/erimos al mximo y al m5nimo de / en relaci0n con todos los valores posibles de /%x&, para todo x del dominio. Iara localiKar los mximos absolutos %m5nimos absolutos& de la /unci0n, debemos comparar los mximos relativos %m5nimos relativos& y ver cul de estos valores es el mayor %menor&.

Teorema de ?eierstrass
Una /unci0n continua en un intervalo cerrado, tiene mximo y m5nimo absoluto en dicAo intervalo.

D& / es continua en [a,b]. E& / tiene mximo y m5nimo absoluto en [a,b].

Demostracin! Ior Aip0tesis, / es continua en [a,b] perteneciente a [a,b]. Fa demostraci0n se realiKa por reducci0n al absurdo. Irimero demostraremos que / tiene mximo absoluto en [a,b]. Hueremos probar que existe x: perteneciente a [a,b] " /%x:& n. 6 por el lema de Zeierstrass / est acotada /%x& < n para todo x

en [a,b], es decir, existen m y n tales que m <

Supongamos lo contrario de lo que queremos demostrar, o sea que para todo x perteneciente a [a,b] /%x& C n, /%x& < n. Sea g una /unci0n auxiliar> g%x& :"%n ' /%x&&. g es continua en [a,b] por ser di/erencia y cociente de /unciones continuas y n ' /%x& C -. Ior el lema de Zeierstrass, g est acotada, es decir, para todo x perteneciente a [a,b] s <= g(x) <= t 1/(n - f(x)) <= t 1/t <= n - f(x) f(x) <= n - 1/t 6 n ' :"t es una cota superior de / en [a,b] %:& Ior otro lado g%x& 6 6t66 :"t 6 6 n ' :"t < n %1&

@e %:& y %1& se deduce que existe una cota superior de / menor que n, el extremo superior, lo cual es absurdo, pues el extremo superior es la menor de las cotas superiores. $l absurdo surge de suponer que no existe x tal que /%x& n, por lo tanto existe x: perteneciente a [a,b] " /%x:& n. @emostraremos aAora que / tiene m5nimo absoluto. Irocederemos como en el caso anterior, por el absurdo. Supondremos que para todo x perteneciente a [a,b] /%x& C m, /%x& 6 m. Sea A una /unci0n auxiliar> A%x& :"%/%x&'m&

A es continua en [a,b] por ser di/erencia y cociente de /unciones continuas y /%x&Cm. Ior el lema de Zeierstrass, A est acotada, es decir, para todo x perteneciente a [a,b] h <= h(x) <= k 1/(f(x)-m) <= k 1/k <= f(x) - m f(x) >= 1/k + m 6 :"L ) m es una cota in/erior de / %:& Ior otro lado A%x&66 L66 :"L66 :"L ) m 6 m %1&

@e %:& y %1& se deduce que existe una cota in/erior de / mayor que el extremo in/erior, lo cual es absurdo. $ste absurdo proviene de suponer que no existe x tal que /%x& m. Ior lo tanto, s5 existe algBn x tal que /%x& m.

:U'%I9'E; DERI=<>LE; E' U' I'TER=<L9

3R93IED<DE;

Derivada

.onsideremos la tangente a la curva /%x& en el punto I%a,/%a&&. [.0mo se obtiene el ngulo O entre la tangente y el eje x positivo\ $l conocimiento de los valores a y /%a& no basta para determinarlo, puesto que Aay un nBmero in/inito de rectas, aparte de la tangente, que pasan por I. Eampoco es necesario conocer la /unci0n /%x& en su comportamiento global] el conocimiento de la /unci0n en una vecindad arbitraria del punto I debe ser su/iciente para determinar O. $sto indica que se deber5a de/inir la direcci0n de la tangente a una curva /%x& mediante un proceso de l5mite. .onsideremos un segundo punto IR%x,/%x&& sobre la curva, cercano a I. Ior los dos puntos I y IR se traKa una l5nea recta. Si el punto IR se mueve a lo largo de la curva Aacia el punto I, entonces la recta IIR se aproxima a la tangente.

Sea OR el ngulo que la recta IIR /orma con el eje x positivo. $ntonces limIR'6I OR O

.onsiderando las coordenadas de los puntos I y IR, se tiene> f(x) - f(a) tan ' = ----------x - a cateto opuesto ( ---------------- ) cateto adyacente

Js5, nuestro proceso de l5mite est representado por la ecuaci0n> f(x) - f(a) tan = lim tan ' = lim x->a x->a ----------x - a

J este l5mite se lo denomina derivada de la /unci0n /%x& en el punto a y se denota /R%a&

Definicin
Derivada en el punto a
Se llama derivada de /%x& en x a, y se denota /R%a& a> f(x) - f(a) f'(a) = lim ----------x->a x - a

:uncin derivada
Fa derivada es una /unci0n de x, puesto que un valor de /R%x& corresponde a cada valor de x.

Teorema
Si una /unci0n es derivable, entonces es continua.

D& / es derivable en x a. E& / es continua en x a.

Demostracin! Ior Aip0tesis, existe f(x) - f(a) lim ---------x->a x - a

6 existe /%a& %:&

lim f(x) = lim f(x) - f(a) + f(a) = x->a x->a f'(a) por H) ------^-----0 (2) (f(x) - f(a)) --^-lim -------------(x - a) + f(a) = f(a) x->a x - a 6 por de/inici0n de continuidad, / es

@e :& y 1&> existe /%a& y limx'6a/%x& /%a& continua en x a.

$l rec5proco no es cierto. Una /unci0n puede ser continua en un punto pero no derivable. .ualquier curva con una esquina o vrtice en un punto no posee aA5 una tangente. $sos puntos se llaman singulares, y esas /unciones, /unciones singulares.

___

f(x)= \|x2
no es derivable en x - pero es continua.

Derivada de las funciones elementales


1) f(x) = k k - k f'(a) = lim x->a 2) f(x) = bx + c bx + c - ba - c x->a x - a x->a xn - an 3) f(x) = xn => f'(a) = lim x->a --------- = (x-a) b(x - a) f'(x) = b x - a ------- = 0 x - a => f'(x) = 0

f'(a) = lim --------------- = lim -------- = b =>

(x - a)(xn-1 + axn-2 + a2xn-3 + ... + an-1) lim ------------------------------------------ = nan-1 x->a (x-a)

=> f'(x) = nxn-1

4) f(x) = Lx Lx - La x->a 1 => f'(x) = --x x - a

equiv. a x/a - 1 (lmites tipo) --^-L(x/a) x->a x - a x - a x->a a(x - a) 1 a

f'(a) = lim -------- = lim ------- = lim --------- = --

5) f(x) = ex equiv. a 1 (lmites tipo) ---^--e x->a => f'(x) = ex


x

- e

e (ex-a - 1) ea x->a x - a

f'(a) = lim --------- = lim ------------ = x - a

6) f(x) = sen x equiv. a (x-a)/2 (lmites tipo) -----^----senx - sena x->a x - a x->a 2sen((x-a)/2)cos((x+a)/2) x - a f'(a)=lim ------------ = lim ------------------------- =

2(x - a)cos((x+a)/2) lim ------------------- = cos a x->a 2(x - a)

=> f'(x) = cosx

f(x)=

x = ( x )1 / n
1 x(1-n)/n
1/n - 1

1 nx(n-1)/n

1 n ____ n \|xn-1

f'(x)=(x

1/n

)'= --x n

= ----------- = ------- = -------n

1 => f'(x) = --------n ____ n \|xn-1

Teorema
Derivada de una constante por una funcin

D& / es derivable en x a E& %L/%a&&R L./R%a&

Demostracin! f'(a) ------^-----k.f(x) - k.f(a) x->a 'ota! $l teorema anterior da el valor de la derivada en el punto a. .omo a es un punto genrico, lo sustituimos por x y tenemos la /unci0n derivada> %L/&R%x& L./R%x&, si / es derivable en x. x - a x->a (f(x) - f(a)) x - a (k.f(a))' = lim ---------------- = lim k ------------- = k.f'(a)

Teorema
Derivada de la suma

Fa derivada de una suma de /unciones es la suma de las derivadas de cada /unci0n.

D& / es derivable en x a, g es derivable en x a E& /)g es derivable en x a %/)g&R%a& /R%a& ) gR%a&

Demostracin! (f+g)(x) - (f+g)(a) f(x) + g(x) - f(a) - g(a) (f+g)'(a) = lim ------------------- = lim -------------------------

x->a

(x-a) f(x) - f(a)

x->a g(x) - g(a) (x-a)

(x-a)

= lim ----------- + ------------ = f'(a) + g'(a) x->a 'otas! $n general %/)g&R%x& /R%x& ) gR%x&, si / y g son derivables en x. (x-a)

$l teorema se extiende a ms de dos /unciones.

E$emplo
%x ) Fx&R xR ) %Fx&R : ) :"x

Teorema
Derivada del producto

D& / es derivable en x a, g es derivable en x a E& /.g es derivable en x a %/.g&R%a& /R%a&.g%a& ) /%a&.gR%a&

Demostracin! (f.g)(x) - (f.g)(a) x->a (x-a) x->a f(x).g(x) - f(a).g(a) (x-a) (f.g)'(a) = lim ------------------- = lim --------------------

f(x).g(x) - f(a)g(a) + f(a)g(x) - f(a)g(x) = lim ------------------------------------------ = x->a f'(a) (*) g(a) -----^-----^- (f(x) - f(a)) x->a (x-a) (x-a) g'(a) -----^----(g(x) - g(a)) (x-a)

lim g(x)------------- + f(a)------------- = f'(a).g(a) + g'(a).f(a)

%,& Iues g es derivable en a

6 %teorema& g es continua en a

6 %de/. de continuidad& existe g%a& y limx'6ag%x& g%a&. 'otas! %/.g&R%x& /R%x&.g%x& ) /%x&.gR%x&.

WeneraliKaci0n para tres /unciones> %/%x&.g%x&.A%x&&R /R%x&.g%x&.A%x& ) /%x&.gR%x&.A%x& ) /%x&g%x&.AR%x&

E$emplo
%x1.sen x&R 1xsen x ) x1cos x

Teorema
Derivada del cociente

D& / es derivable en x a, g es derivable en x a, g%a& distinto de E& /"g es derivable en x a %/"g&R%a& %/R%a&.g%a& ' /%a&.gR%a&&"g1%a&

Demostracin! (f/g)(x) - (f/g)(a) x->a x - a x->a f(x)/g(x) - f(a)/g(a) x - a

(f/g)'(a) = lim ------------------- = lim ---------------------

f(x)g(a) - g(x)f(a) + f(a)g(a) - f(a)g(a) = lim ----------------------------------------- = x->a f'(a) -----^----(f(x) - f(a)) g(a)------------- lim x - a (x - a)g(x)g(a) g'(a) -----^----(g(x) - g(a)) f(a)------------x - a g(a)f'(a) - f(a)g'(a) = -------------------g2(a)

x->a ------------------------------------

g(x)g(a) '--> g(a) (*) %,& Iues g es derivable en a 6 %teorema& g es continua en a

6 %de/. de continuidad& existe g%a& y limx'6ag%x& g%a&. 'ota! %/"g&R%x& %/R%x&g%x& ' /%x&gR%x&&"g1%x&.

E$emplo
(cos x)x2 - (sen x)2x
2

xcos x - 2sen x x3

(sen x/x )' = --------------------- = --------------x4

Teorema
Derivada de la funcin compuesta Re&la de la cadena

D& / es derivable en x a, g es derivable en x /%a& E& go/ es derivable en x a %go/&R%a& gR[/%a&]./R%a&

Demostracin! g[f(x)] - g[f(a)] (gof)'(a) = [g[f(x)]'(a) = lim ----------------- = x->a g'[f(a)] --------^-------g[f(x)] - g[f(a)] x->a 'ota! f(x) - f(a) f'(a) ----^---f(x) - f(a) x - a x - a

lim ------------------ . ---------- = g'[f(a)].f'(a)

%go/&R%x&

gR[/%x&]./R%x&.

E$emplo )
A%x& ex1 ) 1x ex y /%x& x1 ) 1x.

A es la composici0n de g%x& AR%x& gR[/%x&]./R%x&

ex1)1x.%1x ) 1&

E$emplo *
A%x& sen%x1&

A es la composici0n de g%x& sen x y /%x& x1. AR%x& gR[/%x&]./R%x& cos %x1&.1x

Teorema
Derivada de la funcin inversa

D& / es derivable en x a %/R%a& distinto de -& /':%x& es continua en /%a& E& /': es derivable en x /%a&. [/':%/%a&&]R :"/R%a&

Demostracin! Hueremos calcular f-1(x) - f-1(f(a)) lim ----------------- = lim x->f(a) x - f(a) f-1(x) - a -----------x->f(a) x - f(a)

@e/inamos g%x& %/%x& ' /%a&&"%x ' a& para todo x distinto de a.

.onsideremos %go/':&%x& " %go/':&%x&

g[/':%x&]

1) lim f-1(x) = a pues f-1(x) es continua en f(a) por H) x->f(a) f(x) - f(a) 2) lim g(x) = lim ----------- = f'(a) pues f es derivable en a x->a x->a x - a por H)

6 @e :& y 1& por l5mite de la /unci0n compuesta lim g[f-1(x)] = f'(a) x->f(a) f[f-1(x)] - f(a)
-1

x - f(a) f-1(x) - a

g[f (x)] = ---------------- = ---------f-1(x) - a f-1(x) - a => lim x->f(a) x - f(a) 'ota! %/':&R%/%x&& :"/R%x&. 1 f'(a)

------------ = -----

Teoremas de Rolle
Teorema de Rolle
QicAael Polle %:<;1':8:4&

de La!ran!e

Si una /unci0n es continua en un intervalo cerrado [a,b], derivable en el intervalo abierto %a,b& y /%a& /%b&, entonces existe al menos un punto c entre a y b para el cual /R%c& -.

D& / es continua en [a,b] / es derivable en %a,b&

/%a& /%b& E& $xiste c perteneciente a %a,b& " /R%c& -

Tnterpretado geomtricamente, signi/ica que si una curva alcanKa el mismo valor en dos puntos, entonces debe poseer una tangente AoriKontal en algBn punto intermedio.

Demostracin! / es continua en [a,b] 6 por teo. de Zeierstrass / tiene mximo absoluto Q y

m5nimo absoluto m en [a,b]. Iara todo x perteneciente a [a,b] m < /%x& < Q.

$xiste x: perteneciente a [a,b] " /%x:& Q. $xiste x1 perteneciente a [a,b] " /%x1& m. Si m Q 6 para todo x perteneciente a [a,b] /%x& Q 6 /R%x& -

Sino, m < Q

6 por lo menos uno de los puntos, x: o x1, corresponde al interior del

intervalo, a %a,b&, por ejemplo x1. 6 %a,b& se comporta como un entorno de x1. Se cumple que para todo x perteneciente a %a,b& /%x1& < /%x&

6 Ior de/. de m5nimo relativo / presenta un m5nimo relativo en x1. %:& / es derivable por Aip0tesis. %1& @e :& y 1&, por .ondici0n necesaria para la existencia de extremos relativos /R%x1& -

Teorema de La&ran&e o del valor medio


^osepA Fouis Fagrange %:83< ' :7:3&

Si /%x& es continua en el intervalo cerrado [a,b] y derivable en todo punto del intervalo abierto %a,b&, entonces existe al menos un punto c donde /R%c& /%a&&"%b ' a&. %/%b& '

D& /%x& es continua en [a,b] /%x& es derivable en %a,b& E& $xiste c perteneciente a %a,b& " /R%c& %/%b& ' /%a&&"%b ' a&

Weomtricamente, %/%b& ' /%a&&"%b ' a& es la tangente del ngulo que /orma la secante que pasa por los puntos J%a,/%a&& y N%b,/%b&& de la curva, con el eje ox. /R%c& es la tangente del ngulo que /orma la recta tangente a la curva en el punto c, con el eje ox. $ntonces, el teorema expresa que existe al menos un punto en el intervalo %a,b& donde la tangente a la curva es paralela a la recta que pasa por J y N. Demostracin! @e/inamos una /unci0n auxiliar g%x& /%x& ) Ax, A perteneciente a R.

g es continua en [a,b] por ser suma de /unciones continuas. g es derivable en %a,b& por ser suma de /unciones derivables. Hueremos que g%a& sea igual a g%b& para aplicar el teorema de Polle 6 /%a& ) Aa /%b& ) Ab 6 /%a& ' /%b& Ab ' Aa A%b ' a&

f(a) - f(b) => h = ----------b - a 6 por teo. de Polle, existe c perteneciente a %a,b& " gR%c& g'(x) = f'(x) + h f(b) - f(a) g'(c) = f'(c) + h = 0 => f'(c) = ----------b - a .onsidrese por ejemplo, el caso donde x es el tiempo y /%x& la distancia de un autom0vil desde su punto de partida a lo largo de cierto camino. $ntonces %/%b& ' /%a&&"%b ' a& es la velocidad promedio del autom0vil en el per5odo b ' a. %Pecordar que velocidad distancia"tiempo& Ior lo tanto /R%a& limx'6a %/%x& ' /%a&&"%x ' a& es la velocidad del auto en el tiempo a. Si por ejemplo el auto Aa recorrido 1--Lm. en 1 As., la velocidad promedio /ue de :--Lm. por Aora. Ior el teorema de Fagrange podemos decir que, al menos en un momento durante esas dos Aoras, el auto tuvo una velocidad de exactamente :--Lm"A. -

Teoremas de Cauc"
Teorema de %auc A
Jugustin .aucAy %:874':7;8&

L#$%pital

D& /%x& y g%x& continuas en [a,b] /%x& y g%x& derivables en %a,b& /R1%x& ) gR1%x& distinto de - para todo x perteneciente a %a,b& %Fas derivadas no se anulan en el mismo punto del intervalo.& g%a& distinto de g%b& E& $xiste c perteneciente a %a,b& " %/%b& ' /%a&&"%g%b& ' g%a&& /R%c&"gR%c&

Demostracin! Sea A%x& /%x& ) Lg%x&

:. A es continua en [a,b] por ser suma de /unciones continuas en [a,b]. 1. A es derivable en %a,b& por ser suma de /unciones derivables en %a,b&. 3. Hueremos que A%a& A%b& para aplicar el teorema de Polle. 6 /%a& ) Lg%a& L%g%a& ' g%b&& L /%b& ) Lg%b& /%b& ' /%a&

%/%b& ' /%a&&"%g%a& ' g%b&& -.

@e :&,1& y 3& por el teorema de Polle existe c perteneciente a %a,b& " AR%c& AR%x& AR%c& /R%x& ) LgR%x& /R%c& ) LgR%c& 'L %/%b& ' /%a&&"%g%b& ' g%a&& -

/R%c&"gR%c& /R%c&"gR%c&

Teorema de LBCDpital
_ran`ois Jntoine de FRDSpital %:<<:':8-9&

D& limx'6a /%x&

limx'6a g%x&

$xiste limx'6a /R%x&"gR%x& E& limx'6a /%x&"g%x& limx'6a /R%x&"gR%x&

Demostracin! Ior D& existe /R%x& y gR%x& en un $,a / y g son continuas en $,a 6 / y g son derivables en un $,a 6 %teorema&

J /%a& y g%a& les adjudicamos el valor - en a porque si son discontinuas en a es una discontinuidad evitable. /%a& g%a& b 6 por de/inici0n de l5mite para todo $b existe un $,a

Supongo limx'6a /R%x&"gR%x&

" para todo x perteneciente al $,a /R%x&"gR%x& pertenece al $b. Sea x perteneciente a un $,a / y g son continuas en [x,a] y derivables en %x,a& 6 por el teorema de .aucAy

existe c perteneciente a %x,a& " %/%a& ' /%x&&"%g%a& ' g%x&& o sea /%x&"g%x& /R%c&"gR%c& 6 /R%c&"gR%c& pertenece a un $b b 6 limx'6a /%x&"g%x&

/R%c&"gR%c&

c pertenece a un $,a 6 limx'6a /%x&"g%x&

6 /%x&"g%x& pertenece al $b.

limx'6a /R%x&"gR%x&.

E$emplo
2x - 2 lim -----x->1 Lx es una indeterminacin 0/0.

Derivemos el numerador y el denominador y veamos el lmite: 2 lim ------- = 2 x->1 1/x => por L'Hpital x->1 2x - 2 lim ------ = 2 Lx

DESARROLLO DE UNA FUNCIN EN SERIE

Serie de Taylor y serie de McLaurin

Serie de McLaurin Sea la frmula de McLaurin

siendo

con 0 < z < x.

Es decir

Llamaremos serie de MacLaurin asociada a una funcin f(x) a la expresin

Esta serie describe exactamente a la funcin f(x) cuando coincida con la frmula de McLaurin y para ello deber cumplirse que: 1)Se trabaje en el intervalo de convergencia de la serie y 2) .

Ejemplo: Sea f(x) = ex

Veremos si

. que .

Serie de Taylor

De lo que se obtiene:

Si a = 0 entonces se habla de serie de Mc. Laurin.

Serie de Taylor En matemticas, la serie de Taylor de formula funcin f infinitamente derivable (real o compleja) definida en un intervalo abierto (a-r, a+r) se define con la siguiente suma:

sin(x) y aproximaciones de Taylor, con polinomios de grado 1, 3, 5, 7, 9, 11 y 13.

Aqu, n! es el factorial n y f (n)(a) indica la n-sima derivada de f en el punto a. Si esta serie converge para todo x perteneciente al intervalo (a-r, a+r) y la suma es igual a f(x), entonces la funcin f(x) se llama analtica. Para comprobar si la serie converge a f(x), se suele utilizar una estimacin del resto del teorema de Taylor. Una funcin es analtica si y solo si se puede representar con una serie de potencias; los coeficientes de esa serie son necesariamente los determinados en la frmula de la serie de Taylor. Si a = 0, a la serie se le llama serie de Maclaurin. Esta representacin tiene tres ventajas importantes:

La derivacin e integracin de una de estas series se puede realizar trmino a trmino, que resultan operaciones triviales. Se puede utilizar para calcular valores aproximados de la funcin. Es posible demostrar que, si es viable la transformacin de una funcin a una serie de Taylor, es la ptima aproximacin posible.

Algunas funciones no se pueden escribir como serie de Taylor porque tienen alguna singularidad. En estos casos normalmente se puede conseguir un desarrollo en serie utilizando potencias negativas de x (vase Serie de Laurent. Por ejemplo f(x) = exp(1/x) se puede desarrollar como serie de Laurent.

Desarrollo en Serie de Taylor Se ha visto que una serie de potencias representa una funcin ( su suma ) analtica en . A continuacin se va a establecer un recproco, fundamental en la teora de funciones de variable compleja.

También podría gustarte