ESCUELA POLITCNICA SUPERIOR DE BURGOS GRADOS: I.

MECNICA
I. ELECTRNICA
DEPARTAMENTO DE MATEMATICAS Y COMPUTACION I. ORGANIZACIN
LGEBRA Y ECUACIONES DIFERENCIALES PRCTICAS TEMA 1
1 de 10

PRCTICA 1

RESOLUCION DE SISTEMAS DE ECUACIONES LINEALES Y MATRICES


Empezamos la prctica consultando la Ayuda; en esta ocasin, el apartado
Resolver (Indice Resolver Mostrar). Ampliemos algo ms lo que nos ensea la Ayuda
y veamos como evitar algunos problemas.

En principio, DERIVE ofrece hasta tres posibilidades distintas para resolver este
problema (no todas son igual de buenas, ni nos sern tiles siempre). Las tres
posibilidades serian:

1.- Utilizar Resolver - Sistema de ecuaciones.
O bien, conocida la forma matricial de un sistema de ecuaciones y las propiedades de las
matrices, despus de expresar el sistema en forma matricial AX=B
2. Utilizar ROW_REDUCE ( A
*
) (A
*
denota la matriz ampliada)
3. Utilizar PIVOT (A
*
, m, n) ((m,n) situacin del pivote).



Empezamos con la primera opcin:

1.- UTILIZACION DE SOLVE

En el men de opciones escogemos Resolver - Sistema de ecuaciones. DERIVE nos
pregunta de cuantas ecuaciones consta nuestro sistema. Tras contestarle nos muestra una
pantalla esperando que se las escribamos. Lo hacemos y le especificamos tambin las
variables (incgnitas) respecto de las que queremos resolver el sistema. Pulsamos S y nos
aparece en pantalla la funcin SOLVE con la que despus de Simplificar obtenemos la
solucin del sistema. El formato de la funcin SOLVE es el siguiente:

SOLVE ( [ 1ecuacin, 2ecuacin,], [ x, y,] )

Nos aparecen las ecuaciones y las incgnitas. Algunas veces tendremos que
engaar a DERIVE en el siguiente sentido: En un sistema de ecuaciones con ms
incgnitas que ecuaciones DERIVE elige slo tantas incgnitas como ecuaciones
tengamos lo que puede dar lugar a algunos problemas como veremos ms adelante con un
ejemplo. Para evitar este problema dejaremos que DERIVE escriba el sistema (pulsando S)
y cuando lo haya hecho aadimos las incgnitas que DERIVE no haya cogido. Tendremos
como posibles resultados:

- No hay solucin: aparece en pantalla [ ].
- Solucin nica: obtenemos [ x= valor, y= valor,...]
- Infinitas soluciones: obtenemos [ x= valor, y= valor,...] con la particularidad de que
los parmetros de los que dependen las soluciones los denota DERIVE con @1,@2,..., o



ESCUELA POLITCNICA SUPERIOR DE BURGOS GRADOS: I. MECNICA
I. ELECTRNICA
DEPARTAMENTO DE MATEMATICAS Y COMPUTACION I. ORGANIZACIN
LGEBRA Y ECUACIONES DIFERENCIALES PRCTICAS TEMA 1
2 de 10
como un sistema que aparentemente no est acabado de resolver, pero que hay que saber
interpretar .

En realidad podemos escribir desde el lapicero o con editar expresin la funcin
SOLVE que nos aparece en pantalla (ajustndonos a su formato) y obtendramos los mismos
resultados. Esta forma de actuar es incluso ms rpida en cuanto adquieres algo de destreza.


ALGUNAS CUESTIONES IMPORTANTES RELATIVAS A SOLVE

Nota 1:
La eleccin de variables al resolver un sistema de ecuaciones no es indiferente.

Veamos un ejemplo:

SOLVE([z + y + x = 3, y + z = 2], [x, y])
[ x = 1 y = 2 - z]
SOLVE([z + y + x = 3, y + z = 2], [z, y])
[ ]

Hemos resuelto el mismo sistema eligiendo en el primer caso las variables x e y ,
obteniendo la solucin correcta. Sin embargo si escogemos, como en el segundo caso, las
variables z e y , nos aparece que no hay solucin Por qu motivo? deberas saber la razn
por la cual sucede-. Tendremos cuidado y en general escogeremos todas nuestras incgnitas.
Es decir:

SOLVE([z + y + x = 3, y + z = 2], [x, y, z])
[ x = 1 y = @1 z = 2 - @1 ]

