00:05
All right, we're supposed to prove that u cross the v is perpendicular to both u and v, assuming u and b are non -zero.
00:11
It also in the book says recall the theorem from 6 .2.
00:15
When it says that, what we want to use is specifically the theorem that says that two vectors are orthogonal, if and only if their dot product is zero.
00:21
That's the theorem we care about using.
00:23
All right, so i'm going to let u equals some non -zero vector, so a, b, c, and v equals some other non -zero vector, d, e, f.
00:36
When i say non -zero, it'd be okay if, like, say, c was equal to zero or b was equal zero.
00:40
We just can't have all being equal to zero, because if every component is equal to zero, then you just get the zero vector crossed with something.
00:48
It's still going to be the zero vector.
00:50
But we are, you could, like, have one of these be zero.
00:53
Anyway, we have our two non -zero vectors.
00:57
And so you crossed with fee is equal to.
01:22
And i'm just taking a little bit shorthood here because it tells us that we can use that theorem which tells us what the vector is i guess i should technically a theorem doesn't skip straight to the vector so i'll write it out a little bit more but not be lazy okay so this is equal to bf minus e c i hat minus a f minus d c j hat plus a e minus d c b k hat, which is just the vector bf, e, c, comma, d, c, minus a, f, because we got to distribute that negative through a, e, minus d, b.
02:18
If you write it as a vector rather than it's ijk form.
02:24
Okay.
02:26
Now, so here's my product, and we want to prove that's perpendicular both u and v.
02:32
So we're going to do two cases.
02:33
So we have case one.
02:38
It actually rather than saying case one.
02:40
I'll say, all right, i'll say, perpendicular to you.
02:50
So for this, i'm just going to take the vector.
02:55
For notation, simplicity, to abbreviation, i'm just going to call this vector.
03:01
Well, i'm actually why am i doing that? i'm going to call it r.
03:09
Well, actually, i don't even need to do that.
03:10
I'm making notation when i don't need to.
03:13
I'm just trying to take shortcuts.
03:15
But honestly, we can just write it like this.
03:17
So you crossed with the.
03:20
I'm going to take this vector.
03:21
And i'm going to dot it with you.
03:25
There we go.
03:26
That's going to be equal to...