WEBVTT
00:00:00.840 --> 00:00:12.320
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:13.520 --> 00:00:20.840
But before we do all that, let’s think about the Pythagorean theorem or Pythagoras’s theorem, as it’s often known.
00:00:22.200 --> 00:00:28.400
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:29.120 --> 00:00:41.840
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:43.240 --> 00:00:51.640
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:52.760 --> 00:01:03.640
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:01:04.800 --> 00:01:17.840
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:18.920 --> 00:01:30.560
And three squared is nine, four squared is 16, five squared is 25, and nine plus 16 is indeed equal to 25.
00:01:31.800 --> 00:01:38.520
So three, four, and five are all integers, and they make a Pythagorean triple.
00:01:38.840 --> 00:01:45.360
In fact, there are an infinite number of Pythagorean triples, and there’s even a nice little method to generate them.
00:01:46.600 --> 00:01:53.960
Start with a pair of integers, 𝑚 and 𝑛, where 𝑚 is bigger than 𝑛 and 𝑛 is bigger than zero.
00:01:55.080 --> 00:02:05.600
Then let 𝑎 equal 𝑚 squared minus 𝑛 squared, 𝑏 equal two times 𝑚 times 𝑛, and 𝑐 equals 𝑚 squared plus 𝑛 squared.
00:02:06.400 --> 00:02:11.000
Then 𝑎, 𝑏, and 𝑐 will be a Pythagorean triple.
00:02:11.520 --> 00:02:38.600
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:39.200 --> 00:02:51.040
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:51.680 --> 00:02:53.640
And yes, that does work.
00:02:54.880 --> 00:02:56.200
But there’s nothing new here.
00:02:56.480 --> 00:03:01.360
We’ve known about the Pythagorean theorem and Pythagorean triples for a very long time.
00:03:02.600 --> 00:03:13.240
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:03:14.360 --> 00:03:17.640
Ahaa, so there we are, we’ve covered the first of our objectives.
00:03:18.000 --> 00:03:23.840
Lots of people call him “Fermat” but his real name is Pierre de Fermat.
00:03:25.320 --> 00:03:41.760
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:43.040 --> 00:03:51.840
But after lots of trying, he could only find trivial solutions where one or more of 𝑎, 𝑏, or 𝑐 was zero.
00:03:53.160 --> 00:03:58.320
For example: 𝑎 is zero, 𝑏 is five, 𝑐 is five.
00:03:58.880 --> 00:04:16.560
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:04:18.240 --> 00:04:28.600
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:04:30.200 --> 00:04:36.480
Then he added to the page: “I’ve discovered a truly marvelous proof of this which this margin is too narrow to contain.”
00:04:37.920 --> 00:04:41.600
And this intrigued mathematicians for centuries.
00:04:42.280 --> 00:04:45.320
Many have tried and failed to find this proof.
00:04:45.960 --> 00:04:58.480
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:59.840 --> 00:05:06.320
Now whilst Andrew Wiles’ proof is certainly marvelous, it isn’t the one that Fermat had in mind.
00:05:06.840 --> 00:05:11.040
It refers to several strands of mathematics that weren’t known about in Fermat’s day.
00:05:12.560 --> 00:05:18.120
So maybe there’s still a challenge there for you, find the original proof.
00:05:18.760 --> 00:05:30.360
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:05:32.480 --> 00:06:01.400
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:06:02.800 --> 00:06:04.480
Try it on your calculator.
00:06:04.840 --> 00:06:28.120
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:06:29.560 --> 00:06:30.800
It works!
00:06:31.200 --> 00:06:36.280
Homer has disproved Fermat’s last theorem by finding a counterexample.
00:06:37.400 --> 00:06:43.040
Now the difference between proving and disproving something can be quite enormous.
00:06:43.920 --> 00:06:48.840
To prove something is true, you need to prove it for every single possible case.
00:06:49.440 --> 00:06:54.440
But to disprove it, you just need to come up with one counterexample.
00:06:55.800 --> 00:07:07.760
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:07:08.760 --> 00:07:17.080
Well, the issue here is that most calculators only hold a certain number of significant digits, usually 10.
00:07:18.480 --> 00:07:39.680
So for example, 3987 to the power of 12 would be saved as 1.613447461 times 10 to the power of 43.
00:07:40.680 --> 00:07:51.720
Now that’s 16 134 474 61 with 34 zeros after it.
00:07:53.040 --> 00:07:58.680
The calculator has lost track of loads of digits and stored an answer that isn’t entirely precise.
00:07:59.200 --> 00:08:06.680
Now the actual answer is this, and you can see that there’s quite a difference in terms of these digits.
00:08:08.000 --> 00:08:22.440
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:08:23.560 --> 00:08:34.480
But because our calculator only holds 10 significant figures, it thought the answer was this, which is 4472.
00:08:36.120 --> 00:08:43.680
Look, if we do the calculation accurately, we get this for the left-hand side and this for the right-hand side.
00:08:45.080 --> 00:08:47.920
And the difference is over one decillion.
00:08:48.400 --> 00:08: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:08:59.360 --> 00:09:06.320
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:09:07.440 --> 00:09:20.120
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:09:21.240 --> 00:09:28.560
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:09:29.840 --> 00:09:33.720
Let’s have a look at what the last digit of this calculation is going to be.
00:09:34.360 --> 00:09:40.080
Well, the last digit’s gonna come from multiplying seven by itself 12 times.
00:09:40.840 --> 00:09:47.840
And seven times seven is 49, so the last digit of that is nine.
00:09:48.520 --> 00:09:54.880
And nine times seven is 63, and the last digit of that is three.
00:09:55.560 --> 00:10:01.800
Three times seven is 21, and the last digit of that is one.
00:10:03.080 --> 00:10:08.360
One times seven is seven; obviously, the last digit of that is seven.
00:10:08.920 --> 00:10:15.640
Then we’re back to seven times seven is 49, and the last digit of that is nine.
00:10:16.320 --> 00:10:23.200
Nine times seven 63, the last digit’s three.
00:10:23.720 --> 00:10:27.720
Three times seven has a last digit of one.
00:10:28.320 --> 00:10:31.760
One times seven has a last digit of seven.
00:10:32.280 --> 00:10:35.960
Seven times seven has a last digit of nine.
00:10:37.160 --> 00:10:44.680
Nine times seven has a last digit of three, and three times seven has a last digit of one.
00:10:46.040 --> 00:10:53.080
And for the next number, we’re gonna get the last digit by multiplying 12 fives together.
00:10:54.440 --> 00:11:02.400
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:11:03.480 --> 00:11:05.200
This is going to end in a five.
00:11:05.720 --> 00:11:11.560
So the last digit on the left-hand side is gonna be one plus five which is six.
00:11:12.320 --> 00:11:18.200
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:11:18.880 --> 00:11:24.880
Now if they’d been different digits, we’d have immediately known that this example didn’t work.
00:11:25.800 --> 00:11:55.080
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:11:55.800 --> 00:12:00.400
Now when you add an even number to an odd number, the result is odd.
00:12:02.120 --> 00:12:10.120
So the left-hand side had an odd last digit, but the right-hand side had an even last digit.
00:12:10.760 --> 00:12:13.520
That clearly wasn’t going to work.
00:12:14.560 --> 00:12:23.280
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:12:24.480 --> 00:12:31.600
And although his example was very clever indeed, Homer Simpson did not disprove Fermat’s last theorem.