有些无理数的证明是非常复杂的。一般人根本就看不懂。看一下根号形式的无理数证明还是比较简单的。都在古希腊时期就已经证明了。那是毕德哥拉斯学派的一位学徒。证明了无理数的存在性。他使用了反正法。再次利用分数的一些性质。和整数的一些性质。通过逻辑推理得到矛盾。还证明了无理数的存在。