Cómo diagnosticar un sistema de ecuaciones sin resolverlo

Antes de gastar tiempo resolviendo un sistema de ecuaciones lineales, conviene diagnosticarlo. Saber si tiene una única solución, infinitas o ninguna te ahorra esfuerzo y te da una lectura geométrica clara de lo que ocurre entre las rectas del sistema.

La herramienta para hacerlo cabe en una sola idea: comparar el rango de la matriz de coeficientes con el rango de la matriz aumentada, y contrastarlos con el número de variables.

¿Qué necesitas para diagnosticar un sistema de ecuaciones?

Todo el diagnóstico se apoya en la matriz aumentada, que escribimos como A|b, y en la eliminación gaussiana para llevarla a su forma escalonada [00:35].

A partir de ahí, fíjate en tres números:

• El rango de A: cantidad de pivotes no nulos en la parte de los coeficientes.
• El rango de la matriz aumentada: pivotes no nulos contando la columna de resultados.
• El número de variables del sistema.

¿Qué es el rango de una matriz? Es el número de pivotes no nulos que quedan después de aplicar eliminación gaussiana y obtener la forma escalonada. Te indica cuántas ecuaciones realmente aportan información.

Con estos tres valores ya puedes decidir, sin resolver, qué tipo de solución tienes enfrente.

¿Cuándo un sistema tiene solución única?

Mira este sistema: x − y = 1 y x + y = 3 [01:25]. La matriz aumentada queda con coeficientes 1, −1 y 1, 1, junto al vector de resultados 1, 3.

Al restar filas en la eliminación gaussiana llegamos a una forma escalonada con dos pivotes en A y dos pivotes en la matriz aumentada. Tenemos además dos variables, x e y.

La condición se cumple así: rango(A) = rango(A|b) = número de variables. Cuando esto pasa, el sistema tiene solución única. Geométricamente, las dos rectas se cruzan en un único punto [02:45].

¿Cómo se ve esto en la práctica?

Es el caso más limpio. Cada ecuación aporta información nueva, ninguna sobra y ninguna se contradice. El punto de cruce es la solución.

¿Cuándo un sistema no tiene solución?

Ahora considera x + y = 2 y x + y = 4 [03:05]. La matriz aumentada lleva coeficientes idénticos en ambas filas, pero resultados distintos.

Al aplicar eliminación gaussiana, la segunda fila se convierte en ceros en la parte de los coeficientes, pero deja un número distinto de cero en la columna de resultados. Eso da rango(A) = 1 y rango(A|b) = 2.

La condición es clara: rango(A) < rango(A|b). Cuando esto se cumple, el sistema no tiene solución y se llama inconsistente [04:15].

¿Por qué un sistema inconsistente no tiene solución? Porque la última fila se traduce en algo como 0 = 2, que es una contradicción. Geométricamente son rectas paralelas que nunca se tocan.

No hay punto en común y por eso no existe par (x, y) que satisfaga ambas ecuaciones a la vez.

¿Cuándo un sistema tiene infinitas soluciones?

El tercer caso es x + y = 2 y 2x + 2y = 4 [04:45]. La segunda ecuación es el doble de la primera, así que aporta cero información nueva.

Tras la eliminación gaussiana, la última fila queda completamente en ceros. Eso nos deja con rango(A) = 1, rango(A|b) = 1 y dos variables.

La condición es: rango(A) = rango(A|b) < número de variables. Cuando esto ocurre, el sistema tiene infinitas soluciones [06:00]. La fila de ceros se traduce como 0x + 0y = 0, una verdad trivial que confirma la redundancia.

¿Qué es una variable libre?

Al quedarte con una sola ecuación útil, x + y = 2, puedes asignar cualquier valor a x y despejar y. Si x = 2, entonces y = 0. Si x = 5, entonces y = −3. Esa elección sin restricción se llama variable libre, y es justo lo que produce infinitos pares solución.

Geométricamente, las dos rectas están superpuestas: todo punto sobre una está también sobre la otra.

¿Cómo se interpretan los tres casos geométricamente?

Cada diagnóstico tiene una imagen muy intuitiva [06:55]:

• Solución única: dos rectas que se cruzan en un punto. Se cumple rango(A) = rango(A|b) = número de variables.
• Sin solución: dos rectas paralelas que nunca se tocan. Se cumple rango(A) < rango(A|b).
• Infinitas soluciones: dos rectas superpuestas. Se cumple rango(A) = rango(A|b) < número de variables.

Esta tabla mental es la que te permite, con solo mirar los pivotes, anticipar el comportamiento del sistema antes de pelearte con los números.

Y si un sistema termina siendo inconsistente, no todo está perdido: existen métodos para encontrar la mejor aproximación posible cuando no hay solución exacta. ¿Tú ya lograste diagnosticar tu primer sistema sin resolverlo? Cuéntame en los comentarios qué caso te tocó.