İpucu:
Varsayalım ki rasyonel olsun. √3 sayısı rasyonel ise aralarında asal olan en az bir p ve q tamsayı çifti vardır öyle ki √3=pq
Her iki tarafın karesini al ve sonunda
p ve
q sayılarının aralarında asal olmadığı sonucuna ulaş. Yani varsayım ile çeliş.