Thread: Prove sqrt(6) is irrational View Single Post
P: 1,682
 Quote by TylerH Is it enough, once given that, if a|bn, then an|b[supn[/sup], to say that: n1/2=p/q n=p2/q2 nq2=p2 Contradiction if n is not expressible as k2, where k is an arbitrary integer. The contradiction being that there is an uneven power of a prime factor on one side, which is impossible for a squared number.
I don't know what you mean on the top there (what is a?), but yes, this is what all the other proofs are driving at in more or less lengthy ways... It is merely a matter of comparing prime factorizations.

This method of proof generalizes neatly to the n'th root case. Comparing the exponents of the primes in the respective factorizations will yield the wanted contradiction.