Ivn Castro Chadid

Aplicaciones al lgebra lineal utilizando Derive

Resumen Llamando ID(n) a la matriz idntica de orden n, se construye la matriz
En este artculo, el autor logra construir una serie de procedimientos que que estamos buscando MATRIZ_ENTERA(n), de la siguiente manera:
permiten resolver seis problemas prcticos pero a la vez de suma utilidad 2
n 1 n

en lgebra Lineal y sus aplicaciones. Aprovechando la enorme versatilidad MATRIZ_ENTERA(n): ( 5 I I I I FC(ID(n), h, k, RANDOM(2) (-1)^h) )
que ofrece el programa de lgebra computacional Derive y las ideas 5 51
h 1 k h 1
2
n 1 n

que aportan algunos mtodos de demostracin de estas propiedades,

logra un equilibrio entre la sntesis y la eficiencia de dichos programas.
(
I I I I FC(ID(n), h, k, RANDOM(2) (-1)^k) MT(n)
5 51
k 1 h k 1

Palabras claves A manera de ejemplo puede calcularse MATRIZ_ENTERA(n) para

Matemticas, lgebra Computacional, lgebra Lineal, Programacin.
En muchas ocasiones nos vemos limitados para presentar ejemplos
interesantes en lgebra Lineal porque resulta difcil construirlos, no slo
por el cmulo de operaciones aritmticas que conllevan, sino tambin
por la misma dificultad desde el punto de vista terico que implican estas
construcciones. Ejemplos que corroboran lo que aqu se afirma pueden ser,
el generar manualmente matrices no singulares con coeficientes enteros de
tal forma que su inversa tambin tenga coeficientes enteros, o construir
matrices que no sean triangulares y que tengan unos valores propios que
requiera el usuario.
5
n 2,3,4,5,6 y 7.
SEGUNDO PROBLEMA
Construir una funcin que permita encontrar en forma inmediata las
coordenadas de un vector con respecto a una base.
El procedimiento a seguir es el siguiente:
Sean la base, el vector y el vector de coordenades de con
respecto a la base ; la funcin es:

Estos y otros problemas son los que pretendo resolver mediante unos CL(, , ) : 5IF( DET()50, no es base del Espacio Vectorial,
archivos que he construido empleando el programa de algebra SOLVE(EXPAND(SUM(EL(, k)*EL(, k),
computacional Derive y que pueden ser utilizados tanto en las versiones 5
k, 1, DIMENSION()) , ), )
para Windows como para DOS.
A manera de ejemplo se puede calcular:
PRIMER PROBLEMA
Construir una funcin que permita generar aleatriamente matrices no 1 2 5
singulares de cualquier orden, de tal forma que sus inversas tambin
sean invertibles.
1) CL ( 3
2
4
6
6 , [s, t, n], [x, y, z]
11
)
Para ello, partimos de una matrz semilla, triangular superior que tenga 1 1 2 2
sobre la diagonal 1 o -1, y que genere aleatriamente los nmeros por
encima de la diagonal 2) CL ( 3
13
2 4 4
9 19 16
, [s, t, n, m], [x, y, z, w] )
9 6 14 9
MT(n): 5VECTOR(VECTOR(IF(i<j, 0, IF(i5j, (-1)^i, RANDOM(2)11),
i, 1, n) j, 1, n)
TERCER PROBLEMA
Se construye una funcin FI tal que, dada una matriz v permite sumar la fila Construir una funcin que permita generar matrices con valores propios
j multiplicada por un escalar a a la fila i. determinados. Los pasos a seguir son los siguientes:

5 5
FI(v, i, j, ): VECTOR( IF(m i, i, 1 , EL(v,m)), m, 1, DIMENSION(v)) ID(n):5 IDENTITY_MATRIX(n)
5
j
DI(v): DIMENSION(v)
Siendo: MA(n): 5 5
VECTOR(VECTOR(IF(i<j, 0, IF(i j, (-1)^i, 1)), i, 1, n), j, 1, n)

EL(v, m): 5 ELEMENT(v, m) A continuacin, se construye una matriz semilla, triangular superior que
tenga sobre la diagonal los valores propios y que genere aleatriamente los
Empleando la traspuesta de una matriz, se construye a partir de la funcin nmeros por encima de la diagonal,
FI la funcin FC tal que, dada una matriz v permite sumar la columna j
multiplicada por un escalar a la columna i. 5
MVP(v): VECTOR(VECTOR(IF(i<j, RANDOM(2) 1, IF(i>j, 0, 1
EL(v, i))), i, 1, DI(v)), j, 1, DI(v))
FC(v, i, j, ) : 5 FI(v`, i, j, )`

13
INNOVACIONES EDUCATIVAS
 (continuacin)

Aplicaciones al lgebra lineal utilizando Derive

Luego, una funcin como la que se pide es: QUINTO PROBLEMA
DI(v)-1 DI(v) 5
Dadas dos bases v y w de n (n 2,3), construir una funcin que permita
LL(v, p) := (II II5
k 1 h k 151
)
FC(ID(DI(v)), k, h, (-1)^k) ^ p * MA(DI(v)) ) generar las matrices de paso de v a w y de w a v.

* MVP(DI(v))
DI(v)-1 DI(v) La funcin que nos puede servir es:
(II II5
k 1 h k 151
) )
FC(ID(DI(v)), k, h, (-1)^k)) ^ p * MA(DI(v)) ^(-1)
5
MAT_PASO( v, w, R) : VECTOR( RHS(EL(SOLVE(EXPAND( EL
DI(v)1

5
(v, k)*EL(R, k) EL(w, j), EL(w, j)), R ), 1)), j, 1, DI(v)) k51

