Dado el sistema de ecuaciones lineales:
con
un parámetro.
a) Estudia, en función del parámetro
, el número de soluciones del sistema anterior. [1,5 puntos]
b) Resuelve, si es posible, el sistema para
. [1 punto]
Aplicamos el teorema de Rouché-Frobenius, comparando el rango de la matriz de coeficientes con el de la ampliada. Empezamos por el determinante de la matriz de coeficientes, cuyas raíces marcan los casos que hay que estudiar aparte.
Si
,
y
, entonces
y
es decir, el sistema tiene solución única. Estudiamos ahora los tres valores que anulan el determinante.
Si
, la matriz ampliada es
porque el determinante de orden 3 ya sabemos que se anula. En la ampliada, en cambio, orlando ese menor con la columna de términos independientes:
Si
, el sistema queda
y se ve a simple vista que la tercera ecuación es la primera multiplicada por
, de modo que sobra. Con las dos primeras:
con infinitas soluciones dependientes de un parámetro.
Si
, el sistema queda
Ahora la primera y la tercera ecuación tienen los coeficientes opuestos pero el mismo término independiente. Sumándolas:
lo que es imposible, así que el sistema es incompatible.
Resumiendo: si
el sistema es compatible determinado y tiene solución única; si
es compatible indeterminado y tiene infinitas soluciones; y si
o
es incompatible y no tiene ninguna.
Por el apartado anterior sabemos que para
el sistema es compatible indeterminado con un grado de libertad. Prescindimos de la tercera ecuación, que es proporcional a la primera, y pasamos la incógnita
al segundo miembro como parámetro. Para que las soluciones queden sin denominadores tomamos
.
Multiplicamos la segunda ecuación por 2 y le restamos la primera:
Sustituimos en la segunda ecuación para obtener
:
Comprobamos en la primera ecuación:
, y en la segunda:
.
Para
el sistema tiene infinitas soluciones, las de la recta anterior; por ejemplo, con
se obtiene la solución
.