WEBVTT
00:00:02.130 --> 00:00:13.900
In this video, we’re gonna run through a mathematical proof that the square root of two is an irrational number, which means that it’s a number that can’t be written as a fraction in which the numerators and denominators are both whole numbers.
00:00:14.570 --> 00:00:24.090
Now that, in turn, means that if you try to write it out in decimal format, you’d have to go on working out decimal places forever, but more of that in a minute.
00:00:24.120 --> 00:00:28.300
First, let’s talk about some ancient Greek philosophers, Pythagoras and Hippasus.
00:00:29.510 --> 00:00:35.840
I should think that, pretty well, all of you will have heard of Pythagoras because of the Pythagorean theorem, or Pythagoras’s theorem like some people call it.
00:00:36.980 --> 00:00:44.010
It states that, in a right-angled triangle, the square of the length of the longest side is equal to the sum of the squares of the lengths of the shorter sides.
00:00:44.300 --> 00:00:47.200
You might know this better as 𝑎 squared plus 𝑏 squared equals 𝑐 squared.
00:00:47.420 --> 00:00:50.910
And it seems pretty easy because we learn about it quite early in our school careers.
00:00:51.140 --> 00:00:54.690
But it was a big deal back in Pythagoras’s day, about 2500 years ago.
00:00:55.600 --> 00:01:02.720
The general agreement though that the Pythagorean theorem wasn’t written by Pythagoras, even if it did become one of his best-known greatest hits.
00:01:04.050 --> 00:01:07.440
Now there are lots of stories, myths, and legends floating around about Pythagoras.
00:01:07.590 --> 00:01:10.590
And whatever you say about him, someone else will probably say something different.
00:01:11.060 --> 00:01:14.110
The problem is that none of his writings have survived the passage of time.
00:01:14.370 --> 00:01:17.320
And many of the things that were written about him by other people are contradictory.
00:01:17.590 --> 00:01:19.900
He seems to have been a bit of a controversial figure.
00:01:21.060 --> 00:01:23.630
He called himself a philosopher, a lover of wisdom.
00:01:23.630 --> 00:01:26.370
And he started a movement of followers called the Pythagoreans.
00:01:26.690 --> 00:01:27.680
They were very secretive.
00:01:27.950 --> 00:01:32.670
And there were many references to their beliefs in the mystical powers and purity of numbers.
00:01:33.980 --> 00:01:42.050
One of Pythagoras’s followers was called Hippasus, although he didn’t entirely clear whether he followed Pythagoras himself or whether he was simply a follower of the Pythagorean movement.
00:01:42.330 --> 00:01:44.810
And maybe he wasn’t even born during Pythagoras‘s lifetime.
00:01:46.100 --> 00:01:52.710
But anyway, from ancient artwork and drawings that survived, it does seem likely that one thing they had in common was that they both had beards.
00:01:52.990 --> 00:01:54.710
These beards were very fashionable at the time.
00:01:54.950 --> 00:01:56.410
A few people would contradict this.
00:01:57.660 --> 00:02:09.770
Okay, to bring this rambling tale to a point of focus, there’s a story that Hippasus managed to develop a proof that some numbers are irrational, which really upsettingly contradicted the Pythagorean police and the divine nature of numbers.
00:02:10.940 --> 00:02:14.510
There are reports that Hippasus drowned at sea a short while later.
00:02:16.050 --> 00:02:22.780
Some people say he just picked a very bad time indeed to reveal the truth of irrational numbers to his Pythagorean friends, while out at sea on a ship.
00:02:23.070 --> 00:02:24.850
And they acted swiftly to cover it up.
00:02:25.260 --> 00:02:29.880
But this doesn’t quite hold water so to speak, because if it was true, how would we know about it?
00:02:31.410 --> 00:02:37.770
Now Hippasus apparently showed how constructing a dodecahedron inside a sphere leads to the need for irrational numbers.
00:02:38.950 --> 00:02:51.510
But an easier method would have been to use a right-angled isosceles triangle with two sides having a length of one unit and then the Pythagorean theorem to show that, in this case, the length of the longest side would be equal to the square root of two units.
00:02:52.640 --> 00:02:57.010
So we know that the need for a simple situation involving the square root of two arises.
00:02:57.340 --> 00:03:00.100
How can we now show that this is an irrational number?
00:03:01.030 --> 00:03:04.770
Well, first, let’s just make sure we know what rational and irrational numbers are.
00:03:06.140 --> 00:03:08.480
A half can be called a ratio of one to two.
00:03:08.710 --> 00:03:17.080
It consists of a fraction with a whole number or integer on the numerator, one in this case, and another whole number or integer on the denominator, two in this case.
00:03:17.450 --> 00:03:21.600
That’s basically all a rational number is, a fraction with integers on the top and the bottom.
00:03:22.510 --> 00:03:30.220
Remember, if the numerator and denominator both have a common factor, then we can simplify the fraction by dividing both by the same factor and getting an equivalent fraction.
00:03:30.510 --> 00:03:32.940
For example, two over four is a rational number.
00:03:33.140 --> 00:03:38.930
But we can divide the top and bottom by numbers by two to get the equivalent fraction, a half.
00:03:39.620 --> 00:03:42.100
A half is a simpler form of two-quarters.
00:03:42.220 --> 00:03:44.030
And it’s also a rational number.
00:03:45.290 --> 00:03:52.310
Now we can take any integer we like as the numerator and any other integer we like as the denominator to make a rational number.
00:03:53.910 --> 00:03:55.960
Now let’s take a look at a couple of rational numbers.
00:03:56.040 --> 00:04:00.440
One-third and two-thirds, is there another rational number in between them in value?
00:04:01.450 --> 00:04:05.790
Well, one and a half thirds doesn’t really count because one and a half isn’t an integer.
00:04:06.740 --> 00:04:11.440
But an equivalent fraction to one-third is two-sixths, just double the numerator and denominator.
00:04:11.730 --> 00:04:16.850
And an equivalent fraction to two-thirds is four-sixths, again just double the numerator and denominator.
00:04:17.470 --> 00:04:21.430
So instead of one-third and two-thirds, we’ve got two-sixths and four-sixths.
00:04:22.170 --> 00:04:25.450
And it sort of leaps off the page that three-sixths would be between them.
00:04:25.660 --> 00:04:31.160
And we could simplify that to a half by dividing the numerator and denominator by three.
00:04:32.450 --> 00:04:36.820
Now we can apply this technique to any two rational numbers to find another rational number between them.
00:04:37.090 --> 00:04:39.920
And we can go on forever, getting smaller and smaller differences.
00:04:40.110 --> 00:04:43.800
So it begins to look like you ought to be able to make any number rational.
00:04:45.090 --> 00:04:46.540
So what’s an irrational number then?
00:04:46.640 --> 00:04:51.340
Well, it’s a number that we can’t represent exactly by a fraction with integers as numerators and denominators.
00:04:52.340 --> 00:04:56.620
For example, we use the Pythagorean theorem to show how there’s a value called a square root of two.
00:04:56.940 --> 00:05:04.250
Now let’s play around with the concept a little bit to see if we can prove that you can’t find a pair of integers for numerators and denominators to represent that value.
00:05:05.440 --> 00:05:15.660
Let’s start by assuming, in fact, that the square root of two is rational and that there are two integers — let’s call them 𝑎 and 𝑏 — that we can use as the numerator and denominator to represent that value.
00:05:16.630 --> 00:05:24.720
So we’ve got the square root of two is equal to 𝑎 over 𝑏, where 𝑎 and 𝑏 are integers and 𝑏 is not equal to zero because something divided by zero is undefined.
00:05:26.150 --> 00:05:31.310
Let’s also choose to pick 𝑎 and 𝑏 so that they represent a fully simplified fraction version of root two.
00:05:32.410 --> 00:05:37.510
Obviously, there’ll be a family of equivalent fractions: two 𝑎 over two 𝑏, three 𝑎 over three 𝑏, and so on.
00:05:37.690 --> 00:05:43.290
But we’re choosing 𝑎 and 𝑏 to make the fully simplified fraction version so that they don’t have any common factors.
00:05:43.910 --> 00:05:45.880
And there’s another implication of this.
00:05:45.880 --> 00:05:47.990
If 𝑎 is an even number, then 𝑏 must be odd.
00:05:47.990 --> 00:05:50.160
And if 𝑏 is an even number, then 𝑎 must be odd.
00:05:50.520 --> 00:05:53.470
If they were both even, then they’ll both be multiples of two.
00:05:53.530 --> 00:05:55.020
And two will be a common factor.
00:05:55.300 --> 00:05:57.740
So we’ll be able to cancel and simplify the fraction.
00:05:58.020 --> 00:06:01.860
But we chose 𝑎 and 𝑏 carefully so that they didn’t have any common factors.
00:06:02.900 --> 00:06:06.240
Okay, so we’ve got the square root of two is equal to 𝑎 over 𝑏.
00:06:06.390 --> 00:06:08.470
Now let’s square both sides of the equation.
00:06:09.560 --> 00:06:12.980
And that gives us two is equal to 𝑎 squared over 𝑏 squared.
00:06:13.740 --> 00:06:22.260
Now I can multiply both sides of my equation by 𝑏 squared so that the 𝑏 squareds cancel on the right, which gives us that two 𝑏 squared is equal to 𝑎 squared.
00:06:23.270 --> 00:06:26.230
However, on the left-hand side, 𝑏 remember is an integer.
00:06:26.320 --> 00:06:31.040
So 𝑏 times 𝑏, 𝑏 squared, that’s an integer times an integer that must also be an integer.
00:06:31.980 --> 00:06:34.540
So the left-hand side is two times a whole number.
00:06:34.770 --> 00:06:37.780
And a whole number which is a multiple of two is an even number.
00:06:38.710 --> 00:06:41.850
Now over on the right-hand side, we’ve got 𝑎, an integer, times itself.
00:06:41.850 --> 00:06:43.620
So we’ve got a whole number times a whole number.
00:06:44.790 --> 00:06:51.470
And the only way that you can get an even result when you multiply two whole numbers together is if one of those whole numbers was even.
00:06:51.780 --> 00:06:57.110
And since we’re actually talking about 𝑎 times itself, then 𝑎 must be an even number.
00:06:58.080 --> 00:07:00.610
Okay, let’s run through that logic in a little bit more detail.
00:07:01.420 --> 00:07:04.430
We can say that an even number is just a whole number multiple of two.
00:07:04.690 --> 00:07:06.610
So let’s pick a letter to represent any whole number.
00:07:06.640 --> 00:07:07.350
Let’s say 𝑚.
00:07:07.610 --> 00:07:09.920
Then we can say that two 𝑚 is an even number.
00:07:10.920 --> 00:07:15.390
You tell me the even number you want and I’ll pick a suitable value for 𝑚 to generate that even number.
00:07:15.570 --> 00:07:17.700
It’ll just be half the value of the even number you want.
00:07:18.200 --> 00:07:20.140
You want eight, I’ll pick 𝑚 equals four.
00:07:20.280 --> 00:07:23.150
So two 𝑚 is the even number eight in this case.
00:07:24.240 --> 00:07:28.560
Two 𝑚 is just an expression representing a number that we know must be even.
00:07:29.870 --> 00:07:35.020
Now we can represent another even number by assigning the letter 𝑛 to represent another whole number.
00:07:35.160 --> 00:07:37.510
And then two 𝑛 must be another even number.
00:07:38.840 --> 00:07:43.100
Now let’s multiply our two even numbers together, two 𝑚 times two 𝑛.
00:07:43.400 --> 00:07:47.960
And because multiplication is associative, we can write that as two times 𝑚 times two times 𝑛.
00:07:49.200 --> 00:07:55.590
And since two 𝑚 and 𝑛 are all whole numbers, we know that 𝑚 times two times 𝑛 will also be a whole number.
00:07:55.830 --> 00:08:01.670
And that means that two times 𝑚 times two times 𝑛 is two times a whole number, which must be an even number.
00:08:02.630 --> 00:08:07.030
So if we multiply any two even numbers together, we definitely get a result that’s even.
00:08:08.770 --> 00:08:11.630
Now odds and evens alternate throughout the whole numbers.
00:08:11.660 --> 00:08:16.300
One is odd, two is even, three is odd, four is even, five is odd, six even, and so on forever.
00:08:17.440 --> 00:08:23.140
And that means that because two 𝑚 is an even number, then two 𝑚 plus one must be the next odd number after it.
00:08:23.380 --> 00:08:25.090
Likewise, two 𝑛 is an even number.
00:08:25.310 --> 00:08:27.830
So two 𝑛 plus one must be the next odd number.
00:08:28.940 --> 00:08:34.340
So let’s look at other combinations of multiplying odd and even numbers together to see if we can get an even number result.
00:08:35.200 --> 00:08:40.390
For example, if we wanted to multiply an even number by an odd number, we can do two 𝑚 times two 𝑛 plus one.
00:08:41.370 --> 00:08:46.720
And again, because of associativity, we can write that as two times 𝑚 times two times 𝑛 plus one.
00:08:48.270 --> 00:08:51.270
And again, we’ve got integers inside the parentheses there.
00:08:51.270 --> 00:08:53.160
So we’ve got two times an integer.
00:08:54.140 --> 00:08:57.810
So even times odd also gives us an even number.
00:08:59.770 --> 00:09:01.160
And that works the other way round too.
00:09:01.200 --> 00:09:04.450
If we had an odd number times an even number, we’d also get an even number.
00:09:05.400 --> 00:09:08.880
Lastly then, let’s try multiplying an odd number by an odd number.
00:09:09.950 --> 00:09:24.620
Then multiplying each term in the first parentheses by each term in the second parentheses gives us two 𝑚 times two 𝑛 plus two 𝑚 times one plus one times two 𝑛 plus one times one, which simplifies to four 𝑚𝑛 plus two 𝑚 plus two 𝑛 plus one.
00:09:25.830 --> 00:09:34.800
And if we factor out a two from these first three terms here, we get two times two 𝑚𝑛 plus 𝑚 plus 𝑛 all plus one.
00:09:35.210 --> 00:09:38.240
Now two, 𝑚, and 𝑛 are all integers.
00:09:38.370 --> 00:09:40.140
And we’re multiplying and adding those together.
00:09:40.140 --> 00:09:43.360
So the contents of those parentheses there are gonna be an integer.
00:09:43.560 --> 00:09:46.620
This gives us two times an integer, which is an even number.
00:09:47.450 --> 00:09:51.120
So the result is gonna be an even number plus one, which is an odd number.
00:09:52.250 --> 00:09:56.950
And that means if I multiply any two odd numbers together, then the result is another odd number.
00:09:58.080 --> 00:10:01.490
So back to our problem, we had two 𝑏 squared equals 𝑎 squared.
00:10:01.810 --> 00:10:06.690
Now we said that the left-hand side, because 𝑏 is an integer, must be an even number.
00:10:07.870 --> 00:10:11.950
And the right-hand side is equal to 𝑎 squared, which is something times itself.
00:10:11.950 --> 00:10:16.610
So we’re either dealing with an even number times an even number or an odd number times an odd number.
00:10:17.090 --> 00:10:20.620
Now the only way we can get an even result is if 𝑎 was even.
00:10:22.170 --> 00:10:23.860
So this is definitely true.
00:10:25.560 --> 00:10:31.800
Right, remember that I said if you want a specific even number, I can halve it and express your even number as two times half of that number.
00:10:32.100 --> 00:10:34.550
Well, let’s do the same thing for the even number 𝑎.
00:10:34.800 --> 00:10:37.030
Let’s call half of 𝑎 𝑐.
00:10:38.250 --> 00:10:40.450
That means that 𝑐 is equal to a half of 𝑎.
00:10:40.580 --> 00:10:42.750
In other words, two 𝑐 is equal to 𝑎.
00:10:43.800 --> 00:10:55.300
And we can replace 𝑎 with two 𝑐 in our equation, which means that two 𝑏 squared is equal to two 𝑐 all squared and that two 𝑐 all squared means two 𝑐 times two 𝑐.
00:10:55.500 --> 00:10:58.740
So we now know that two 𝑏 squared is equal to four 𝑐 squared.
00:10:59.470 --> 00:11:03.100
Now I can divide both sides by two to cancel off the twos here.
00:11:03.310 --> 00:11:06.330
And I get two and one over here.
00:11:07.360 --> 00:11:10.990
In other words, 𝑏 squared is equal to two times 𝑐 squared.
00:11:11.740 --> 00:11:14.960
Then over on the right-hand side, we said 𝑐 is an integer.
00:11:15.190 --> 00:11:17.920
So 𝑐 squared, an integer times an integer, is also an integer.
00:11:18.150 --> 00:11:22.390
And this expression here, two times an integer, must give us an even result.
00:11:23.320 --> 00:11:30.110
Then using the same logic we used over here to prove that 𝑎 must be even, we can say that 𝑏 must also be even.
00:11:30.800 --> 00:11:31.450
But wait a minute!
00:11:31.520 --> 00:11:34.950
We said right near the beginning that if 𝑎 is an even number, then 𝑏 must be odd.
00:11:34.950 --> 00:11:37.100
And if 𝑏 is an even number, then 𝑎 must be odd.
00:11:37.460 --> 00:11:41.330
Now we’ve just shown that 𝑎 must be even and 𝑏 must be even.
00:11:42.410 --> 00:11:43.700
This is a contradiction.
00:11:43.700 --> 00:11:47.240
We’ve shown that 𝑏 must be both odd and even at the same time.
00:11:48.560 --> 00:11:50.880
This must mean that our original assumption was wrong.
00:11:50.910 --> 00:12:00.540
We assumed that there are two integers 𝑎 and 𝑏 that can be used as the numerator and denominator in a fraction in its simplest form representing the value of the square root of two.
00:12:01.600 --> 00:12:05.050
But that assumption leads us to two mutually exclusive conclusions.
00:12:05.270 --> 00:12:08.560
That is, 𝑏 is an even number and 𝑏 is an odd number.
00:12:08.810 --> 00:12:10.740
So the assumption must have been wrong.
00:12:10.900 --> 00:12:18.430
There aren’t two integers 𝑎 and 𝑏 that can be used as a numerator and denominator in a fraction in its simplest form representing the value of the square root of two.
00:12:19.490 --> 00:12:22.200
We call this sort of proof “proof by contradiction.”
00:12:22.520 --> 00:12:28.280
Rather than proving something is true in all cases, we’ve proved that assuming it’s true leads us to a nonsense situation.
00:12:28.280 --> 00:12:29.160
So it can’t be true.
00:12:29.510 --> 00:12:30.870
It’s a pretty powerful technique.
00:12:32.050 --> 00:12:34.790
Now irrational numbers have been known about for a very long time.
00:12:34.820 --> 00:12:39.650
And people don’t tend to get as upset as the Pythagoreans did when they find out about them these days.
00:12:40.110 --> 00:12:48.830
But if you’re gonna show this proof of the irrationality of the square root of two to anyone, maybe it might be as well to make sure you’re on dry land when you do it, just in case.