IES SANTIAGO RAMÓN Y CAJAL. PROF. JOAQUÍN COTRINA.

MATEMÁTICAS II.
TEMA 7: SISTEMAS DE ECUACIONES LINEALES (SEL).
TEORÍA.
ÍNDICE:
1. Introducción. Definiciones.
2. Teorema de Rouché-Frobenius
3. Resolución de S.E.L.
3.1.Método de Gauss – Jordan.
3.2.Método de Cramer.
3.3.Mediante la inversa.
4. SEL homogéneos.
5. Discusión de S.E.L. con parámetros.

1
1.- INTRODUCCIÓN. DEFINICIONES.
Llamamos sistema de ecuaciones lineales (SEL) a un sistema en el que cada una de las
ecuaciones es polinómica de primer grado en todas las variables.
Una solución particular del sistema es un valor de las variables que es solución de cada una de
las ecuaciones, es decir, de forma que transforma cada ecuación en una identidad numérica. Llamamos
solución general (o simplemente solución) de un SEL al conjunto de todas las soluciones que tiene el
sistema.
Dos sistemas son equivalentes cuando pasamos de uno a otro a través de una de las siguientes
trasformaciones:
 Cambiar de orden dos ecuaciones.
 Multiplicar una ecuación por un número distinto de cero.
 Cambiar una ecuación por una combinación lineal de ecuaciones del sistema en la que la
ecuación sustituida no tiene coeficiente 0 (también se puede decir: sumarle a una ecuación una
combinación lineal de las demás ecuaciones).

Es posible y no muy difícil demostrar que, efectivamente, un sistema y su transformado mediante

una de estas tres transformaciones, tienen el mismo conjunto de soluciones, es decir, con estas
transformaciones tenemos que dos sistemas equivalentes tienen la misma solución general.
Según sus soluciones, un SEL puede ser un sistema compatible (SC) si tiene alguna solución.
Cuando la solución es única, se denomina sistema compatible determinado (SCD) y cuando tiene más
de una, tiene infinitas y se denomina sistema compatible indeterminado (SCI). Cuando un sistema no
tiene solución alguna se denomina sistema incompatible (SI).
Estudiar un sistema según sus soluciones es decidir cual de las tres posibilidades anteriores se
da en el sistema. Discutir un sistema que depende de parámetros es estudiar qué tipo de sistema tenemos,
según los distintos valores de los parámetros (a veces se utiliza discutir para decidir el tipo de sistema
según sus soluciones, aunque no tenga parámetros). Resolver un sistema es hallar su solución general.
A la matriz de los coeficientes del sistema la denotaremos por A. A la matriz columna de los
términos independientes la denotaremos por B y a la matriz ampliada de los coeficientes junto a los
términos independientes la denominaremos por A . Así, dado el sistema
a11 x1  a12 x 2   a1n x n  b1
a x  a x   a 2 n x n  b2
 21 1 22 2

     
an1 x1  an 2 x 2   ann x n  bn

la matriz de los coeficientes del sistema y la matriz ampliada son, respectivamente:

2
  a11 a12  a1n   a11 a12  a1n b1 
   
a a 22  a2n   a 21 a 22  a 2 n b2 
A   21 , A .
          
   
a an 2  ann  a an 2  ann bn 
 n1  n1
Un ejemplo concreto sería, para el sistema
 2x y 2

 x  3y z 3
 3 x  y  2z  1

las matrices de los coeficientes y la matriz ampliada son, respectivamente:

 2 1 0   2 1 0 2 
   
A 1 3  1 y A   1 3 1 3 
 3 1 2    3  1 2  1
   

¿En qué parte de las ciencias se utilizan los sistemas de ecuaciones lineales?
Hay que entender que resolver un sistema tiene tras de sí la idea de hallar aquellos elementos
que son, simultáneamente, pertenecientes a más de un conjunto. En geometría analítica del espacio,
por ejemplo, las ecuaciones lineales representan planos. Así, un sistema se estudia cuando se quiere
saber la posición relativa de dos o más planos. En geometría analítica del plano tenemos una situación
similar, pero con rectas. En espacios vectoriales, que se escapa de nuestro ámbito, a la hora de descifrar
una combinación lineal de vectores, se halla estableciendo un sistema de ecuaciones. En problemas de
matemáticas generales, cuando se modeliza un sistema y se hallan las ecuaciones que lo gobiernan, se
suele linealizar, es decir, deshacerse de todo término no polinómico o de grado mayor que 1 para su
simplicidad. El resultado es un sistema, a veces demasiado básico, que permite un estudio inicial del
problema.

