| Manifesto | Bookstore | Contents | Amazon store | Term index | What changed? | Contact | Recommend |
Another proof that nth roots of integers are irrational, except for perfect nth powers.(Based on the Rational Root Theorem)Scott E. Brodie We begin by recalling two helpful propositions from Euclid. First, VII.24:
Proof: Suppose a is relatively prime to both b and c. Since a and b are relatively prime, there exist integers (perhaps negative) m and n such that Multiplying these two equations together,
so a and bc are relatively prime. Repeating the argument verifies that if a is relatively prime to b, then a is relatively prime to bn for any positive integer n. Second, VII.30:
It is no more work to prove a simple generalization: If integers a and b are relatively prime, and a divides the product bc, then a divides c. [See the aforementioned "Remark" for the proof]. With these tools in hand, we can now prove the Rational Root Theorem, from which the general result on the irrationality of n-th roots follows as a simple corollary: Rational Root TheoremLet P(x) be a polynomial with integer coefficients, say
and suppose that r = c/d is a rational root of P [that is, Proof: Inserting the argument x = c/d into the expression for P(x) yields
Multiplying through by dn and isolating the first term yields
Since d is a factor of every term on the right hand side of this equation, d must divide ancn. But c and d are relatively prime, so d and cn are relatively prime, and it follows from the generalized version of VII.30 that d divides Isolating the last term instead of the first, we see that
As before, since c is a factor of every term in the left side of this equation, c must divide a0dn. Since c and d are relatively prime, c and dn are relatively prime, and we conclude that c must divide a0. Now consider the equation for the nth root of an integer t: If r = c/d is a rational nth root of t expressed in lowest terms, the Rational Root Theorem states that d divides 1, the coefficient of xn. That is, that d must equal 1, and r = c must be an integer, and t must be itself a perfect nth power. Of course, the same arguments could be applied to just the simple equation xn = t. (Indeed, such an argument is the essence of Proofs 2 and 4 of the irrationality of the square root of 2.) Somehow, though, the role of VII.24 and VII.30 is better seen in the more general case. And, for essentially the same effort, we get the useful Rational Root Theorem in the bargain. 
Copyright © 1996-2010 Alexander Bogomolny |
| 35694617 |  |
