s Not Based On POMI James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 1, 018 Outline Non POMI Based s Some Contradiction s Triangle Inequalities
is not a rational number We will prove this technque using a technique called contradiction. Let s assume we can find positive integers p and q so that = (p/q with p and q having no common factors. When this happens we say p and q are relatively prime. This tells us p = q which also tells us p is divisible by. Thus, p is even. Does this mean p itself is even? Well, if p was odd, we could write p = l + 1 for some integer l. Then, we would know p = (l + 1 = 4l + 4l + 1. The first two terms, 4l and 4l are even, so this implies p would be odd. So we see p odd implies p is odd. Thus, we see p must be even when p is even. So we now know p = k for some integer k as it is even. But since p = q, we must have 4k = q. But this says q must be even. The same reasoning we just used to show p odd implies p is odd, then tells us q odd implies q is odd. Thus q is even too. Now here is the contradiction. We assumed p and q were relatively prime; i.e. they had no common factors. But if they are both even, they share the factor. This is the contradiction we seek. Hence, our original assumption must be incorrect and we can not find positive integers p and q so that = (p/q.
3 is not a rational number Let s assume we can find positive integers p and q so that 3 = (p/q with p and q being relatively prime. This tells us p = 3q which also tells us p is divisible by 3. Does this mean p itself is divisible by 3? Well, if p was not divisible by 3, we could write p = 3l + 1 or 3l + for some integer l. Then, we would know or p = (3l + 1 = 9l + 6l + 1. p = (3l + = 9l + 1l + 4. The first two terms in both choices are divisible by 3 and the last terms are not. So we see p is not divisible by 3 in both cases. Thus, we see p must be divisible by 3 when p is divisible by 3. So we now know p = 3k for some integer k as it is divisible by 3. But since p = 3q, we must have 9k = 3q. But this says q must be divisible by 3. The same reasoning we just used to show p divisible by 3 implies p is divisible by 3, then tells us q divisible by 3 implies q is divisible by 3. Now here is the contradiction. We assumed p and q were relatively prime; i.e. they had no common factors. But if they are both divisible by 3, they share the factor 3. This is the contradiction we seek. Hence, our original assumption must be incorrect and we can not find positive integers p and q so that 3 = (p/q.
Let s introduce some notation: 1. if p and q are relatively prime integers, we say (p, q = 1.. if the integer k divides p, we say k p. Now let s modify the two proofs we have seen to attack the more general problem of showing n is not rational if n is prime. n is not a rational number when n is a prime number Let s assume there are integers u and v with (u, v = 1 so the n = (u/v which implies nv = u. This tells us n u. Now we will invoke a theorem from number theory or abstract albebra which tells us every integer u has a prime factor decomposition: u = (p 1 r1 (p r (p s rs for some prime numbers p 1 to p s and positive integers r 1 to r s. For example, here are two such prime decompositions. 66 = 3 11 80 = 4 5 It is easy to see what the integers p 1 to p s and r 1 to r s are in each of these two examples and we leave that to you!
Thus, we can say u = (p1 r1 (p r (ps rs Since n u, n must divide one of the terms in the prime factor decomposition: i.e. we can say n divides the term p ri i. Now the term p ri i is a prime number to a positive integer power ri. The only number that can divide into that evenly are appropriate powers of pi. But, we know n is a prime number too, so n must divide pi itself. Hence, we can conclude n = pi. But this tells us immediately that n divides u too. Hence, we know now u = nw for some integer w. This tells us (nw = nv or nw = v. Thus, n v. The previous argument applied to v then tells us n v too. Hence u and v share the factor n which is a contradiction. Thus we conclude n is irrational.
Definition Absolute Values Let x be any real number. We define the absolute value of x, denoted by x, by x = { x, if x 0 x, if x < 0. For example, 3 = 3 and 4 = 4. Theorem Triangle Inequality Let x and y be any two real numbers. Then and for any number z. x + y x + y x y x + y x y x z + z y
We know ( x + y = (x + y which implies But xy x y impyling ( x + y = x + xy + y. ( x + y x + x y + y = x + x y + y = ( x + y. Taking square roots, we find x + y x + y. Of course, the argument for x y is similar as x y = x + ( y. To do the next part, we know a + b a + b for any a and b. Let a = x z and b = z y. Then (x z + (z y x z + z y. Comment The technique where we do x y = (x z + (z y is called the Add and Subtract Trick and we will use it a lot! Comment Also note x c is the same as c x c and we use this other way of saying it a lot too. Theorem Backwards Triangle Inequality Let x and y be any two real numbers. Then x y x y y x x y x y x y
Let x and y be any real numbers. Then by the Triangle Inequality Similary, x = (x y + y x y + y x y x y y = (y x + x y x + x y x x y Combining these two cases we see x y x y x y But this is the same as saying x y x y. Lemma Proving a Number x is Zero via Estimates Let x be a real number that satisfies x < ɛ, ɛ > 0. Then, x = 0. We will prove this by contradiction. Let s assume x is not zero. Then x > 0 and x / is a valid choice for ɛ. The assumption then tells us that x < x / or x / < 0 which is not possible. So our assumption is wrong and x = 0.
Theorem Extended Triangle Inequality Let x1 to xn be a finite collection of real numbers with n 1. Then x1 + xn x1 + + xn or using summation notation n n xi xi. BASIS : P(1 is the statement x1 x1 ; so the basis step is verified. INDUCTIVE : We assume P(k is true for an arbitrary k > 1. Hence, we know xi xi. Now look at P(k + 1. We note by the triangle inequality applied to a = k xi and b = xk+1, we have a + b a + b or ( k+1 xi xi + xk+1 Now apply the induction hypothesis to see k+1 k+1 xi xi + xk+1 = xi This shows P(k + 1 is true and by the POMI, P(n is true for all n 1.
Theorem l Norm Inequality Let {a1,..., an} and {b1,..., bn} be finite collections of real numbers with n 1. Then ( n n ( n ai bi BASIS : P(1 is the statement a1b1 a1 b 1 ; the basis step is true. INDUCTIVE : We assume P(k is true for k > 1. Hence, we know ( ( ai bi Now look at P(k + 1. k+1 = + ak+1bk+1 Let A denote the first piece; i.e. A = k. Then expanding the term A + ak+1bk+1, we have k+1 = = ( k+1 = A + Aak+1bk+1 + ak+1 bk+1 ( + ak+1bk+1 + ak+1 bk+1
or k+1 + ai bi ak+1bk+1 + a k+1 bk+1 Now use the induction hypothesis to see k+1 ai bi + k ai k bi ak+1bk+1 (1 +ak+1 bk+1 k k Now let α = a i bk+1 and β = b i ak+1. We know for any real numbers α and β that (α β 0. Thus, α + β α β. We can use this in our complicated sum above. We have α β = k k α + β = ai bi ak+1 bk+1 ( ( ai bk+1 + bi ak+1
Hence, the middle part of Equation 1 can be replaced by the αβ α + β inequality above to get k+1 = ai ( bi + ai bk+1 ( ( + bi ak+1 + ak+1 bk+1 ( ( ai + ak+1 bi + bk+1 But this says k+1 ( k+1 ( k+1 ai bi This shows P(k + 1 is true and by the POMI, P(n is true for all n 1.
Comment This is a famous type of theorem. For two vectors [ ] [ ] a1 b1 V = and W = a the inner product of V and W, < V, W > is a1b1 + ab and the norm or length of the vectors is V = a 1 + a and W = b1 + b The Theorem above then says < V, W > V W. This is called the Cauchy - Schwartz Inequality also. Comment This works for three and n dimensional vectors too. b Homework 3 Prove the following propositions. 3.1 5 is not a rational number using the same sort of argument we used in the proof of 3 is not rational. 3. 7 is not a rational number using the same sort of argument we used in the proof of 3 is not rational. 3.3 On the interval [1, 10], use factoring and the triangle inequality to prove x y 10 x y.