Vector Cross Product is Orthogonal to Factors

Theorem
Let $\mathbf a$ and $\mathbf b$ be vectors in the Euclidean space $\R^3$.

When $\times$ denotes the vector cross product, we have:


 * $(1): \quad$ $\mathbf a$ and $\mathbf a \times \mathbf b$ are orthogonal.


 * $(2): \quad$ $\mathbf b$ and $\mathbf a \times \mathbf b$ are orthogonal.

Proof
Let $\mathbf a = \begin{bmatrix} a_1 \\ a_2 \\ a_3 \end{bmatrix}$, and $\mathbf b = \begin{bmatrix} b_1 \\ b_2 \\ b_3 \end{bmatrix}$.

Then $\mathbf a$ and $\mathbf a \times \mathbf b$ are orthogonal, as their dot product is equal to zero:

Similarly, it is shown that $\mathbf b$ and $\mathbf a \times \mathbf b$ are orthogonal: