La regla de Cramer es muy fácil de descubrir, porque si se resuelve el sistema de ecuaciones lineales
\begin{align*}
a_{11} x_1 + a_{12} x_2 + a_{13} x_3 &= b_1 \\
a_{21} x_1 + a_{22} x_2 + a_{23} x_3 &= b_2 \\
a_{31} x_1 + a_{32} x_2 + a_{33} x_3 &= b_3 \\
\end{align*}
por un lado, sólo el uso de un estándar de alta escuela de enfoque de la eliminación de las variables, luego se obtiene la regla de Cramer! En mi opinión, esta es la forma más probable de que un matemático podría descubrir el factor determinante en primer lugar, y la regla de Cramer es descubierto simultáneamente.
Recuerdo pensar que debe de ser muy difícil probar la regla de Cramer para un $n \times n$ matriz, pero resulta ser sorprendentemente fácil (una vez que usted toma el enfoque correcto). Vamos a demostrar a continuación.
La forma más útil de mirar el determinante, en mi opinión, es este: la función de $M \mapsto \det M$ es una alternancia de multilineal función de las columnas de a $M$ que satisface $\det(I) = 1$. Esta caracterización de los determinantes nos da una manera rápida, simple prueba de la regla de Cramer.
Por simplicidad, asumiremos $A$ $3 \times 3$ matriz con columnas $a_1, a_2, a_3$. Supongamos que $$b = Ax = x_1 a_1 + x_2 a_2 + x_3 a_3.$$
\begin{align*}
\begin{vmatrix} b & a_2 & a_3 \end{vmatrix} &=
\begin{vmatrix} x_1 a_1 + x_2 a_2 + x_3 a_3 & a_2 & a_3 \end{vmatrix} \\
&= x_1 \begin{vmatrix} a_1 & a_2 & a_3 \end{vmatrix} +
x_2 \begin{vmatrix} a_2 & a_2 & a_3 \end{vmatrix} +
x_3 \begin{vmatrix} a_3 & a_2 & a_3 \end{vmatrix} \\
&= x_1 \det A.
\end{align*}
Si $\det A \neq 0$, se deduce que
$$
x_1 = \frac{\begin{vmatrix} b & a_2 & a_3 \end{vmatrix}}{\det}.
$$
Me enteré de esta prueba en la sección 4.4, el problema 16 ("una prueba Rápida de la regla de Cramer") en Gilbert Strang del libro de Álgebra Lineal y sus Aplicaciones.