Angle Between Non-Zero Vectors Always Defined

Theorem
Let $\mathbf v$ and $\mathbf w$ be non-zero vectors in real Euclidean space $\R^n$.

Then the angle between $\mathbf v$ and $\mathbf w$ is always defined.

Case 1
Suppose that $\mathbf v$ and $\mathbf w$ are not scalar multiples of each other.


 * AngleBetweenTwoVectors.png

From Construction of Triangle from Given Lengths, it is sufficient to show that sum of the lengths of any two sides is greater than the third side.

Consider the side with length $\norm {\mathbf v}$.

From the triangle inequality for vectors:

Note that the equality is a strict inequality because the vectors are not scalar multiples of each other.

Consider the side with length $\norm {\mathbf w}$.

Lastly, Consider the side with length $\norm {\mathbf v - \mathbf w}$.

Case 2
Suppose that $\mathbf v$ and $\mathbf w$ are scalar multiples of each other.

Then the existence of $\theta$ follows directly from the definition of the angle between vectors that are scalar multiples of each other.