Correcto: si
rg(A)=rg(A∗)=n (número de incógnitas), el sistema es compatible determinado (solución única).
El teorema de Rouché-Frobenius clasifica un sistema de ecuaciones lineales comparando el rango de la matriz de coeficientes
A con el de la matriz ampliada
A∗, y ambos con el número de incógnitas
n. Si
rg(A)=rg(A∗)=n, el sistema es compatible determinado (solución única); si
rg(A)=rg(A∗)<n, es compatible indeterminado (infinitas soluciones, con
n−rg parámetros libres); y si
rg(A)=rg(A∗), es incompatible (sin solución). En este caso, con rangos iguales a 3 (el número de incógnitas), el sistema es compatible determinado.