* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download √ 2 IS IRRATIONAL Recall the well ordering principle: Every non
Survey
Document related concepts
Infinitesimal wikipedia , lookup
Georg Cantor's first set theory article wikipedia , lookup
Four color theorem wikipedia , lookup
Wiles's proof of Fermat's Last Theorem wikipedia , lookup
Vincent's theorem wikipedia , lookup
Mathematical proof wikipedia , lookup
Factorization wikipedia , lookup
Fermat's Last Theorem wikipedia , lookup
Collatz conjecture wikipedia , lookup
Fundamental theorem of algebra wikipedia , lookup
Transcript
√ 2 IS IRRATIONAL Recall the well ordering principle: Every non-empty subset of N contains a least element. √ We may use this to prove that 2 is irrational. Theorem. √ 2 is irrational. √ • We argue by way of contradiction and suppose that 2 is rational. √ • We may then write 2 = a/b, where a and b are integers and b 6= 0. We may also choose this expression so that a and b are both positive. (Why?) Proof. • Consider the set √ √ S = {k 2 | k and k 2 are positive integers}. By its very construction, X is a subset of N. √ • We also know that a = b 2 lies in X, so X is non-empty. • Since X is a non-empty subset of N, the √ well ordering principle tells us that X contains a least element. Call it s = t 2, where t is a positive integer. √ √ • Now consider the number s 2 − s. I claim that s 2 − s also lies in X. √ √ √ √ • Note that s 2 − s = s 2 − t 2 = (s − t) 2. • Because s lies in X, s is an integer. But so is t. It follows that s − t is also an integer. • We have √ √ s − t = t 2 − t = ( 2 − 1)t > 0 √ 2 > 1 and t > 0. Therefore s − t is a positive integer. √ √ • Moreover, we have s 2 − s = 2t − s, so s 2 − s is also an integer. since • What’s more, √ √ s 2 − s = ( 2 − 1)s > 0, √ √ again since 2 > 1 and s > 0. It follows that s 2 − s is a positive integer. √ 2 IS IRRATIONAL 2 √ √ • In summary, we have shown that s 2 − s = (s − t) 2 is a positive √ integer with the property that s − t is also a positive integer. This means that s 2 − s lies in X. • Now notice that √ √ √ s − (s 2 − s) = 2s − s 2 = (2 − 2)s > 0 √ √ since 2 > 2 and s > 0. It follows that s 2 − s < s. √ • Therefore s 2 − s is an element of X that is less than s. This contradicts the fact that s is supposed to be a least element in X. √ • It follows that our original assumption must have been wrong, that is, 2 must be a rational number. √ Remark. There is a more standard proof that 2 is irrational that uses the fact that every positive integer can be expressed uniquely as the product of prime numbers. The latter statement is called the fundamental theorem of arithmetic. We will prove the FTA later in this course, but in the meantime, observe that the above proof only used very elementary ideas.