Qué está midiendo realmente la regla de Cramer

La regla de Cramer parece magia: reemplazás una columna por los resultados, calculás dos determinantes y aparece una incógnita. No es un truco. Cada determinante mide cuánto volumen aporta una columna, y el cociente pregunta qué proporción de esa columna hace falta para construir el vector del otro lado.

El sistema, leído como combinación de columnas

El sistema

pregunta con qué coeficientes hay que combinar las columnas de $A$ para obtener $\vec b$. En dos dimensiones, si $A=[\vec a_1\;\vec a_2]$,

Si las columnas son independientes, forman un paralelogramo con área no nula y cada vector del plano tiene una combinación única. Esa es exactamente la condición $\det A\neq0$.

Reemplazar una columna por el término independiente

Para aislar $x_1$, reemplazamos la primera columna por $\vec b$:

Como $\vec b=x_1\vec a_1+x_2\vec a_2$ y el determinante es lineal en cada columna,

El segundo término vale cero porque repite una columna. Entonces $\det(A_1)=x_1\det(A)$, y de ahí sale el cociente de Cramer.

La fórmula

Para un sistema cuadrado con $\det A\neq0$,

donde $A_i$ es la matriz que resulta de reemplazar la columna $i$ de $A$ por $\vec b$. El denominador confirma que las columnas originales forman una base. El numerador mide el volumen orientado cuando una de esas direcciones se reemplaza por el vector objetivo.

Un ejemplo resuelto

Resolvamos

La matriz y el vector son

Para $x$ reemplazamos la primera columna:

Para $y$ reemplazamos la segunda:

Con determinante cero no dice nada

Si $\det A=0$, Cramer no se puede aplicar porque dividiríamos por cero. Eso no distingue entre un sistema incompatible y uno con infinitas soluciones: sólo dice que las columnas no forman una base y que la solución, si existe, no puede ser única.

Para decidir entre cero e infinitas soluciones hay que comparar rangos o continuar con Gauss. Cramer detecta unicidad; no clasifica por sí sola todos los sistemas singulares.

Para qué sirve y para qué no

Cramer es excelente para:

• sistemas $2\times2$ o $3\times3$ con números cómodos;
• demostrar cómo depende una solución de los términos independientes;
• obtener una sola incógnita sin resolver todas las demás;
• fórmulas simbólicas y argumentos teóricos.

Para sistemas numéricos grandes es una mala elección. Calcular muchos determinantes cuesta mucho más que una eliminación de Gauss o una factorización LU, y además acumula más error numérico. Elegante no significa eficiente.

La misma expansión da la inversa

La misma expansión que produce Cramer lleva a la fórmula de la inversa:

donde la adjunta es la transpuesta de la matriz de cofactores. Entonces $\vec x=A^{-1}\vec b$ contiene, coordenada por coordenada, los cocientes de Cramer.

Es otra fórmula valiosa para teoría y matrices chicas. En cálculo real, la inversa tampoco se construye para resolver un sistema: se factoriza $A$ y se resuelve directamente.

Por qué casi nunca se usa

Cierre

Cramer funciona porque el determinante es lineal y porque repetir una columna mata el volumen. Reemplazar una columna por $\vec b$ deja viva exactamente la parte asociada a una incógnita. Si recordás esa idea, la fórmula deja de ser magia y también queda claro cuándo no conviene usarla.