Ejercicios del Tema 4.

En este documento encontrara como se puede emplear el programa Maxima para

resolver o apoyar algunos pasos de la resolucion de varios de los ejercicios del
tema. Debe tener en cuenta que:

En esencia se utilizan los comandos que aparecen en la bibliografa basica

de la asignatura. Pero aparecen algunos mas que pueden resultarle intere-
santes para resolver ejercicios y apoyar sus calculos actuales y futuros.
En muchas ocasiones existe mas de una forma de llegar al mismo resultado,
es decir, se pueden utilizar distintos comandos o los comandos en orden
diferente.

Le animamos a experimentar con el programa. Tiene los comandos escritos

y solamente debe ejecutarlos para comprobar la salida. Pero que ocurre
si cambia los datos? Obtiene lo que esperaba?
La forma ideal de trabajar con este documento es.
Primero leer el enunciado del ejercicio y tratar de resolverlo sin ayuda
de Maxima.
Si encontramos dificultades en las que creemos que Maxima nos puede
ayudar o queremos verificar el resultado, intentar utilizar el programa
para realizar esas tareas.
Finalmente recurrir a la informacion de este documento para compro-
bar la solucion y ver que sugerencias de resolucion o apoyo aparecen.

1 Ejercicio 153
Introducimos las funciones que mediante composicion definen la funcion H que
deseamos estudiar.

--> F(x):=integrate(sin(log(t)),t,0,x);
G(x):=exp(x);
H(x):=F(G(x));
Z x
(%o1) F (x) := sin (log (t)) dt
0

(%o2) G (x) := exp (x)

(%o3) H (x) := F (G (x))
Calculamos la derivada y buscamos los puntos en los que esta derivada se anula.
Maxima nos advierte de que para resolver la ecuacion ha utilizado inversas

1
de funciones trigonometricas y que es posible que se hayan perdido soluciones.
Sabemos que es as porque en la resolucion analtica que realizamos encontramos
infinitos puntos crticos.

--> diff(H(x),x);
solve(%=0,x);
(%o4) ex sin (x) solve : usingarctrigf unctionstogetasolution.Somesolutionswillbelost.
(%o5) [x = 0]
Las derivadas de orden dos y tres que se utilizan en el ejercicio se pueden verificar
utilizando las siguientes instrucciones.

--> diff(H(x),x,2);
diff(H(x),x,3);
(%o6) ex sin (x) + ex cos (x)
(%o7) 2 ex cos (x)

2 Ejercicio 154
Definimos F(x) y calculamos su derivada.

--> kill(all);
assume(x>0);
F(x):=integrate(t*sin(t),t,0,x);
diff(F(x),x);
(%o0) done
(%o1) [x > 0]
Z x
(%o2) F (x) := t sin (t) dt
0
(%o3) x sin (x)
Observe que pedimos a Maxima que suponga que x>0. Si no lo hicieramos,
Maxima nos preguntara sobre el signo de x. A continuacion, encontramos los
puntos crticos:

--> solve(%=0,x);
solve : usingarc trigf unctionstogetasolution.Somesolutionswillbelost.
(%o4) [x = 0]
De nuevo, se pierden soluciones. Ahora calculamos la derivada segunda y la
evaluamos en 7%pi:

2
--> diff(F(x),x,2);
define(d2f(x),diff(F(x),x,2));
d2f(7*%pi);

(%o5) sin (x) + x cos (x)

(%o6) d2f (x) := sin (x) + x cos (x)
(%o7) 7

3 Ejercicio 155
Derivemos la expresion del ejercicio utilizando Maxima para comprobar que
obtenemos el mismo resultado que utilizando el teorema fundamental del calculo.
Para evitar que Maxima calcule directamente la integral utilizaremos un apostrofe
delante del comando integrate. Con ese apostrofe le indicamos a Maxima que no
deseamos que evalue la expresion. Fjese en la diferencia entre poner el apostrofe
o no.

--> integrate(t^2,t,x,1);
integrate(t^2,t,x,1);
Z 1
(%o8) t2 dt
x

1 x3
(%o9)
3 3
El valor de la derivada es independiente de si aplicamos el teorema fundamental
del calculo (derivamos con apostrofe) o calculamos una primitiva y despues
derivamos.

--> diff(integrate(t^2,t,x,1),x);
diff(integrate(t^2,t,x,1),x);

(%o10) x2
(%o11) x2

4 Ejercicio 157
Para calcular las integrales definidas o primitivas utilizamos el comando inte-
grate.

3
--> integrate(log(x)/x,x);
integrate((x^2-1)/(x^3-3*x+7),x);
integrate(sin(sqrt(x^3))/sqrt(x^3)*x^2,x);
2
log (x)
(%o12)
2


