Geometrical interpretation of dot product (trying to prove)

[Дьявол]

Hi! I am trying to find out where:

cos\theta=\frac{a \cdot b}{|a||b|}

came from.

Here is mine geometrical interpretation of scalar projection:

Now, (pr means projection)

pr_{\overrightarrow{A}} \overrightarrow{B} = p\overrightarrow{B_0}

and

cos\theta=\frac{|pr_{\overrightarrow{A}} \overrightarrow{B}|}{|A|}

cos\theta=\frac{|pB_0|}{|A|}=\frac{|p|}{|A|}

How do

cos\theta=\frac{a_xb_x+a_yb_y+a_zb_z}{|a||b|}

for 3 dimensional coordinate system, wher |a| and |b| are modulo of "a" and "b" ?

Thanks in advance.

Regards.

 

[GPPaille]

Your use of the projection is recursive, since the projection of a vector use the fact that cos(theta) = dot(A,B)/|A||B|. Wikipedia offers a simple proof, look for the dot product. And the proof is valid in every dimension, not only in 2D.

 

[Дьявол]

Your use of the projection is recursive, since the projection of a vector use the fact that cos(theta) = dot(A,B)/|A||B|. Wikipedia offers a simple proof, look for the dot product. And the proof is valid in every dimension, not only in 2D.

Ohh, thank you. The proof is very simple. And why my use of the projection is recursive? The scalar projection equals |A| cos(θ).

 

[GPPaille]

But the dot product is hidden in |p|, and the way we compute the projection using the dot product uses the fact that we know that it's equal to cos(theta)/|A||B|. Explicitly, it looks like this:

1- Hypothesis: A dot B = cos(theta)/|A||B|
2- Use it to define projection
3- Use projection arguments to prove 1.

 

[arildno]

An inner product space is a particular type of normed spaces, thus it makes little meaning to say that the inner product is "hidden" within the concept of length.

 

[GPPaille]

Here, p is a scalar, that comes magically from the projection. And if it don't use the dot product to compute p, then I don't see the link between the dot product and cos(theta).

 

[Дьявол]

Thanks for the replies. Now I understand the dot product. But what about the cross product?

|\overrightarrow{c}|=|\overrightarrow{a}||\overrightarrow{b}|sin(\overrightarrow{a},\overrightarrow{b})

\overrightarrow{c} \cdot \overrightarrow{a} = \overrightarrow{0}

and

\overrightarrow{c} \cdot \overrightarrow{b} = \overrightarrow{0}

How is possible that the area of the parallelogram is the magnitude of a x b or c ??

Regards.

 

[HallsofIvy]

The length of a cross product, a\times b is, as you say, |a||b|sin(\theta) where \theta is the angle between vectors a and b. In addition, the area of a parallelogram is "height times base" where "height" is measured perpendicular to the "base". If you take, for example, the vector b as base, then you can drop a perpendicular from the tip of a to b to get a right triangle- the length of the perpendicular is "height" and, since the right triangle has angle \theta and hypotenuse of length |a|, that perpendicular is the "opposite leg" so h/|a|= sin(\theta) and h= |a|sin(\theta).

 

[Дьявол]

The length of a cross product, a\times b is, as you say, |a||b|sin(\theta) where \theta is the angle between vectors a and b. In addition, the area of a parallelogram is "height times base" where "height" is measured perpendicular to the "base". If you take, for example, the vector b as base, then you can drop a perpendicular from the tip of a to b to get a right triangle- the length of the perpendicular is "height" and, since the right triangle has angle \theta and hypotenuse of length |a|, that perpendicular is the "opposite leg" so h/|a|= sin(\theta) and h= |a|sin(\theta).

Thanks for the reply.
Yes, I know that the area of parallelogram is A=ah_a, and sin\theta=\frac{h_a}{b}, so that h_a=bsin\theta and A=absin\theta. What I do not understand is why the vector "c" got magnitude of the area of the parallelogram between a and b, i.e the magnitude of the vector is A=absin\theta. Why the magnitude isn't a*b or some other value?

Regards.

 

[GPPaille]

Using Lagrange's identity identity, you get

