[Linear Algebra] 11. Cramer's rule, explained geometrically

In this section, let's view "Cramer's rule" by geometrically.

 

Cramer's rule is not the best way to compute solutions of systems of linear equations. Gaussian elimination will always be faster. But understanding Cramer's rule geometrically will help consolidate ideas of relation between determinant and system of linear equations.

Example

In this setup, we define system of linear equations with 1). two unknowns $x$ and $y$, and two equations, and 2). non-zero determinant. These equations can be interpreted geometrically, as a certain known matrix $\left[\begin{array}{cc}{v}_1& v_2\\ w_1& w_2\end{array}\right]$ transforming an unknown vector $\left[\begin{array}{c}x\\ y\end{array}\right]$ to known vector $\left[\begin{array}{c}{u}_1\\ u_2\end{array}\right]$:

$$\begin{array}{c}{v}_{1}x+v_{2}y=u_1\\ w_{1}x+w_{2}y=u_2\end{array}⟶\left[\begin{array}{cc}{v}_1& v_2\\ w_1& w_2\end{array}\right]\left[\begin{array}{c}x\\ y\end{array}\right]=\left[\begin{array}{c}{u}_1\\ u_2\end{array}\right]$$

 

Let's think, the $x$-coordinate of this unknown vector as dot product between $\left[\begin{array}{c}x\\ y\end{array}\right]$ and $\left[\begin{array}{c}1\\ 0\end{array}\right]$. And $y$-coordinate of unkown vector as dot product between $\left[\begin{array}{c}x\\ y\end{array}\right]$ and $\left[\begin{array}{c}0\\ 1\end{array}\right]$.

 

It will be fantastic, if the dot product between $T\left(\left[\begin{array}{c}x\\ y\end{array}\right]\right)$ and $T\left(\left[\begin{array}{c}1\\ 0\end{array}\right]\right)$ is $x$-coordinate of unknown vector. Because we know $T\left(\left[\begin{array}{c}x\\ y\end{array}\right]\right)$ and $T\left(\left[\begin{array}{c}1\\ 0\end{array}\right]\right)$. But unfortunately, for most linear transformations, the dot product before and after the transformation is very different.

Orthonormal transformation

So transformation which preserve dot products are special enough to have their own name: Orthonormal transformations. These are the ones leave all the basis vectors perpendicular to each other with unit lengths. Solving a linear system with an orthonormal matrix is very easy: Since $T\left(\left[\begin{array}{c}x\\ y\end{array}\right]\right)\cdot T\left(\left[\begin{array}{c}1\\ 0\end{array}\right]\right)$ is same as $\left[\begin{array}{c}x\\ y\end{array}\right]\cdot \left[\begin{array}{c}1\\ 0\end{array}\right]$.

Non-orthonormal transformation

To solve non-orthonormal transformations, view coordinates as "area of the parallelogram", rather "scalar of basis vector". In detail, $y$-coordinate can be the area of the parallelogram defined by $\hat{\mathbf{i}}$ and $\left[\begin{array}{c}x\\ y\end{array}\right]$; it's a wacky view about coordinates. Moreover, we should think about orientation of parallelogram. Summetrically, $x$-coordinate can be the area of the parallelogram defined by $\hat{\mathbf{j}}$ and $\left[\begin{array}{c}x\\ y\end{array}\right]$.

 

Why view coordinates as areas and volumes? If applying some matrix transformation, the areas of the parallelograms don't stay the same, they may get scaled up or down. But, All the areas get scaled by the same amount which is a key idea of determinant.

 

That why, the area of parallelogram spanned by $T\left(\left[\begin{array}{c}x\\ y\end{array}\right]\right)$ and $T\left(\left[\begin{array}{c}1\\ 0\end{array}\right]\right)$ will be the determinant $T$ multiplied by $y$-coordinate. So, $y$-coordinate is Area divided by the determinant $T$. Area is determinant of $2\times 2$ matrix whose first column is where $\hat{\mathbf{i}}$ land and second column is the output vector.

$$y=\frac{\mathbf{Area}}{det(A)}=\frac{det\left(\left[\begin{array}{cc}{v}_1& u_1\\ w_1& u_2\end{array}\right]\right)}{det\left(\left[\begin{array}{cc}{v}_1& v_2\\ w_1& w_2\end{array}\right]\right)}$$

 

Just using the output of the transformation, namely the columns of the matrix and the coordinates of output vector, we can recover the $y$-coordinate of our mystery intput vector. Likewise, the same idea can get you the $x$-coordinate.

 

This formula for finding the solutions to a system of linear equations is known as Cramer's rule.