UNIVERSIDAD DE OVIEDO

CAMPUS DE GIJN
MANUAL DEL
PROGRAMA wxMAXIMA
PRCTICAS DE
ALGEBRA
PRIMER CURSO DE LOS GRADOS

Practicas-alumno-1.nb

1. Calcular

2. Calcular

3
8 54 y dar su valor aproximado.
4

5 121 27

3. Calcular sen cos y dar su valor aproximado.

4
3
4. Calcular arctg1 arccos1
5. Asignar al smbolo x el valor de 53 y calcular x

11 x

6.Resolver la ecuacin x2 8x 4 0
7. Sustituir en la expresin x3 y2 2 la variable "x" por 1 y la variable "y" por 2.
2

8. Construir, con la orden makelist,

una lista con los cuadrados de los 20 primeros nmeros impares.

Practicas-curso-11-12.nb

1. Nmeros Complejos.
La aritmtica de los complejos se representa de igual modo que la de nmeros reales:
suma(+), resta(-), producto(*), divisin(/) y potenciacin( ^), como ya se mencion en el
punto 1.2.1 (Operaciones bsicas). Recordamos, tambin, que en maxima la unidad
imaginaria queda representada mediante %i.

Funciones complejas
A continuacin, presentamos otras funciones tiles para trabajar con complejos
realpart(z)
imagpart(z)
abs(z)
conjugate(z)
atan2(y,x)
carg(z)
rectform(z)
polarform(z)
demoivre(z)

Parte real de z Parte imaginaria de z

Parte imaginaria de z
Mdulo de z
Conjugado de z
Argumento principal de z=x+y*i
Argumento principal de z
Expresa z en forma binmica
Expresa z en forma polar
Expresa z en forma trigonomtrica

Practicas-curso-11-12.nb

El men desplegableSimplificar, Simplificacin compleja nos permite introducir la mayora de estas funciones.

Ejercicios de complejos

Ejercicio 1. Expresar en forma binmica los siguientes nmeros complejos :

pi

1 - e 2
a z = p i
1 + e 2

b w = ep i 1 - e 3
pi

z+w
c Calcular el mdulo, argumento, parte real y parte imaginaria de u =
2i
Ejercicio 2. Expresar los nmeros complejos z = 1 + i y w = 1 tambin en forma exponencial, el valor de z4 w2 .

3 i en forma exponencial y calcular,

Practicas-curso-11-12.nb
Ejercicio 3. Hallar los nmeros reales x e y tales que 43 + yi = 4 + 3 i x - 5 i
Ejercicio 4. Hallar el valor del nmero real a para que el cociente
3 - 2 ai 4 - 3 i sea real y para dicho valor calcular el cociente indicado.
Ejercicio 5. Hallar dos nmeros complejos tales que su suma sea 1 + 4 i,
su cociente sea imaginario puro y la parte real de uno de ellos sea - 1.
Ejercicio 6. Calcular las races octavas de la unidad y comprobar que su suma es cero y su producto - 1.

2. Matrices, Determinantes y Sistemas Lineales

Los mens desplegalables Algebra y Ecuaciones nos permiten introducir casi todas las rdenos con un golpe
de ratn.

Creacin de Matrices:
matrix (lista1, lista2, ..., listak) construye la matriz cuyas filas son los vectores lista1, lista2 ....

Practicas-curso-11-12.nb

Generacin de Matrices:
genmatrix (a,n,m)
ident(n)

construye la matriz nxm cuyos elementos son a[i,j].

construye la matriz identidad de orden n.

La matriz 4x5 de elementos aij =i+j se genera del modo siguiente

Operaciones con Vectores y Matrices:

A+B
A.B
A.v
v.A
l*M
M^^n
v.w

Suma de matrices
Producto de matrices
Producto de matriz por vector columna
Producto de vector fila por matriz
Producto de un escalar por una matriz
Potencias de matrices
Producto escalar de dos vectores

Funciones Matriciales
transpose(A)
invert(A)
determinant(A)
rank(A)
echelon(A)

