İ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ş.