3
2.- TEOREMA DE ROUCHÉ – FROBENIUS.
Dado un SEL, consideramos las matrices A de los coeficientes y A ampliada, del sistema.
Estudiamos sus rangos y los comparamos entre ellos y con el número de incógnitas que tiene el sistema.
Hay tres posibilidades
 
SC, si ran A   ran A .

 
SCD, si ran A   ran A  número de incógnitas

 SCI, si ran A   ran A   número de incógnitas

 SI, si ran A   ran A .

Observemos que las posibilidades de que ran A   ran A  o de que los rangos superen al número
de incógnitas, no pueden darse. La primera es porque cualquier menor (caja) no nulo que esté en A, sirve
igualmente para A . La segunda opción no es posible por estar el rango de A acotado por la dimensión
y el número de columnas de A es el número de incógnitas. Si podría darse el caso de que rango de A
fuera mayor que el número de incógnitas, pero en ese caso, tendría que ser mayor que el rango de A y,
por tanto el sistema sería incompatible.

4
3.- RESOLUCIÓN DE UN SEL.
Para resolver un sistema veremos tres métodos distintos: el método de Gauss – Jordan, que
triangulariza la matriz ampliada, el método de Cramer, que utiliza determinantes, y hallar la matriz
inversa de los coeficientes, cuando ésta exista.
3.1.- MÉTODO DE GAUSS – JORDAN.

El método de Gauss – Jordan triangulariza la matriz ampliada A . Cuando está triangularizada

inferiormente se estudia y se aplica el teorema de Rouché – Frobenius. Si hay solución, bien se
triangulariza superiormente para dejar despejada cada una de las incógnitas, bien se resuelven las
ecuaciones desde la más inferior a la más superior, utilizando los valores hallados previamente.
Cuando el sistema sea compatible indeterminado, la ecuación situada más abajo tendrá más de
una incógnita. Se despeja una de ellas y se cambian las otras por los parámetros.
Ejemplo: (SCD. Método de Gauss) Estudia y resuelve el siguiente sistema:
 2x y 2

 x  3y z 3
 3 x  y  2z  1

Solución:
Triangularizemos la matriz ampliada:
 2 1 0 2   2 1 0 2 2 1 0 2 
  
2 F2  F1
  
A 1 3 1 3    0 7  2 4  0 7  2 4 
  3  1 2  1 3   0  5 4 4 
F1  2 F3
  0 0 18 48 
F2  7 F3
5 
 

Contamos el número de filas no idénticamente nulas y tenemos que ran A  ran A  .

número de incógnitas  3 . Por el teorema de Rouché – Frobenius, el sistema es compatible determinado
(SCD).
E 3 : 18z  48  z  48
18  8
3

E 2 : 7 y  2z  4  7 y  163  4  y  28
21  4
3

E1 : 2 x  y  2  2 x  43  2  x  106  5
3

Solución: x  53 ; y  43 ; z  8
3

Ejemplo 2: (SCI. Método de Gauss) Estudia y resuelve el siguiente sistema.
2 x  y  2z 3

x y z  2
 x  4y z  9

Solución:

5
Triangularizemos la matriz ampliada:
2 1 2 3  2 1 2 3   2  1 2 3
  
F1  2 F2
  
1 1 1  2   0  3 0 7  0  3 0 7
1 4 1  9   0  9 0 21
1  2 F3
F   0 0 0 0 
F2 F3
3
 

Contamos las filas no idénticamente nulas y tenemos ran A  ran A  2 luego el sistema es
compatible, pero como hay 3 incógnitas, el sistema es compatible indeterminado. La diferencia entre el
rango y el número de incógnitas es el número de parámetros de que depende la solución. En este caso
habrá 1 parámetro. Para resolverlo, tomamos la última incógnita y la igualamos al parámetro, t.
Procedemos despejando de la última ecuación hacia la primera.
E 2 :  3y  7  y   73

