选自<费马大定理:一个困惑了世间智者358年的谜>,有少许改动. 原译者:薛密 \(\sqrt{2}\)是无理数,即不能写成一个分数.欧几里得以反证法证明此结论.第一步是假定相反的事实是真的,即\(\sqrt{2}\)可以写成某个未知的分数.用\(\frac{p}{q}\) 来代表这个假设的分数,其中 \(p\) 和 \(q\) 是两个整数. 在开始证明本身之前,需要对分数和偶数的某些性质有个基本的了解. (1) 如果任取一个整数并且用2去乘它,那么得到的新数一定是偶数.这基本上就是偶数的定义