Considera el siguiente sistema de ecuaciones lineales
⎩⎨⎧mx+2y−z=15x−4y+2z=0x+3my=m+52
a) Discute el sistema según los valores de m.b) Resuelve el sistema para m=0. ¿Hay alguna solución en la que x=0? En caso afirmativo, calcúlala. En caso negativo, justifica la respuesta.
Teorema de Rouché-FrobeniusSistemas con parámetrosCramer
a) Discusión del sistema según los valores de m.
La matriz de coeficientes A y la matriz ampliada (A∣B) del sistema son:
Calculamos el determinante de la matriz de coeficientes A:
det(A)=m−43m20−25120+(−1)51−43m
det(A)=m(0−6m)−2(0−2)−1(15m−(−4))
det(A)=−6m2+4−15m−4
det(A)=−6m2−15m=−3m(2m+5)
Igualamos el determinante a cero para encontrar los valores críticos de m:
−3m(2m+5)=0⟹m=0o2m+5=0⟹m=−25
Discutimos el sistema según estos valores:Caso 1: Si m=0 y m=−25.En este caso, det(A)=0, lo que implica que el rango de A es 3 (rg(A)=3). Como el número de incógnitas es 3 y el rango de la matriz ampliada no puede ser mayor que el de la matriz de coeficientes, entonces rg(A∣B)=3. Por el Teorema de Rouché-Frobenius, el sistema es compatible determinado (tiene una única solución).Caso 2: Si m=0.Sustituimos m=0 en las matrices A y (A∣B):
Ya sabemos que det(A)=0, así que rg(A)<3. Consideramos el menor de orden 2 de A formado por las filas 2 y 3 y las columnas 1 y 2:
51−40=5⋅0−(−4)⋅1=4=0
Por lo tanto, rg(A)=2. Ahora, para el rango de la matriz ampliada (A∣B), consideramos el determinante del menor de orden 3 que incluye la columna de términos independientes (columnas 1, 2 y 4):
0512−401052=0−2(5⋅52−0⋅1)+1(5⋅0−(−4)⋅1)
=−2(2)+1(4)=−4+4=0
Dado que det(A)=0 y el menor de orden 3 formado por las columnas 1, 2 y 4 también es cero, y el menor formado por las columnas 1, 3 y 4 también resulta ser cero (verificación no mostrada), entonces rg(A∣B)=2. Como rg(A)=rg(A∣B)=2<3 (número de incógnitas), el sistema es compatible indeterminado (tiene infinitas soluciones).Caso 3: Si m=−25.Sustituimos m=−25 en las matrices A y (A∣B):
Ya sabemos que det(A)=0, así que rg(A)<3. Consideramos el menor de orden 2 de A formado por las filas 1 y 3 y las columnas 1 y 2:
−2512−215=(−25)(−215)−2⋅1=475−2=467=0
Por lo tanto, rg(A)=2. Ahora, para el rango de la matriz ampliada (A∣B), consideramos el determinante del menor de orden 3 que incluye la columna de términos independientes (columnas 1, 2 y 4):
Por lo tanto, rg(A∣B)=3. Como rg(A)=2=rg(A∣B)=3, el sistema es incompatible (no tiene solución).
b) Resolución del sistema para m=0. ¿Hay alguna solución en la que x=0?
Para m=0, el sistema de ecuaciones lineales es:
⎩⎨⎧0x+2y−z=15x−4y+2z=0x+3(0)y=0+52
⎩⎨⎧2y−z=1(1)5x−4y+2z=0(2)x=52(3)
De la ecuación (3) obtenemos directamente el valor de x:
x=52
Sustituimos x=52 en la ecuación (2):
5(52)−4y+2z=0
2−4y+2z=0
1−2y+z=0
2y−z=1(4)
Observamos que la ecuación (4) es idéntica a la ecuación (1). Esto significa que tenemos un sistema con menos ecuaciones linealmente independientes que incógnitas, lo que corresponde a un sistema compatible indeterminado. De la ecuación 2y−z=1, podemos expresar z en función de y:
z=2y−1
Si tomamos y=λ, donde λ∈R, las soluciones del sistema para m=0 son:
⎩⎨⎧x=52y=λz=2λ−1
¿Hay alguna solución en la que x=0?De la solución general obtenida para m=0, el valor de x es x=52. Dado que 52=0, no existe ninguna solución en la que x=0 para este valor de m.