Dot Product of Vector with Itself/Proof 2

From ProofWiki
Jump to navigation Jump to search

Theorem

$\mathbf u \cdot \mathbf u = \norm {\mathbf u}^2$


Proof

\(\ds \mathbf u \cdot \mathbf u\) \(=\) \(\ds \norm {\mathbf u} \norm {\mathbf u} \cos \angle \mathbf u, \mathbf u\) Cosine Formula for Dot Product
\(\ds \) \(=\) \(\ds \norm {\mathbf u}^2 \cos 0\) since the angle between a vector and itself is $0$
\(\ds \) \(=\) \(\ds \norm {\mathbf u}^2\) Cosine of Zero is One

$\blacksquare$


Note

Because this theorem is used to prove the general ($n$-dimensional) case of Cosine Formula for Dot Product, this proof is circular the way we have defined the dot product.

However, some texts use the cosine formula as the definition of the dot product and derive the sum of products form as a consequence.

The two definitions are equivalent, so we have included this proof to show how the statement would be proved from the cosine definition.