今天我们用三种不同的方法来证明√2是无理数。我们知道在实数范围内，除了有理数就是无理数。也就是说，有理数集Q和无理数集的交集是空集∅，并集是实数集R。有理数是指有限小数或无限循环小数，这里将整数视为有限小数。有理数都可以写成既约整分数的形式，这里将整数视为分母为1的分数。
序平常我们用到的 sqrt 函数求一个数的算术平方根，以前一直好奇究竟是如何计算的。这篇文章我们就一起来探究一下。二分法以前我想到的一种方式是二分法；假设求根号2的平方根；假设最开始 min = 1.0，max = 2.0；则它们的中间值 val = (min+max)/2.