Traspuesta de A
Inversa de A
Determinante de A
Rango de A
Escalonada de A

Practicas-curso-11-12.nb

Manipulaciones de matrices
A[i,j]
col(A,i)
row(A,i) o A[i]
addcol(A,B) o addcol(A,v)
addrow(A,B) o addrow(A,v)

Elemento de la fila i y columna j de A

Columna i de A
Fila i de A
Aade a A las columnas de B (o la columna v)
Aade a A las filas de B
(o la fila v)

Resolucin de sistemas
linsolve([Ecu1,Ecu2,...],[Incog1,Incog2,...])
Resuelve un sistema lineal
devolviendo la solucin (en casso de indeterminacin) en forma paramtrica,
utilizando como parmetros %r1, %r2 ....
linsolve_params:false$ hace que linsolve exprese unas incognitas en funcin de
otras.
linsolve_params:true$
hace que linsolve exprese las incognitas en funcin de
parmetros.
(solve, tambin sirve y es ms general)
Si la ecuacion es expr=0, se puede escribir, en lugar de la ecuacin, "expr"!!

Ejemplos de Resolucin de sistemas:

Compatible determinado (solucin nica)

Compatible indeterminado
Definimos las ecuaciones llamndolas Ecu1, Ecu2 y Ecu3

Resolvemos con Linsolve y con solve que nos da la solucin en forma paramtrica

Practicas-curso-11-12.nb

Resolvemos con linsolve dando la solucin en forma implcita (unas incgnitas en funcin de otras)

Ejecutamos la orden linsolve_params:true para, de nuevo, obtener la solucin en forma paramtrica.

Sistema Incompatible

Ejercicios de matrices,determinantes y sistemas

Ejercicio 1.
a) Construye una matriz de tres filas y cuatro columnas y llmala M. Puedes usar el men despleglable
Algebra.
b) Calcula el producto de M por su traspuesta (M.M T ) y llmala A.
c) Calcula el determinante de A y la inversa de A, si es posible. Calcula el producto A.A-1 y comprueba que
sale lo que tiene que salir.
d) Calcula el rango de M T .M usando la funcin rank y comprueba si con echelon se llega a la misma
conclusin.
e) Calcula A7 y comprueba que |A7 |= A 7 .
Ejercicio 2. Dado el sistema de ecuaciones:

Comprobar que el determinante de la matriz de coeficientes es distinto de cero para tener garantizado que

Practicas-curso-11-12.nb

el sistema es siempre compatible determinado con independencia del valor del parmetro a. Calcular la
solucin mediante los tres mtodos siguientes:
i) Utilizando la inversa de la matriz de coeficientes.
ii) Utilizando la orden linsolve.
iii) Mediante eliminacin Gaussiana (echelon), deduce la solucin para la incognita t.
Ejercicio 3. Se considera el sistema de ecuaciones:

a) Demuestra que es compatible e indeterminado, usando eliminacin Gaussiana (echelon).

b) Resuelve el sistema con linsolve obteniendo la solucin en forma paramtrica. Llama solpar a la solucin.
c) Resuelver el sistema con linsolve obteniendo la solucin expresando unas incgnitas en funcin de
otras.
d) Dar una solucin particular. Utiliza el recurso de substitucin:
solpar,[%r1=valor1, %r2=valor2 ],
con valores de tu eleccin.
Ejercicio 4. Dado el sistema de ecuaciones:

a) Construye la matriz de coeficientes del sistema y llmala M. Llama b al vector de trminos independientes b:[1,a,a,a]
b) Construye la matriz ampliada (ver manipulacin de matrices) y llmala A.
c) Obtn los valores de a para los cuales la matriz A tiene determinante 0, es decir, rango menor que 4.
d) A partir de lo anterior, discutir el sistema segn los valores del parmetro a. Hay algn valor de a para
el cual el sistema sea compatible e indeterminado?

