The Length of a Vector is Zero if and only if the Vector is the Zero Vector
Problem 639
Let $\mathbf{v}$ be an $n \times 1$ column vector.
Prove that $\mathbf{v}^\trans \mathbf{v} = 0$ if and only if $\mathbf{v}$ is the zero vector $\mathbf{0}$.
Add to solve later