|a \times b|^2 = (a \cdot a)(b \cdot b) - (a \cdot b)(a \cdot b)

Which is simply equal to

|a \times b|^2 = |a|^2|b|^2 - |a|^2|b|^2cos^2(\theta)
|a \times b|^2 = |a|^2|b|^2 (1 - cos^2(\theta))
|a \times b|^2 = |a|^2|b|^2 sin^2(\theta)

 

[Дьявол]

Using Lagrange's identity identity, you get

|a \times b|^2 = (a \cdot a)(b \cdot b) - (a \cdot b)(a \cdot b)

Which is simply equal to

|a \times b|^2 = |a|^2|b|^2 - |a|^2|b|^2cos^2(\theta)
|a \times b|^2 = |a|^2|b|^2 (1 - cos^2(\theta))
|a \times b|^2 = |a|^2|b|^2 sin^2(\theta)

Thanks for the reply. I know that, but why the magnitude of the a x b, is |a||b|sin\theta? If we suppose that c is vector so that it is normal to a and b (i.e c . a =0 and c.b=0) and a x b = c, why the magnitude of c (i.e |c| ) is |c|=|a||b|sin\theta??

Regards.

 

[GPPaille]

Then I really don't see what you want to know. I proved by an algebraic property that |c|=|a||b|sin\theta and I did not suppose anything.

 

[Дьявол]

Then I really don't see what you want to know. I proved by an algebraic property that |c|=|a||b|sin\theta and I did not suppose anything.

Yes, its actually that's what I do not understand. Look at the picture. The magnitude of |c| equals the area of the parallelogram.

I already proved that A=|a||b|sin\theta where A is the area of the parallelogram. But what I do not understand how A and c are linked together?

Regards.

P.S Here is thehttp://upload.wikimedia.org/wikipedia/commons/thumb/4/4e/Cross_product_parallelogram.svg/180px-Cross_product_parallelogram.svg.png"

 

[GPPaille]

ok! So we need to do it in three steps:

1- Show that the area of a parallelogram in 2D is the determinant of a 2x2 matrix containing the two side vectors.
2- Show that the area of a parallelogram in 3D is the squared sum of his projection on the three axis planes.
3- Make the final link.

1- I won't do it here, because it's long, but you can look here: http://mathforum.org/library/drmath/view/71204.html . Geometric/Algebraic proof, the boring part.

2- We now project the parallelogram on the 3 axis planes (YZ-plane, ZX-plane, XY-plane) by eliminating the components corresponding to the projection axis. E.g. if A=(a_x,a_y,a_z), B=(b_x,b_y,b_z), then A_x=(0,a_y,a_z), B_x=(0,b_y,b_z). The area of a projected parallelogram is simply the determinant of the 2x2 matrix containing the remaining components. You need to follow the even permutation rule to put the components in the matrix. E.g. For X, put Y first, then Z. For Y, put Z then X. For Z, put X then Y. For what follows, P is the area of the 3D parallelogram, and P_x,P_y,P_z are the areas of the projected parallelograms.

