# Prove this vector identity using vector identities

Let $f$, $g$ and $h$ be any $C^{2}$ scalar functions. Using the standard identities of vector calculus, prove that;

$$\nabla \cdot \left( f\nabla g \times \nabla h \right) = \nabla f \cdot \left(\nabla g \times \nabla h \right)$$

Here is my working out so far; using identity 8 $$\nabla \cdot \left( f\nabla g \times \nabla h \right) = \nabla h \cdot \left(\nabla \times f\nabla h \right) - f\nabla g \cdot \left( \nabla \cdot \nabla h \right)$$ and the div of a scalar is a vector hence $$= \overrightarrow H \cdot \left(\nabla \times f\nabla \overrightarrow G \right) - f\nabla \overrightarrow G \cdot \left( \nabla \cdot \overrightarrow H \right)$$ and then using vector identity 10 gives me $$= \overrightarrow H \cdot \left(f\nabla \times \overrightarrow G +\nabla f \times \overrightarrow G\right) - f\nabla \overrightarrow G \cdot \left( \nabla \cdot \overrightarrow H \right)$$ and now I don't know whats next?

Here are the vector identities listed below

-
What have you tried so far? –  Daryl Jun 1 '13 at 6:51
@Daryl Hi Daryl, please see my updated post. –  amanda Jun 1 '13 at 7:45

HINT: Use identity 7 with $\mathbf{F}=\nabla g\times\nabla h$.

-
The question is a lot easier than i thought, Thankyou –  amanda Jun 1 '13 at 7:50
HINT: Use Identity 8 with $\mathbf{F} = f\nabla g$, $\mathbf{G} = \nabla h$: $$\nabla \cdot (f\nabla g\times \nabla h)= \nabla h\cdot \big(\nabla \times (f\nabla g)\big)- f\nabla g\cdot \big(\nabla\times (\nabla h)\big).$$ Notice $\nabla \times (\nabla h) = 0$. Then use Identity 10 on $\nabla \times (f\nabla g)$.
@amanda In the second term it is $\nabla \times (\nabla h)$, not $\nabla \cdot (\nabla h)$. –  Shuhao Cao Jun 1 '13 at 15:54