3. Espacios Vectoriales.
Los ejercicios relativos al estudio de la dependencia e independencia lineal de sistemas
de vectores se resuelven a travs del estudio del rango de la matriz cuyas filas son los
vectores del sistema dado. Las funciones del maxima para trabajar con matrices ya
fueron mencionadas en el tema anterior. Introducimos algunas funciones nuevas del
maxima que nos permitirn trabajar con distintos tipos de ecuaciones en un subespacio y
la obtencin de bases a partir de las mismas. As, la funcin eliminate nos permitir
convertir ecuaciones paramtricas en ecuaciones implcitas.

Practicas-curso-11-12.nb

Eliminate([Ecu1,Ecu2,...],[param1,param2,...])
subst(a,b,c)

Elimina param_ de las ecu_

Sustituye a por b en c

Ejemplo. Calcular las ecuaciones implcitas y paramtricas del subespacio de R4 cuya base es {(1,2,1,1), (0,1,0,-1)}.
Determinamos las ecuaciones paramtricas:

Por tanto, las ecuaciones paramtricas son : x=a, y=b+2, z=a, t=a-b.
Obtenemos las ecuaciones implcitas eliminando los parmetros:

Las ecuaciones resultantes son y-3x+t=0 ; x-z=0

Ejercicios de espacios vectoriales

Ejercicio 1. Probar que los vectores del sistema B =

1, 1, 1, 1, 3, 1, -2, 1, 3 forman una base de R3 y hallar las coordenadas del vector 1, 1, 2 en la base B.
Ejercicio 2. Dado el subespacio S de ecuaciones :

hallar las ecuaciones paramtricas y una base de S.

Ejercicio 3. Se considera el subespacio U de R4 generado por los vectores :
u1 = 1, -1, 0, 1, u2 = -1, 0, 1, 0, u3 = 1, -2, 1, 2

y el subespacio V generado por : v1 = 0, -1, 1, 1, v2 = 1, -2, 1, 2

a Obtener una base y ecuaciones de los subespacios U y V
b Calcular la dimensin de U V y sus ecuaciones paramtricas e implcitas.
Ejercicio 4. Consideremos los subespacios V y W de R3 dados por :

V = x, y, z x = a + b, y = b, z = a + 2 b y W = x, y, z x - y + 2 z = 0.
Se pide :

Practicas-curso-11-12.nb

a Bases y ecuaciones de V y de W
b Base de V + W
c Base y ecuaciones de V W
d Coordenadas del vector 2, 3, 5 respecto de la base de V + W obtenida anteriormente.

Ejercicio 5. a Un vector x de R3 tiene por coordenadas 1, 2, 3 respecto de la base B = v1, v2, v3.
Hallar las coordenadas de x en la base B' = u1, u2, u3 sabiendo que :
u1 = 3 v1 + 2 v2 - v3
u2 = 4 v1 + v2 + v3
u3 = 2 v1 - v2 + v3

b Dado x = 3, 1, 2, 6 expresin coordenada de un vector de R4 respecto de

B = u1 = 1, 0, 2, 1, u2 = 0, 3, 2, 1, u3 = 3, 4, 1, 0, u4 = 1, 1, 0, 1

hallar sus coordenadas respecto de la base cannica.

Ejercicio 6. En el espacio vectorial de las matrices cuadradas reales de orden 2,
se consideran los siguiente subespacios :
1 0 1 2 0 1

,
,
U =
0 -1 2 1 1 1
2 3 1 0 0 1
,
,

V =
3 1 0 1 1 0

a Obtener una base y dimensin de los subespacios U, V, U + V y U V.

2 -3
pertenece a U V y, en caso de que as sea,
b Estudiar si la matriz M =
-3 -5
calcula sus coordenadas respecto de la base obtenida para ese subespacio en el apartado anterior.

4. Aplicaciones Lineales.
nullspace(M)
columnspace(M)

Resuelve M.x=0 (Ncleo de M)

Base del espacio generado por las columnas de M

El objeto que devuelve nullspace y columnspace no son exactamente matrices

Practicas-curso-11-12.nb

para extraer los distintos elementos se procede del modo siguiente:

Ejercicios de aplicaciones lineales

Ejercicio 1. Sea f : R4 -> R5 una aplicacin lineal cuya matriz respecto a las bases cannicas es

