Sí, puedes comprobarlo por cálculo directo.
Supongamos que$u = \begin{bmatrix} u_1 \\ u_2 \\ u_3 \end{bmatrix}$ y$v = \begin{bmatrix} v_1 \\ v_2 \\ v_3 \end{bmatrix}$ son vectores ortonormales. Su producto cruzado se define como$$u \times v = \begin{bmatrix} u_2v_3 - u_3v_2 \\ u_3v_1-u_1v_3 \\ u_1v_2 - u_2v_1 \end{bmatrix}$ $
Tenemos
PS
PS
\begin{align}
\|u\times v\|^2 &= (u_2v_3 - u_3v_2)^2 + (u_3v_1-u_1v_3)^2 + (u_1v_2 - u_2v_1)^2 \\
&= u_2^2v_3^2 - 2u_2u_3v_2v_3 + u_3^2v_2^2 + u_3^2v_1^2 - 2u_1u_3v_1v_3 + u_1^2v_3^2 + u_1^2v_2^2 - 2u_1u_2v_1v_2 + u_2^2v_1^2 \\
&= u_1^2(v_2^2 + v_3^2) + u_2^2(v_1^2 + v_3^2) + u_3^2(v_1^2 + v_2^2) - 2u_2u_3v_2v_3 - 2u_1u_3v_1v_3 - 2u_1u_2v_1v_2 \\
&= u_1^2(1-v_1^2) + u_2^2(1 -v_2^2) + u_3^2(1-v_3^2) - 2u_2u_3v_2v_3 - 2u_1u_3v_1v_3 - 2u_1u_2v_1v_2 \\
&= (u_1^2+u_2^2+u_3^2) - (u_1^2v_1^2 + u_2^2v_2^2+u_3^2v_3^2 + 2u_1u_2v_1v_2 + 2u_1u_3v_1v_3 + 2u_2u_3v_2v_3)\\
&= \|u\|^2 - \langle u,v\rangle ^2\\
&= 1
\end{align}
así que$$\langle u, u \times v\rangle = u_1u_2v_3 - u_1u_3v_2 + u_2u_3v_1 - u_1u_2v_3 + u_1u_3v_2 - u_2u_3v_1 = 0$ es una base ortonormal para$$\langle v, u \times v\rangle = u_2v_1v_3 - u_3v_1v_2 + u_2v_1v_2 - u_1v_2v_3 + u_1v_2v_3 - u_2v_1v_3 = 0$.