 Solution

For the unheaded continuation, write the vector triple product asThe Levi-Civita symbol contraction is ${ϵ}_{ijk}{ϵ}_{klm}={\delta }_{il}{\delta }_{jm}-{\delta }_{im}{\delta }_{jl}$. One way to check its sign is to fix distinct $i,j$: the only nonzero term has $k$ the remaining index, and the pairs $(l,m)=(i,j),(j,i)$ contribute $+1,-1$ respectively. When $i=j$, both sides vanish. Contracting with the vectors now gives both requested notations:If $\mathbf{a}$ and $\mathbf{b}$ are orthogonal, then $\mathbf{a}\cdot \mathbf{b}=0$. With the specified $\mathbf{c}$, the perpendicularity of the cross product gives $\mathbf{a}\cdot \mathbf{c}=|\mathbf{a}{|}^2$. ThereforeThe same answer covers the degenerate case in which one of these two vectors is zero.