I want to prove $\vec{A}\times(\nabla\times\vec{A})=\frac{1}{2}\nabla(A \cdot A)-(\vec{A}\cdot\nabla)\vec{A}$
This looks strikingly similar to the BAC CAB formula
$\vec{A}\times(\vec{B}\times\vec{C})=\vec{B}(\vec{A}\cdot\vec{C})-\vec{C}(\vec{A}\cdot\vec{B})$
However, because there is some differentiation involved, I understand I cannot simply move the 'Del' operator around willy nilly. I'm thinking I need to use (Product Rule + Levi Civita + Clairaut's Theorem) to prove this, but when I get to the step:
$[\delta_{il}\delta_{jm}-\delta_{im}\delta_{jl}]A_{j}\partial_lA_m$
Up until this I have have NOT seperated the $\partial_l(A_m)$ but I'm unsure how to proceed.