Chapter 1: Vectors, Lines and Planes
Section 1.4: Cross Product
|
Example 1.4.1
|
|
For the vectors and , and the scalar ,
b)
|
Obtain , the angle between A and B.
|
c)
|
Verify computationally that .
|
d)
|
Verify computationally that .
|
e)
|
Verify computationally that .
|
f)
|
Verify that both A and B are perpendicular to .
|
g)
|
Verify that = .
|
h)
|
Verify that = .
|
i)
|
Show that .
|
j)
|
Verify that .
|
k)
|
Verify that .
|
|
|
|
|
Solution
|
|
|
Mathematical Solution
|
|
|
Part (a)
|
|
=
|
=
|
|
|
|
|
|
|
|
|
Part (b)
|
|
Obtain , the angle between A and B.
|
|
|
The angle between two vectors A and B can be obtained from the following expression.
The necessary numbers are then
|
=
|
|
=
|
|
=
|
|
|
Finally, the angle is given by
= radians
|
|
Part (c)
|
|
Verify computationally that .
|
|
|
= =
|
|
Part (d)
|
|
Verify computationally that .
|
|
|
The left-hand side:
The right-hand side:
|
|
|
|
|
|
|
|
•
|
With appropriate care for quadrants, the evaluation of is effected by setting so that and .
|
•
|
Then, in the right triangle drawn in Figure 1.4.1(a), .
|
|
|
Figure 1.4.1(a)
|
|
|
|
|
|
|
|
Part (e)
|
|
Verify computationally that .
|
|
|
Interchanging two adjacent rows in a determinant negates the value of the determinant. However, the relevant computation is shown below.
= = = = =
|
|
Part (f)
|
|
Verify that both A and B are perpendicular to .
|
|
|
If the dot product of two vectors is zero, the vectors are perpendicular.
= =
= =
|
|
Part (g)
|
|
Verify that = .
|
|
|
The relevant calculations are summarized below.
Left-hand Side
|
|
=
|
Right-hand Side
|
|
=
|
|
|
|
|
Part (h)
|
|
Verify that = .
|
|
|
The relevant calculations are summarized below.
Left-hand Side
|
|
=
|
Right-hand Side
|
|
=
|
|
|
Since , the double-angle formula is used to obtain .
|
|
Part (i)
|
|
Show that .
|
|
|
The relevant calculations are shown below.
= = =
Using the result of Part (c),
= = = = 0
|
|
Part (j)
|
|
Verify that .
|
|
|
The relevant calculations are summarized below.
|
= = = =
|
|
|
|
= = = =
|
|
|
|
|
Part (k)
|
|
Verify that .
|
|
|
The relevant calculations are summarized below.
|
|
(First Distributive law, Table 1.4.1)
|
|
|
(Second Distributive Law, Table 1.4.1)
|
|
|
|
|
|
Anti-commutation rule
|
|
|
Arithmetic
|
|
|
|
|
|
Maple Solution - Interactive
|
|
|
Initialization
|
|
•
|
Tools≻Load Package: Student Multivariate Calculus
|
|
Loading Student:-MultivariateCalculus
|
•
|
Context Panel: Assign to a Name≻A
|
|
|
•
|
Context Panel: Assign to a Name≻B
|
|
|
|
|
|
|
Part (a)
|
|
•
|
Common Symbols palette: Cross-product operator
|
•
|
Context Panel: Evaluate and Display Inline
|
|
=
|
|
|
The
task template returns the cross product, and a graph of the three vectors A, B, and . Since the vectors A and B have already been defined, these names for the vectors can be used in the task template.
Tools≻Tasks≻Browse: Linear Algebra≻Visualizations≻Cross-Product Plot
|
|
|
|
As the legend explains, the red and blue vectors are A and B, respectively, and their cross product is the black vector. The image in the graph can be rotated, thereby emphasizing the orthogonality of the three vectors.
|
|
Part (b)
|
|
Obtain , the angle between A and B
|
•
|
Write the sequence of two vectors and press the Enter key.
|
•
|
Context Panel: Student Multivariate Calculus≻Lines & Planes≻Angle
|
•
|
Context Panel: Assign to a Name≻T
|
|
=
|
Obtain an approximate value for
|
•
|
Context Panel: Evaluate and Display Inline
|
•
|
Context Panel: Approximate≻5 (digits)
|
|
=
|
|
|
Angle has been named T so that it can be referenced in subsequent parts of this example.
|
|
Part (c)
|
|
Verify computationally that
|
•
|
Common Symbols palette: Cross-product operator
|
•
|
Context Panel: Evaluate and Display Inline
|
|
=
|
|
|
|
|
Part (d)
|
|
Verify computationally that .
|
|
|
•
|
Enter the notation for the Euclidean norm of the cross product.
|
•
|
Context Panel: Evaluate and Display Inline
|
|
=
|
•
|
Write the notation for the right-hand side of the identity.
Context Panel: Evaluate and Display Inline
|
•
|
Context Panel: Simplify≻Simplify
|
|
=
|
|
|
|
|
Part (e)
|
|
Verify computationally that .
|
|
|
•
|
Common Symbols palette: Cross-product operator
|
•
|
Context Panel: Evaluate and Display Inline
|
|
=
|
•
|
Common Symbols palette: Cross-product operator
|
•
|
Context Panel: Evaluate and Display Inline
|
|
=
|
|
|
The vectors and differ in sign, that is, .
|
|
Part (f)
|
|
Verify that both A and B are perpendicular to .
|
|
|
•
|
Common Symbols palette: Dot-product and cross-product operators
|
•
|
Context Panel: Evaluate and Display Inline
|
|
=
|
•
|
Common Symbols palette: Dot-product and cross-product operators
|
•
|
Context Panel: Evaluate and Display Inline
|
|
=
|
|
|
The dot products of A and B with the cross product are both zero. Hence, each of A and B is orthogonal to the cross product vector.
|
|
Part (g)
|
|
Verify that = .
|
|
|
•
|
Common Symbols palette: Dot-product and cross-product operators
|
•
|
Context Panel: Evaluate and Display Inline
|
|
Left-hand Side
|
Right-hand Side
|
=
|
=
|
|
|
|
|
Part (h)
|
|
Verify that = .
|
|
|
The angle was determined and named in Part (b).
•
|
Common Symbols palette: Dot product and cross product operators
|
|
•
|
Context Panel: Evaluate and Display Inline
|
|
•
|
Context Panel: Simplify≻Simplify
|
|
Left-hand Side
|
Right-hand Side
|
=
|
|
|
|
|
|
Part (i)
|
|
Show that .
|
|
|
The expression on the right is necessarily the zero vector because the cross product of A with itself is the cross product of two collinear vectors. Because of the length property in Table 1.4.1, this is necessarily zero because the angle between A and itself is zero.
•
|
Common Symbols palette: Cross-product operator
|
•
|
Context Panel: Evaluate and Display Inline
|
|
Left-hand Side
|
Right-hand Side
|
=
|
=
|
|
|
|
|
Part (j)
|
|
Verify that .
|
|
|
•
|
Common Symbols palette: Cross-product operator
|
•
|
Context Panel: Evaluate and Display Inline
|
|
Left-hand Side
|
Middle
|
Right-hand Side
|
=
|
=
|
=
|
|
|
|
|
Part (k)
|
|
Verify that .
|
|
|
•
|
Common Symbols palette: Cross-product operator
|
•
|
Context Panel: Evaluate and Display Inline
|
|
Left-hand Side
|
Right-hand Side
|
=
|
=
|
|
|
|
|
|
Maple Solution - Coded
|
|
|
Initialization
|
|
•
|
Install the Student MultivariateCalculus package.
|
|
|
•
|
Define the vectors A and B.
|
|
|
|
|
|
|
Part (a)
|
|
|
=
|
|
|
|
|
Part (b)
|
|
Obtain , the angle between A and B
|
|
|
•
|
Apply the Angle command.
|
|
|
•
|
Apply the evalf command.
|
|
|
|
|
|
|
Part (c)
|
|
Verify computationally that
|
|
=
|
|
|
|
|
Part (d)
|
|
Verify computationally that .
|
|
|
Apply the Norm, CrossProduct, and simplify commands.
Left-hand Side
|
Right-hand Side
|
|
|
|
|
|
|
Part (e)
|
|
Verify computationally that .
|
|
|
Apply the CrossProduct command.
Left-hand Side
|
Right-hand Side
|
=
|
=
|
|
|
|
|
Part (f)
|
|
Verify that both A and B are perpendicular to .
|
|
|
|
|
Part (g)
|
|
Verify that = .
|
|
|
Apply the DotProduct , Norm, and CrossProduct commands.
Left-hand Side
|
=
|
Right-hand Side
|
=
|
|
|
|
|
Part (h)
|
|
Verify that = .
|
|
|
Apply the DotProduct , Norm, CrossProduct, and simplify commands.
=
|
=
|
|
|
|
|
Part (i)
|
|
Show that .
|
|
|
Apply the CrossProduct command.
Left-hand Side
|
Right-hand Side
|
|
|
|
|
|
|
Part (j)
|
|
Verify that .
|
|
|
Apply the CrossProduct command.
Left-hand Side
|
Middle
|
Right-hand Side
|
|
|
|
|
|
|
|
Part (k)
|
|
Verify that .
|
|
|
Apply the CrossProduct command.
Left-hand Side
|
Right-hand Side
|
=
|
=
|
|
|
|
|
|
|
<< Chapter Overview Section 1.4
Next Example >>
© Maplesoft, a division of Waterloo Maple Inc., 2025. All rights reserved. This product is protected by copyright and distributed under licenses restricting its use, copying, distribution, and decompilation.
For more information on Maplesoft products and services, visit www.maplesoft.com
|