E1 : 2 x  y  2z  3  2 x  73  2k  3  2 x  23  2k  x  13  k

Solución: x  13  k ; y   73 ; z  k , k  R .

Ejemplo 3: (SI. Método de Gauss) Estudiar y resolver el sistema

 x y z 2

 2x  y  3z  4
 x  5 y  3z  3

Solución:
Triangularizemos la matriz ampliada,
1 1 1 2  1 1 1 2  1 1 1 2
  
2 F1  F2
  
A   2 1  3 4    0 3 1 0  0 3 1 0
1 5 3  3    0 6 2  1
1  F3
F   0 0 0 1 
F2 F3
2

Vemos que en la matriz A hay dos filas que no son idénticamente nulas, luego ran A  2 pero en la
matriz A hay tres filas no idénticamente nulas, de donde ran A  3 . Por el teorema de Rouché –
Frobenius, el sistema es incompatible, es decir, no tiene solución.
3.2.- MÉTODO DE CRAMER.

El método de Cramer realiza inicialmente un estudio del rango de A y luego del rango de A
mediante determinantes. Si el sistema es compatible, se hallan las incógnitas como cocientes de dos
determinantes. En el numerador tendremos el determinante que resulta de sustituir los coeficientes de la
variable que estamos hallando por los términos independientes. En el denominador tendremos la matriz
de los coeficientes del sistema.

6
 Cuando el sistema es compatible indeterminado, habrá un menor no nulo de tamaño menor que
el número de incógnitas. Dicho menor nos indicará que sistema nuevo habrá que considerar, eliminando
alguna de las ecuaciones.
Ejemplo 4: (SCD. Método de Cramer) Estudia y resuelve el siguiente sistema.
 2x y 2

 x  3y z 3
 3 x  y  2z  1

Solución:
 2 1 0 2 
 
A 1 3 1 3 
  3  1 2  1
 
Estudiamos el rango de A primero. Como es una matriz de dimensión 3 3 , el rango máximo es
3 y hay un único menor de tamaño 3, el propio determinante de A.
2 1 0
A  1 3  1  12  3  0  0  2  2  9  0
 3 1 2

Como A  0 , el rango de A es 3. Como ran A  ran A  3 y la dimensión de A es 3 4 , y el

rango máximo es 3, deducimos que el rango es 3. Por tanto ran A  ran A  3 . El teorema de Rouché –
Frobenius nos asegura que el sistema es compatible. Además, al coincidir con el número de incógnitas,
el sistema es compatible determinado.
2 1 0
3 3 1
Ax 1 1 2 12  1  0  0  6  2 15 5
x    
A 9 9 9 3

2 2 0
1 3 1
Ay  3 1 2 12  6  0  0  4  2 12 4
y    
A 9 9 9 3

2 1 2
1 3 3
Az  3 1 1  6  9  2  18  1  6 24 8
z    
A 9 9 9 3

Solución: x  53 ; y  43 ; z  8
3


7
Ejemplo 5: (SCI. Método de Cramer) Estudia y resuelve el siguiente sistema.
2 x  y  2z 3

x y z  2
 x  4y z  9

Solución:
Estudiemos el rango de A.
2 1 2
A 1 1 1  2 1 8  2  8 1  0
1 4 1

Eliminando la tercera fila y la tercera columna queda el menor

2 1
c 3 , f3 :  2 1  3  0,
1 1

por tanto el rango de A es 2. Veamos ahora el rango de A :

1 2 3
c 1 : 1 1  2  9  16  3  12  18  2  0
4 1 9

2 2 3
c 2 : 1 1  2  0 pues c1  c 2
1 1 9

2 1 3
c 3 : 1 1  2  18  2  12  3  16  9  30  30  0
1 4 9

Luego el rango de A es también 3 (todos los determinantes de orden 3 son nulos, y un menor de orden
2, el mismo que para A, es distinto de 0). El número de incógnitas es 3. Por el teorema de Rouché –
Frobenius, el sistema es compatible indeterminado.
En el menor de orden 2 no nulo hemos eliminado la fila 3. Entonces nos quedamos con las dos primeras
ecuaciones, es decir, el sistema queda
2 x  y  2z  3