i) Obtener la matriz asociada en las bases B={(3,0,1,-5),(2,-1,0,1),(-2,3,4,2),(1,0,2,0)} y

C={(1,1,1,1,1),(0,1,1,1,1),(0,0,1,1,1),(0,0,0,1,1),(0,0,0,0,1)}.
ii) Obtener las dimensiones del ncleo y de la imagen y,es posible, una base de los citados subespacios.
iii) Analizar si los vectores (1,-1,2,3) y (0,11,-2,3) pertenecen al ncleo de f.

Ejercicio 2. Sea f : R3 -> R3 un endomorfismo definido por :

f u1 = u1, f u2 = 2 u2, f u3 = -u3,

donde u1, u2 y u3 son vectores de R3 cuyas coordenadas respecto a la base cannica son :

u1 = -1, 0, 2, u2 = 0, 1, 7, u3 = 2, 0, 3.

Se pide :
a Comprobar que B = u1, u2, u3 es una base de R3.

10

Practicas-curso-11-12.nb

11

b Hallar la matriz asociada al endomorfismo f respecto a la base cannica.

c Hallar la imagen por f del vector v = 2 u1 + u2 y expresarla en la base cannica y en la base B.
d Probar que f es biyectiva. Hallar el vector cuya imagen por f es 3 u1 + u2 y expresarlo enla base cannica.
Ejercicio 3. Sea f : R5 -> R3 una aplicacin lineal definida por :
f(x1,x2,x3,x4,x5)=(3x1-2x2+x3-4x4+6x5,x1-8x5,x1+x2+x3+x4+x5)

y la aplicacin lineal g : R3 -> R4 definida por g x1, x2, x3 = x1, x2, 0, x3.
i) Determinar la matriz asociada a la aplicacin lineal gof con respecto a las bases cannicas.
ii) Analizar si la aplicacin es inyectiva o si es sobre.
iii) Obtener la imagen del vector (1,2,3,4,5) a travs de gof.

5. Diagonalizacin de endomorfismos
Introducimos las siguientes funciones que nos permitirn realizar los ejercicios de este
tema de forma ms rpida y directa.
charpoly(matriz, variable)
eigenvalues(matriz)
eigenvectors(matriz)

Polinomio caracterstico
Valores propios de la matriz
Valores y vectores propios de la matriz

Tambin tenemos la opcin de obtener estas funciones mediante los mens desplegables
del maxima:

Practicas-curso-11-12.nb

12

1 1 1

Ejemplo. Determinar el polinomio caracterstico de la matriz M= 1 1 1 . Calcular los valores y vectores

1 1 1
propios de dicha matriz.

Otras funciones utilizadas en este tema y que ya fueron mencionadas en prcticas anteriores son: ident,
nullspace, gramschmidt, solve, ratsim, float.
Recordemos que la orden nullspace sirve para calcular una base del ncleo de una aplicacin a partir de
su matriz asociada.

Practicas-curso-11-12.nb

13

La extraccin de los vectores del ncleo para su posterior utilizacin no es obvia pues span no es una
matriz. El modo de proceder, como ya se indic en el tema anterior, es el siguiente:

Ejercicios de diagonalizacin de endomorfismos

Ejercicio 1. Discutir la diagonalizacin de la matriz M segn los valores de a
2 a - 1 0 2 a - 2

a
2
M = 1

1-a 0 2-a

Ejercicio 2. Considrese la matriz siguiente

18

18

0
1

A =

36

-18

-6

-3 18 -3 3

-1 -6 35 1

-3 -18 -3 3
6

34

24

-2

Practicas-curso-11-12.nb

14

1 1
a Calcular una matriz P tal que P-1 AP = D = Diag
, , 1, 1, 0. Hacerlo siguiendo el proceso terico
2 2

b Usar la orden que lo hace directamente.

c Aplicar lo anterior para calcular limn A. Compralo con A100 utilizando expresiones aproximadas.
Ejercicio 3. Demostrar que la matriz A no es diagonalizable como matriz real pero s como matriz compleja.
Encontrar P tal que P-1 AP sea diagonal y calcular las potencias de A. cuntas hay diferentes?
3 -1 1 1