Vemos que la solucin correcta aparece de diferente forma pero igualmente vlida.


Nota 2:
Divisiones por cero.

Cuando debamos resolver un sistema dependiendo de uno o ms parmetros nos
encontramos con que DERIVE no distingue los casos en que algunos valores de los
parmetros pueden dar lugar a divisiones por cero. Por tanto, hay que detectar previamente
estos valores que pueden variar la compatibilidad del sistema. Una vez que se han obtenido,
se estudiar el sistema para esos valores particulares. Por este motivo, no siempre es correcto
sacar conclusiones del aspecto de la solucin obtenida. As por ejemplo:



Al resolver el sistema nos aparece como solucin




ESCUELA POLITCNICA SUPERIOR DE BURGOS GRADOS: I. MECNICA
I. ELECTRNICA
DEPARTAMENTO DE MATEMATICAS Y COMPUTACION I. ORGANIZACIN
LGEBRA Y ECUACIONES DIFERENCIALES PRCTICAS TEMA 1
3 de 10


que no es correcta (al menos no del todo). Ya veremos como enfrentarnos a este problema.


En las otras dos opciones utilizamos la matriz ampliada del sistema.

En estos dos casos puede ser muy til ponerle un nombre a la matriz que vamos a usar, es
decir definirla como una variable al que se le asigna el valor ** que nos interese en cada
caso.
**Nota: En DERIVE este valor puede ser numrico o no. En este caso el valor es una matriz.
Para ello acudimos a la barra de herramientas en la opcin Definir elegimos Valor para una
variable





ESCUELA POLITCNICA SUPERIOR DE BURGOS GRADOS: I. MECNICA
I. ELECTRNICA
DEPARTAMENTO DE MATEMATICAS Y COMPUTACION I. ORGANIZACIN
LGEBRA Y ECUACIONES DIFERENCIALES PRCTICAS TEMA 1
4 de 10






O bien tecleando en la lnea de edicin:
A:= [1,3;4,7]
y obtenemos el mismo resultado
En este momento podemos hacer uso de las funciones que DERIVE tiene definidas:





ESCUELA POLITCNICA SUPERIOR DE BURGOS GRADOS: I. MECNICA
I. ELECTRNICA
DEPARTAMENTO DE MATEMATICAS Y COMPUTACION I. ORGANIZACIN
LGEBRA Y ECUACIONES DIFERENCIALES PRCTICAS TEMA 1
5 de 10
2.- UTILIZACION DE ROW_REDUCE

Para la utilizacin de ROW_REDUCE en la resolucin de un sistema de ecuaciones
lineales, lo primero ser escribirle en su forma matricial AX=B posteriormente escribiremos:

ROW_REDUCE ( A
*
) (A
*
denota la matriz ampliada)

Y tras simplificar obtenemos la matriz de los coeficientes de un sistema equivalente
al anterior (se obtiene simplificando por Gauss-Jordan). La interpretacin corre a cuenta del
usuario.

Nota 3.- Divisiones por cero.

Al discutir sistemas de ecuaciones dependientes de parmetros si utilizamos
ROW_REDUCE surgen los mismos problemas que al utilizar Resolver - Sistema de
ecuaciones o SOLVE pues DERIVE reduce la matriz sin tener en cuenta la posibilidad de
dividir entre 0 . La respuesta a estos problemas estar en la bsqueda de esos valores
singulares del parmetro. Esto ltimo podr hacerse gracias a las funciones DET, RANK,
que nos ilustrarn sobre el valor del determinante, o el rango de la matriz aunque tambin
presentan problemas similares, que no aparecen, como vamos a ver, utilizando la instruccin
PIVOT.


3.- UTILIZACION DE PIVOT

Por ltimo la funcin PIVOT se muestra ideal para discutir sistemas dependientes de
parmetros. Es ms lenta pero mucho ms fiable. (Sugerimos visitar en la Ayuda a
VECTOR para conocer cmo actan las funciones que tiene definidas)

Veamos el comportamiento de DERIVE en la resolucin de un sistema de
ecuaciones lineales utilizando las diferentes "herramientas" anteriormente citadas:

Dado el sistema:


- Al resolverle con SOLVE:

la solucin que nos aparece es:


- Al resolverle con ROW_REDUCE




ESCUELA POLITCNICA SUPERIOR DE BURGOS GRADOS: I. MECNICA
I. ELECTRNICA
DEPARTAMENTO DE MATEMATICAS Y COMPUTACION I. ORGANIZACIN
LGEBRA Y ECUACIONES DIFERENCIALES PRCTICAS TEMA 1
6 de 10


Aparece la matriz:


- Al resolverle con PIVOT


aparece la matriz

aplicando otra vez pivot

aparece la matriz



Vemos claramente que la funcin PIVOT es la que ms nos ayuda para discutir el
sistema, ya que va haciendo ceros, paso a paso, y podremos detenernos en cualquier
momento si la operacin siguiente conllevara dividir por cero (para algn valor del
parmetro), y que las otras posibilidades nos pueden conducir a error (el caso a = 4 en el que
tenemos infinitas soluciones "desaparece").
Para finalizar este apartado y resumiendo podemos decir que para resolver
sistemas de ecuaciones que no dependan de parmetros son suficientes las posibilidades
1 y 2 . Sin embargo cuando tengamos parmetros recurriremos a PIVOT.



ESCUELA POLITCNICA SUPERIOR DE BURGOS GRADOS: I. MECNICA
I. ELECTRNICA
DEPARTAMENTO DE MATEMATICAS Y COMPUTACION I. ORGANIZACIN
LGEBRA Y ECUACIONES DIFERENCIALES PRCTICAS TEMA 1
7 de 10


PROBLEMAS PROPUESTOS PARA RESOLVER CON DERIVE:

1.- a) 2x +4y +6z =18 b) 2x +4y +6z =18 c) 2x +4y +6z =18
4x +5y +6z =24 4x +5y +6z =24 4x +5y +6z =24
3x + y -2z = 4 2x +7y +12z=30 2x +7y +12z=40


2.- a) x +3y -5z + t = 4 b) x + y = 4 c) x + y = 4
2x +5y -2z +4t = 6 2x -3y = 4 2x +2y = 8
3x +2y = 8 x - y = 6


3.- Mostrar que el sistema siguiente es incompatible si c = 2a-3b.

2x -y +3z = a
3x +y -5z = b
-5x -5y+21z= c

4.- Estudiar, con el mtodo de Gauss, las soluciones en funcin de los valores de "a".

a) x + 2y + z = 1 b) 3x + 2y +z = a
2x + y +3z = -4 x - y +2z = 1+a
2

x - y +(a+2)z = -3a-5 3x + 7y -4z = -1-a-a
2
-a
3

4x +2y +(a+6)z = -3a
2
-8 2x + y + z = a
3


5.- Estudiar, con el mtodo de Gauss, las soluciones en funcin de los valores de "a" y "b".

a) ax + by + z -a = 0 b) 2x +by +2az -a = -1
2x +2by +2az = 2 x + az = 0
x +aby + z = b -a
2
x +2by + (2-3a)z = 3a
(a+1)x +2by +(a+1)z = b+1


NOTA: Los problemas que tenemos en las hojas que hacemos en clase son tambin
tiles para familiarizarse con DERIVE para WINDOWS y aprender a interpretar los
resultados.












ESCUELA POLITCNICA SUPERIOR DE BURGOS GRADOS: I. MECNICA
I. ELECTRNICA
DEPARTAMENTO DE MATEMATICAS Y COMPUTACION I. ORGANIZACIN
LGEBRA Y ECUACIONES DIFERENCIALES PRCTICAS TEMA 1
8 de 10
MATRICES