log x3 3 x + 7
(%o13)
3
 3
2 cos x 2
(%o14)
3

5 Ejercicio 158 y 159

Calculamos las integrales indefinidas que aparecen en estos ejercicios con Max-
ima.

--> integrate(x*exp(x),x);

(%o15) (x 1) ex
Fjese con atencion en los comandos siguientes para obtener la misma integral
y en las salidas que obtiene.

--> integrate(x*e^x/(x+1)^2,x);
integrate(x*exp(x)/(x+1)^2,x);
integrate(x*%e^x/(x+1)^2,x);

(x 1) elog(e) x x elog(e) x
Z
(%o16) dx+
log (e) x3 + 3 log (e) x2 + 3 log (e) x + log (e) log (e) x2 + 2 log (e) x + log (e)
ex
(%o17)
x+1
ex
(%o18)
x+1
Recuerde que el numero e se indica en maxima con %e y que la funcion expo-
nencial se puede denotar mediante exp(x) y %e^x. Si no se hace ocurre lo
que aparece mas arriba. Considera e como una constante de la que desconoce
el valor. Por lo tanto, Maxima realiza las cuentas y podemos no notar que
hemos cometido un error.

6 Ejercicio 160
Maxima posee un comando para descomponer funciones racionales en fracciones
simples. Se trata del comando partfrac que emplearemos a continuacion

4
--> partfrac((x^2+7*x+3)/(x+1)^3,x);
1 5 3
(%o19) +
x + 1 (x + 1)2 (x + 1)
3

Si no deseamos utilizar el comando anterior y solo queremos utilizar Maxima

para resolver el sistema de ecuaciones que obtuvimos en el ejercicio. Primero
definimos las ecuaciones.

--> ec1:(a=1);
ec2:(2*a+b=7);
ec3:a+b+c=3;
(%o20) a = 1
(%o21) b + 2 a = 7
(%o22) c + b + a = 3
Y ahora utilizamos el comando linesolve, puesto que se trata de un sistema
de ecuaciones lineal.

--> linsolve([ec1, ec2, ec3], [a,b,c]);

(%o23) [a = 1, b = 5, c = 3]

7 Ejercicio 161

--> integrate((x+2)/(x^2-1),x);

3 log (x 1) log (x + 1)
(%o24)
2 2

8 Ejercicio 162
Utilizando los comandos integrate y partfrac podremos verificar los calculos
que realizamos en el ejercicio.

--> kill(all)$
f(x):=(x^3+3*x^2-28*x-33)/(x^2-x-20);
partfrac(f(x),x);
integrate(f(x),x);

x3 + 3 x2 + (28) x 33
(%o1) f (x) :=
x2 x 20

5
 7 3
(%o2) +x+ +4
x+4 x5
x2 + 8 x
(%o3) 7 log (x + 4) + 3 log (x 5) +
2
Tambien podemos buscar apoyo en Maxima para realizar algunas de las opera-
ciones que realizamos en el ejercicio. Por ejemplo, la division de polinomios con
el comando divide.

--> divide(x^3+3*x^2-28*x-33,x^2-x-20);
(%o4) [x + 4, 47 4 x]
La salida que obtenemos es el cociente y el resto. El primer elemento de la
lista es el cociente y el segundo el resto de la division. Despues factorizamos
x^2-x-20. Algo que realiza Maxima con el comando factor

--> factor(x^2-x-20);
(%o5) (x 5) (x + 4)

9 Ejercicio 163
Utilizando el comando allroots que aproxima numericamente las races de un
polinomio obtenemos.

--> allroots((x^2+1)^2);

(%o6) [x = 0.99999997888449 i+1.8652796351360228 108 , x = 1.8652796351360228 108

0.99999997888449 i, x = 1.000000021115508 i 1.8652796351360228 108 , x =
1.000000021115508 i 1.8652796351360228 108 ]
Por lo tanto, s tiene races complejas. Es mas, son todas complejas. Si en lugar
de allroots utilizamos el comando solve, resulta lo siguiente.

--> solve((x^2+1)^2=0);
(%o7) [x = i, x = i]
Y conocemos las races de forma exacta. Con el resultado anterior obtenido con
allroots deducimos que las races i y -i tienen multiplicidad 2. Por ultimo,
realizamos la factorizacion de la funcion racional con el comando partfrac.

--> partfrac(8*x^3/(x^2+1)^2,x);
8x 8x
(%o8)
x2 + 1 (x2 + 1)2

6
10 Ejercicio 164
Calcularemos la intregral indefinida de forma directa utilizando Maxima. Tambien
descompodremos la funcion integrando utilizando el comando partfrac.

