Documentos de Académico
Documentos de Profesional
Documentos de Cultura
SEL Resolucion Trabajo
SEL Resolucion Trabajo
ESQUEMA DE CONTENIDOS
________________________
SISTEMAS
DE
ECUACIONES
LINEALES:
RESOLUCIN
Con Mathcad
Manualmente
Mtodos
Exactos
Mtodos
Aproximados
RREF
LSOLVE
Mtodo de Gauss
GIVEN / FIND
Regla de Crmer
Mtodo de la matriz
inversa
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
MATRIZ
INVERSA
INTRODUCCIN
___________________
Leer el problema.
Definir las incgnitas principales de forma precisa.
Traduccin matemtica del problema hasta plantear un SEL.
Resolucin del SEL.
Interpretacin de las soluciones.
Contrastar la adecuacin de las soluciones obtenidas.
OBJETIVOS
________________________
Mostrar las posibilidades que brinda el programa Mathcad para resolver los SEL.
CONOCIMIENTOS PREVIOS
___________________________________
lgebra de matrices.
Determinantes.
Matriz inversa.
Discusin de SEL.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
CONCEPTOS FUNDAMENTALES
______________________________
a 21 x 1 + a 22 x 2 + + a 2n x n = b 2
a m1x 1 + a m 2 x 2 + + a mn x n = b m
donde aij son los coeficientes, xi las incgnitas, y bi los trminos independientes.
El anterior sistema se puede expresar en forma matricial, usando el producto de matrices de la forma:
a 11 a 12
a 21 a 22
a
m1 a m2
a 1n x 1 b 1
a 2n x 2 b 2
=
a mn x n b m
Los mtodos de resolucin de sistemas de ecuaciones se pueden dividir en dos grandes grupos:
Los mtodos exactos o directos, que permiten obtener la solucin del sistema de manera
directa. stos proporcionan una solucin exacta en un nmero finito de operaciones. Son vlidos,
aproximadamente, para valores de n menores que 5000 ya que si n es muy grande, la
acumulacin de los errores de redondeo puede llegar a provocar que la solucin numrica no sea
exactamente igual que la solucin exacta.
Los mtodos aproximados o iterativos, que utilizan algoritmos iterativos e infinitos y que
calculan las soluciones del sistema por aproximaciones sucesivas. Para ello, construyen una
sucesin de vectores destinada a converger a la solucin del sistema.
Al contrario de lo que pueda parecer, en muchas ocasiones los mtodos aproximados permiten
obtener un grado de exactitud superior al que se puede obtener empleando los denominados
mtodos exactos, debido fundamentalmente a los errores de truncamiento que se producen en el
proceso.
De entre los mtodos exactos, a continuacin se analizan el mtodo de Gauss, la regla de Crmer y
el de la matriz inversa para resolver un SEL, as como las funciones GIVEN/FIND, LSOLVE y RREF
del mathcad. Entre los mtodos aproximados est el mtodo iterativo que se realiza con la ayuda del
software (se profundiza en el estudio de ste en el math-block "Modelos matemticos").
Particularmente, este math-block se centra en la resolucin de sistemas con una nica solucin; es
decir, con m=n, se muestra cmo hallar un vector X, n-dimensional, que sea solucin del sistema
AX=B
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Este mtodo no es ms que la generalizacin del mtodo de reduccin ya conocido para resolver
sistemas de dos ecuaciones con dos incgnitas y se basa en el concepto de equivalencia.
Decimos que dos sistemas Ax = b y A'x = b' son equivalentes si tienen la misma solucin. Si sobre un
sistema de la forma Ax = b se realizan una serie de operaciones como:
1.
2.
3.
a 21
, a la tercera le sumamos la
a 11
a 31
y as sucesivamente hasta llegar a la ltima en la que se sumar
a 11
a m1
la primera multiplicada por
. Con ello es sistema quedar as:
a 11
a 11 x 1 + a 12 x 2 + + a 1n x n = b1
a22 x 2 + + a2 n x n = b2
am 2 x 2 + + amn x n = bm
Este sistema es equivalente al primero
3. Si se separa la primera ecuacin se obtiene otro sistema con una ecuacin y una incgnita
menos en el que se repite el proceso tomando como pivote el coeficiente a22 (si a22 es cero
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
a 11
a 21
a
m1
a 12
a 22
a m2
a 1n b1
a 2n b 2
a mn b m
x + 3 y 2t = 1
2 x + 6 y + z + t = 12
3 x y + z t = 7
2 x + y + z + t = 2
La matriz del sistema es:
1
2
3
2
3
6
1
1
0
1
1
1
2
1
1
1
12
7
( 2)
1
2
3
2
3
6
1
1
0
1
1
1
2
1
1
1
12 (1)
1
0
0
0
3
0
10
5
0
1
1
1
2
5
5
5
10 ( 2 )
10
1
0
0
0
3
5
10
0
0
1
1
1
0 ( 3)
10
10
1
0
0
0
3
5
10
0
0
1
1
1
2
5
0 (4)
10
10
5
5
5
5
5
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
( 4)
(6)
1
0
0
0
3
5
0
0
0
1
1
1
2
5
5
5
0 ( 5)
10
10
1
0
0
0
3
5
0
0
0
1
1
1
2
5
5
5
0 (6)
10
10
1
0
0
0
3
5
0
0
0
1
1
0
2
5
1
0 (7 )
0
10
0
3
5
0
0
1
1
2
5
5
0
10
5
0
Pasos seguidos:
(1) Tomamos como pivote el elemento a11= 1 0. Reducimos a cero los elementos de la 1 columna
que se encuentran debajo del pivote. Para ello hacemos:
2 fila = 2 fila - 2. 1 fila
3 fila = 3 fila - 3. 1 fila
4 fila = 4 fila - 2. 1 fila
(2) Como a22 = 0, intercambiamos entre ellas la 2 y la 4 fila.
(3) Cambiamos el signo de la 2 fila multiplicando sta por (-1).
(4) Tomamos como nuevo pivote el elemento a22 = 5 0. Reducimos a cero los elementos que
estn por debajo de ste. Para ello hacemos:
3 fila = 3 fila + 2. 2 fila
(5) Cambiamos el signo de la 3 fila multiplicando sta por (-1).
(6) Tomamos como nuevo pivote el elemento a33 = 1 0. Reducimos a cero los elementos que
estn por debajo de ste, del siguiente modo:
4 fila = 4 fila - 3 fila
(7) Eliminamos la 4 fila, esto es, la ltima ecuacin.
La matriz final que hemos obtenido tiene una fila menos que el nmero de incgnitas; por lo tanto,
tenemos un grado de libertad para elegir la t, que puede tomar cualquier valor ya que la cuarta
ecuacin, que es la que queda con esta variable, es 0.t = 0 , que se cumple para cualquier valor real
de t.
Y sustituyendo hacia atrs en las otras ecuaciones obtenemos la solucin general del sistema, la cual
depende de un parmetro arbitrario t, y es la siguiente:
z = 10 5t
z + 5t 10
y=
=
= 2
5
5
x = 3 y + 2t 1
Si ponemos la solucin en funcin de un parmetro,
, resulta:
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
x = 2 + 5
y = 2
z = 10 5
t=
Se dice que un sistema de ecuaciones lineales es un sistema de Crmer si tiene el mismo nmero de
ecuaciones que de incgnitas y el determinante de la matriz de los coeficientes no es nulo.
Los sistemas de Crmer son siempre compatibles y determinados.
La resolucin de un sistema de ecuaciones lineales puede efectuarse mediante la llamada regla de
Crmer que afirma:
"En un sistema de Crmer, cada incgnita puede obtenerse mediante el cociente de dos
determinantes. El numerador es el determinante de la matriz de los coeficientes en el que se ha
sustituido la columna correspondiente a la incgnita a despejar por la columna de los trminos
independientes y el denominador es el determinante de la matriz de los coeficientes".
En efecto: Sea el sistema de Crmer siguiente, de n ecuaciones con n incgnitas:
a 11 x 1 + a 12 x 2 + + a 1n x n = b 1
a 21x 1 + a 22 x 2 + + a 2n x n = b 2
a n1x 1 + a n2 x 2 + + a nn x n = b n
que escrito matricialmente quedara as:
a 11 a 12
a 21 a 22
a
n1 a n2
a 1n x 1 b 1
a 2n x 2 b 2
=
a nn x n b n
x1 =
b1
a 12
a 1n
b2
a 22
a 2n
bn
a n2
a nn
A
a 11
b 1 a 1n
a 21 b 2
x2 =
a n1
bn
a 2n
a nn
A
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
xn =
a 12
b1
a 21 a 22
b2
a n1
a n2
bn
4 x + 3 y + 4z = 21
2x + y + 2z = 9
1 2
2
60 + 36 + 42 54 40 42 2
= =1
2
2
126 + 80 + 72 84 108 80 6
= =3
2
2
81 + 42 + 40 60 63 36 4
= =2
2
2
3 10 2
4 21 4
y=
2
3 1 10
4 3 21
z=
2 1
2
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Sabiendo calcular la matriz inversa y multiplicando matrices tambin es posible resolver un sistema
de ecuaciones lineales, siempre y cuando ste sea de Crmer (es decir, tenga igual nmero de
ecuaciones que de incgnitas y el determinante de la matriz de coeficientes no sea nulo). Veamos
cmo:
Sea el siguiente sistema de Crmer, de n ecuaciones con n incgnitas:
a 11 x 1 + a 12 x 2 + + a 1n x n = b 1
a 21 x 1 + a 22 x 2 + + a 2n x n = b 2
a n1x 1 + a n2 x 2 + + a nn x n = b n
Escrito matricialmente quedara as:
a 11 a 12
a 21 a 22
a
n1 a n2
a 1n x 1 b 1
a 2n x 2 b 2
=
a nn x n b n
esto es: AX = B
Si multiplicamos por la matriz inversa de A a la izquierda en ambos miembros de la igualdad,
obtenemos:
-1
-1
A (AX) = A B
Por tanto, por la propiedad asociativa de las matrices:
-1
-1
(A A)X = A B
Esto es:
-1
IX = A B
Y por ser la matriz identidad (I) el elemento neutro del producto de matrices, llegamos a que:
-1
X = A B
Es decir, la solucin del sistema se halla multiplicando la inversa de la matriz de coeficientes por la
matriz de trminos independientes.
Atencin! No se debe olvidar que, al no ser conmutativo el producto de matrices, es necesario
respetar el orden en que aparecen multiplicadas las matrices.
Ejemplo:
Como ejemplo resolveremos el mismo sistema del apartado anterior y comprobaremos que se
obtienen los mismos resultados. El sistema es:
3 x + y + 2z = 10
4 x + 3 y + 4z = 21
2x + y + 2z = 9
A = 4 3 4
2 1 2
3 4
1 2
A 12 =
A 13 =
=2
4 4
2 2
4 3
2 1
=0
= 2
A 21 =
A 22 =
1 2
1 2
3 2
2 2
A2 =
3 1
2 1
1 2
=0
A 31 =
=2
A 32 =
= 1
A 33 =
3 4
= 2
3 2
4 4
3 1
4 3
= 4
=5
Entonces,
A 1
0 2
2
2 4
0
2 1 5
=
2
de donde se concluye que:
x =1
y=3
z=2
Solucin sta que coincide con la encontrada por la regla de Crmer.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
10
+ 3 x 4 3 x 5 + 4 x 6 2 x 7 + x 8 x 9 = 27
2x1 + x 2
3 x1 + 3 x 2 + x 3 2x 4 x 5 2x 6 + 3 x 7 + 5 x 8 4 x 9 = 8
6 x1 + 2x 2 + 3 x 3 4 x 4 3 x 5 + 5 x 6 + 4 x 7 4 x 8 + x 9 = 6
5 x1 6 x 2 3 x 3 + 2x 4 + x 5 2 x 6 3 x 7 2x 8 + 6 x 9 = 1
4 x + 3 x + x + 5 x + 7 x + 14 x + 6 x + 3 x + 2 x = 20
2
3
4
5
6
7
8
9
1
8 x1 3 x 2 + 6 x 3 7 x 4 + 4 x 5 + 9 x 6 7 x 7 8 x 8 + 9 x 9 = 45
6 x1 3 x 2 6 x 3 + 8 x 4 + 12 x 5 + 7 x 6 + 6 x 7 + 30 x 8 + 4 x 9 = 134
6 x 3 x + 4 x 8 x + 9 x + 6 x + 4 x + 8 x + 17 x = 43
2
3
4
5
6
7
8
9
1
Aplicar cualquiera de los mtodos estudiados hasta ahora para resolver el sistema, como podra ser
la regla de Crmer o Gauss, representar una tarea ardua y muy costosa de realizar, especialmente
en tiempo y esfuerzo mental. Sin embargo, utilizando el programa Mathcad ser bastante sencillo.
Vemoslo:
Utilizando la notacin matricial, podemos hallar la solucin del sistema utilizando la funcin rref, la
cual devuelve una matriz que representa la forma reducida de la matriz dada.
Para ello introducimos la matriz ampliada, i.e., con coeficientes y trminos independientes y le
aplicamos la funcin rref:
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
11
5
2
3
6
rref 5
4
8
6
6
7 1 3 8 5 4
1 2 1 2 3
3 4 3 5
3 3 4 2 1 1
5 4
4 4 1
6 3 2
1 2 3 2 6
7 14 6
3 6 7 4
9 7 8 9
3 6 8 12 7
6 30 4
3 4 8 9
27
8
1
20
45
134
43
22
8 17
1
0
0
0
= 0
0
0
0
0
0 0 0 0 0 0 0 0 1
1 0 0 0 0 0 0 0 2
5
2
0
5
4
0 1 0 0 0 0 0 0 3
0 0 1 0 0 0 0 0
0 0 0 1 0 0 0 0
0 0 0 0 1 0 0 0
0 0 0 0 0 1 0 0
0 0 0 0 0 0 1 0
0 0 0 0 0 0 0 1
Esta funcin transforma la matriz de coeficientes en la matriz identidad y, por tanto, la columna de
trminos independientes se convierte en el vector solucin del sistema. En consecuencia, la solucin
al sistema anterior es:
x 1 = 1 x 2 = 2
x3 = 3
x 4 = 1 x 5 = 5
x 6 = 2
x7 = 0
x 8 = 5
x 9 = 4
Para ello, introducimos la matriz de coeficientes del sistema y el vector de trminos independientes:
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
12
5
2
3
6
A := 5
4
8
6
6
7 1 3 8 5 4
1 2 1 2 3
3 4 3 5
3 3 4 2 1 1
5 4
4 4 1
6 3 2
1 2 3 2 6
7 14 6
3 6 7 4
9 7 8 9
3 6 8 12 7
6 30 4
3 4 8 9
8 17
22
27
8
6
B := 1
20
45
134
43
5
lsolve ( A , B) =
15
1.918 10
Debido a los errores de redondeo al ejecutar las operaciones, los valores salen aproximados; de ah
-15
que la solucin -1.918x10 se debe interpretar como 0. Se comprueba que las soluciones del
sistema coinciden con las calculadas en el apartado anterior.
Para este mtodo es necesario asignar, en primer lugar, valores iniciales (cualesquiera) a las
variables. Por ejemplo:
x1 := 1
x4 := 4
x7 := 7
x2 := 2
x5 := 5
x8 := 8
x3 := 3
x6 := 6
x9 := 9
i.e. se hace una "prediccin" de la que podra ser la solucin del sistema.
Definimos ahora el sistema, usando la instruccin Given. Se escribe la palabra "Given"; as se indica
a Mathcad que lo que le sigue a continuacin es un sistema de ecuaciones. Se puede escribir "Given"
con cualquier tipo de letra, slo es necesario asegurarse de no escribirla en una regin de texto (debe
ser en una regin matemtica)
Given
Se escribe el sistema de ecuaciones, pero Atencin!: Usando el signo "=" que aparece en la barra
de herramientas Boolean:
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
13
22
3 x1 + 3 x2 + x3 2 x4 x5 2 x6 + 3 x7 + 5 x8 4 x9 8
6 x1 + 2 x2 + 3 x3 4 x4 3 x5 + 5 x6 + 4 x7 4 x8 + x9 6
5 x1 6 x2 3 x3 + 2 x4 + x5 2 x6 3 x7 2 x8 + 6 x9 1
4 x1 + 3 x2 + x3 + 5 x4 + 7 x5 + 14x6 + 6 x7 + 3 x8 + 2 x9 20
8 x1 3 x2 + 6 x3 7 x4 + 4 x5 + 9 x6 7 x7 8 x8 + 9 x9 45
6 x1 3 x2 6 x3 + 8 x4 + 12x5 + 7 x6 + 6 x7 + 30x8 + 4 x9 134
6 x1 3 x2 + 4 x3 8 x4 + 9 x5 + 6 x6 + 4 x7 + 8 x8 + 17x9 43
Escribirlo en
REGIN
MATEMTICA
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
14
(1
X := Find x , x , x , x , x , x , x , x , x
2 3 4 5 6 7 8 9
aparece la solucin del sistema que, efectivamente, es la correcta (coincide con la de los anteriores
1
2
3
1
apartados): X = 5
2
0
5
4
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
15
+ 3 x 4 3 x 5 + 4 x 6 2 x 7 + x 8 x 9 = 27
2x1 + x 2
3 x1 + 3 x 2 + x 3 2x 4 x 5 2x 6 + 3 x 7 + 5 x 8 4 x 9 = 8
6 x1 + 2x 2 + 3 x 3 4 x 4 3 x 5 + 5 x 6 + 4 x 7 4 x 8 + x 9 = 6
5 x1 6 x 2 3 x 3 + 2x 4 + x 5 2 x 6 3 x 7 2x 8 + 6 x 9 = 1
4 x + 3 x + x + 5 x + 7 x + 14 x + 6 x + 3 x + 2 x = 20
2
3
4
5
6
7
8
9
1
8 x1 3 x 2 + 6 x 3 7 x 4 + 4 x 5 + 9 x 6 7 x 7 8 x 8 + 9 x 9 = 45
6 x1 3 x 2 6 x 3 + 8 x 4 + 12 x 5 + 7 x 6 + 6 x 7 + 30 x 8 + 4 x 9 = 134
6 x 3 x + 4 x 8 x + 9 x + 6 x + 4 x + 8 x + 17 x = 43
2
3
4
5
6
7
8
9
1
-1
A AX = A B
-1
Entonces se llega a la conclusin de que X = A B, calculo ste que se puede realizar con la ayuda
del mathcad (ver math-block "Matriz inversa"):
1
1
5
A B =
15
2.373 10
Nuevamente, debido a los errores de redondeo al ejecutar las operaciones, los valores salen
-15
aproximados ; de ah que la solucin -2.373x10 se debe interpretar como 0. Se comprueba que las
soluciones del sistema coinciden con las halladas en los apartados anteriores.
.
BIBLIOGRAFA
___________________________________
[1] Montes Lozano, A (1998): "lgebra", Ediciones UOC, Mdulo 3: "Matrices, vectores y sistemas
de ecuaciones lineales", 55-58
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
16
ENLACES
[W1]
___________________________________
http://ist.uwaterloo.ca/ic/mathcad/videos/linalg/03/the.avi
Fichero AVI con una leccin sobre resolucin sistemas de ecuaciones lineales con mathcad .
En ingls.
[W2]
http://thales.cica.es/rd/Recursos/rd99/ed99-0289-02/sel01.html
Pgina web de la Sociedad Andaluza de Educacin Matemtica THALES. En espaol.
[W3]
http://www.uv.e/~diaz/mn/node25.html
Pgina web de Wladimiro Daz Villanueva, del departamento de Informtica de la Universitat
de Valncia. En espaol.
[W4]
http://www.dsic.upv.es/~mrebollo/c_aplicado//node2.html
Pgina web de Miguel Rebollo, del departamento de sistemas informticos y computacin de
la Universitat Politcnica de Valencia. En espaol.
[W5]
http://www.sectormatematica.cl/contenidos/matsisec.htm
Pgina web de "Sector Matemtica". En espaol.
[W6]
http://usuarios.lycos.es/manuelnando/rouche.html
Pgina web de Manuel Nando con "Todo Matemtica"; recopilacin de apuntes y ejercicios.
En espaol.
[W7]
http://usuarios.lycos.es/manuelnando/apuntesgauss.html
Pgina web de Manuel Nando con "Todo Matemtica"; recopilacin de apuntes y ejercicios.
En espaol.
[W8]
http://www.cesga.es/telecursos/F90/sec5/cap1/Frame_Tema5_Cap1_1.html
Pgina web del Centro de Supercomputacin de Galicia. En gallego y espaol.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
17