Riding a Flying Magical Unicorn

In multivariable calculus today, we were talking about the scalar triple product. It blows my mind that if you have three vectors:

\vec{a},\vec{b},\vec{c}, then you can show that the volume of the parallelepiped defined by them will be:

\vec{a}\bullet(\vec{b}\times\vec{c}). And that if you expand this out, you get:

\mathbf{a}\cdot(\mathbf{b}\times \mathbf{c}) = \det \begin{bmatrix} a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \\ c_1 & c_2 & c_3 \\ \end{bmatrix}.

I mean, it makes sense that it’s symmetric in terms of \vec{a},\vec{b},\text{ and }\vec{c} — so that no one vector is privileged over another.  But it still seems magical. I mean, even when I know that the determinant of a 2 \times 2 matrix gives you the area of a parallelogram, it still seems so special that the determinant of a 3 \times 3 matrix can give you the volume of a parallelepiped.

So we worked on proving that fact, with what we know about vectors.

There are two hard parts to this proof. One is understanding that the volume of the parallelepiped is the same as the area of the base times the height. (And teasing out what the “height” actually meant.) At this point, I whipped out Cavalieri’s Principle.

It was in this discussion that one of my kids said the most awesome thing. When talking about Cavalieri’s Principle, he said: it’s like if you had 10 reams of paper all stacked up to make a cube. That has a certain volume. Then you push the stack so it leans — maybe so it’s a little curved. What’s the volume of the new stack of paper? The same.

So we understood what the “height” of the parallelepiped actually referred to.

The very last question: how do we find that? And in fact, my kids actually figured that part out without any help. They noticed it involved the projection of one vector onto another.

The rest? Just algebra.

It was lovely. And a different student exclaimed: “You should go around to the various precalculus classes, sharing that what you learn there actually will show up later in life!” (He was referring to vectors, determinants, and even parametric equations.)

Now to the title of this post. I was then transitioning to talking about straight lines in 3D. And I wanted to highlight that you just need a point and a vector to uniquely determine a line in 3D. Somehow, I got it in my head that I should explain it in metaphor. So…

I said that — suppose you are riding a horse. I mean unicorn. That can fly. But only in the direction of it’s horn. And you are told to go to a particular planet and wait there. At the starting gun, the magic, flying unicorn takes off, flying in the direction of its horn.

I am 99% sure this didn’t help kids “get” it. It was pretty obvious to them that a point and a direction (vector) uniquely determine a line. But I really enjoyed talking about the flying unicorn. I liked it enough that I think the flying unicorn may be our mascot for the year.

Plus, I like sparkles. And unicorns have sparkles coming out the…

Advertisements

8 comments

  1. It’s not magic, the geometry is obscured by the vector algebra.

    In geometric algebra, a^b is the area of the parallelogram in 2D and a^b^c is the parallelepipid, just as you would expect.

    The cross is simply redundant as well as only working in 3D.

  2. All good stuff, and I like that you pulled out Cavalieri’s Principle (which was probably covered in a Geometry class they took in 8th grade). Seeing stuff from that far back reflected in high-powered math is really groovy and can make a big impact.

    All that said, the best part is the unicorn and the sparkles.

  3. “In multivariable calculus today, we were talking about the scalar triple product. It blows my mind that if you have three vectors” should be the opening to a screenplay.

    1. @Karin Ha! You write it, I’ll sign off on it! I know someone know knows you! Not in the creepy stalkerish way, obvi. But what a small world. D.F. and I teach Algebra II at the same school. Name redacted, obviously, but the last name rhymes with “talon.”

      1. @Sam:

        It’s funny. We were hanging out at the Met the last time I was in NYC, and she drops this, “A guy in my school has a really cool way of thinking about math. You should check out his blog.” She followed up about it a few days ago, and I about fell out of my chair (or wherever I was sitting) when I learned that he was you, and that blog was this, and that this was one that I had/have been following for a while. Small world, indeed (which gets smaller the further you move away from it, which would make for a nice lesson on perspective and geocentrism and may scientific notation, too).

        By the way, how cool that you guys are in the same building. We were in grad school together, and for a full year I looked at her across the math methods table and thought, “I hope I get to be that smart one day.” No doubt you’re going to have a really fun year. Your principal hit the bifecta with that one, huh?

  4. I have been approaching this subject recently in a rather different way, partly since I start with a bit of linear algebra before going into the usual vector calc material. (So in fact we are just getting to these issues right now in my course.)

    To me, the real mystery to be explained is why the explicit component formula for the cross product should produce something with the right geometric meaning. In particular, why should the magnitude of this somewhat random-looking combination of the six components equal the area of the parallelogram? The usual proof (e.g. in Stewart) is not very long, but it’s unmotivated algebra, and it goes through trig, which shouldn’t be necessary.

    So instead, I start with an investigation of area in 2D, beginning with (relatively) clear geometric principles (in particular, a special case of 2D Cavalieri, which says that a shear transformation doesn’t change area) and deriving the usual 2D determinant formula. Then I take them into 3D and get lots of cool facts, including the usual formula, and most important, its interpretation as (signed) volume, for the 3D determinant. After that it’s very easy to get a lot of understanding of an n-D determinant, as well as some faith that it does calculate an n-D “volume”.

    The cross product then comes out as an adjunct of the fact that the determinant measures 3D volume; it’s essentially “a 3D volume calculation waiting for the third vector”. I don’t claim to have perfected that part of the story, but I do use it to supplement the book’s treatment, where the formula is dropped out of the sky.

    I didn’t make this story up myself; it’s my attempt to bring down to earth a rather advanced and elegant formulation of volumes, determinants, and related phenomena, of which the cross product is a special case.

    I can send you some investigation worksheets if you’re curious. Sadly, no unicorns anywhere. :(

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s