--> kill(all);
f(x):=(3*x^4+4*x^2+2*x+1)/(x*(x^2+1)^2);
partfrac(f(x),x);
integrate(f(x),x);

(%o0) done
3 x4 + 4 x2 + 2 x + 1
(%o1) f (x) := 2
x (x2 + 1)
2x 2 1
(%o2) + +
x2 + 1 (x2 + 1)2 x
x
(%o3) log x2 + 1 + log (x) + atan (x) +


x2 + 1

11 Ejercicios 166 y 167

En el ejercicio 166 podemos utilizar directamente el comando integrate.

--> integrate(tan(2*x+1)/(1+2*(tan(2*x+1))^2),x);
 
2
log sin (2 x + 1) + 1
(%o4)
4
En el ejercicio 167 podemos utilizar directamente el comando integrate y
despues el comando expand para obtener una expresion similar a la del libro.

--> integrate((1+sqrt(x)-x^(2/3))/(1+x^(1/3)),x);
4 7 5 1
!
 1
 105 x 3 120 x 6 140 x + 168 x 6 280 x + 840 x 6
(%o5) 6 atan x 6
840
--> expand(%);
4 7 5
3 x3 6 x6 6 x6 1
 1
(%o6) + +x + 2 x 6 x 6 + 6 atan x 6
4 7 5
--> divide(-t^9+t^8+t^5,t^2+1);

(%o7) [t7 + t6 + t5 t4 + t2 1, 1]
En donde, como ya se ha indicado, el primer elemento de la lista es el cociente
y el segundo el resto de la division.

7
12 Ejercicio 169
Maxima es capaz de resolver la ecuacion directamente sin el cambio de variable
que se realizo en el ejercicio 168

--> integrate(sqrt((x+1)/(x-1)),x);
q  q  q
x+1 x+1 x+1
log x1 + 1 log x1 1 x1
(%o8) 4 + 2 (x+1)

4 4 2
x1

Si integramos la expresion que aparece en el ejercicio obtenemos.

--> integrate(-4*t^2/(t^2-1)^2,t);
 
log (t + 1) log (t 1) t
(%o9) 4 + 2
4 4 2t 2
Y deshaciendo el cambio llegamos al mismo resultado.

--> at(%,t=sqrt((x+1)/(x-1)));
q  q  q
x+1 x+1 x+1
log x1 + 1 log x1 1 x1
(%o10) 4 + 2 (x+1)

4 4 2
x1

13 Ejercicios 170, 171 y 172

Utilizamos el comando integrate para calcular las integrales definidas. La
unica diferencia con respecto al uso de este comando para calcular integrales
definidas es que anadimos los lmites de integracion.

--> integrate(asin(x/2)/(sqrt(4-x^2)),x,1,2);

2
(%o11)
9
--> integrate(1/sqrt(3-(2*x-1)^2),x,1/2,5/4);

(%o12)
6
--> integrate((cos(2*x))^2,x,0,%pi/2);

(%o13)
4

8
--> integrate(cos(%pi*x)-sin(%pi*x),x,1/4,1);

2+1
(%o14)

14 Ejercicio 183
Maxima tambien calcula integrales impropias con el comando integrate.

--> integrate(x*exp(-x^2),x,0,inf);
1
(%o15)
2

15 Ejercicio 184
Si la integral no es convergente recibiremos una salida que nos lo indica. Como
ocurra con los lmites.

--> integrate(cos(2*%pi*x),x,0,inf);

(%o16) 0

16 Ejercicio 186
Se trata de una integral impropia de segunda especie que Maxima calcula
tambien a traves del comando integrate.

--> integrate(log(x),x,0,1);

(%o17) 1

17 Ejercicio 187 (complemento)

Maxima no siempre consigue obtener un resultado. En caso de no hacerlo,
devuelve la misma instruccion que le hemos dado. Observamos que no determina
que una de las siguientes integrales impropias es divergente como conseguimos
con el criterio de comparacion.

9
--> integrate(1/log(x+1),x,1,inf);
integrate(%e^(-x^2),x,1,inf);
Z
1
(%o18) dx
1 log (x + 1)
gamma incomplete 12 , 1


(%o19)
2
Calculamos aqu los lmites para aplicar el criterio de comparacion.

--> limit((1/log(x+1))/(1/x),x,inf);
limit((1/log(x+1))/(1/x^2),x,inf);
limit((%e^(-x^2))/(1/x),x,inf);
limit((exp(-x^2))/(1/x^2),x,inf);

(%o20)
(%o21)
(%o22) 0
(%o23) 0

10