0
$\begingroup$

I was reading a blog post on a simple derivation of the cross product. I learned how to determine the area of a parallelogram enclosed by two vectors $A$ and $B$.

First, here is the proof of the solution ($area = A_x B_y - B_x A_y$)

And here's the geometric implication of the solution.

It bewilders me that the geometric solution is simple but nonintuitive.

One commenter (Tim Poston) on the blog offered an explanation by using the following lemma, which he states can be easily shown using elementary plane geometry, without the use of right angles or base*height to find areas:

$C(u+w,v) = C(u,v) + C(w,v)$

where $u, v, w$ are arbitrary vectors, and $C$ is the area function of the parallelogram between 2 vectors.

Here's my illustration of an example implication of this lemma (visually simplified to triangles without loss of generality)

I was unable to prove this lemma, so I couldn't follow the argument. Any thoughts or direction with this lemma or the original problem would be appreciated.

$\endgroup$
2
  • 3
    $\begingroup$ Warning: what you call "area" and "area function" refers to $\textit{oriented}$ area. Also, I hardly think this is "research level mathematics". $\endgroup$ Commented Jul 1, 2010 at 5:34
  • $\begingroup$ The pictures linked in this post seem to be dead. (I was able to find only one of them in the Wayback Machine.) $\endgroup$ Commented Dec 26, 2022 at 11:38

2 Answers 2

0
$\begingroup$

It is better to see this property if you stay with parallelograms and use the Cavalieri Principle. Here is page with an animation showing what I mean (clink on the link and accept).

There is also a demonstration of the first formula using triangles and again using only Cavalieri. There was an animation "proof without words" for it in the site "art of problem solving" but I can't find it anymore.

$\endgroup$
2
  • $\begingroup$ Thanks, Cavalieri Principle was the key. I found the animation you were talking about: usamts.org/Images/Side9.swf $\endgroup$ Commented Jul 3, 2010 at 4:58
  • $\begingroup$ The link to matematica-para-todos.wikispaces.com is broken. I'm also unable to find any snapshot on the Wayback Machine of the specific page that is linked, though some pages may have been saved. $\endgroup$ Commented May 18, 2023 at 4:45
3
$\begingroup$

Draw a triangle with sides given by the vectors u, w, u+w. Draw three identical vectors v with their tails at the three corners of the triangle. Draw a new triangle with corners at the heads of the vectors. The total area of your figure can be seen as two parallelograms plus a triangle, but it can also be seen as a third parallelogram plus a congruent triangle.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .