Vector triple product expansion (very optional)

What I want to do with this video is cover something called the triple product expansion-- or Lagrange's formula, sometimes. And it's really just a simplification of the cross product of three vectors, so if I take the cross product of a, and then b cross c. And what we're going to do is, we can express this really as sum and differences of dot products. Well, not just dot products-- dot products scaling different vectors. You're going to see what I mean. But it simplifies this expression a good bit, because cross products are hard to take. They're computationally intensive and, at least in my mind, they're confusing. Now this isn't something you have to know if you're going to be dealing with vectors, but it's useful to know. My motivation for actually doing this video is I saw some problems for the Indian Institute of Technology entrance exam that seems to expect that you know Lagrange's formula, or the triple product expansion. So let's see how we can simplify this. So to do that, let's start taking the cross product of b and c. And in all of these situations, I'm just going to assume-- let's say I have vector a. That's going to be a, the x component of vector a times the unit of vector i plus the y component of vector a times the unit vector j plus the z component of vector a times unit vector k. And I could do the same things for b and c. So if I say b sub y, I'm talking about what's scaling the j component in the b vector. So let's first take this cross product over here. And if you've seen me take cross products, you know that I like to do these little determinants. Let me just take it over here. So b cross c is going to be equal to the determinant. And I put an i, j, k up here. This is actually the definition of the cross product, so no proof necessary to show you why this is true. This is just one way to remember the dot product, if you remember how to take determinants of three-by-threes. And we'll put b's x term, b's y coefficient, and b's z component. And then you do the same thing for the c, cx, cy, cz. And then this is going to be equal to-- so first you have the i component. So it's going to be the i component times b. So you ignore this column and this row. So bycz minus bzcy. So I'm just ignoring all of this. And I'm looking at this two-by-two over here, minus bzcy. And then we want to subtract the j component. Remember, we alternate signs when we take our determinant. Subtract that. And then we take out that column and that row, so it's going to be bxcz-- this is a little monotonous, but hopefully, it'll have an interesting result-- bxcz minus bzcx. And then finally, plus the k component. OK, we're going to have bx times cy minus bycx. We just did the dot product, and now we want to take the-- oh, sorry, we just did the cross product. I don't want to get you confused. We just took the cross product of b and c. And now we need take the cross product of that with a, or the cross product of a with this thing right over here. So let's do that. Instead of rewriting the vector, let me just set up another matrix here. So let me write my i j k up here. And then let me write a's components. So we have a sub x, a sub y, a sub z. And then let's clean this up a little bit. Let's ignore this. We're just looking at-- no, I want to do that in black. Let's do this in black, so that we can kind of erase that. Now this is a minus j times that. So what I'm going to do is I'm going to get rid of the minus and the j, but I am going to rewrite this with the signs swapped. So if you swap the signs, it's actually bzcx minus bxcz. So let me delete everything else. So I just took the negative and I multiplied it by this. I hope I'm not making any careless mistakes here, so let me just check and make my brush size little bit bigger, so I can erase that a little more efficiently. There you go. And then we also want to get rid of that right over there. Now let me get my brush size back down to normal size. All right. So now let's just take this cross product. So once again, set it up as a determinant. And what I'm only going to focus on-- because it'll take the video, or it'll take me forever if I were to do the i, j, and k components-- I'm just going to focus on the i component, just on the x component of this cross product. And then we can see that we'll get the same result for the j and the k. And then we can see what, hopefully, this simplifies down to. So if we just focus on the i component here, this is going to be i times-- and we just look at this two-by-two matrix right over here. We ignore i's column, i's row. And we have ay times all of this. So let me just multiply it out. So it's ay times bxcy, minus ay times by, times bycx. And then we're going to want to subtract. We're going to have minus az times this. So let's just do that. So it's minus, or negative, azbzcx. And then we have a negative az times this, so it's plus azbxcz. And now what I'm going to do-- this is a little bit of a trick for this proof right here, just so that we get the results that I want. I'm just going to add and subtract the exact same thing. So I'm going to add an axbxcx. And then I'm going to subtract an axbxcx, minus axbxcx. So clearly, I have not changed this expression. I've just added and subtracted the same thing. And let's see what we can simplify. Remember, this is just the x component of our triple product. Just the x component. But to do this, let me factor out. I'm going to factor out a bx. So let me do this, let me get the bx. So if I were to factor it out-- I'm going to factor it out of this term that has a bx. I'm going to factor it out of this term. And then I'm going to factor it out of this term. So if I take the bx out, I'm going to have an aycy. Actually, let me write it a little bit differently. Let me factor it out of this one first. So then it's going to have an axcx. a sub x, c sub x. So I used this one up. And then I'll do this one now. Plus, if I factor the bx out, I get ay cy. I've used that one now. And now I have this one. I'm going to factor the bx out. So I'm left with a plus az, cz. So that's all of those. So I've factored that out. And now, from these right over here, let me factor out a negative cx. And so, if I do that-- let me go to this term right over here-- I'm going to have an axbx when I factor it out. So an axbx, cross that out. And then, over here, I'm going to have an ayby. Remember, I'm factoring out a negative cx, so I'm going to have a plus ay, sub by. And then, finally, I'm going to have a plus az, az bz. And what is this? Well, this right here, in green, this is the exact same thing as the dot products of a and c. This is the dot product of the vectors a and c. It's the dot product of this vector and that vector. So that's the dot of a and c times the x component of b minus-- I'll do this in the same-- minus-- once again, this is the dot product of a and b now, minus a dot b times the x component of c. And we can't forget, all of this was multiplied by the unit vector i. We're looking at the x component, or the i component of that whole triple product. So that's going to be all of this. All of this is times the unit vector i. Now, if we do this exact same thing-- and I'm not going to do it, because it's computationally intensive. But I think it won't be a huge leap of faith for you. This is for the x component. If I were to do the exact same thing for the y component, for the j component-- so it'll be plus-- if I do the same thing for the j component, we can really just pattern match. We have bx, cx, that's for the x component. We'll have by and c y for the j component. And then this is not component-specific, so it will be a dot c over here, and minus a dot b over here. You can verify any of these for yourself, if you don't believe me. But it's the exact same process we just did. And then, finally, for the z component, or the k component-- let me put parentheses over here-- same idea. You're going to have bz, cz. And then you're going to have a dot b over there. And then you're going to have a dot c over here. Now what does this become? How can we simplify this? Well, this right over here, we can expand this out. We can factor out an a dot c from all of these terms over here. And remember, this is going to be multiplied times i. Actually, let me not skip too many steps, just because I want you to believe what I'm doing. So if we expand the i here-- instead of rewriting it, let me just do it like this. It's a little bit messier, but let me just-- so I could write this i there and that i there. I'm kind of just distributing that x unit vector, or the i unit vector. And let me do the same thing for j. So I could put the j there. And I could put the j right over there. And then I could do the same thing for the k, put the k there, and then put the k there. And now what are these? Well, this part right over here is exactly the same thing as a dot c times-- and I'll write it out here-- bx times i plus by times j, plus bz times k. And then, from that, we're going to subtract all of this, a dot b. We're going to subtract a dot b times the exact same thing. And you're going to notice, this right here is the same thing as vector b. That is vector b. When you do it over here, you're going to get vector c. So I'll just write it over here. You're just going to get vector c. So just like that, we have a simplification for our triple product. I know it took us a long time to get here, but this is a simplification. It might not look like one, but computationally it is. It's easier to do. If I have-- I'll try to color-code it-- a cross b cross-- let me do it in all different colors-- c, we just saw that this is going to be equivalent to-- and one way to think about it is, it's going to be, you take the first vector times the dot product of-- the first vector in this second dot product, the one that we have our parentheses around, the one we would have to do first-- you take your first vector there. So it's vector b. And you multiply that times the dot product of the other two vectors, so a dot c. And from that, you subtract the second vector multiplied by the dot product of the other two vectors, of a dot b. And we're done. This is our triple product expansion. Now, once again, this isn't something that you really have to know. You could always, obviously, multiply it. You could actually do it by hand. You don't have to know this. But if you have really hairy vectors, or if this was some type of math competition, and sometimes it simplifies real fast when you reduce it to dot products, this is a useful thing to know, Lagrange's formula, or the triple product expansion.