無理數

無理數（irrational number）是指有理数以外的实数，當中的「理」字来自于拉丁语的rationalis，意思是「理解」，实际是拉丁文对于logos「说明」的翻译，是指无法用两整数之比来说明的无理数。

非有理數之實數不能寫作兩整數之比。若將它寫成小數形式，小數點後有無限多位，並且不會循環，即无限不循环小数（任何有限或无限循环小数可表示成两整数的比）。常見無理數有大部分的平方根、π和e（後兩者同時為超越數）等。無理數另一特徵是無限的連分數表達式。

傳說中，无理数最早由畢達哥拉斯學派弟子希伯斯发现，他以幾何方法證明${\sqrt {2}}$無法用整数及分數表示；而畢達哥拉斯深信任意数均可用整数及分数表示，不相信無理數存在，後來希伯斯触犯学派章程，将无理数透露给外人，因而被扔进海中处死，其罪名竟然等同于“渎神”。另見第一次數學危機。

無理數可以通過有理數的分划的概念來定義。

举例

1. ${\sqrt {3}}=$1.73205080…
2. $\log _{10}3=$＝0.47712125…
3. $e=$2.71828182845904523536…
4. ${\textstyle \sin 45^{\circ }={\frac {\sqrt {2}}{2}}=}$0.70710678…
5. $\pi =$3.141592653589793238462…

性质

• 无理数加或减无理数不一定得无理数，如$\log _{10}2+\log _{10}5=\log _{10}10=1$。
• 无理数乘不等于0的有理数必得无理数。
• 无理数的平方根、立方根等次方根必得无理数。

不知是否是無理數的數

$\pi +e$、$\pi -e$等，事实上，對于任何非零整數$m\,$及$n\,$，不知道$m\pi +ne\,$是否無理數。

無理數與無理數的四則運算的結果往往不知道是否無理數，只有π－π＝0、${\sqrt {2}}+{\sqrt {3}}$等除外。

我們亦不知道$2^{e}\,$、$\pi ^{e}\,$、$\pi ^{\sqrt {2}}$、欧拉－马歇罗尼常数$\gamma \,$、卡塔兰常数$G$和费根鲍姆常数是否無理數。

無理數集的特性

無理數集是不可數集（有理數集是可數集而實數集是不可數集）。無理數集是不完備的拓撲空間，它與所有正數數列的集拓撲同構，當中的同構映射是無理數的連分數開展，因而贝尔纲定理可應用於無數間的拓撲空間。

無理化作連分數的表達式

$x^{2}=c\qquad (c>0)$，

選取正實數$\rho \,$使

$\rho ^{2}<c\!$。

經由遞迴處理

${\begin{aligned}x^{2}\ -\!\rho ^{2}&=c\ -\!\rho ^{2}\\(x\ -\!\rho )(x\ +\!\rho )&=c\ -\!\rho ^{2}\\x\ -\!\rho &={\frac {c\ -\!\rho ^{2}}{\rho \ +\!x}}\\x&=\rho \ +\!{\frac {c\ -\!\rho ^{2}}{\rho \ +\!x}}\\&=\rho \ +\!{\cfrac {c\ -\!\rho ^{2}}{\rho \ +\!\left(\rho \ +\!{\cfrac {c\ -\!\rho ^{2}}{\rho \ +\!x}}\right)}}\\&=\rho \ +\!{\cfrac {c\ -\!\rho ^{2}}{2\rho \ +\!{\cfrac {c\ -\!\rho ^{2}}{2\rho \ +\!{\cfrac {c\ -\!\rho ^{2}}{\ddots \,}}}}}}={\sqrt {c}}\,\end{aligned}}$

無理數之證

证明${\sqrt {N}}$是无理数

假设${\sqrt {N}}$是有理数，且${\sqrt {N}}={\frac {p}{q}}$，${\frac {p}{q}}$是最简分数，$N$是正整数且不是完全平方数。

两边平方，得$N={\frac {p^{2}}{q^{2}}}$。将此式改写为$Nq^{2}=p^{2}$。

因为$q^{2}$、$p^{2}$都是不为0的完全平方数，所以只有在$N$也是完全平方数的情况下，此式才存在解。当$N$不是完全平方数时，那么不存在这样的$p$和$q$，所以${\sqrt {N}}$就是无理数。

可以进一步得出当$b^{2}-4ac$不是完全平方数时，方程$ax^{2}+bx+c=0$的解是无理数。

证明$\log _{2}3$是无理数

假设$\log _{2}3$是有理数，且$\log _{2}3={\frac {p}{q}}$，那么有

$2^{p/q}=3$

$(2^{p/q})^{q}=3^{q}$

$2^{p}=3^{q}.$

因为$2^{p}$是偶数，$3^{q}$是奇数，所以得到矛盾，因此$\log _{2}3$是无理数。

参见

• 分划
• 丢番图逼近
• 3的算术平方根
• 5的算术平方根
• 超越数
• 第一次數學危機
• 正規數

外部連結

• 從畢氏學派到歐氏幾何的誕生，蔡聰明 （页面存档备份，存于互联网档案馆），有畢氏弄石法的證明
• ${\sqrt {2}}$是無理數的六個證明，香港大學數學系蕭文強 （页面存档备份，存于互联网档案馆）（Mathematical Excalibur Vol.3 No.1 Page 2）
• 舊題新解—根號2是無理數，張海潮 張鎮華（數學傳播 第30卷 第4期）