Podemos utilizar DERIVE para operar con matrices. Lo mejor para aprender es de
nuevo visitar la Ayuda de DERIVE. (Ayuda Indice Matrices Mostrar). Resaltar (por
lo atpico) que para calcular A
t
hay que realizar A`(A con acento grave a su derecha).

Algunas cuestiones aadidas surgen de la posibilidad de calcular determinantes
(mediante DET(A)) o el rango de las matrices (RANK(A)). Podremos, por ejemplo estudiar
sistemas segn los valores de un parmetro, usando el th. de Rouch-Frobenius. De nuevo,
sin embargo, tenemos problemas al hacerlo con matrices en las que algunos de sus elementos
son parmetros pues recordemos que DERIVE efecta sus operaciones sin tener en cuenta
las divisiones entre cero.



Veamos un ejemplo de los problemas que pueden surgir;

Dado el sistema de ecuaciones lineales siguiente:
x + 2y + 4z - at = 0
ax + 5y + 6z - 4t = 0
4x + 5y - 2z + at = 0
ax + 8y + 24z -19t= 0

a) Estudiarlo, utilizando el th. de Rouch-Frobenius, segn los valores de a.
b) Qu ocurre si se calcula directamente el rango de la matriz de los coeficientes
directamente con la funcin RANK ?

Como vamos a ver a continuacin si utilizamos directamente la funcin RANK la
solucin nos induce a error pues aparece que el rango es 4 independientemente del valor de
"a". Sin embargo el determinante es cero para a=3.



solucin que no es siempre correcta ya que




ESCUELA POLITCNICA SUPERIOR DE BURGOS GRADOS: I. MECNICA
I. ELECTRNICA
DEPARTAMENTO DE MATEMATICAS Y COMPUTACION I. ORGANIZACIN
LGEBRA Y ECUACIONES DIFERENCIALES PRCTICAS TEMA 1
9 de 10






Calculo de la Inversa:
DERIVE nos permite calcular la inversa de una matriz de tres formas diferentes:

a) Directamente. Se escribe la matriz y se eleva a -1. Simplificando la expresin
resultante, aparece la inversa.

b) Mediante la funcin ADJOINT. Basta pedir Simplificar sobre la expresin
ADJOINT (A). La matriz que aparece al realizar esta operacin es la traspuesta de la adjunta
de A; posteriormente debemos dividir entre el determinante de A y tendremos la inversa.

c) Por el mtodo de Gauss-Jordan, basta pedir Simplificar sobre la expresin
ROW_REDUCE( A, IDENTITY_MATRIX (n)). Donde n es la dimensin de la matriz
A.

(De nuevo surgen problemas en la utilizacin de parmetros y en muchos casos es
prcticamente obligado como 1
er
paso calcular el determinante (DET) para despus poder
discutir la existencia o no de inversa).




ALGUNOS PROBLEMAS PARA PRACTICAR


6.- Sean las matrices siguientes:
|
|
|
|
|
.
|

\
|
=
|
|
|
.
|

\
|
=
|
|
|
.
|

\
|
=
|
|
|
.
|

\
|
=
7 1 0 2
1 0 4 3
3 0 4 2
0 0 0 1
2 8 5
6 5 3
6 3 23
2 1 5
16 10 4
1 15 1
1 5 4
9 7 3
2 4 1
D C B A
|
|
|
.
|

\
|
=
|
|
.
|

\
|
=
|
|
|
.
|

\
|
=
|
|
|
|
|
.
|

\
|

=
0 1 2 2
1 3 2 1
2 4 3 2
2 5 3
8 7 6
8 3
2 1
6 2
9 0 3 5 3
3 1 0 3 2
3 2 3 4 3
1 5 8 9 2
H G F E



ESCUELA POLITCNICA SUPERIOR DE BURGOS GRADOS: I. MECNICA
I. ELECTRNICA
DEPARTAMENTO DE MATEMATICAS Y COMPUTACION I. ORGANIZACIN
LGEBRA Y ECUACIONES DIFERENCIALES PRCTICAS TEMA 1
10 de 10

Calcular, en los casos que sea factible, las siguientes expresiones:

A+B+C, A*D, D*E, E*D, F*G, G*F, rg (H), rg (F), rg (G), rg (B), DET(A), DET(B),
DET(F), A
t
, E
t
, F
t
, DET(A
t
), DET(E
t
), DET(F
t
), A
-1
, D
-1
, C
-1
.



7.- Dada la matriz
|
|
|
|
|
.
|

\
|

2 0 0 0
2 0 0
0 2 0
0 0 2
a
a
a
Calcular su inversa:

a) Directamente b) Usando ADJOINT(A) c) Mediante Gauss-Jordan.




8.- Discutir, utilizando el th. de Rouch-Frobenius, segn los valores de "a" y "b", los
siguientes sistemas de ecuaciones lineales.
( Ya los hemos estudiado anteriormente en los problemas 5 y 6 ).

a) x + 2y + z = 1 b) 3x + 2y +z = a
2x + y +3z = -4 x - y +2z = 1+a
2

x - y +(a+2)z = -3a-5 3x + 7y -4z = -1-a-a
2
-a
3

4x +2y +(a+6)z = -3a
2
-8 2x + y + z = a
3


c) ax + by + z -a = 0 d) 2x +by +2az -a =-1
x +2by +2az = 2 x + az = 0
x +aby + z = b -a
2
x +2by + (2-3a)z = 3a
(a+1)x +2by +(a+1)z = b+1