有些無理數的證明是非常複雜的。一般人根本就看不懂。看一下根號形式的無理數證明還是比較簡單的。都在古希臘時期就已經證明了。那是畢德哥拉斯學派的一位學徒。證明了無理數的存在性。他使用了反正法。再次利用分數的一些性質。和整數的一些性質。通過邏輯推理得到矛盾。還證明了無理數的存在。