欧几里得证明$\sqrt{2}$是无理数

选自《费马大定理:一个困惑了世间智者358年的谜》，有少许改动。
原译者：薛密

$\sqrt{2}$是无理数，即不能写成一个分数。欧几里得以反证法证明此结论。第一步是假定相反的事实是真的，即$\sqrt{2}$可以写成某个未知的分数。用$\frac{p}{q}$ 来代表这个假设的分数，其中 $p$ 和 $q$ 是两个整数。

在开始证明本身之前，需要对分数和偶数的某些性质有个基本的了解。

(1) 如果任取一个整数并且用2去乘它，那么得到的新数一定是偶数。这基本上就是偶数的定义。

(2) 如果已知一个整数的平方是偶数，那么这个整数本身一定是偶数。

(3) 最后，分数可以简化。例如分数$\frac{16}{24}$，用2除分子分母得$\frac{8}{12}$，两个分数$\frac{16}{24}$与$\frac{8}{12}$是相等的，进一步，$\frac{8}{12}$与$\frac{4}{6}$ 是相等的，而$\frac{4}{6}$ 又与$\frac{2}{3}$是相等的。然而，$\frac{2}{3}$不能再化简，因为2 和3没有公因数。不可能将一个分数永远不断地简化。

欧几里得相信$\sqrt{2}$不可能写成一个分数。然而，由于他采用反证法，所以他先假定

\begin{equation*} \sqrt{2}=\frac{p}{q} \end{equation*}

将两边平方，得

\begin{equation*} 2=\frac{p^2}{q^2} \end{equation*}

即

\begin{equation*} 2q^2=p^2 \end{equation*}

现在根据第(1) 点我们知道$p^2$ 必定是偶数。此外，根据第(2) 点我们知道 $p$ 本身也必须是偶数。但是，如果 $p$ 是偶数，那么它可以写成$2m$，其中$m$ 是某个别的整数。这是从第(1) 点可以得出的结论。将这再代回到等式中，我们得到

\begin{equation*} 2q^2=p^2=(2m)^2=4m^2 \end{equation*}

两边除以2，得

\begin{equation*} q^2=2m^2 \end{equation*}

但是根据我们前面用过的同样的论证，我们知道 $q^2$ 必须是偶数，因而 $q$ 本身必须是偶数。如果确实是这样，那么 $q$ 可以写成$2n$，其中 $n$ 是某个别的整数。如果我们回到开始的地方，那么

\begin{equation*} \sqrt{2}=\frac{p}{q}=\frac{2m}{2n}=\frac{m}{n} \end{equation*}

现在我们得到一个新的分数$\frac{m}{n}$，它比$\frac{p}{q}$更简单。

然而，我们发现对$\frac{m}{n}$我们可以精确地重复以上同一个过程，在结束时我们将产生一个更简单的分数，比方说$\frac{g}{h}$。然后又可以对这个分数再重复相同的过程，而新的更为简单的分数，比方说$\frac{e}{f}$将是。我们可以对它再作同样的处理，并且一次次地重复这个过程，不会结束。但是根据第(3) 点我们知道任何分数不可能永远简化下去，总是必须有一个最简单的分数存在，而我们最初假定的分数$\frac{p}{q}$ 似乎不服从这条法则。于是，我们可以有正当的理由说我们得出了矛盾。如果$\sqrt{2}$可以写成为一个分数，其结果将是不合理的，所以，说$\sqrt{2}$不可能写成一个分数是对的。于是，$\sqrt{2}$是一个无理数。

转载于:https://www.cnblogs.com/joyfulphysics/p/5158867.html

欧几里得证明$\sqrt{2}$是无理数相关推荐

数学--数论--（逆元）扩展欧几里求解+证明
欧几里得与扩展欧几里得先解释一下符号: A≡B(modC)符号代表A模C与B模C相等,即A/C与B/C同余.A≡B (mod C)符号代表A模C与B模C相等,即A/C与B/C同余.A≡B(modC) ...
欧几里得扩展欧几里得算法及相关的数学证明
//欧几里得算法求最大公约数 int gcd(int m,int n) {int u0=m,u1=n,t;if( u0<u1 )// 保证u0>=u1u0^=u1,u1^=u0,u0^=u ...
扩展欧几里得的几个定理以及证明
扩展欧几里得的三个定理: 定理一:如果d = gcd(a, b),则必能找到正的或负的整数k和l,使d = a*x+ b*y. 定理二:若gcd(a, b) = 1,则方程ax ≡ c (mod b) ...
对扩展欧几里得定理理解+证明
原文出处: https://blog.csdn.net/Floatiy/article/details/80452643 知识储备 1 . 朴素欧几里得原理:gcd(a,b) == gcd(b,a % ...
扩展欧几里得定理基础讲解代码及证明
知识储备 1 . 朴素欧几里得原理:gcd(a,b) == gcd(b,a % b) 2 . 负数取模:忽略符号返回绝对值就好了 3 . 模数原理:对于整数a,b必然存在整数k使得a % b == a ...
java 双调旅行商 hamiltonian,双调欧几里得旅行商问题(TSP)
最小环+欧拉回路=最短哈密顿图介绍 TSP(Traveling Salesman Problem)即旅行商问题,是数学领域中著名问题之一.这个问题是这样的:假设有一个旅行商人要拜访n个城市,他必须选 ...
CodeForces - 724C Ray Tracing(扩展欧几里得解方程)
题目链接:点击查看题目大意:在 n∗mn*mn∗m 的矩阵中,从点 (0,0)(0,0)(0,0) 发射一个小球,以四十五度的方向出发,速度是 2\sqrt{2}2,当碰到壁时,会进行反射:当碰到 ...
牛客多校3 - Fraction Construction Problem(扩展欧几里得)
题目链接:点击查看题目大意:给出 a 和 b ,求解满足条件的 c,d,e,f ,使得: d < b f < b c,e 均为小于等于 4e12 的正整数题目分析:分情况讨论一下,首先 ...
URAL1204. Idempotents（扩展欧几里得）
1204 大体推推会出来这个式子 x(x-1) = k*n;n = p*q ;x(x-1)%(p*q)==0; 因为p,q都为素数那也就是说x和x-1中必定包含这两个数而且一个里面只能有一个不 ...
[2021-06-19] 提高组新手副本Ⅱ（联网，欧几里得，分解树，开关灯）
文章目录考试心路历程联网 title solution code 欧几里得 title solution code 分解树 title solution code 开关灯 title soluti ...

欧几里得证明$\sqrt{2}$是无理数

欧几里得证明$\sqrt{2}$是无理数相关推荐

最新文章

热门文章