√n'in rasyonel olduğunu ve p,q∈Z+ için √n=p/q olduğunu varsayalım. O halde,
x2−ny2=x2−p2y2q2=q2x2−p2y2q2=1. Yani
q2x2−p2y2=q2⇒q2(x2−1)=p2y2. İki tarafın da tam kare olması, x2−1'in tam kare olmasını gerektirir fakat bu x=1 olmadığı sürece imkansız. x=1 durumu da n=0'ı gerektireceğinden, çelişki. Demek ki √n irrasyonelmiş.
(x2−1 neden tam kare olamaz (x=1 durumu dışında)? Diyelim ki bir a tam sayısı için x2−1=a2. Öyleyse (x−a)(x+a)=1 ve x−a ile x+a tam sayı olduğundan bu ikisinin de 1e eşit olmasını, yani a'nın 0, x'in 1 olmasını gerektirir.)