Finalmente se construye una funcin que nos permita ver la matriz, el

polinomio caracterstico y los valores propios: Finalmente se construye la siguiente funcin que permite dar una
presentacin ms cmoda:
Matriz 5 LL(v,p)
Polinomio Caracteristico 5 2
EXPAND(PRODUCT(x EL(v,k),k,1,DI(v)),x) MATRIZ_DE_PASO( v, w, R) : 5
Valores Propios 5 5
VECTOR(k EL(v,k),k,1,DI(v))
5
Base inicial B v
Base final D 5 w
A manera de ejemplo pueden calcularse:
Matriz de paso de B a D 5 MAT_PASO(v,w,R)

POLINOMIOS_Y_MATRICES([1, -2, 3], 5)

Matriz de paso de D a B 5 MAT_PASO(w,v,R)

POLINOMIOS_Y_MATRICES([1, 2, 3, 4], 3)
A manera de ejemplo calclese MATRIZ_DE_PASO(v, w, R) para los
POLINOMIOS_Y_MATRICES([1, 2, 2, -4, 5], 4)
siguientes casos:
POLINOMIOS_Y_MATRICES([2, 2, -4, -4, 5, 6], 4)
1. v = { [ -1, 2], [3, -5] }, w = { [ -1, 1], [2, -1] }.
POLINOMIOS_Y_MATRICES([1, -1, 2, -2, 4, -4, 5, -3, 3, 6], 5)
2. v = { [ -1, 2, 2], [4, -7, -6], [14, -24, -21] } ,
CUARTO PROBLEMA w = { [ -1, 1, 2], [4, -3, -6], [13, -10, -21] }.
Dada una base v del espacio vectorial de partida y una base w del espacio
de llegada, construir la transformacin lineal que enva a v en w. SEXTO PROBLEMA
Construir una funcin que permita calcular para cada valor propio de una
La funcin es la siguiente: matriz los correspondientes vectores propios.

T1(v, x, a, w) : 5 VECT_PRP(u, , r) : 5 EL(RHS(SOLVE(VECTOR(EL(EL(ROW_REDUCE

(u- ID(DI(u))) [r]` 5 VECTOR([0], k, 1, DI(u)), k),

(5 (5 EL(v, k)*EL(x, k)5a, a), x), 1) ),

DI(v)1 DI(v)1

EL(RHS(EL(SOLVE(EXPAND 1), k, 1, DI(u)), r)), 1)

) 5 Exact
j 1 k 1

j )*EL(w, j) Precision:

Finalmente puede presentarse de la siguiente manera: A manera de ejemplo se puede calcular:

1. VECT_PRP([[-7, 3], [-16, 7]], -1, [x, y])
5
TL(v, x, a, w): [ ( , a, ) 5 , T1(v, x, a, w)] 2. VECT_PRP([[0, 0], [0, 0]], 0, [x, y])
3. VECT_PRP([[2, -3, 2], [0, 0, 1], [0, 2, 0]], 2, [x, y, z])
A manera de ilustracin pueden calcularse las transformaciones lineales que 4. VECT_PRP([[0, 0, 1, 0], [0, 1, 0, 0], [0, 0, 1, 0], [0, 1, 2, 0]], 1, [x, y, z, s])
envan la base v de n en la base w de m para los siguientes ejemplos: 5. VECT_PRP([-1,-2, 0, 3, 10, -3], [14, -2, 9, 27, -8], [-9, 2, -6, -17, 5],
[-19, 2, -12, -37, 11]], 0, [x, y, z, s, t])
1. v 5 { [-1, 2], [2, -3] } , w 5 { [1, 2, 3], [3, 4, 5] }.
v 5 { [1, 2, 5], [-3, 4, 6], [2, 0, 0] } , w 5 { [ 1, 2, 5, 9], [3, -5, 8, -2],
Referencias
2.
I. Castro, Cmo Hacer Matemticas Con Derive, Revert de Colombia S.A.,
[7, -9, -3, 4] }.
Bogot, 1992.
3. v 5 { [-1, 2, 1, 1, 2, 2], [3, -5, -2, -2, -4, -5], [10, -17, -8, -6, -12, -16], E.D. Nering. Algebra Lineal y Teora de Matrices, Editorial Limusa,
[-9, 15, 9, 4, 7, 14], [-29, 49, 28, 14, 25, 47], [-3, 5, 2, 2, 6, 2] },
Mxico 1977.
w = { [ -1, 1, 2, 1, 1], [3, -2, -4, -1, -2], [13, -9, -19, -4, -7],
Derive User Manual, Version 3, Soft Warehouse, Honolulu,
[-7, 5, 12, 2, 3], [-17, 12, 30, 4, 5],[-8, 6, 9, 4, 1] }.
Hawaii, USA, 1994.

14
INNOVACIONES EDUCATIVAS