(Avoiding) Proof by Contradiction: $\sqrt{2}$ is Not Rational

We provide an alternative proof that $\sqrt{2}$ is irrational that does not begin with the assumption that $\sqrt{2}$ is in fact rational.