x y  z  2
Como en el menor de orden 2 no nulo hemos eliminado la columna 3, entonces la tercera incógnita la
vamos a sustituir por un parámetro y considerarlos como términos independientes. Queda:
2 x  y  3  2z
 .
x y  2  z

8
En este nuevo sistema, la matriz de los coeficientes es, precisamente, el menor anterior que salió no
nulo. Así que podemos hallar sus incógnitas.
3  2t  1
~
Ax 2t 1 3  2t  2  t 1  3t
x ~   
A 2 1 3 3
1 1

2 3  2t
~
Ay 1  2  t  4  2t  3  2t  7
y ~   
A 2 1 3 3
1 1
zt
Solución: x  13  t ; y   73 ; z  t , t  R .

Ejemplo 6: (SI método de Cramer). Estudia y resuelve el sistema:

 x y z 2

 2x  y  3z  4
 x  5 y  3z  3

Solución:
Estudiemos el rango de A y el de A mediante determinantes,
1 1 1
A  2  1  3  3  3  10  1  15  6  0
1 5 3

Veamos ahora si hay algún menor de orden 2 distinto de 0,

1 1
f3 , c 3 :  3  0 y, por tanto, el rango de A es 2. Estudiemos ahora el rango de A .
2 1

1 1 2
c 1 :  1  3 4  9  20  6  30  12  3  42  38  4  0 de donde el rango de A es 3 y, por el
5 3 3

teorema de Rouché – Frobenius, el sistema es incompatible, es decir, no tiene solución.

3.2.- MEIDANTE LA INVERSA.
Este método sirve sólo en el caso compatible determinado. Hace falta que haya tantas ecuaciones
como incógnitas y, además, que A  0 . En tal caso, escribimos el sistema en forma de producto

matricial, hallamos la matriz inversa de A y multiplicamos por la izquierda en la ecuación. Esto equivale
a “despejar”.

9
Ejemplo 7: (SCD. Método de la inversa) Estudia y resuelve el siguiente sistema.
 2x y 2

 x  3y z 3
 3 x  y  2z  1

Veamos el determinante de A.
2 1 0
A  1 3  1  12  3  0  0  2  2  9  0
 3 1 2

Como es distinto de 0, sabemos que es compatible determinado. Escribimos el sistema en la forma

 2 1 0   x   2 
     
 1 3  1   y    3   A  X  B
  3  1 2   z    1
     
Hallamos A 1 , por ejemplo, por el método de Cramer,
5 2 1
1 1 
A  1 4 2 ,
9 
7 5 7
Por último, multiplicamos el sistema, escrito en forma matricial, por A 1 , por la izquierda. Por tanto,
A X  B  A 1 (izqda.)
A 1  A  X  A 1  B
5 2 1  2   10  6  1   15   5 3 
1 1    1  1  4 
X  A  B  1 4 2   3    2  12  2    12    3 
9    9  9  8 
 8 5 7    1 16  15  7   24   3 
Solución: x  53 ; y  43 ; z  8
3


10
4.- SEL HOMOGÉNEOS.
Decimos que una ecuación polinómica es homogénea de grado n, si cada uno de sus términos es
de grado n. En general, una función f x1 , x 2 , , x k  es homogénea de grado n, si

f t  x1 , t  x 2 ,, t  x k   t n  f x1 , x 2 ,, x k  , es decir, no tiene que ser polinómica necesariamente. Para
nosotros, será polinómica y además, lineal, es decir, de grado 1. Entonces, el hecho de ser homogénea
equivale a decir que no hay término independiente. Por tanto, un sistema de ecuaciones homogéneo es
aquél en el que los términos independientes son todos 0, como por ejemplo,
 2 x  3y z 0

 x y  2z  0
 x  2 y z 0

Como la columna de los términos independientes es idénticamente nula, se tiene que en un
sistema homogéneo, el rango de A y de A . Por el teorema de Rouché – Frobenius, un sistema
homogéneo es siempre compatible. Queda sólo decidir si será compatible determinado y tendrá solución
única, o si será compatible indeterminado y tendrá infinitas soluciones.
Hay que decir que un sistema homogéneo siempre admite la solución trivial, es decir, la solución
en la que todas las variables son 0. En el caso de tener un SCD, ésta será la única solución.
Ejemplo 8: (Sistema homogéneo) Estudia y resuelve el siguiente sistema.
 2 x  3y z 0

 x y  2z  0
 x  2 y z 0

