Unizor – Creative Mind through Art of Mathematics: Vectors+ 01 Dot & Cross Products: UNIZOR.COM – Math+ & Problems

Notes to a video lecture on http://www.unizor.com

Vectors+ 01

Problem A

Given a two-dimensional vector A with known coordinates (a1,a2) and another two-dimensional vector B with known coordinates (b1,b2).
Find the coordinates (x,y) of vector X, if it’s known that
scalar product A·X = c and
scalar product B·X = d.

Solution A
We have a system of two linear equations with two unknowns
a1·x + a2·y = c
b1·x + b2·y = d

Answer A
x = (c·b2 − d·a2) / Δ
y = (d·a1 − c·b1) / Δ
where Δ is determinant of the matrix of coefficients
Δ = a1·b2 − a2·b1

Note A1
The obvious necessary and sufficient condition for the problem to have a unique solution is that Δ≠0, which means that vectors A and B must not be collinear.

Note A2
This problem can be easily extended to three-dimensional or any N-dimensional case with N-dimensional vectors
A(a1,a2,…,aN)
B(b1,b2,…,bN)
X(x1,x2,…,xN)
and scalar products
A·X = Σi∈[1,N]ai·xi
B·X = Σi∈[1,N]bi·xi
The solution would lead to a system of three or, generally, N linear equations with as many unknowns – coordinates of unknown vector X.
Similar condition on the determinant of a matrix of coefficients not equal to zero should be specified to have a unique solution.

Problem B

Determine a three-dimensional vector X(x1,x2,x3)
if its known that
X ⨯ A = B and AX
where A(a1,a2,a3) and B(b1,b2,b3) are given non-collinear vectors and ⨯ signifies a vector (cross) product of two three-dimensional vectors.

Solution B

First of all, let’s analyze the geometry of these three vectors A, B and X.
Since X ⨯ A = B, vector B, as follows from the definition of the vector product, must be perpendicular to two others:
BX
BA
Since it’s given that AX, all three vectors are mutually perpendicular to each other.
In particular, both A and X lie in the plane perpendicular to vector B.

The magnitude of vector B equals to a product of magnitudes of A and X times a sine of an angle from A to X.
The direction of vector B is along the perpendicular to a plane defined by vectors A and X.

Without the condition AX we have the freedom to change the magnitude of X and rotate it within the same plane where it was, changing inverse-proportionally the sine of the angle from A to X and getting the same vector B=X⨯A. So, this last condition is important to get to the unique solution.
With the condition AX the sine of an angle from A to X is 1 and all we need to do to obtain vector X is to determine its magnitude |X| from an obvious equation
|A|·|X| = |B|
since the direction of B is known – it’s perpendicular to a plane defined by A and B.
Unizor – Creative Mind through Art of Mathematics: Vectors+ 01 Dot & Cross Products: UNIZOR.COM – Math+ & Problems
Knowing the magnitude |X|=|B|/|A| and line perpendicular to a plane defined by A and B, along which vector X should be positioned, all that remains to establish is to chose one of two directions along this line. This is an elementary choice based on the right hand rule of forming a vector product.

Let’s approach this problem in coordinate form.

Perpendicularity AB can be expressed in terms of scalar product A·B=0, that is
a1·b1 + a2·b2 + a3·b3 = 0
We will use it later on.

As derived in the Math 4 Teens course on UNIZOR.COM site (see lecture VectorsVector ProductCoordinate Form), since X⨯A=B,
b1 = x2·a3 − x3·a2
b2 = x3·a1 − x1·a3
b3 = x1·a2 − x2·a1
This is a system of three linear equations with three unknowns.
Can we solve it and be done?
NO!
Our geometric analysis showed that without condition AX the problem does not have a unique solution, and this condition is not part of our system of 3 linear equations with 3 unknowns.

