Todo lo que necesitas para discutir y resolver sistemas con un parámetro usando el teorema de Rouché-Frobenius:
Un sistema de ecuaciones lineales con un parámetro es un sistema en el que uno o varios coeficientes, o algún término independiente, dependen de una variable simbólica —generalmente llamada \(a\), \(k\) o \(\lambda\)— que puede tomar cualquier valor real.
Dado un sistema con \(m\) ecuaciones y \(n\) incógnitas, se trabaja con tres objetos en paralelo:
Sistema
Matriz de coeficientes A (m×n)
Matriz ampliada (A|b) (m×(n+1))
Dado que el parámetro aparece en la matriz de coeficientes \(A\) o en la matriz ampliada \((A\,|\,b)\), el rango de estas matrices varía según el valor del parámetro, y con él cambia la clasificación del sistema. El objetivo no es solo resolver el sistema para un valor concreto, sino discutirlo: determinar para qué valores del parámetro el sistema es compatible determinado, indeterminado o incompatible, y dar la solución en los casos en que exista.
Ejemplo: en el sistema \(\left\{\begin{aligned}x+y&=1\\ax+y&=a\end{aligned}\right.\).
Si \(a=1\) ambas ecuaciones son iguales y hay infinitas soluciones: \((x=1-t,\; y=t)\) con \(t\in\mathbb{R}\).
Para \(a\neq 1\) el sistema tiene solución única \((x=1,\; y=0)\).
El tipo depende del valor del parámetro \(a\).
A diferencia del método de Gauss —que escala la matriz operando fila a fila—, el método de Rouché-Frobenius clasifica el sistema comparando rangos calculados mediante determinantes de menores. Esto lo hace especialmente cómodo cuando el parámetro aparece en varios coeficientes a la vez, ya que el determinante de la matriz de coeficientes es una expresión polinómica en el parámetro que se puede factorizar con facilidad.
El teorema de Rouché-Frobenius relaciona el tipo del sistema con los rangos de la matriz de coeficientes \(A\) y de la matriz ampliada \((A\,|\,b)\), comparándolos con el número de incógnitas \(n\):
| \(\operatorname{rg}(A) = r\) | \(\operatorname{rg}(A\,|\,b) = r'\) | Comparación con \(n\) = nº de incógnitas | Tipo de sistema |
|---|---|---|---|
| \(r\) | \(r' = r+1\) | — | Incompatible (SI) |
| \(r\) | \(r' = r\) | \(r = n\) | Compatible Determinado (SCD) |
| \(r\) | \(r' = r\) | \(r < n\) | Compatible Indeterminado (SCI) |
De forma compacta:
Cuando el sistema es compatible, el número de grados de libertad (parámetros libres en la solución) es \(n - \text{rg}(A)\). Si vale 0, la solución es única; si es positivo, hay infinitas soluciones.
El rango de una matriz es el orden del mayor menor no nulo. Con un parámetro, los menores son polinomios en ese parámetro. La estrategia es:
Se llaman valores críticos a los valores del parámetro que anulan el determinante de la matriz de coeficientes (o de su mayor menor cuadrado). Son los únicos valores para los que el rango puede bajar respecto al caso general, alterando la clasificación del sistema.
Cómo se obtienen:
a) Cuando el sistema es cuadrado (nº de ecuaciones = nº de incógnitas), los valores críticos son las raíces de la ecuación que resulta al igualar a cero el determinante de \(A\).
b) Si \(A\) no es cuadrada, se igualan a cero todos los menores de orden máximo tanto de \(A\) como de \((A\,|\,b)\).
Una vez identificados los valores críticos, el análisis distingue:
La resolución de los casos compatibles se hace habitualmente con la regla de Cramer (si el sistema es SCD) o expresando \(n - r\) incógnitas en función de las \(n - r\) libres (si es SCI).
¿Quieres practicar lo que acabas de leer? La calculadora de Rouché-Frobenius con parámetro te permite introducir tu propio sistema, calcular los menores simbólicamente y obtener la discusión y la solución para cada valor del parámetro.
Usar la calculadora →Discutir y resolver según los valores del parámetro \(k\):
Paso 1 — Matrices de coeficientes y ampliada
Paso 2 — Determinante de \(A\) y valor crítico
Igualando a cero: \(4-2k=0 \Rightarrow \boldsymbol{k=2}\). Un único valor crítico.
Paso 3 — Estudio de cada caso
Para \(k \neq 2\) — caso general
\(\det(A) = 4-2k \neq 0 \Rightarrow \text{rg}(A) = 2\). El mismo menor aparece en la ampliada, por lo que \(\text{rg}(A\,|\,b) = 2\). Como \(\text{rg}(A) = \text{rg}(A\,|\,b) = 2 = n\): sistema compatible determinado.
Solución única por la regla de Cramer:
Para \(k = 2\)
Sustituimos \(k=2\):
Las filas de \(A\) son proporcionales \((F_2=2F_1)\), así que \(\text{rg}(A)=1\). En la ampliada, el menor de orden 2 formado por las columnas 1 y 3 es:
Como \(\text{rg}(A)=1\neq 2=\text{rg}(A\,|\,b)\): sistema incompatible.
Discutir y resolver según los valores del parámetro \(a\):
Paso 1 — Matrices
Paso 2 — Determinante de \(A\) y valores críticos
Desarrollando por la regla de Sarrus:
Comprobamos que \(a=1\) es raíz: \(1-3+2=0\;\checkmark\). Dividimos:
Los valores críticos son \(\boldsymbol{a=1}\) y \(\boldsymbol{a=-2}\).
Paso 3 — Estudio de cada caso
Para \(a \neq 1\) y \(a \neq -2\) — caso general
\(\det(A)=(a-1)^2(a+2)\neq 0\Rightarrow\text{rg}(A)=3=n\). El mismo menor de orden 3 garantiza \(\text{rg}(A\,|\,b)=3\). Sistema compatible determinado.
Por la simetría del sistema (las tres columnas de \(b\) son iguales), las tres incógnitas resultan iguales. Calculamos \(x\) por Cramer (los cálculos de \(y\) y \(z\) son análogos):
Por simetría, \(y=z=\dfrac{1}{a+2}\).
Para \(a = 1\)
Con \(a=1\) las tres ecuaciones son idénticas (\(x+y+z=1\)):
El único menor de orden 1 no nulo es \(a_{11}=1\), luego \(\text{rg}(A)=1\). En la ampliada ocurre lo mismo: \(\text{rg}(A\,|\,b)=1\).
\(\text{rg}(A)=\text{rg}(A\,|\,b)=1<n=3\): sistema compatible indeterminado con \(3-1=2\) parámetros libres.
La única ecuación válida es \(x+y+z=1\). Dejamos \(y=s\) y \(z=t\) libres:
Para \(a = -2\)
Con \(a=-2\):
\(\det(A)=0\). El menor de orden 2 formado por las filas 1 y 2 y las columnas 1 y 2 es \(\begin{vmatrix}1&1\\-2&1\end{vmatrix}=3\neq 0\), luego \(\text{rg}(A)=2\).
Para la ampliada, se busca un menor de orden 3 no nulo usando las columnas 1, 2 y 4:
\(\text{rg}(A)=2\neq 3=\text{rg}(A\,|\,b)\): sistema incompatible.
Discutir y resolver según los valores del parámetro \(a\):
Paso 1 — Matrices
Paso 2 — Determinante de \(A\) y valores críticos
Los valores críticos son \(\boldsymbol{a=1}\) y \(\boldsymbol{a=2}\).
Paso 3 — Estudio de cada caso
Para \(a \neq 1\) y \(a \neq 2\) — caso general
\(\det(A)=(a-1)(a-2)\neq 0\Rightarrow\text{rg}(A)=\text{rg}(A\,|\,b)=3=n\): sistema compatible determinado.
Calculamos por Cramer:
Para \(a = 1\)
El menor de orden 2 de las filas 1 y 2 y las columnas 1 y 2 vale \(\begin{vmatrix}1&1\\1&2\end{vmatrix}=1\neq 0\Rightarrow\text{rg}(A)=2\).
El menor de orden 3 de la ampliada con las columnas 1, 2 y 4 es \(\begin{vmatrix}1&1&3\\1&2&4\\1&4&6\end{vmatrix}=12+4+12-6-16-6=0\), y el resto de menores de orden 3 disponibles también se anulan, por lo que \(\text{rg}(A\,|\,b)=2\).
\(\text{rg}(A)=\text{rg}(A\,|\,b)=2<n=3\): sistema compatible indeterminado con 1 parámetro libre. Tomamos \(z=t\). El subsistema en \(x,y\) queda:
Para \(a = 2\)
El mismo menor de orden 2 que antes vale \(1\neq 0\Rightarrow\text{rg}(A)=2\). Los menores de orden 3 de la ampliada se anulan igualmente (la tercera ecuación es combinación lineal de las dos primeras), por lo que \(\text{rg}(A\,|\,b)=2\).
\(\text{rg}(A)=\text{rg}(A\,|\,b)=2<n=3\): sistema compatible indeterminado con 1 parámetro libre. Tomamos \(z=t\). El subsistema en \(x,y\) queda:
Discutir y resolver según los valores del parámetro \(k\):
Paso 1 — Matrices
Paso 2 — Rango de \(A\) y valores críticos
El sistema tiene 3 ecuaciones y 2 incógnitas (\(A\) es 3×2). El menor de orden 2 formado por las filas 2 y 3 de \(A\) vale:
Para que el sistema sea compatible se necesita \(\text{rg}(A\,|\,b)=2\), lo que exige \(\det(A\,|\,b)=0\):
Los valores críticos son \(\boldsymbol{k=1}\) y \(\boldsymbol{k=-8}\).
Paso 3 — Estudio de cada caso
Para \(k \neq 1\) y \(k \neq -8\) — caso general
\(\det(A\,|\,b)\neq 0\Rightarrow\text{rg}(A\,|\,b)=3\neq 2=\text{rg}(A)\): sistema incompatible.
Para \(k = 1\)
\(\det(A\,|\,b)=0\Rightarrow\text{rg}(A\,|\,b)=2=\text{rg}(A)=n\): sistema compatible determinado.
Tomamos las ecuaciones 2 y 3: \(3x-y=2\) y \(2x-y=1\). Restando: \(x=1\), luego \(y=3(1)-2=1\).
Para \(k = -8\)
\(\det(A\,|\,b)=0\Rightarrow\text{rg}(A\,|\,b)=2=\text{rg}(A)=n\): sistema compatible determinado.
Tomamos las ecuaciones 2 y 3: \(3x-y=2\) y \(2x-y=-8\). Restando: \(x=10\), luego \(y=3(10)-2=28\).
Discutir y resolver según los valores del parámetro \(a\):
Paso 1 — Matrices
Paso 2 — Determinante de \(A\) y valores críticos
Los valores críticos son \(\boldsymbol{a=0}\) y \(\boldsymbol{a=3}\).
Paso 3 — Estudio de cada caso
Para \(a \neq 0\) y \(a \neq 3\) — caso general
\(\det(A)=a(3-a)\neq 0\Rightarrow\text{rg}(A)=\text{rg}(A\,|\,b)=3=n\): sistema compatible determinado.
Por la regla de Cramer:
Para \(a = 0\)
\(\det(A)=0\). El menor de orden 2 de las filas 1 y 2 vale \(\begin{vmatrix}1&1\\1&2\end{vmatrix}=1\neq 0\Rightarrow\text{rg}(A)=2\).
Para la ampliada, el menor de orden 3 con las columnas 1, 2 y 4:
\(\text{rg}(A)=2\neq3=\text{rg}(A\,|\,b)\): sistema incompatible.
Para \(a = 3\)
Escalonando con \(F_2\leftarrow F_2-F_1\) y \(F_3\leftarrow F_3-F_1\):
\(\text{rg}(A)=\text{rg}(A\,|\,b)=2<n=3\): sistema compatible indeterminado con 1 parámetro libre. Tomamos \(z=t\):
Discute la compatibilidad del sistema según el parámetro y, cuando tenga solución, exprésala.
¿Quieres practicar con tus propios sistemas? La calculadora de Rouché-Frobenius con parámetro te permite introducir cualquier sistema, calcular los rangos simbólicamente y obtener la discusión y la solución para cada valor del parámetro.
Ir a la calculadora →