Kita dapat membuktikan ini dengan kontradiksi. Misalkan akar kuadrat dari dua adalah rasional; yaitu, terdapat bilangan prima yang relatif [math]p[/math] dan [math]q[/math] sedemikian rupa sehingga [math]\frac{p}{q}=\sqrt{2}[/math] .