-2 0 -2 -2

A =

2 -2 2 0 -2

-1 1 -1 1

6. Sistemas de Ecuaciones Diferenciales.

Los ejercicios relativos a la resolucin de sistemas de ecuaciones diferenciales requieren,
en primer lugar, saber introducir la derivada de una funcin respecto de su variable independiente en sus distintos ordenes, as como las ecuaciones con las condiciones iniciales
relativas a dichos problemas. La orden desolve resuelve sistemas de ecuaciones diferenciales ordinarias lineales mediante la transformada de Laplace.
diff(exp,variable)
Determina la derivada de expresin
diff(exp,variable,n)
Determina la derivada n-sima de expresin
atvalue(y(x), x=a, b)
Introduce la condicin inicial f(a)=b
desolve([eq1,..,eqn],[y1(x),...,yn(x)]) Resuleve el sistema de ecu. dif. lineales
Observacin: Una comilla simple delante del comando diff hace que no se evale, en cambio, las dobles
comillas obligan a una evaluacin de la expresin que le sigue.

Ejemplo. Calcular la derivada de la funcin f(x)

En la parte de la izquierda tenemos la derivada sin evaluar, en la derecha se ha calculado

la derivada de la funcin f(x) respecto de la variable x.
Observacin : Al escribir las ecuaciones diferenciales hay que indicar explcitamente todas las dependencias
entre variables. En lugar de escribir 'diff(g,x) tendremos que escribir 'diff(g(x), x), siendo g funcin de x.

Ejemplo. Expresar la derivada tercera respecto de x de una funcin genrica g.

Practicas-curso-11-12.nb

15

Observacin : Al resolver un problema de condiciones iniciales debemos tener en cuenta que stas deben de
escribirse antes de utilizar la orden desolve.

Ejemplo. Resolver el sistema de ecuaciones diferenciales lineales con las condiciones iniciales que se
indican:
x'(t) = 3 x + 4 y
y'(t) = 4 x - y
x(0)=1
y(0)=0

Observacin : El resultado obtenido no es correcto debido a lo ya comentado en las ecuaciones diferenciales

hay que indicar explcitamente todas las dependencias entre variables. En lugar de excribir slo x o y debemos
poner x(t) e y(t).

Ejercicios de sistemas de ecuaciones diferenciales

Ejercicio 1. Dado el sistema de ecuaciones diferenciales :

y1' = -56 y2 - 56 y4 - 36 y5 + 1
y2' = 2 y1 - 10 y2 - 42 y4 - 31 y5 - 2 x

Prcticas-curso-11-12.nb

y3' = 6 y1 + 70 y2 + 4 y3 + 98 y4 + 75 y5 - 6 x
y4' = -4 y1 + 4 y4 - 8 y5 + 4 x
y5' = 4 y1 + 28 y2 + 28 y4 + 26 y5 - 4 x
Se pide :
1. Construir la matriz A y la funcin vectorial F que nos permita escribir el sistema como Y' = AY + F.
2. Calcular los valores propios y una base de vectores propios de la matriz A.
3. Utilizando el apartado anterior,
construir un sistema fundamental de soluciones en R del sistema homogneo asociado y,
con l, la solucin general de dicho sistema.

4. Comprobar que Yp x = e8 x -2 + x e-8 x , 1, 3, -2, 2 t es una solucin particular del sistema completo.
5. Obtener la solucin general del sistema dado.

