2的算术平方根，俗称“根号2”，记作 2 {\displaystyle {\sqrt {2}}} ，可能是最早被发现的无理数。相传毕达哥拉斯学派的希帕索斯首先提出了“ 2 {\displaystyle {\sqrt {2}}} 不是有理数”的命题：若一个直角三角形的两个直角边都是1，那么它的斜边长，无法用整数或分数表示。 此条目没有列出任何参考或来源。 (2015年9月6日) 事实速览 2的平方根, 命名 ...2的平方根2的平方根 数表—无理数 2 {\displaystyle \color {blue}{\sqrt {2}}} - φ {\displaystyle \color {blue}\varphi } - 3 {\displaystyle \color {blue}{\sqrt {3}}} - 5 {\displaystyle \color {blue}{\sqrt {5}}} - δ S {\displaystyle \color {blue}\delta _{S}} - e {\displaystyle \color {blue}e} - π {\displaystyle \color {blue}\pi } 命名名称2的算术平方根2的主平方根根号2识别种类无理数符号 2 {\displaystyle {\sqrt {2}}} 性质连分数 1 + 1 2 + 1 2 + 1 2 + 1 2 + ⋱ {\displaystyle 1+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{2+\ddots }}}}}}}}} 以此为根的多项式或函数 x 2 − 2 = 0 {\displaystyle x^{2}-2=0} 表示方式值 2 ≈ {\displaystyle {\sqrt {2}}\approx } 1.414213562...二进制1.011010100000100111100110…十进制1.414213562373095048801688…十六进制1.6A09E667F3BCC908B2FB1366… 查论编关闭 2 {\displaystyle {\sqrt {2}}} 其最初65位为 1.41421356237309504880168872420969807856967187537694807317667973799… （OEIS数列A002193） 2 {\displaystyle {\sqrt {2}}} 是无理数的证明 人们发现了许多方法证明 2 {\displaystyle {\sqrt {2}}} 是无理数。以下是反证法的证明 常见的证明 假设 2 {\displaystyle {\sqrt {2}}} 是有理数，即有整数 a 0 {\displaystyle a_{0}} 、 b 0 {\displaystyle b_{0}} ，使得 a 0 b 0 = 2 {\displaystyle {\frac {a_{0}}{b_{0}}}={\sqrt {2}}} 将 2 {\displaystyle {\sqrt {2}}} 重写成最简分数 a b {\displaystyle {\tfrac {a}{b}}} ，即 a {\displaystyle a} 和 b {\displaystyle b} 互素，且 ( a b ) 2 = 2 {\displaystyle \left({\tfrac {a}{b}}\right)^{2}=2} 所以 a 2 b 2 = 2 {\displaystyle {\frac {a^{2}}{b^{2}}}=2} ，即 a 2 = 2 b 2 {\displaystyle a^{2}=2b^{2}} 因为 2 b 2 {\displaystyle 2b^{2}} 必为偶数，故 a 2 {\displaystyle a^{2}} 亦是偶数 故 a {\displaystyle a} 为偶数（奇数的平方不会是偶数） 所以必有一整数 k {\displaystyle k} ，使得 a = 2 k {\displaystyle a=2k} 将（3）的式子代入（6）： 2 b 2 = ( 2 k ) 2 {\displaystyle 2b^{2}=\left(2k\right)^{2}} 化简得 b 2 = 2 k 2 {\displaystyle b^{2}=2k^{2}} 因为 2 k 2 {\displaystyle 2k^{2}} 是偶数，所以 b 2 {\displaystyle b^{2}} 是偶数， b {\displaystyle b} 亦是偶数 所以 a {\displaystyle a} 和 b {\displaystyle b} 都是偶数，跟 a b {\displaystyle {\frac {a}{b}}} 是最简分数的假设矛盾 因为导出矛盾，所以（1）的假设错误， 2 {\displaystyle {\sqrt {2}}} 不是有理数，即是无理数 这个证明可推广至证明任何非完全平方数的正整数 n {\displaystyle n} ，其算术平方根 n {\displaystyle {\sqrt {n}}} 为无理数。 另一个证明 另外一个 2 {\displaystyle {\sqrt {2}}} 是无理数的反证法证明较少为人所知，但证明方法也相当漂亮： 假设 2 {\displaystyle {\sqrt {2}}} 是有理数，便可以表示成最简分数 m n {\displaystyle {\frac {m}{n}}} ，其中 m {\displaystyle m} , n {\displaystyle n} 为正整数 2 = 2 1 = ( 2 − 2 ) ( 2 + 1 ) 2 − 1 = ( 2 − 2 ) ( 2 + 1 ) ( 2 − 1 ) ( 2 + 1 ) = 2 − 2 2 − 1 {\displaystyle {\sqrt {2}}={\frac {\sqrt {2}}{1}}={\frac {(2-{\sqrt {2}})({\sqrt {2}}+1)}{2-1}}={\frac {(2-{\sqrt {2}})({\sqrt {2}}+1)}{({\sqrt {2}}-1)({\sqrt {2}}+1)}}={\frac {2-{\sqrt {2}}}{{\sqrt {2}}-1}}} 由于 2 = m n {\displaystyle {\sqrt {2}}={\frac {m}{n}}} ，所以 2 − 2 2 − 1 = 2 − m n m n − 1 = 2 n − m m − n {\displaystyle {\frac {2-{\sqrt {2}}}{{\sqrt {2}}-1}}={\frac {2-{\frac {m}{n}}}{{\frac {m}{n}}-1}}={\frac {2n-m}{m-n}}} 因为 m − n n = 2 − 1 {\displaystyle {\frac {m-n}{n}}={\sqrt {2}}-1} 2 > 2 ⇒ 1 + 1 > 2 ⇒ 2 − 1 < 1 {\displaystyle 2>{\sqrt {2}}\Rightarrow 1+1>{\sqrt {2}}\Rightarrow {\sqrt {2}}-1<1} 所以 m − n < n {\displaystyle m-n<n} 故 2 n − m m − n {\displaystyle {\frac {2n-m}{m-n}}} 是比 m n {\displaystyle {\frac {m}{n}}} 更简的分数，与 m n {\displaystyle {\frac {m}{n}}} 是最简分数的假设矛盾 从一个直角边为 n {\displaystyle n} ，斜边为 m {\displaystyle m} 的等腰直角三角形，可以用尺规作图作出直角边为 m − n {\displaystyle m-n} ，斜边为 2 n − m {\displaystyle 2n-m} 的等腰直角三角形。这是古希腊几何学家的作图证明方法。 性质 2的算术平方根可以表示为以下的级数或无穷乘积： 1 2 = ∏ k = 0 ∞ ( 1 − 1 ( 4 k + 2 ) 2 ) = ( 1 − 1 4 ) ( 1 − 1 36 ) ( 1 − 1 100 ) ⋯ {\displaystyle {\frac {1}{\sqrt {2}}}=\prod _{k=0}^{\infty }\left(1-{\frac {1}{(4k+2)^{2}}}\right)=\left(1-{\frac {1}{4}}\right)\left(1-{\frac {1}{36}}\right)\left(1-{\frac {1}{100}}\right)\cdots } 2 = ∏ k = 0 ∞ ( 4 k + 2 ) 2 ( 4 k + 1 ) ( 4 k + 3 ) = ( 2 ⋅ 2 1 ⋅ 3 ) ( 6 ⋅ 6 5 ⋅ 7 ) ( 10 ⋅ 10 9 ⋅ 11 ) ( 14 ⋅ 14 13 ⋅ 15 ) ⋯ {\displaystyle {\sqrt {2}}=\prod _{k=0}^{\infty }{\frac {(4k+2)^{2}}{(4k+1)(4k+3)}}=\left({\frac {2\cdot 2}{1\cdot 3}}\right)\left({\frac {6\cdot 6}{5\cdot 7}}\right)\left({\frac {10\cdot 10}{9\cdot 11}}\right)\left({\frac {14\cdot 14}{13\cdot 15}}\right)\cdots } 2 = ∏ k = 0 ∞ ( 1 + 1 4 k + 1 ) ( 1 − 1 4 k + 3 ) = ( 1 + 1 1 ) ( 1 − 1 3 ) ( 1 + 1 5 ) ( 1 − 1 7 ) ⋯ . {\displaystyle {\sqrt {2}}=\prod _{k=0}^{\infty }\left(1+{\frac {1}{4k+1}}\right)\left(1-{\frac {1}{4k+3}}\right)=\left(1+{\frac {1}{1}}\right)\left(1-{\frac {1}{3}}\right)\left(1+{\frac {1}{5}}\right)\left(1-{\frac {1}{7}}\right)\cdots .} 1 2 = ∑ k = 0 ∞ ( − 1 ) k ( π 4 ) 2 k ( 2 k ) ! . {\displaystyle {\frac {1}{\sqrt {2}}}=\sum _{k=0}^{\infty }{\frac {(-1)^{k}\left({\frac {\pi }{4}}\right)^{2k}}{(2k)!}}.} 2 = ∑ k = 0 ∞ ( − 1 ) k + 1 ( 2 k − 3 ) ! ! ( 2 k ) ! ! = 1 + 1 2 − 1 2 ⋅ 4 + 1 ⋅ 3 2 ⋅ 4 ⋅ 6 − 1 ⋅ 3 ⋅ 5 2 ⋅ 4 ⋅ 6 ⋅ 8 + ⋯ . {\displaystyle {\sqrt {2}}=\sum _{k=0}^{\infty }(-1)^{k+1}{\frac {(2k-3)!!}{(2k)!!}}=1+{\frac {1}{2}}-{\frac {1}{2\cdot 4}}+{\frac {1\cdot 3}{2\cdot 4\cdot 6}}-{\frac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6\cdot 8}}+\cdots .} 2 = ∑ k = 0 ∞ ( 2 k + 1 ) ! ( k ! ) 2 2 3 k + 1 = 1 2 + 3 8 + 15 64 + 35 256 + 315 4096 + 693 16384 + ⋯ . {\displaystyle {\sqrt {2}}=\sum _{k=0}^{\infty }{\frac {(2k+1)!}{(k!)^{2}2^{3k+1}}}={\frac {1}{2}}+{\frac {3}{8}}+{\frac {15}{64}}+{\frac {35}{256}}+{\frac {315}{4096}}+{\frac {693}{16384}}+\cdots .} 2的算术平方根的连分数展开式为： 2 = 1 + 1 2 + 1 2 + 1 2 + 1 ⋱ . {\displaystyle \!\ {\sqrt {2}}=1+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{\ddots }}}}}}}}.} [注1] 注释 注: [注1]令 x = 2 + 1 2 + 1 2 + 1 2 + 1 ⋱ {\displaystyle \!\ x=2+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{\ddots }}}}}}}}} ， 由观察可知 x = 2 + 1 x {\displaystyle x=2+{\frac {1}{x}}} ，即 x 2 − 2 x − 1 = 0 {\displaystyle x^{2}-2x-1=0} ， 解方程，取正根，得 x = 1 + 2 {\displaystyle x=1+{\sqrt {2}}} ， 因此 2 = x − 1 = 1 + 1 2 + 1 2 + 1 2 + 1 ⋱ {\displaystyle {\sqrt {2}}=x-1=1+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{\ddots }}}}}}}}} 。 参见 3的算术平方根 5的算术平方根 平方根 无理数外部链接 2 {\displaystyle {\sqrt {2}}} 是无理数的六个证明，香港大学数学系萧文强（页面存档备份，存于互联网档案馆）（Mathematical Excalibur Vol.3 No.1 Page 2） 旧题新解 — 根号2是无理数，张海潮 张镇华[永久失效链接]（数学传播 第 30 卷 第 4 期）Wikiwand - on Seamless Wikipedia browsing. On steroids.
是无理数的反证法证明较少为人所知，但证明方法也相当漂亮：
是有理数，便可以表示成最简分数
，其中
, 
为正整数
，所以
是比更简的分数，与是最简分数的假设矛盾，斜边为的等腰直角三角形，可以用尺规作图作出直角边为
，斜边为
的等腰直角三角形。这是古希腊几何学家的作图证明方法。