Solución:
Estudiémoslo por el método de Cramer, por ejemplo,
2 3 1
A  1 1 2  2  6  2  1  8  3  21  1  20  0 , de donde el rango de A es 3, al igual que
1 2 1

el rango de A y el sistema es compatible determinado y la solución trivial es su única solución.

Solución: x  0; y  0; z  0 .
Ejemplo 9: (Sistema homogéneo) Estudia y resuelve el siguiente sistema.
2 x  y z 0

4 x  2 y z 0
2 x  3y  2z  0

Solución:
Estudiémoslo por Cramer, por ejemplo,

11
 2 1 1
A  4 2 1  8  2  12  4  8  6  20  20  0
2 3 2

En este caso, al ser la última columna completamente nula, no hay que estudiar ningún otro menor de
orden tres, pues son todos 0. Veamos los menores de orden 2, por ejemplo quitando la tercera fila y la
primera columna.
1 1
c 1 , f3 :  1  2  1
2 1
El sistema es, por tanto, compatible indeterminado. Hallemos su solución. Nos quedamos con el sistema
de las dos primeras ecuaciones y la incógnita x la cambiamos por un parámetro. Por tanto,
2 x  y z 0  y  z  2t
  
4 x  2 y z 0  2 y  z  4t
En este nuevo sistema, resolvemos por Cramer,
 2t  1
~
Ay  4t 1  2t  4t
y ~    6t
A 1 1 1
2 1

1  2t
~
Az  2  4t  4t  4t
z ~    8t
A 1 1 1
2 1

Solución: x  t ; y  6t ; z  8t , t  R .

12
5.- DISCUSIÓN DE SEL CON PARÁMETROS.
Discutir un sistema de ecuaciones lineales que depende de uno o más parámetros es decidir qué
tipo de sistema es (SCD, SCI o SI) según los distintos valores de los parámetros. Se pueden utilizar tanto
el método de Gauss como el de Cramer, pero es más manejable en este caso el método de Cramer, es
decir, utilizar determinantes.
El método general de estudiar un SEL con parámetros es estableces un nuevo sistema de
ecuaciones, no necesariamente lineales, con cada uno de los menores de mayor orden posible igualado
a 0. Para cualquier valor de los parámetros que no sea solución de este nuevo sistema, alguna de las
ecuaciones no se satisface y se deduce el rango A. Análogamente se hace con A . Para los valores que
sean solución del nuevo sistema, se estudia caso a caso, teniendo en cuenta que A y/o A no tendrán
rangos máximos.
Aunque parece complicado, cuando sólo hay un parámetro es bastante sencillo, pero se complica
bastante cuando hay dos o más parámetros.
Ejemplo 10: Discutir según los valores del parámetro a  R el siguiente SEL:
 kx  2y z 1

 x  k  1y 1
k  1x  3y  2z  1

Solución:
La matriz A es:
 k 2 1 1
 
A 1 k  1 0 1
k 1 3 2 1

Estudiemos el rango de A.
k 2 1
A 1 k  1 0  2k k  1  0  3  k  1k  1  4  0  2k 2  2k  3  k 2  1  4  k 2  2k
k 1 3 2

Así que A  0 para k  0 y k  2 . Veamos estos dos casos en particular.

Caso k  0 :
La matriz ampliada queda
 0 2 1 1
 
A 0   1 1 0 1
  1 3 2 1
 
El rango de A es menor que 3. Veamos si algún menor de orden 2 es no nulo.

13
 0 2
f3 , c 3 , c 4 :  2  0 , luego el rango de A es 2. Estudiemos ahora el rango de A .
1 1

2 1 1
c 1 : 1 0 1  0  3  2  0  1  4  0
3 2 1

0 1 1
c 2 : 1 0 1  0  1  2  0  0  1  0
1 2 1

0 2 1
c 3 : 1 1 1  0  2  3  1  2  0  0
1 3 1

