Let bbuu, bbvv, bb(w)w be vectors. How can we prove bbu xx (bbv xx bb(w)) = (bbu * bb(w)) bbv - (bbu * bbv) bb(w)u×(v×w)=(u⋅w)v−(u⋅v)w?
1 Answer
See explanation...
Explanation:
There may be a better way, but here's a direct method:
< v_1, v_2, v_3> xx < w_1, w_2, w_3><v1,v2,v3>×<w1,w2,w3>
=abs((hat(i), hat(j), hat(k)), (v_1, v_2, v_3), (w_1, w_2, w_3))
=< v_2w_3-v_3w_2, v_3w_1-v_1w_3, v_1w_2-v_2w_1>
< u_1, u_2, u_3> xx < v_2w_3-v_3w_2, v_3w_1-v_1w_3, v_1w_2-v_2w_1>
=abs((hat(i), hat(j), hat(k)), (u_1, u_2, u_3), (v_2w_3-v_3w_2, v_3w_1-v_1w_3, v_1w_2-v_2w_1))
=< u_2(v_1w_2-v_2w_1)-u_3(v_3w_1-v_1w_3), u_3(v_2w_3-v_3w_2)-u_1(v_1w_2-v_2w_1), u_1(v_3w_1-v_1w_3)-u_2(v_2w_3-v_3w_2)>
=< u_2v_1w_2-u_2v_2w_1-u_3v_3w_1+u_3v_1w_3, u_3v_2w_3-u_3v_3w_2-u_1v_1w_2+u_1v_2w_1, u_1v_3w_1-u_1v_1w_3-u_2v_2w_3+u_2v_3w_2>
(< u_1, u_2, u_3> * < w_1, w_2, w_3>)< v_1, v_2, v_3>
=(u_1w_1+u_2w_2+u_3w_3)< v_1, v_2, v_3>
=< u_1v_1w_1+u_2v_1w_2+u_3v_1w_3, u_1v_2w_1+u_2v_2w_2+u_3v_2w_3, u_1v_3w_1+u_2v_3w_2+u_3v_3w_3>
(< u_1, u_2, u_3 > * < v_1, v_2, v_3>)< w_1, w_2, w_3>
=(u_1v_1+u_2v_2+u_3v_3)< w_1, w_2, w_3>
=< u_1v_1w_1+u_2v_2w_1+u_3v_3w_1, u_1v_1w_2+u_2v_2w_2+u_3v_3w_2, u_1v_1w_3+u_2v_2w_3+u_3v_3w_3>
So:
(bb(u) * bb(w))bb(v) - (bb(u) * bb(v))bb(w)
=< color(red)(cancel(color(black)(u_1v_1w_1)))+u_2v_1w_2+u_3v_1w_3, u_1v_2w_1+color(green)(cancel(color(black)(u_2v_2w_2)))+u_3v_2w_3, u_1v_3w_1+u_2v_3w_2+color(blue)(cancel(color(black)(u_3v_3w_3)))> - < color(red)(cancel(color(black)(u_1v_1w_1)))+u_2v_2w_1+u_3v_3w_1, u_1v_1w_2+color(green)(cancel(color(black)(u_2v_2w_2)))+u_3v_3w_2, u_1v_1w_3+u_2v_2w_3+color(blue)(cancel(color(black)(u_3v_3w_3)))>
=< u_2v_1w_2-u_2v_2w_1-u_3v_3w_1+u_3v_1w_3, u_3v_2w_3-u_3v_3w_2-u_1v_1w_2+u_1v_2w_1, u_1v_3w_1-u_1v_1w_3-u_2v_2w_3+u_2v_3w_2>
=bb(u) xx (bb(v) xx bb(w))