Let A be an $m \times n$ matrix such that $A^t A$ is invertible. Show that the columns of A are linear independent.
Proof
Assume that $A^t A$ is invertible and the columns of A denoted by $a_1,\dots,a_n$ are linear dependent and there exists scalrs $x_1,x_2,\ldots,x_n$, not all are zero such that $$x_1a_1 + x_2a_2 + \cdots + x_n a_n=0.$$
In matrix form we have $Ax = 0$ $$\begin{align*} Ax &= 0\\ A^t Ax &= A^t 0 = 0\\ (A^t A)^{-1} (A^t A)x &= (A^t A)^{-1} 0 = 0\\ x &= 0 \end{align*}$$
But this is a contradiction, hence the columns of A must be linearly independent.
Question
Doesn't make sense to me, we showed that all the scalars $x$ are 0s, but then we have $$0a_1 + 0a_2 + \cdots + 0a_n = 0$$
How do know that the columns are not 0? The columns are technically "free" and it would make the columns linearly dependent.