Como los otros tres menores de orden 3 son nulos, el rango de A es menor que 3. El mismo menor de
orden 2 que utilizamos para A nos sirve para A y, por tanto, su rango es 2. Como el número de incógnitas
es 3, el teorema de Rouché – Frobenius establece que el sistema es compatible indeterminado
Caso k  2 :
En este caso, la matriz ampliada queda
  2 2 1 1
 
A 2   1  1 0 1
  3 3 2 1
 
2 1
Terminemos de estudiar el rango de A. Claramente el menor de A f3 , c 1 :  1  0 y su rango es
1 0

2. Sabemos también que el rango de A es, al menos 2. Veamos si hay algún menor de orden 3 no nulo.
2 1 1
c 1 :  1 0 1  0  3  2  0  1  4  5  6  1  0
3 2 1

Por tanto, el rango de A es 3 y, en virtud del teorema de Rouché – Frobenius, el sistema es incompatible.
Solución: k  0, SCI ; k  2, SI ; k  0, k  2, SCD .

Ejemplo 11: Discute, según los valores de los parámetros a y b  R , el siguiente sistema según sus
soluciones:
x  ay 0

3x  3y z 0
ax y z b


14
Solución:
La matriz ampliada es
1 a 0 0
 
A   3 3 1 0 
a 1 1 b
 
Estudiemos primero el rango de A.
1 a 0
A  3 3  1  3  a 2  0  0  3a  1  a 2  3a  4 . Entonces A  0 cuando a  1 o bien a  4
a 1 1

.
Caso a  1 :
1 1 0 0 
  1 0
A1   3 3  1 0  . Claramente el menor de A c 1 , f3 :  1  0 y el rango de A es 2. Para ver
1 1 1 b  3 1
 

el rango de A necesitaremos ver si hay un mismo valor de b que anula todos los menores de orden 3. Si
no lo hay, el rango de A será 3. Si sí lo hay entonces será de rango 2.
1 0 0
c 1 : 3  1 0  b pues es un determinante triangular superior. Como c1  c 2 , el menor que resulta
1 1 b

de eliminar c 2 es idéntico al anteriormente hallado y, por último, cuando eliminamos c 3 , queda un

determinante con las dos primeras columnas iguales, y es por tanto 0.
Por tanto, si b  0 todos los menores de orden 3 son 0 y el rango de A es 2 con lo que quedaría un SCI.
Si b  0 entonces algún menor de orden 3 es no nulo y quedaría un SI.
Caso a  4 :
 1  4 0 0
 
A 4  3 3 1 0 
 4 1 1 b 

Lo primero es terminar de estudiar en este caso el rango de A. Vemos que el mismo menor de antes, es
3 1
decir, c 1 , f3 :  3  1  4  0 y el rango de A es 2. Veamos ahora el rango de A .
1 1

15
 4 0 0
c 1 : 3  1 0  4b
1 1 b

1 0 0
c 2 : 3  1 0  b
4 1 b

1 4 0
c 3 : 3 3 0  15b
4 1 b

Al hacer los tres menores igual a 0, obtenemos una solución común, b  0 . Por tanto, para este valor de
b, el rango de A es menor que 3. El mismo menor de orden 2 utilizado para A sirve para A , y deducimos
que el rango es 2. Como el número de incógnitas es 3, el sistema en este caso sería compatible
indeterminado.
Para cualquier otro valor de b, el sistema sería incompatible.
Para cualquier otro valor de a el sistema es compatible determinado, pues el rango de A, y por tanto el
de A también, sería 3, que coincidiría con el número de incógnitas.
Solución:
a b Tipo de sistema
1 0 SCI
1 0 SI
4 0 SCI
4 0 SI
 1,  4 R SCD

Ejemplo 12: (Discusión de un sistema con parámetros. Método de Gauss) Discutir para los distintos
valores del parámetro m  R , el siguiente sistema según sus soluciones.
 x  my z m2

 x y  mz  2m  1
mx  y z m

Solución: ESTA MAL!!!!
La matriz ampliada es

16
 1 m 1 m2  1 m 1 m2 
   
A   1 1 m  2m  1 F1  F2
  0 m  1 1  m 3m  4 
m 1 1 m  1 
mF F3
  0 m 2  1 m  1 m 2  m  
