Vector calculus: divergence of a cross product

[elimenohpee]

Homework Statement

I need to prove the identity div (a x b) = b dot (curl a) - a dot (curl b)

The Attempt at a Solution

I've done the proof about 10 times now, and everytime I get the left hand of the identity equal to this:
(all the d's are partial derivatives)
d(a3b1)/dx - d(a2b1)/dx + d(a3b1)/dy - d(a1b3)/dy + d(a1b2)/dz - d(a2b1)/dz
where vector a = a1i + a2j + a3k and vector b = b1i + b2j + b3k
When I do the right hand side I get exactly the same thing above but doubled. So in affect I'm deriving 1 = 2. I'm sure there is an easy identity to manipulate the cross and dot products, but the brute force method should work and it's not, and I'm am completely lost as to where.

 

[tiny-tim]

Hi elimenohpee!

(have a curly d: ∂ and try using the X² tag just above the Reply box )

When I do the right hand side I get exactly the same thing above but doubled. So in affect I'm deriving 1 = 2.

Why?

You should. for example, be getting b₁(∂a₃/∂y - ∂a₂/∂z) on the left, which is b₁(curl a)₁

 

[SpY]]

I'm having the exact same problem, here's mine re-done with some tex:

Question:
Prove \nabla \cdot \left( A \times B \right) = B \cdot \left( \nabla \times A \right) - \left( \nabla \times B \right)
Where A, B, C are vectors

Attempt:
I started by working with the LHS, by finding the cross product then finding the divergence.

\nabla \cdot \Left( \left( A_y B_z - A_z B_y \right) i + \left( A_z B_x - A_x B_z \right) j + \left( A_x B_y - A_y B_x \right) \Right) k

Then taking the partial derivatives \frac{\partial}{\partial x} onto i (and y onto j, z onto k) I keep ending up with zero! Either my working of the cross product is wrong, or my partial derivatives are.

 

[vela]

Your cross product is fine, so you're messing up the differentiation. The first term in the divergence will be

\partial_x (A_yB_z-A_zB_y) = (\partial_x A_y) B_z + A_y (\partial_x B_z) - (\partial_x A_z)B_y - A_z(\partial_x B_y)

Is that what you got?

 

[SpY]]

I guess I don't know how to do partial deriv. properly, but I can see how you got that. So the second term would be
\partial_y (A_zB_x-A_xB_z) = (\partial_y A_z) B_x + A_z (\partial_y B_x) - (\partial_y A_x)B_z - A_x(\partial_y B_z)

But from there do the partial derivatives just drop? So does the above 2nd term become
B_x + A_z - B_z - A_x

I'm confused between
\partial_x x = 1
\partial_x y = ?
\partial_x xy = x \partial_x y + y \partial_x x = y

 

[vela]

No, the components of the vectors are functions of x, y, and z. You can't really do anything more with them. Now it's a matter of rearranging the terms until it looks like the other side of the equation. For instance, you can combine two of the terms you have so far like this:

-A_z(\partial_x B_y)+A_z(\partial_y B_x) = -\A_z(\partial_x B_y - \partial_y B_x) = -A_z (\nabla \times B)_z

which is part of A\cdot(\nabla \times B).