# An interesting equality from linear algebra

It's a bit mind-blowing when you want to understand it geometrically:

we have vectors $x_1, \dots, x_n$ in n-dimensional space

Let's take an orthonormal basis in this space $e_1, \dots, e_n$ and compute such vectors obtained with via scalar product:

$$z_i = (<e_i, x_1>, <e_i, x_2>, \dots, <e_i, x_n>) $$

So the theorem is: $$ \det_{i,j} <z_i, z_j> = \det_{i,j} <x_i, x_j> $$

And the proof is actually very simple, let's introduce the matrix $A$: $A_{ij} = <x_i, e_j> $ $$ \det_{i,j} <z_i, z_j> = \det A^T A = \det A A^T = \det_{i,j} <x_i, x_j> $$

Voila! Beautiful, but completely unclear.