m 1F2 F3
 
 

1 m 1 m2 
 
0 m 1 1 m 3m  4 
0 0  mm  1 3m  4 m  1

En este método, podemos tener problemas cuando el pivote que se utiliza en la diagonal principal es 0,
es decir, en el segundo paso, para m  1 . Estudiaremos ese caso particular también.
Observamos la matriz ampliada triangularizada. En la diagonal principal la entrada a 22 depende de m,
así como la entrada a33 . La entrada a 22  m  1 se anula para m  1 y la entrada a33  mm  1 se

anula para m  0 y m  1
Caso m  1 :
La matriz queda
1 1 1 3 
 
A1   0 0 0 7 
 0 0  2 14 
 

Y vemos que el rango de A es 2 y el de A es 3. Por tanto el sistema es incompatible.

Caso m  0 :
La matriz ampliada queda
 1 0 1 2
 
A0   0  1 1 4
 0 0 0 4
 

de donde se observa claramente que el rango de A es 2 y el de A es 3. Por tanto el sistema en este caso
es incompatible.
Caso m  1 :
La matriz ampliada queda
1 1 1 1
 
A 1  0  2 2 1
 0 0 0 0
 

de donde se observa que tanto el rango de A como el de A es 2. Como hay 3 incógnitas, por el teorema
de Rouché – Frobenius, el sistema es compatible indeterminado.

17
Para cualquier otro valor de m, ninguna de las entradas de la diagonal principal de la matriz
triangularizada es 0, y por tanto A y A tienen rango 3 y el sistema es compatible determinado.
Solución:
Para m  1 ó m  0 , el sistema es incompatible.
Para m  1 , el sistema es compatible indeterminado.
Para m  R   1, 0,1 , el sistema es compatible determinado.

Ejemplo 13: (Discusión de un sistema con parámetros. Método de Gauss). Discutir para los distintos
valores del parámetro m  R , el siguiente sistema según sus soluciones.
 ax  y  z  b 1

 2 x  ay  b 1
 x z b

Solución:
Triangularizemos la matriz ampliada. En la medida de lo posible, intentaremos no tener parámetros en
las entradas de la diagonal principal.
 a 1  1 b  1 1 0 1 b  1 0 1 b 
  
F1 F3
 
2 F1  F2

A   2 a 0 b  1   2 a 0 b  1   0 a 2 3b  1 
1 0 1 b   a 1  1 b  1 1 
aF F3
  0 1 a  1 ab  b  1
  

1 0 1 b  1 0 1 b 
   
2  F3
F  0 1 a  1 ab  b  1 0 1 a 1 ab  b  1 
0 a
 2 3b  1  aF2 F3  2 2

  0 0 a  a  2 a  a  3 b  a  1 
Ahora que la matriz ampliada está triangularizada, podemos observar que la única entrada que depende
de algún parámetro es a33  a 2  a  2 . Esta entrada es 0 en los casos a  1 y a  2 . Particularicemos

en estos dos casos y veamos qué pasa con los rangos de A y A .

Caso a  1 :
La matriz ampliada queda
1 0 1 b 
 
A 1   0 1  2 1 
 0 0 0  3b 
 

El rango de A es 2 y el de A es 2 cuando b  0 y 3 si b  0 . Por tanto el sistema es compatible

indeterminado si a  1 y b  0 y es incompatible si a  1 y b  0 .
Caso a  2 :

18
La matriz ampliada queda
1 0 1 b 
 
A 2   0 1 1 3b  1 
 0 0 0 3b  3 
 

Claramente se observa que el rango de A es 2, independientemente del valor de b y el rango de A es 3

cuando b  1 y rango 2 cuando b  1 . Por tanto, el sistema es compatible determinado cuando
a  2 y b  1 e incompatible cuando a  2 y b  1 .
Caso a  1, a  2, b  R :
En este caso los tres pivotes de la diagonal principal son no nulos, de donde tanto el rango de A como
el de A es 3, que coincide con el número de incógnitas y, por el teorema de Rouché – Frobenius, el
sistema es compatible determinado.
Solución:
a  1, b  0 SCI
a  1, b  0 SI
a  2, b  1 SCI
a  2, b  1 SI
a  1, a  2, b  R SCD

19