## need help of these vector identities ∇×(u×v)

∇×(u×v)=v∙(∇u)-u(∇∙v)+u(∇∙v)-v(∇∙u) where u and v are vectors
I tried to do this but it could not expand them
∇×(u×v)=ε_ijk ∂/(∂x_j )(ϵ_klm u_l v_m)

Also, I could not figure out what to do to these other 3 identities:
1 v∙(∇v)=(∇×v)×v+∇(v^2/2) where v is a vector
2 ∇∙(φuu)=φu∙∇u+u[∇∙(φu)] where φ is a scalar and u is a vector
3 ∇∙(T×x)=-x×(∇∙T)+ϵ:T where T is a second order tensor and ϵ is the third order alternating tensor.
Please give me some help. Thanks in advance.