1 00:00:00,000 --> 00:00:02,933 So let's see an example. 2 00:00:02,933 --> 00:00:05,333 My example here is: 
factor this polynomial 3 00:00:05,333 --> 00:00:07,333 over Z mod 7. 4 00:00:07,333 --> 00:00:08,500 5 00:00:08,500 --> 00:00:11,766 Take a minute, pause the video, 
to try to see if you can factor this. 6 00:00:11,766 --> 00:00:13,300 7 00:00:13,300 --> 00:00:16,466 And now hopefully if you're 
back, we can give this a shot. 8 00:00:16,466 --> 00:00:19,566 So what should we try to do? 
Well let's try to find a factor. 9 00:00:19,566 --> 00:00:21,500 We don't have too many 
techniques at this point, 10 00:00:21,500 --> 00:00:23,566 so let's just guess and check. 11 00:00:23,566 --> 00:00:24,700 12 00:00:24,700 --> 00:00:27,000 Now if I plug in the number - so 
if I'm guessing and checking, 13 00:00:27,000 --> 00:00:30,733 some simple numbers to plug in should 
be 0 and plus or minus 1, for sure to start, 14 00:00:30,733 --> 00:00:33,933 and then get a little bit higher, and 
then hopefully you find one by then. 15 00:00:33,933 --> 00:00:40,000 Here we notice that 1 minus 2 plus 
3 minus 4 plus 2 that actually is 0, 16 00:00:40,000 --> 00:00:41,700 and so 1 is a root. 17 00:00:41,700 --> 00:00:43,566 18 00:00:43,566 --> 00:00:46,600 So the sum of the coefficients 
is 0 if and only if 1 is a root, 19 00:00:46,600 --> 00:00:50,500 it's an interesting little fun exercise to play 
with yourself, but it's not too hard to prove. 20 00:00:50,500 --> 00:00:51,166 21 00:00:51,166 --> 00:00:53,800 Okay so we have a root, so let's 22 00:00:53,800 --> 00:00:56,300 take that root and let's factor it out. 23 00:00:56,300 --> 00:00:57,966 24 00:00:57,966 --> 00:01:03,300 So we know that x minus 1 is a factor, we can 
use long division to get that factor out of there, 25 00:01:03,300 --> 00:01:04,200 26 00:01:04,200 --> 00:01:07,066 and so we have f of x is equal to 
x minus 1 times this polynomial. 27 00:01:07,066 --> 00:01:11,100 So we'll do a long division example later, I don't 
want to do one now. There's also lots on the 28 00:01:11,100 --> 00:01:15,500 Math 135 Resources Page that you can 
check out. I think I do at least two there. 29 00:01:15,500 --> 00:01:18,166 So here we have that 
f of x is equal to this. 30 00:01:18,166 --> 00:01:21,033 Now we look at this new polynomial, 
and now it's of smaller degree 31 00:01:21,033 --> 00:01:24,733 and we repeat the same process. We say, 
“Okay well can I factor this polynomial?” 32 00:01:24,733 --> 00:01:25,566 33 00:01:25,566 --> 00:01:27,833 And the answer is yes we can. 34 00:01:27,833 --> 00:01:32,700 The sum of the coefficients is still 0, 
1 minus 1 plus 2 minus 2, it's still 0. 35 00:01:32,700 --> 00:01:35,033 So now what we can do is we 
can either do long division again, 36 00:01:35,033 --> 00:01:36,700 or we can actually group this. 37 00:01:36,700 --> 00:01:40,266 So take the first two terms, 38 00:01:40,266 --> 00:01:43,600 and we have a common factor of 
x squared which you can pull out, 39 00:01:43,600 --> 00:01:47,233 and we're left with x minus 1. The second 
two terms, they have a common factor of 2, 40 00:01:47,233 --> 00:01:49,866 which we can pull out and 
we're left with x minus 1, 41 00:01:49,866 --> 00:01:52,600 and so both these terms have x 
minus 1, we can factor them out 42 00:01:52,600 --> 00:01:54,766 and we would get this polynomial here. 43 00:01:54,766 --> 00:01:58,500 So we have f of x is equal to x minus 
1 squared, times x squared plus 2. 44 00:01:58,500 --> 00:01:59,400 45 00:01:59,400 --> 00:02:02,933 And now we have to look at this polynomial 
and say, “Well can it be factored?” 46 00:02:02,933 --> 00:02:05,333 Well if it can be factored, again 
just like what we talked about 47 00:02:05,333 --> 00:02:08,933 in the previous slides, if you can factor a 
quadratic into irreducible polynomials, 48 00:02:08,933 --> 00:02:11,866 it must be a factor of two - there 
must be two linear factors 49 00:02:11,866 --> 00:02:14,266 that multiply together to 
give me x squared plus 2. 50 00:02:14,266 --> 00:02:17,133 But if I have two linear factors 
and they correspond to roots. 51 00:02:17,133 --> 00:02:20,933 So if this factors over Z mod 7, 
then there must be roots in Z mod 7. 52 00:02:20,933 --> 00:02:23,233 So just check all the values 
to see if there are any roots. 53 00:02:23,233 --> 00:02:27,566 There's only 7 values to check, and the 
operation is done modulo 7, it's pretty quick. 54 00:02:27,566 --> 00:02:29,766 So check 0, 1, 2, 3, 4, 5, 6, 55 00:02:29,766 --> 00:02:34,000 we plug them into x squared plus 2 and 
we get the values 2, 3, 6, 4, 4, 6, 2. 56 00:02:34,000 --> 00:02:37,033 In particular, none of these are 0. 57 00:02:37,033 --> 00:02:37,933 58 00:02:37,933 --> 00:02:40,933 Actually this last one should be a 3, I apologize, 59 00:02:40,933 --> 00:02:44,233 but yes, nonetheless, none of these are 0 60 00:02:44,233 --> 00:02:46,866 so therefore x squared plus 
2 has no root in Z mod 7, 61 00:02:46,866 --> 00:02:49,233 and the above form is completely 
factorized. And that's it. 62 00:02:49,233 --> 00:02:50,333 63 00:02:50,333 --> 00:02:53,500 So it gives us a nice little example, there's 
a couple of things to note here though. 64 00:02:53,500 --> 00:02:57,533 So notice that we knew that x equals 
1 is a root of this polynomial, 65 00:02:57,533 --> 00:03:00,766 but we didn't know how many 
times x minus 1 was a factor, 66 00:03:00,766 --> 00:03:04,900 and the way that we did that was we 
took that root, or we took that factor, 67 00:03:04,900 --> 00:03:09,033 and we factored it out. We got this 
cubic and then we do this again, okay, 68 00:03:09,033 --> 00:03:10,000 69 00:03:10,000 --> 00:03:12,700 and that gave us an x minus 1 
squared. So we saw that 1 was a 70 00:03:12,700 --> 00:03:16,300 root, but we didn't see how 
many times 1 was a root. 71 00:03:16,300 --> 00:03:19,500 And that leads to the concept of multiplicity. 72 00:03:19,500 --> 00:03:22,466 So we say that this 
root 1 has multiplicity 2 73 00:03:22,466 --> 00:03:25,200 because x minus 1 squared 
is a factor of my polynomial, 74 00:03:25,200 --> 00:03:26,000 75 00:03:26,000 --> 00:03:27,600 and that gives us this definition. 76 00:03:27,600 --> 00:03:31,000 So the multiplicity of a 
root c inside a field F 77 00:03:31,000 --> 00:03:34,033 of a polynomial f of x over the field F 78 00:03:34,033 --> 00:03:36,966 is the largest natural number k such that 79 00:03:36,966 --> 00:03:40,133 x minus c to the power 
of k is a factor of f of x. 80 00:03:40,133 --> 00:03:42,700 Notice that we can take k to 
be a natural number because 81 00:03:42,700 --> 00:03:45,466 we already know that c is 
a root of my polynomial, 82 00:03:45,466 --> 00:03:48,266 and so k must be at least 1. 83 00:03:48,266 --> 00:03:52,000 So for example, the multiplicity of the 
root 1 in the last example was 2. 84 00:03:52,000 --> 00:03:55,833 85 00:03:55,833 --> 00:03:58,000 Okay, so that's multiplicity of roots. 86 00:03:58,000 --> 00:04:00,766 We've seen an example of how to factor, 87 00:04:00,766 --> 00:04:04,666 but in this example we just basically guessed 
and hoped that we could find a root. 88 00:04:04,666 --> 00:04:08,733 Now one thing to notice that - I’m 
going backwards in the slides, 89 00:04:08,733 --> 00:04:11,100 but one thing to note is that 
in this particular example, 90 00:04:11,100 --> 00:04:14,100 we got lucky that we 
found a root. It's possible 91 00:04:14,100 --> 00:04:19,466 for a quartic polynomial to factor as the 
product of two quadratic polynomials, 92 00:04:19,466 --> 00:04:21,233 and in which case how 
would we do that? And 93 00:04:21,233 --> 00:04:24,366 it turns out this question, we're not going 
to talk about this much in this class 94 00:04:24,366 --> 00:04:28,133 at least over finite fields, but I mean the 
question gets a little bit complicated, right? 95 00:04:28,133 --> 00:04:32,000 How do I factor this as the product of 
two irreducible quadratic polynomials. 96 00:04:32,000 --> 00:04:33,233 It's going to take a little bit of work. 97 00:04:33,233 --> 00:04:37,100 You could try a guess and check method, 
and that's probably enough for us 98 00:04:37,100 --> 00:04:40,533 but in general, you can sort of see oh 
this question can be really complicated 99 00:04:40,533 --> 00:04:43,000 Life is pretty good when you 
have roots but what if this 100 00:04:43,000 --> 00:04:45,700 factored as, let's say, x 
squared plus 2 squared, 101 00:04:45,700 --> 00:04:48,233 then you might not know 
what the factors are. 102 00:04:48,233 --> 00:04:50,100 Anyway something to think about. 103 00:04:50,100 --> 00:04:51,900 104 00:04:51,900 --> 00:04:54,600 So what techniques do we have for finding 
roots? We've already seen an example 105 00:04:54,600 --> 00:04:57,200 and now I'm going to talk about 
the techniques in general. Well 106 00:04:57,200 --> 00:05:00,733 one thing we can do is we can try to use the 
Rational Roots Theorem to guess a rational root, 107 00:05:00,733 --> 00:05:02,633 depending on what field were in, right? 108 00:05:02,633 --> 00:05:04,833 So in the previous example, 
we were in Z mod 7. 109 00:05:04,833 --> 00:05:06,733 Rational Root Theorem doesn't 
make much sense there, but 110 00:05:06,733 --> 00:05:09,366 we can still try to trial and 
error and try to guess a root. 111 00:05:09,366 --> 00:05:11,366 That's still does make sense. 112 00:05:11,366 --> 00:05:14,866 We could use the Conjugate Roots 
Theorem, that we'll see in a little bit. 113 00:05:14,866 --> 00:05:17,233 We've seen an example already, I 
talked about it I didn't show you, but 114 00:05:17,233 --> 00:05:21,266 we did factoring and grouping. You'll see 
maybe a couple examples of this later. 115 00:05:21,266 --> 00:05:25,366 We can use long division once we find a root 
to reduce our problem to something smaller, 116 00:05:25,366 --> 00:05:27,333 and if we get down to 
a quadratic, life is good. 117 00:05:27,333 --> 00:05:30,533 We know the quadratic formula, and 
hopefully we can use that to find roots. 118 00:05:30,533 --> 00:05:31,500 119 00:05:31,500 --> 00:05:35,733 So these are the techniques that I would 
have if I'm trying to factor something. 120 00:05:35,733 --> 00:05:38,000 So keep these in mind when 
you approach a question 121 00:05:38,000 --> 00:05:39,933 of factoring polynomials.