Docsity
Docsity

Prepare for your exams
Prepare for your exams

Study with the several resources on Docsity


Earn points to download
Earn points to download

Earn points by helping other students or get them with a premium plan


Guidelines and tips
Guidelines and tips

Properties of Cross and Dot Products: Mixed Product, Double Cross Product, and Curl, Schemes and Mind Maps of Pre-Calculus

The properties of the cross product and dot product of vectors, including the mixed product, double cross product, and the relationship between the cross product and the curl. Mathematical identities and proofs using mathematica.

Typology: Schemes and Mind Maps

2021/2022

Uploaded on 09/12/2022

elmut
elmut 🇺🇸

4.6

(16)

285 documents

1 / 3

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
va a1, a2, a3;
vb b1, b2, b3;
vc c1, c2, c3;
vd d1, d2, d3;
Some properties of the cross product and dot product
üMixed product a.(b × c)
The product a.(b x c) is called the mixed product. The geometric meaning of the mixed product is the volume of the
parallelepiped spanned by the vectors a, b, c, provided that they follow the right hand rule. This fact is consistent with
the above identities.
It turns out that the mixed product equals the 3×3 determinant whose rows are the coordinates of the vectors in the
order of the mixed product.
a.bcdet a1a2
b1b2
c1c2
a3
b3
c3
The most important property of the mixed product is that it is “circular”
a.(b × c) = c.(a × b) = b.(c × a)
Here is a Mathematica “proof” of this property
Simplifyva.Crossvb, vcvc.Crossva, vb
0
Simplifyva.Crossvb, vcvb.Crossvc, va
0
üDouble cross product a×(b×c) = (a.c) b - (a.b) c
The following identity holds for the double cross product of three vectors
a×(b×c) = (a.c) b - (a.b) c
Here is a Mathematica proof of this identity:
SimplifyCrossva, Crossvb, vc va.vcvb va.vbvc
0, 0, 0
How to prove this Identity?
üHere is a proof
First we prove the identity with the unit mutually orthogonal vectors u and v. Let u and v be unit vectors such that u
and v are orthogonal. Then
a×(u×v) = (a.v) u - (a.u) v
To prove this identity we notice that the vector a×(u×v) is orthogonal to u×v and therefore must be in the plane
spanned by u and v. Therefore a×(u×v) must be a linear combination of u and v. That is
a×(u×v) = a u + b v
Since u and v are unit vectors and u¦v, by the definition of the cross product we have (u×vu = v and (u×vv = -
u. Further, since u¦v, we have u.v = 0. Therefore
a = u.(a×(u×v)) = a.((u×vu) = a.v
pf3

Partial preview of the text

Download Properties of Cross and Dot Products: Mixed Product, Double Cross Product, and Curl and more Schemes and Mind Maps Pre-Calculus in PDF only on Docsity!

va  a1, a2, a3; vb  b1, b2, b3; vc  c1, c2, c3; vd  d1, d2, d3;

Some properties of the cross product and dot product

ü Mixed product a. ( b × c ) The product a .( b x c ) is called the mixed product. The geometric meaning of the mixed product is the volume of the parallelepiped spanned by the vectors a , b , c , provided that they follow the right hand rule. This fact is consistent with the above identities. It turns out that the mixed product equals the 3×3 determinant whose rows are the coordinates of the vectors in the order of the mixed product.

a . bc   det

a 1 a 2 b 1 b 2 c 1 c 2

a 3 b 3 c 3 The most important property of the mixed product is that it is “circular” a .( b × c ) = c .( a × b ) = b .( c × a ) Here is a Mathematica “proof” of this property Simplifyva.Crossvb, vc  vc.Crossva, vb 0 Simplifyva.Crossvb, vc  vb.Crossvc, va 0

ü Double cross product a ×( b × c ) = ( a.c ) b - ( a.b ) c The following identity holds for the double cross product of three vectors a ×( b × c ) = ( a.c ) b - ( a.b ) c Here is a Mathematica proof of this identity: SimplifyCrossva, Crossvb, vc  va.vc vb  va.vb vc 0, 0, 0 How to prove this Identity? ü Here is a proof First we prove the identity with the unit mutually orthogonal vectors u and v. Let u and v be unit vectors such that u and v are orthogonal. Then a ×( u × v ) = ( a.v ) u - ( a.u ) v To prove this identity we notice that the vector a ×( u × v ) is orthogonal to u × v and therefore must be in the plane spanned by u and v. Therefore a ×( u × v ) must be a linear combination of u and v. That is a ×( u × v ) = a u + b v Since u and v are unit vectors and u ¦ v , by the definition of the cross product we have ( u × vu = v and ( u × vv = - u. Further, since u ¦ v , we have u. v = 0. Therefore a = u. ( a ×( u × v )) = a .(( u × vu ) = a.v

and b = v. ( a ×( u × v )) = a .(( u × vv ) = -( a.u ) This proves a ×( u × v ) = ( a.v ) u - ( a.u ) v whenever u and v are unit vectors and u ¦ v. Now we choose any orthogonal unit vectors u and v in the plane spanned by b and c and write b = a u + b v and c = g u + d v. Then, using the linearity of the cross product and the facts u × u = v × v = 0 and v × u = -u × v , we have a ×( b × c ) = a × ((a u + b v )×(g u + d v )) = ag ( a ×( u × u )) + ad ( a ×( u × v )) + bg ( a ×( v × u )) + bd ( a ×( v × v )) = (ad-bg) ( a ×( u × v )) Using the linearity of the dot product we get ( a.c ) b - ( a.b ) c = ( a. (g u + d v )) (a u + b v ) - ( a. (a u + b v )) (g u + d v ) = (ag - ag) ( a.u ) u + (ad - bg) ( a.v ) u +(bg - ad) ( a.u ) v +(bd - bd) ( a.v ) v = (ad-bg) (( a.v ) u - ( a.u ) v ) Together with a ×( u × v ) = ( a.v ) u - ( a.u ) v the preceding two identifies prove that a ×( b × c ) = ( a.c ) b - ( a.b ) c ü Dot product of two cross products ( a x b ). ( c x d ) = ( a.c ) ( b.d ) - ( a.d )( b.c ) Here is the Mathematica proof of the identity in the title. Simplifyva.vc vb.vd  va.vd vb.vc  Crossva, vb.Crossvc, vd 0 Crossva, vb  a3 b2  a2 b3, a3 b1  a1 b3,  a2 b1  a1 b2 Crossvc, vd  c3 d2  c2 d3, c3 d1  c1 d3,  c2 d1  c1 d2 The identity in the title is deduced by using first the “circularity” property of the mixed product and then the identity for the double cross product of three vectors: ( a × b ). ( c × d )) = c .( d × ( a × b )) = c. (( b. d ) a - ( a. d ) b ) = ( b. d ) ( a.c ) - ( a. d ) ( b.c )

A natural derivation of the algebraic formula for Curl

The last identity proved in the preceding section, when applied to an abstract version of Green’s theorem, yields the defining property of the Curl. First rewrite ( a × b ).( c × d ) = ( a. c ) ( b. d ) - ( a. d ) ( b. c ) as ( a × b ).( c × d ) = ( a. c ) ( d. b ) - ( b. c )( d. a )

In the formulas below we use the formal Nabla operator vector! =  (^) ∑∑ x , (^) ∑∑ y , (^) ∑∑ z . Applied to a scalar function f the formal Nabla operator vector gives the gradient! f of that function. The expression! f is a vector function. One

2 Curl_via_Cross.nb