Teorema: (Teorema de Rouché-Frobenius).

Dado un sistema de ecuaciones lineales de m ecua-

ciones y de n incognitas, expresado en forma matricial AX = B, se tiene que,
1. El sistema es compatible ⇔ rang A = rang A∗ .
1a) El sistema es compatible determinado ⇔ rang A = rang A∗ = n.
1b) El sistema es compatible indeterminado ⇔ rang A = rang A∗ < n.
2. El sistema es incompatible ⇔ rang A 6= rang A∗ .
Demonstración: Usaremos una demostración basada en la notación vectorial en este caso.
La demostración del teorema implica demostrar cada uno de los puntos anteriores. Empecemos
por el primero,
1 El sistema es compatible ⇔ rang A = rang A∗ .

El sistema es compatible ⇒ rang A = rang A∗ .

Consideremos los sistemas de vectores S = {ac1 , ac2 , ..., acn } y S ∗ = {ac1 , ac2 , ..., acn , bc }.
Si el sistema es compatible, entonces existe una solución (α1 , α2 , ..., αn ) y por ello se
cumplirı́a que,
ac1 α1 + ac2 α2 + ... + acn αn = bc
lo que significa que la columna de términos independientes es combinación lineal de
las columnas de la matriz de coeficientes. Ello se traduce en que rang S = rang S ∗ ,
de modo que rangc A = rangc A∗ y por ello rang A = rang A∗ .
rang A = rang A∗ ⇒ El sistema es compatible.
Si se cumple la igualdad de los rangos rang A = rang A∗ entonces rangc A = rangc A∗ ,
lo que significa necesariamente que la columna de términos independientes debe ser
una combinación lineal de las columnas de coeficientes y por ello rang S = rang S ∗ .
Existirán escalares que verifican que,

ac1 α1 + ac2 α2 + ... + acn αn = bc

de modo que x1 = α1 , x2 = α2 ,...,xn = αn es una solución del sistema, lo cual lo

convierte en compatible.

2 La proposición contrarrecı́proca de la anterior es justamente la dada en el punto 2, de

modo que queda demostrada.

1(a) El sistema es compatible determinado ⇔ rang A = rang A∗ = n.

Supongamos por hipótesis que rang A = rang A∗ = n, lo cual implica necesaria-
mente que rangc A = n y por tanto rang S = n, lo que significa que los n vectores
columnas son linealmente independientes y cualquier combinación lineal de éstos
tendrán coeficientes únicos, como vimos en el tema de espacios vectoriales. Por
otra parte ya justificamos que bc ∈ L(S) por la igualdad de los rangos de A y A∗
y por lo dicho bc se escribe como combinación lineal de S con coeficientes únicos,
lo que implica que el sistema de ecuaciones lineales es compatible determinado.
Supongamos por hipótesis que el sistema de ecuaciones lineales es compatible
determinado, lo que implica como ya fue justificado anteriormente que bc se
escribe como combinación lineal de S, bc ∈ L(S), y dado que la solución es única
los coeficientes de esta combinación lineal son únicos. Esto implica que los n
vectores columnas son linealmente independientes, de modo que rang S = n o
equivalentemente rangc A = n, lo que implica que rang A = rang A∗ = n.

1
1(b) La proposición contrarrecı́proca del punto de arriba es la dada en el punto 1(b), de
modo que queda demostrada.