WEBVTT
00:00:00.480 --> 00:00:12.240
In this video, we’re gonna take a look at how to pronounce this man’s name, and we’re gonna talk about his last theorem and Homer Simpson’s proof by counterexample that it was, in fact, wrong.
00:00:12.840 --> 00:00:18.240
But before we do all that, let’s think about the Pythagorean theorem or Pythagoras’s theorem, as it’s often known.
00:00:18.680 --> 00:00:24.320
In a right-angled triangle, the square of the longer side is equal to the sum of the squares of the other sides.
00:00:24.800 --> 00:00:36.680
So in this diagram, if 𝑎 is the length of this side, 𝑏 is the length of this side, and 𝑐 is the length of this side, then 𝑎 squared plus 𝑏 squared equals 𝑐 squared.
00:00:37.120 --> 00:00:46.240
Now there’re lots of proofs that this is true, even an American president, James Garfield, wrote a nice proof back in the 1870s.
00:00:46.960 --> 00:00:58.400
Now we’re gonna concentrate on some special cases of the Pythagorean theorem in which 𝑎, 𝑏, and 𝑐 all turn out to be whole numbers or integers, and we call them Pythagorean triples.
00:00:59.200 --> 00:01:09.440
For example, if side 𝑎 was three units, side 𝑏 was four units, and side 𝑐 was five units, that would give us three squared plus four squared equals five squared.
00:01:09.800 --> 00:01:17.200
And three squared is nine, four squared is 16, five squared is 25, and nine plus 16 is indeed equal to 25.
00:01:17.880 --> 00:01:22.920
So three, four, and five are all integers, and they make a Pythagorean triple.
00:01:23.880 --> 00:01:30.440
In fact, there are an infinite number of Pythagorean triples, and there’s even a nice little method to generate them.
00:01:31.360 --> 00:01:39.080
Start with a pair of integers, 𝑚 and 𝑛, where 𝑚 is bigger than 𝑛 and 𝑛 is bigger than zero.
00:01:39.600 --> 00:01:48.160
Then let 𝑎 equal 𝑚 squared minus 𝑛 squared, 𝑏 equal two times 𝑚 times 𝑛, and 𝑐 equals 𝑚 squared plus 𝑛 squared.
00:01:48.600 --> 00:01:52.560
Then 𝑎, 𝑏, and 𝑐 will be a Pythagorean triple.
00:01:53.120 --> 00:02:10.880
So for example, if we said 𝑚 was 10 and 𝑛 was three, then 𝑎 would be 10 squared minus three squared, so that’s a 100 minus nine which is 91, 𝑏 would be two times 10 times three which is 60, and 𝑐 would be 10 squared plus three squared which is 109.
00:02:11.640 --> 00:02:20.520
And if we just check that they work, 𝑎 squared plus 𝑏 squared equals 𝑐 squared, we get 91 squared plus 60 squared equals 109 squared.
00:02:21.200 --> 00:02:22.600
And yes, that does work.
00:02:23.360 --> 00:02:24.760
But there’s nothing new here.
00:02:25.360 --> 00:02:29.080
We’ve known about the Pythagorean theorem and Pythagorean triples for a very long time.
00:02:29.760 --> 00:02:40.560
In fact, in the 1630s, Pierre de Fermat was reading about them in his copy of Arithmetica by Diophantus of Alexandria, and that was written in the third century A.D.
00:02:40.560 --> 00:02:44.840
Ahaa, so there we are, we’ve covered the first of our objectives.
00:02:45.080 --> 00:02:48.360
Lots of people call him “Fermat” but his real name is Pierre de Fermat.
00:02:48.600 --> 00:03:03.920
Now, this got Fermat wondering, whether he could find similar integer solutions to equations like 𝑎 cubed plus 𝑏 cubed equals 𝑐 cubed, or 𝑎 to the four plus 𝑏 to the four equals 𝑐 to the four.
00:03:04.480 --> 00:03:10.560
But after lots of trying, he could only find trivial solutions where one or more of 𝑎, 𝑏, or 𝑐 was zero.
00:03:11.480 --> 00:03:15.080
For example: 𝑎 is zero, 𝑏 is five, 𝑐 is five.
00:03:15.480 --> 00:03:31.840
Then Fermat wrote this conjecture in the margin of his copy of Arithmetica, although he wrote it in Latin: “It is impossible to separate a cube into two cubes, or a fourth power into two fourth powers, or in general, any power higher than the second, into two like powers.”
00:03:32.480 --> 00:03:43.640
Or as we might say, no integer solutions exist for 𝑎 to the power of 𝑛 plus 𝑏 to the power of 𝑛 equals 𝑐 to the power of 𝑛, where 𝑛 is greater than two.
00:03:44.560 --> 00:03:51.840
Then he added to the page: “I’ve discovered a truly marvelous proof of this which this margin is too narrow to contain.”
00:03:52.280 --> 00:03:55.080
And this intrigued mathematicians for centuries.
00:03:55.520 --> 00:03:58.400
Many have tried and failed to find this proof.
00:03:59.120 --> 00:04:08.080
But it wasn’t until October 1994 that an actual proof was submitted by Andrew Wiles, 358 years after the conjecture was made.
00:04:08.760 --> 00:04:14.400
Now whilst Andrew Wiles’ proof is certainly marvelous, it isn’t the one that Fermat had in mind.
00:04:14.840 --> 00:04:18.640
It refers to several strands of mathematics that weren’t known about in Fermat’s day.
00:04:19.280 --> 00:04:23.120
So maybe there’s still a challenge there for you, find the original proof.
00:04:23.840 --> 00:04:36.000
So to sum things up, it has actually been proved that 𝑎 to the power of 𝑛 plus 𝑏 to the power of 𝑛 equals 𝑐 to the power of 𝑛 has no nontrivial integer solutions for 𝑛 is greater than two.
00:04:36.960 --> 00:04:57.600
Then in the 1998 episode of The Simpsons, called The Wizard of Evergreen Terrace, Homer writes this on his board: 3987 to the power of 12 plus 4365 to the power of 12 equals 4472 to the power of 12.
00:04:58.240 --> 00:05:00.000
Try it on your calculator.
00:05:00.480 --> 00:05:18.040
Type in 3987 to the power of 12 plus 4365 to the power of 12, and then take the 12th root of that answer and, unless you’ve got a very sophisticated calculator, it probably will give the answer 4472.
00:05:18.680 --> 00:05:19.280
It works!
00:05:19.640 --> 00:05:23.520
Homer has disproved Fermat’s last theorem by finding a counterexample.
00:05:24.240 --> 00:05:27.520
Now the difference between proving and disproving something can be quite enormous.
00:05:28.000 --> 00:05:31.720
To prove something is true, you need to prove it for every single possible case.
00:05:32.440 --> 00:05:36.520
But to disprove it, you just need to come up with one counterexample.
00:05:36.920 --> 00:05:45.120
So in this one counterexample, it seems that Homer Simpson has disproved Fermat’s last theorem and overturned Andrew Wiles’ proof; or has he?
00:05:45.800 --> 00:05:52.600
Well, the issue here is that most calculators only hold a certain number of significant digits, usually 10.
00:05:53.080 --> 00:06:04.480
So for example, 3987 to the power of 12 would be saved as 1.613447461 times 10 to the power of 43.
00:06:05.120 --> 00:06:11.760
Now that’s 16 134 474 61 with 34 zeros after it.
00:06:12.600 --> 00:06:17.760
The calculator has lost track of loads of digits and stored an answer that isn’t entirely precise.
00:06:18.200 --> 00:06:23.720
Now the actual answer is this, and you can see that there’s quite a difference in terms of these digits.
00:06:24.320 --> 00:06:32.840
And the accurate result for the 12th root of 3987 to the power of 12 plus 4365 to the power of 12 is this.
00:06:33.600 --> 00:06:41.800
But because our calculator only holds 10 significant figures, it thought the answer was this, which is 4472.
00:06:42.920 --> 00:06:48.000
Look, if we do the calculation accurately, we get this for the left-hand side and this for the right-hand side.
00:06:48.480 --> 00:06:50.280
And the difference is over one decillion.
00:06:50.960 --> 00:06:58.160
Now your calculator didn’t spot it because it was only concentrating on these 10 significant figures up here, and they’re all exactly the same.
00:06:58.560 --> 00:07:05.360
Now one thing that I particularly like about this example, is that even if you do a check on the last digits, they do agree.
00:07:06.240 --> 00:07:16.720
So for example, if you spotted that the significant figure limitations of your calculator were stopping you from getting an accurate answer, you could at least check the value of the last digit.
00:07:17.520 --> 00:07:22.320
And if they weren’t the same on the left-hand side and the right-hand side, then you’d know that it wasn’t true.
00:07:22.920 --> 00:07:25.200
Let’s have a look at what the last digit of this calculation is going to be.
00:07:25.720 --> 00:07:30.320
Well, the last digit’s gonna come from multiplying seven by itself 12 times.
00:07:30.800 --> 00:07:34.640
And seven times seven is 49, so the last digit of that is nine.
00:07:35.120 --> 00:07:38.440
And nine times seven is 63, and the last digit of that is three.
00:07:38.960 --> 00:07:41.360
Three times seven is 21, and the last digit of that is one.
00:07:41.720 --> 00:07:44.920
One times seven is seven; obviously, the last digit of that is seven.
00:07:45.200 --> 00:07:49.840
Then we’re back to seven times seven is 49, and the last digit of that is nine.
00:07:50.400 --> 00:07:53.080
Nine times seven 63, the last digit’s three.
00:07:53.320 --> 00:07:55.320
Three times seven has a last digit of one.
00:07:55.760 --> 00:07:57.880
One times seven has a last digit of seven.
00:07:57.880 --> 00:07:59.960
Seven times seven has a last digit of nine.
00:08:00.240 --> 00:08:04.840
Nine times seven has a last digit of three, and three times seven has a last digit of one.
00:08:05.720 --> 00:08:10.200
And for the next number, we’re gonna get the last digit by multiplying 12 fives together.
00:08:10.520 --> 00:08:17.680
Now obviously, five times five is 25 which has a last digit of five, and we’re gonna go through using the same pattern.
00:08:18.560 --> 00:08:20.200
This is going to end in a five.
00:08:20.920 --> 00:08:24.400
So the last digit on the left-hand side is gonna be one plus five which is six.
00:08:25.200 --> 00:08:30.360
Then if we follow that same procedure through for the right-hand side, we also find that it has a last digit of six.
00:08:31.200 --> 00:08:35.880
Now if they’d been different digits, we’d have immediately known that this example didn’t work.
00:08:36.960 --> 00:08:57.200
In fact, in another episode of The Simpsons, they showed this example which again, works on your calculator, but you could immediately spot a problem because that first number to the power of 12 is gonna end in an even digit, the second number to the power of 12 is going to be odd, but the last digit of the number on the right-hand side must be even.
00:08:57.960 --> 00:09:02.800
Now when you add an even number to an odd number, the result is odd.
00:09:03.360 --> 00:09:07.960
So the left-hand side had an odd last digit, but the right-hand side had an even last digit.
00:09:08.240 --> 00:09:09.680
That clearly wasn’t going to work.
00:09:10.520 --> 00:09:17.400
So to sum it all up, we’ve talked about the Pythagorean theorem, how to pronounce Fermat, and we’ve talked about Fermat’s last theorem.
00:09:17.880 --> 00:09:24.120
And although his example was very clever indeed, Homer Simpson did not disprove Fermat’s last theorem.