00:01
In this video, we're told that t of theta, described as this matrix, will be the standard matrix for any transformation that rotates all vectors by an angle of theta in r2.
00:13
We're next told that we're going to verify this factorization formula that we see here.
00:19
We can verify this by multiplying each of the matrices in turn.
00:23
So let's start with these two multiply together.
00:26
We'll have that t of theta equals first, take cosine theta times 1 plus 0 times sine theta so we'll have a cosine theta in this entry next we take 0 times 1 plus 1 times sine theta so we'll have a sine theta here so that's our first column in this multiplication now to do the second column we'll be multiplying this vector with the corresponding entries in this row so cosine theta times 0 plus 0 times 1 gives us a 0 here then when we go to this row, we take 0 times 0 plus 1 times 1, and that gives us a 1.
01:10
So that's our first multiplication.
01:13
And just to make this easier for me to read, let me copy the next two matrices down.
01:19
We could multiply these in turn, but i think it's more efficient to work piece by piece.
01:27
So next matrix, 1 -0, negative tangent, theta, 1.
01:32
Now for the next step, i'm just going to focus on multiplying these two together.
01:38
So as before, in our multiplication, i'm going to focus on column one, start with row one here.
01:45
Take cosine theta times 1 plus 0 times 0, and we will have a cosine theta.
01:53
So let me write cosine theta here.
01:56
Next, we're going to be multiplying column 1 by the corresponding entries in row 2, so we have sine theta times 1 plus 1 times 0.
02:04
So a sine theta will go here.
02:08
Now we focus on column 2, multiply by corresponding entries in row 1, and we'll have cosine theta times 0 plus 0 times secant theta.
02:19
So just a 0 here.
02:21
And when we go to row 2, multiplying corresponding entries in column 2, we obtain just a secant of theta altogether.
02:30
Next, copy down the next matrix 1, negative tangent theta, 0 111, and proceed to multiply these last two matrices.
02:43
Recall our goal is to get to here.
02:46
If we can make it to this matrix, then we've verified the formula.
02:51
So now i'm going to focus on column 1, multiply by corresponding entries in row 1.
02:57
We'll have cosine theta times 1 plus 0 times 0.
03:00
So still there's a cosine theta here.
03:02
Now we're still in column 1, multiply by corresponding entries in row 2.
03:09
We'll have sine theta plus 0.
03:13
So sine theta will go here.
03:17
Now, so far we're in good shape because we have this entire column.
03:21
Next, i'm hoping for a negative sine theta in the next entry...