What’s wrong with solving the above system of 3 equations?
THESE THREE EQUATIONS ARE LINEARY DEPENDENT and, therefore, we really have only two independent equations, not three.
To determine this, we can rewrite our three equations in a canonical form
x1·0 + x2·a3 + x3·(−a2) = b1
x1·(−a3) + x2·0 + x3·a1 = b2
x1·a2 + x2·(−a1) + x3·0 = b3
and calculate the determinant of a matrix of coefficients Ω:

0 a3 −a2
−a3 0 a1
a2 −a1 0

det(Ω) =
= 0·0·0 + a1·a2·a3 − a1·a2·a3
− a2·0·a2 − a1·0·a1
− a3·0·a30 = 0

Condition AX will be the really independent third equation
a1·x1+a2·x2+a3·x3 = 0

Let’s assume that a3≠0, in which case we can find x1 and x2 in terms of x3 from the first two equations of the system above.
b1 + x3·a2 = x2·a3
−b2 + x3·a1 = x1·a3
from which follows
[b1 + x3·a2]/a3 = x2
[−b2 + x3·a1]/a3 = x1
Substitute this into an expression
a1·x1+a2·x2+a3·x3 = 0
getting
a1·[−b2 + x3·a1]/a3 +
+ a2·
[b1 + x3·a2]/a3 +
+ a3·x3 = 0

Resolve it for x3:
x3·(a12+a22+a32) =
= a1·b2 − a2·b1

or

x3 = (a1·b2 − a2·b1)/ |A|2

where |A| is a modulus (magnitude, length) of vector A.

From this we can find other coordinates of vector X.
x2·a3 = b1 + x3·a2 =
= b1 + a2·(a1·b2−a2·b1)/|A|2 =
= (b1·|A|2 + a2·a1·b2
− a2·a2·b1)/|A|2 =
= (b1·a12 + b1·a22 + b1·a32 + a2·a1·b2 − a2·a2·b1)/|A|2 =
(b1·a22 cancels −a2·a2·b1)
= (b1·a12+ b1·a32 +
+ a2·a1·b2)/|A|2 =
=
[a1·(a1·b1+a2·b2) +
+ b1·a32
]/|A|2 =
(since a1·b1+a2·b2+a3·b3=0,
a1·b1+a2·b2=−a3·b3
)
=
[a1·(−a3·b3) + b1·a32]/|A|2 =
= a3·(b1·a3 − a1·b3)/|A|2

Therefore,

x2 = (a3·b1 − a1·b3)/ |A|2

Analogously,

x1 = (a2·b3 − a3·b2)/ |A|2

Obviously, we could’ve come to the same result if we considered the mutual perpendicularity of all three vectors A, B and X. This factor alone is sufficient to state that vector A⨯B is collinear with vector X.
As we know (see the reference above, when we considered B=X⨯A), vector Y=A⨯B has coordinates
y1 = a2·b3 − a3·b2
y2 = a3·b1 − a1·b3
y3 = a1·b2 − a2·12
which exactly what numerators in the above expressions for X-components are.
The magnitude of vector Y is |Y|=|A|·|B|.

Since it’s given that |B|=|A|·|X|, all we need to find vector X is to take vector Y and to alter its length to satisfy the condition |B|=|A|·|X|, which means to divide it by |A|.

LEAVE A REPLY

Please enter your comment!
Please enter your name here

More like this

Reintroducing the IMplementation Reflection Tool

By Claire Neely, Senior Implementation Specialist Illustrative Mathematics’ redesigned IMplementation Reflection Tool (IRT) is a powerful, non-evaluative resource...

Unizor – Creative Mind through Art of Mathematics: Geometry+...

https://www.youtube.com/watch?v=hAXtrAWNVuI Notes to a video lecture on http://www.unizor.com Geometry+ 10Problem AGiven two parallel lines and a segment AB...

A Little AIME Problem | mathgarage

A Little AIME Problem Posted: May 16, 2022 in Mathematics Tags: AIME, math, Math Contest Solution In general, let By Pythagoras Identity, Solve this...