Here's the most interesting part. In 3 dimensions, there's a duality between a line and a plane (This duality can be generalized in every dimension but let's concentrate on this particular case, for more, look at Exterior Algebra). And we can compute the area of a parallelogram with a Pythagorean-like formula:

P^2=P^2_x+P^2_y+P^2_z=(P_x,P_y,P_z)^2

Without going into endless algebraic computation, you can convince yourself that it's correct by looking at the trivial cases where the parallelogram is parallel to a axis plane. Then consider a rectangular shape inclined in only one direction. Once you pictured this second example, the formula should be clear.

3- If we look carefully, P=(P_x,P_y,P_z)=A \times B, so each component of the cross product contains the area of the parallelogram projected

I don't think I can go more geometric than this.

 

[Дьявол]

Sorry for being late, but I got problems on college.

1. Yes, I completely understand it.

2. Ohhh, I know what you mean.

\overrightarrow{a} \times \overrightarrow{b} = (\begin{vmatrix}<br /> a_y &amp; a_z \\ <br /> b_y &amp; b_z <br /> \end{vmatrix}, \begin{vmatrix}<br /> a_z &amp; a_x \\ <br /> b_z &amp; b_x <br /> \end{vmatrix}, \begin{vmatrix}<br /> a_x &amp; a_y \\ <br /> b_x &amp; b_y <br /> \end{vmatrix} )

I know how to prove it by solving:

\overrightarrow{a} \times \overrightarrow{b}=(a_x \overrightarrow{i} +a_y \overrightarrow{j} + a_z \overrightarrow{k}) \times (b_x \overrightarrow{i} +b_y \overrightarrow{j} + b_z \overrightarrow{k})

Thank you very much.

Anyway, do you have some picture for the projection of the parallelogram on the planes?

Can somebody explain why:

\overrightarrow{i} \times \overrightarrow{k} = - \overrightarrow{j}

and not

\overrightarrow{i} \times \overrightarrow{k} = \overrightarrow{j}

Is this taken by convention or something?

Regards.

 

[GPPaille]

Sorry, I don't have any picture, but it's simple to draw it on paper. Just take the YZ-plane projection and draw the two vectors (a_y,a_z), (b_y,b_z). It's like when you look at it from the X axis.

\overrightarrow{i} \times \overrightarrow{k} = - \overrightarrow{j} because it's the algebraic area, which can be negative. This has to do with the orientation of the parallelogram which has two sides. It's not a convention, since you can compute it with \overrightarrow{i} \times \overrightarrow{k} = (1,0,0) \times (0,0,1) = (0,-1,0). This come from the definition of the cross product.

 

[Дьявол]

Sorry, I don't have any picture, but it's simple to draw it on paper. Just take the YZ-plane projection and draw the two vectors (a_y,a_z), (b_y,b_z). It's like when you look at it from the X axis.

\overrightarrow{i} \times \overrightarrow{k} = - \overrightarrow{j} because it's the algebraic area, which can be negative. This has to do with the orientation of the parallelogram which has two sides. It's not a convention, since you can compute it with \overrightarrow{i} \times \overrightarrow{k} = (1,0,0) \times (0,0,1) = (0,-1,0). This come from the definition of the cross product.

Thanks, I know that is simple to draw it on paper, but I can't flag the answer P=\sqrt{P_{x}^{2} + P_{y}^{2}+P_{z}^{2}} as obvious.

Here is the picture:

I chose random vectors a = (2,1,-1) and b = (-1,2,1).

The green one is |a x b|, the other ones are the parallelograms in XY, XZ and YZ planes.

I made |i|=|j|=|k|=1 cm (you can see on the diagram small dots on the x,y,z axis)

Now for the second question.

Also I understand the cross product respect to the right-handed coordinate system:

http://upload.wikimedia.org/wikipedia/commons/thumb/b/b0/Cross_product_vector.svg/180px-Cross_product_vector.png

i = (1,0,0) and k=(0,0,1)

So c. i = (a,b,c).(1,0,0)=0

which a=0

c.k=(a,b,c).(0,0,1)=0

which gave us c=0

Now we got the normal vector c=(0,b,0)

Since we know that |c|=1 we can conclude that |b|=1, which b=\pm 1

Now we need to get in mind the (iii) rule, and that is the right-handed coordinate system.

Here I am stuck.

Regards.

 

[GPPaille]

1-
Take an easier example, like the rectangular inclined parallelogram define by the two vectors \vec{A}=(a,0,0), \vec{B}=(0,b,c). Only two projections has non-null area. Defining h=\sqrt{b^2 + c^2}, we know that P = ah since it's rectangular. But

<br /> P = ah = a\sqrt{b^2 + c^2} = \sqrt{(ab)^2 + (ac)^2} = \sqrt{P_z^2 + P_y^2}<br />

That's is really not a proof by I think it's enough to be convinced of the geometry behind this formula.

2-
You don't have to use you fingers to know that it's equal to -1, just do some matrix determinants.

<br /> (1,0,0)\times(0,0,1) = \left( \begin{vmatrix}0&amp;0\\0&amp;1\end{vmatrix}, \begin{vmatrix}0&amp;1\\1&amp;0\end{vmatrix}, \begin{vmatrix}1&amp;0\\0&amp;0\end{vmatrix} \right) = (0,-1,0)<br />