Proving Something about Orthogonal Vectors If $\vec x ,\vec y  \in \mathbb R^3$ are orthogonal and $x = \|\vec x\|$ then prove that
$$
\vec x \times \bigl(
  \vec x \times \bigl(
    \vec x \times (
      \vec x \times \vec y
    )
   \bigr)
\bigr)
=
x^4\vec y
$$
I have no idea how to start this, any tips? (Sorry about the $x$'s and multiply signs making it hard to read, that's how it is on my sheet).

Here is a step by step approach
$1.$ You can use the famous indentity
$$\vec{x} \times ( \vec{y} \times \vec{z})=(\vec{x} \cdot \vec{z})\vec{y}-(\vec{x} \cdot \vec{y})\vec{z}$$
$2.$ Next consider that
$$\begin{align}
& \quad \,\,\,\vec{x} \times (\vec{x} \times \vec{y}) \\
&=(\vec{x} \cdot \vec{y})x-(\vec{x} \cdot \vec{x})\vec{y}  \\
&= 0 \vec{x} -x^2 \vec{y} \\
&= -x^2 \vec{y}
\end{align}$$
$3.$ Finally
$$\begin{align}
& \quad \,\,\,\vec{x} \times (\vec{x} \times -x^2\vec{y}) \\
&=-x^2\vec{x} \times (\vec{x} \times \vec{y}) \\
&=-x^2(-x^2 \vec{y}) \\
&= x^4 \vec{y}
\end{align}$$
