Solucin prctica 2, 15-16 -- Sage

Solucin prctica 2, 15-16

Solucin de la prctica 2 con Sage: Aplicaciones de la derivada de funciones de una
variable

- Representacin grfica de funciones (dominio de definicin, asntotas, crecimiento y decrecimiento, extremos relativos y

absolutos, concavidad y convexidad, puntos de inflexin).

- Aproximacin de una funcin por el polinomio de Taylor.

Ejercicio 20-(iii). Estudiar y representar la funcin f(x) = (x 2 + x + 1)/(x 2 + 5x + 4) .

f(x)=(x^2+x+1)/(x^2+5*x+4);show(f)

x2 + x + 1
x
x2 + 5x + 4

plot(f(x),-20,20)

https://sage.unirioja.es:8000/home/mminguez/31/print[02/11/2015 10:13:33]
Solucin prctica 2, 15-16 -- Sage

No se ve nada, es demasiado amplio el intervalo sobre el que se dibuja la grfica. Adems hay mucha
diferencia en las escalas de los ejes X e Y.

plot(f(x),-6,3,ymin=-10,ymax=20)

Ahora si, calculemos los puntos y elementos notables

1) Calculamos el dominio:

solve(x^2+5*x+4==0,x)
[x == -4, x == -1]

Luego el dominio es R {4, 1} .

2) Asntotas:

Asntotas verticales:

limit(f(x),x=-4,dir="minus")
+Infinity

https://sage.unirioja.es:8000/home/mminguez/31/print[02/11/2015 10:13:33]
Solucin prctica 2, 15-16 -- Sage

es el lmite calculado por la izquierda de -4, es decir cuando nos aproximamos a menos 4 por valores
mas pequeos.

limit(f(x),x=-4,dir="plus")
-Infinity

aqu nos aproximamos a -4 por valores ms grandes que -4.

limit(f(x),x=-1,dir="minus")
-Infinity
limit(f(x),x=-1,dir="plus")
+Infinity

Tenemos dos asntotas verticales x=-4 y x=-1, como se aprecia en la grfica.

Asntotas horizontales:

limit(f(x),x=oo)
1
limit(f(x),x=-oo)
1

Hay una asntota horizontal en y = 1 , por tanto no hay asntotas oblicuas.

Vamos a pedir que pinte la asntota horizontal. (las verticales las pinta siempre)

plot(f(x),-6,4,ymin=-10,ymax=20)+plot(1,-6,4,rgbcolor=(1,0,0))

https://sage.unirioja.es:8000/home/mminguez/31/print[02/11/2015 10:13:33]
Solucin prctica 2, 15-16 -- Sage

3) Monotona y extremos:

g(x)=diff(f(x),x);show(g(x))
g(x).simplify_rational()

( x 2 + x + 1)(2 x + 5) 2x + 1
+
2 x2 + 5x + 4
( x 2 + 5 x + 4)

(4*x^2 + 6*x - 1)/(x^4 + 10*x^3 + 33*x^2 + 40*x + 16)

solve(g(x)>0,x)
[[x < -4], [x > -4, x < -1/4*sqrt(13) - 3/4], [x >
1/4*sqrt(13) - 3/4]]
solve(g(x)<0,x)
[[x > -1/4*sqrt(13) - 3/4, x < -1], [x > -1, x <
1/4*sqrt(13) - 3/4]]
solve(g(x)==0,x)
[x == -1/4*sqrt(13) - 3/4, x == 1/4*sqrt(13) - 3/4]
N(-1/4*sqrt(13) - 3/4)
-1.65138781886600

https://sage.unirioja.es:8000/home/mminguez/31/print[02/11/2015 10:13:33]
Solucin prctica 2, 15-16 -- Sage

N(1/4*sqrt(13) - 3/4)
0.151387818865997

Luego la funcin crece en (, 1.65) {4} , decrece en (1.65, 0.15) {1} y vuelve a crecer en
(0.15, +) . El punto x = 1.65 es un mximo relativo y el punto x=0.15 un mnimo relativo.

4) Concavidad y convexidad, puntos de inflexin:

h(x)=diff(f(x),x,2)
h(x).simplify_rational()
-2*(4*x^3 + 9*x^2 - 3*x - 17)/(x^6 + 15*x^5 + 87*x^4 + 245*x^3 +
348*x^2 + 240*x + 64)
solve(h(x)==0,x)
[x == -1/1352*169^(2/3)*(-13*I*sqrt(3) + 13) -
1/8*169^(1/3)*(I*sqrt(3) + 1) - 3/4, x ==
-1/1352*169^(2/3)*(13*I*sqrt(3) + 13) - 1/8*169^(1/3)*(-I*sqrt(3) +
1) - 3/4, x == 1/52*169^(2/3) + 1/4*169^(1/3) - 3/4]

Observar que slo tiene una solucin real cuyo valor numrico vamos a calcular:

N(1/52*169^(2/3)+1/4*169^(1/3) - 3/4)
1.22002737534991
f(1.22)
0.320009664837251

Hay punto de inflexin en x = 1.22 , y = 0.32 .

Hacemos el dibujo completo:

g1=plot(f(x),-7,4,ymin=-10,ymax=10)
g2=plot(1,-7,4,ymin=-10,ymax=10,rgbcolor=(1,0,0))
g3=point([(1.22,f(1.22)),(-1.65,f(-
1.65)),(0.15,f(0.15))],pointsize=20,rgbcolor=(0,1,0))
g1+g2+g3

https://sage.unirioja.es:8000/home/mminguez/31/print[02/11/2015 10:13:33]
Solucin prctica 2, 15-16 -- Sage