6. Calclese la solucin nica del problema de valores iniciales Y' = AY + F, Y 0 = -3, 3 2, 9 2, -3, 3t
7. Comprobar el resultado del apartado 6 mediante la orden desolve
Ejercicio 2. Consideremos la ecuacin diferencial : yv + a1 yiv + a2 y''' + a3 y'' + a4 y' + a5 y = 0.
Se pide :
1. Construir la matriz A del sistema de cinco ecuaciones de primer orden con cinco
incgnitas equivalente a la ecuacin dada, que resulta al realizar los cambios de variable :
y1 = y, y2 = y', y3 = y'', y4 = y''' e y5 = yiv
2. Calcular el polinomio caracterstico de A y observar
la relacin entre sus coeficientes y los de la ecuacin diferencial.
3. Para el caso particular en que a5 = 0, a4 = 10, a3 = -23, a2 = 19 y a1 = -7 ,
resolver el sistema resultante y, en consecuencia, la ecuacin y v - 7 y iv + 19 y''' - 23 y'' + 10 y' = 0.

7. Espacios Euclideos.
gramschmidt(M)

Acta sobre M devolviendo una base ortogonal del espacio

engendrado por sus filas con el producto escalar ordinario.
gramschmidt(lista,prod)
Acta sobre los vectores de "lista" con el producto
escalar definido por "prod".

Para su funcionamiento hay que cargar el paquete "eigen" ejecutando la instruccin load(eigen).
Ejemplo 1: Obtener una base ortogonal del subespacio de R4 <(1,1,1,1),(1,1,1,0),(1,-1,1,-1)>

16

Prcticas-curso-11-12.nb

En esta prctica se necesitan las rdenes nuevas:

integrate sirve para el clculo de integrales y se encuentra en el men "Anlisis"
wxplot2d sirve para representaciones grficas y se encuentra en el men
"Plot->Plot2d"
Ejemplo 2: Considerar en el conjunto de polinomios el producto escalar:

Calcular una base ortogonal del espacio vectorial eucldeo de los polinomios de grado
inferior a 4 con el producto escalar prod.
OJO, por un defecto del programa, no puede usarse la variable x cuando se utiliza
gramschmidt!!

Ejercicios de espacios eucldeos

Ejercicio 1. Considrese en R4 el producto escalar

compubese que los es, mediante el criterio de los menores angulares cuya matriz de Gram es

1. Calcular el producto escalar de los vectores u=(3,5,2,-9) y v=(4,2,6,-1). Qu ngulo forman?

17

Prcticas-curso-11-12.nb

18

2. Comprobar que ||u+v||||u||+||v|| . Por comodidad, puedes definir la funcin modulo.

3. Calcular la matriz de Gram respecto de la base B={(1,0,-1,5),(-2,-4,-3,-7),(2,5,0,11),(-1,-13,25,0)}
4. Calcular las ecuaciones y una base del subespacio ortogonal de V=<(1,2,1,1),(1,-1,1,1)>
5. Calcular la proyeccin ortogonal del vector (1,2,3,4) sobre el subespacio V.
6. Calcular la matriz asociada respecto de la base cannica de la proyeccin ortogonal sobre el subespacio V.
Se sugiere calcular primero la matriz asociada respecto de una base cuyas imgenes se conocen por
apartados anteriores.
7. Utiliza el mtodo de Gram-Schmidt (sobre la base cannica, por ejemplo) para obtener una base ortogonal y,
a partir de ah, construye una base ortonormada.

Ejercicio 2. Aproxmese, por el mtodo de mnimos cuadrados la funcin f x = exp x en el intervalo -1, 1,
mediante un polinomio de cuarto grado. Recordar que esto es en realidad la proyeccin ortogonal de la funcin
exp x en el subespacio de polinomios de grado menor que 5 considerando el producto escalar :

1. Define el producto escalar f, g := como en el ejemplo.

2. Comprueba que x2 + 1 y x + x3 son polinomios ortogonales. Recuerda, usa z en lugar de x!

3. Considera la funcin ai, j := escalar xi-1 , xj-1 y con ello construye la matriz

de Gram respecto de la base 1, x, x2 , x3 , x4 por el procedimiento de " generar matriz ".

4. Calcula los productos escalares de los vectors de la base 1, x, x2 , x3 , x4 y la funcin exp x.

5. Deduce las coordenadas de la proyeccin ortogonal buscada a partir de lo anterior.

6. Construye la solucin proyeccin ortogonal y dibjala junto con la funcin exp x en el intervalo -2, 2.
7. Construye uuna base de polinomios ortogonales.