Angle Bisector Vector/Algebraic Proof

Proof
Let $\mathbf a = \norm {\mathbf u} \mathbf v + \norm {\mathbf v} \mathbf u$.

Then:

Comparing the two expressions gives us:


 * $\cos \angle \mathbf u, \mathbf a = \cos \angle \mathbf a, \mathbf v$

Since the angle used in the dot product is always taken to be between $0$ and $\pi$ and cosine is injective on this interval (from Shape of Cosine Function):


 * $\angle \mathbf u, \mathbf a = \angle \mathbf a, \mathbf v$

The result follows.