Mathematics

Problem

Prove that for every vector

\mathbf a\in\mathbb R^{3}

, the quantity

\mathbf a\cdot\mathbf a

is always non-negative and equals

0

only when

\mathbf a

is the zero vector.