Is there a way to directly prove that $\sqrt{2}$ is irrational without using contradiction - the most popular method? I was thinking that maybe it could be done using a corollary of the completeness axiom... or maybe I am complete off. Any advice would be appreciated. Thanks.
↧