I'm familiar with the typical proof that √2∉Q, where we assume it is equivalent to ab for some integers a,b, then prove that both a and b are divisible by 2, repeat infinitely, proof by contradiction, QED. I'm also familiar with the fact that if you repeat this procedure for any radical, you can similarly prove that each an,bn are divisible by the radicand, where n is the root of the radical (though things get tricky if you don't reduce first). In other words, the proof that √2∉Q generalizes to prove that any number of the form m√n∉Q.
Further, since adding or multiplying a rational and an irrational yields an irrational, this is a proof for all algebraic irrationals. (Ex. I can prove ϕ=1+√52 irrational just by demonstrating that the √5 term is irrational.)
Because this relies on the algebra of radicals, this won't help for transcendental numbers. Is there a proof that generalizes to all irrational numbers, or must each transcendental number be proven irrational independently?
No comments:
Post a Comment