Ejercicio 20-(ix). Estudiar y representar la funcin f(x) = cos(x) + 1/2cos(2x) .

f(x)=cos(x)+1/2*cos(2*x)

plot(f(x),-2*pi,2*pi)

https://sage.unirioja.es:8000/home/mminguez/31/print[02/11/2015 10:13:33]
Solucin prctica 2, 15-16 -- Sage

Observamos que es simtrica respecto el eje OY (efectivamente f(-x)=f(x)). La estudiamos entre 0 y

2pi.

Buscamos los puntos de corte con los ejes

solve(f(x)==0,x)
[cos(2*x) == -2*cos(x)]

No calcula porque hay infinitas soluciones, hay que buscarlas en los intervalos intervalos en los que
haya a lo ms una solucin.

find_root(f(x)==0,0,pi)
1.1960618940861565
find_root(f(x)==0,pi,2*pi)
5.08712341309343
f(0)
3/2

https://sage.unirioja.es:8000/home/mminguez/31/print[02/11/2015 10:13:33]
Solucin prctica 2, 15-16 -- Sage

3) Monotona y extremos:

g(x)=diff(f(x),x)
g(x).full_simplify()
-(2*cos(x) + 1)*sin(x)
find_root(g(x)==0,0,1)
0.0
find_root(g(x)==0,1,pi)
2.0943951023931957
N(2*pi/3)
2.09439510239320
find_root(g(x)==0,pi,4)
3.141592653589793
find_root(g(x)==0,4,2*pi)
4.188790204786391

En 0 y pi hay mximos relativos y en 2pi/3 y 4pi/3 mnimos.

4) Concavidad y convexidad, puntos de inflexin:

h(x)=diff(f(x),x,2)
h(x).full_simplify()
-4*cos(x)^2 - cos(x) + 2
find_root(h(x)==0,0,2)
0.935929455661326
find_root(h(x)==0,2,3)
2.57376328066115

Hay cuatro puntos de inflexin. Se han calculado dos y los otros son los simtricos respecto a la recta
x=pi.

plot(f(x),-
1,7)+point([(0.93,f(0.93)),(2.57,f(2.57))],pointsize=20,rgbcolor=(1,0,0))

https://sage.unirioja.es:8000/home/mminguez/31/print[02/11/2015 10:13:33]
Solucin prctica 2, 15-16 -- Sage

Ejercicio: Hallar el polinomio de MacLaurin que aproxima a la funcin ex en el intervalo

[1, 1] con un error menor que 102 .

f(x)=e^(x)

poli2=taylor(f(x),x,0,2)
poli2
1/2*x^2 + x + 1
poli3=taylor(f(x),x,0,3)
poli3
1/6*x^3 + 1/2*x^2 + x + 1

Dibujamos la funcin y los dos polinomios en distintos colores.

https://sage.unirioja.es:8000/home/mminguez/31/print[02/11/2015 10:13:33]
Solucin prctica 2, 15-16 -- Sage

plot(f(x),-1,1)+plot(poli2,-1,1,rgbcolor=(1,0,0))+plot(poli3,-
1,1,rgbcolor=(0,1,0))

Dibujamos la recta horizontal y=10^{-2} por debajo de la cual tiene que estar el error que se comete
en la aproximacin error=abs(f(x)-poli3) en el intervalo [-1,1].

plot(abs(f(x)-poli3),-1,1)+plot(10^(-2),-1,1,rgbcolor=(1,0,0))

https://sage.unirioja.es:8000/home/mminguez/31/print[02/11/2015 10:13:33]
Solucin prctica 2, 15-16 -- Sage

Claramente no esta por debajo de 10^-2 en todo el intervalo. Tomamos el polinomio de grado 4.

poli4=taylor(f(x),x,0,4)
poli4
1/24*x^4 + 1/6*x^3 + 1/2*x^2 + x + 1
plot(abs(f(x)-poli4),-1.1,1.1)+plot(10^(-2),-1.1,1.1,rgbcolor=(1,0,0))

https://sage.unirioja.es:8000/home/mminguez/31/print[02/11/2015 10:13:33]
Solucin prctica 2, 15-16 -- Sage

Ahora si, el polinomio de MacLauren pedido es el de grado 4: P(x)=x^4/24 + x^3/6 +

x^2/2+ x + 1.

Ejercicio : Utilizando la serie de McLaurin, calcula la derivada de orden 22 en cero de la funcin

tan( x 2 ) . Lo mismo para la derivada de orden 24.

reset('f')

f(x)=tan(x^2)

taylor(f(x),x,0,25)
1382/155925*x^22 + 62/2835*x^18 + 17/315*x^14 + 2/15*x^10 + 1/3*x^6
+ x^2
factorial(22)*1382/155925
9962283186074419200
(22
f (0)
El coeficiente de x 22 es , por tanto la derivada de orden 22 en 0 ser 9962283186074419200.
(22)!

El coeficiente de x 24 es 0, por tanto, f (24

(0) = 0 .

https://sage.unirioja.es:8000/home/mminguez/31/print[02/11/2015 10:13:33]
Solucin prctica 2, 15-16 -- Sage

Ejercicio : Escribir x 4 + x 3 3x 2 + 4x 4 en potencias de (x 1) .

taylor(x^4+x^3-3*x^2+4*x-4,x,1,4)
(x - 1)^4 + 5*(x - 1)^3 + 6*(x - 1)^2 + 5*x - 6

Como se ve no lo hace bien del todo. El polinomio sera:

(x 1) 4 + 5(x 1) 3 + 6(x 1) 2 + 5(x 1) 1.

https://sage.unirioja.es:8000/home/mminguez/31/print[02/11/2015 10:13:33]