无理数
无理数（Irrational number），是无限不循环的小数，即不能用分数进行表示的数。如在计算2的算术平方根时，开方的过程可以无限继续下去，得到的小数1.41421···就不是无限循环小数。
无理数最早是由毕达哥拉斯学派成员希伯斯发现的。他当正五边形的边长为1时，对角线既不是整数也不是分数，于是断言正五边形的对角线和边长的比，是人们还没有认识的新数。希伯索斯的这一发现，动摇了毕达哥拉斯学派的基础，引起了数学界的一度混乱，出现了数学史上“第一次危机”，即“无理数危机”。1872年，德国数学家从连续性的要求出发，用有理数的“分割”来定义无理数，“无理数危机”得以结束。
无理数可以用反证法、级数及多项式相关定理证明。无理数集具有稠密性。与无理数相关的概念有无限简单连分数和超越数。常见的无理数包括黄金分割比例、圆周率与自然对数的底数，它们在建筑、物理、概率论等领域得到广泛应用。无理数也是数轴的重要组成部分，也可以运用到在具有几何形状物体及运动着的物体的轨迹的计算方面；在机械设计中，为了确定一个有关的量，仅用整数和有理数往往还是不够的，而必须用到近似的无理数。
定义
有理数
凡是可用表示（、是整数，）的数称为有理数。它可以用有限小数或无限循环小数表示，即任何一个有理数，都可以改用小数表示出来：
例如，，或者。
反过来，任何一个有限小数（包括小数部分为0的整数）或者无限循环小数，也都可以把它化成的形式。
例如，；；。
无理数
在实际问题中，人们会遇到不能用有限小数和无限循环的小数来表示的数。
例如，在计算2的算术平方根时，可以发现，开方的过程可以无限继续下去，得到的小数1.41421···就不是无限循环小数。人们把这种无限不循环小数或者不能用分数进行表示的数叫做无理数。
例如：是一个无理数。除此之外，像、、、等也都是无理数。圆周率也是无理数。
但是开方得到的数并不都是无理数，因为有些数是开方开得尽的数，例如 ， ，等等，这些数都是有理数。而无理数并不都是从开方得到的，例如上面所说的圆周率π。所以开方开不尽的数都是无理数，而无理数就不一定都是开方开不尽的数。
简史
毕达哥拉斯（Pythagoras，公元前580-前500年），古希腊哲学家和数学家，他认为：“任何两条线段之比，都可以用两个整数的比来表示。”两个整数的比实际上包括了整数和分数。因此，毕达哥拉斯认为，世界上只存在整数和分数，除此以外，没有别的什么数了。可是不久就出现了一个问题，当一个正方形的边长是1的时候，他们不知道对角线的长m是整数还是分数。根据勾股定理，毕达哥拉斯和他的门徒一直找不出这个数。
毕达哥拉斯学派有个成员叫希伯斯（Hippasus），对正方形对角线问题也很感兴趣，并花费了很多时间去钻研这个问题。毕达哥拉斯研究的是正方形的对角线和边长的比，而希伯索斯却研究的是正五边形的对角线和边长的比。希伯索斯发现当正五边形的边长为1时，对角线既不是整数也不是分数，于是他断言正五边形的对角线和边长的比，是人们还没有认识的新数。
希伯索斯从几何上发现无理数的存在，动摇了毕达哥拉斯学派的基础，引起了数学界的一度混乱，出现了数学史上“第一次危机”，即“无理数危机”。毕达哥拉斯下令封锁希伯斯的发现，最后希伯索斯被毕达哥拉斯门徒扔进了大海。
随后相当长的一段历史时期，人们只能认识经验所及的自然数以及由它所衍生的有理数。15世纪列奥纳多·达·芬奇（Leonardo da vinci）把人们还没认识但理应存在的数称为“无可理喻的数”。17世纪天文学家约翰尼斯·开普勒（Keper J）把这些数称为“不可名状的数”。到了18世纪，为了构建微积分的理论基础，人们开始重视无理数的研究。
由无理数引发的数学危机一直延续到了19世纪的下半叶，1872年，德国数学家戴德金从连续性的要求出发，用有理数的“分割”来定义无理数：非有理数之实数，不能写作两整数之比。若将它写成小数形式，小数点之后的数字有无限多个，并且不会循环。戴德金把实数理论建立在了严格的科学基础上，从而结束了无理数被认为“无理”的时代，持续了两千多年的数学史上第一次危机也得以结束。
1891年， 阿道夫·胡尔维茨（J.Hurwitz）利用法理（Farey）数列，而不是利用连分数，证明了他的关于无理数的有理逼近的定理。1903年，波莱尔（E.Borel）指出，无理数的连分数的每三个相邻的渐近分数中，至少有一个满足胡尔维茨定理中的条件。1851年，约瑟夫·刘维尔（J.Liouville）构造了第一批可以给出证明的超越数。1873年，埃尔米特（C.Hermite）证明了数的超越性，随后1882年，冯·林德曼（F.Lindemann）则证明了数的超越性。
证明
反证法
例如，求证是无理数。
证明：用反证法证明，假设是有理数，因此存在两个整数和使（，b互质），把等式两边分别取平方得到：
所以，
因为是偶数，所以必须也是偶数。是偶数意味着它可以被2整除，即仍然是一个整数。
假设，即，将上面等式代入，得到：
所以，
同理用之前证明为偶数的方法证明也是偶数。从上面等式中可以看出是某个数的两倍，所以它是一个偶数，即也是一个偶数。
综上，都为偶数，其与互质相矛盾，所以原假设不成立，即不能被写成分数形式，因此它是一个无理数。
用级数证明
例如，若，则数e是无理数。
证明：首先将证明是无理数，的级数是交错级数，它各项的绝对值逐步地减小，在这样的交错级数中，到第n项为止所形成的误差与忽略掉的第一项同号，而误差的绝对值小于忽略掉的第一项的绝对值，于是，如果，则有不等式
，
由此对任何整数可得
，
现在永远是整数。如果是有理数，则可以取到充分大的使得也是整数。这时由上述不等式可知这两个整数的差将是介于0和1/2之间的数，而这是不可能的，这说明不可能是有理数，从而不可能是有理数。
用多项式相关定理证明
整系数多项式有理数根定理
整系数多项式有理数根定理为：设方程
的每一个系数都是整数，并且，这种方程称作整数系方程。如果它有有理数根（其中为互质的整数），那么和满足：
利用定理证明无理数
例如，证明是无理数。
证明：令，去掉根号，并整理得：
这是一个整数系方程，是它的一个根。
根据整系数多项式有理数根定理，这方程的有理根只可能是±1，±23，经检验它们都不满足方程，说明方程没有有理根，即是无理数。
性质
任何两个不相等的无理数之间总存在一个无理数。若是两个不相等的无理数，不妨设，则仍是无理数，且。这种性质称为无理数的稠密性。
无理数的有理逼近
通常计算一个无理数（以为例），通过开方可得到一串近似值1，1.4，1.41，1.414，1.4142···，其精确度越来越高，，即近似值与（的精确值）之间的误差越来越小，这就是用一串有理数来逼近无理数的过程。
设是一个实数，考虑所有分母为（正整数）的有理数，那么必位于两个分母为的有理数之间，即存在整数，使得。
取是两个端点，中离最近的一个，那么这个数与的距离不会超过两端点间距离的一半，于是得到：
定理1（狄利克雷逼近定理）
设是一个实数，是任意给定的实数，那么存在整数满足：
证明：先设是整数，将等分为个子区间：
由抽屉原理（将n+1个物品放入n个抽屉，则至少有一个抽屉中的物品数不少于两个），个实数中至少有两个落在同一个子区间中，这两个数可能是和，其中且互异；也可能是和，其中。因为，所以存在整数及整数，使得
（是子区间的长）
不妨认为，令即得和。若不是整数，同理可证。
定理2
实数是无理数，当且仅当不等式成立时，有无穷多对（互质）整数解。
定理3（实数无理性的判别准则）
实数是无理数，当且仅当对于每个，可找到整数和，满足不等式。
证明：如果是无理数，那么由定理2可知，存在无穷多个分数，严格单调上升，且满足（），有
对于每个给定的，可取，使得，由得
因此，满足。
推论1
设是一个实数，如果存在常数和实数，以及无穷有理数列，满足：
那么是无理数。
推论2
设是一个实数，如果存在无穷多对整数，使得当时，，而且，那么是无理数。
证明：设是有理数，d是它的分母，那么当时，是非零整数，但同时，这不可能。
相关概念
无限简单连分数
定义
分数（是整数，是正整数），称为有限简单连分数，简称有限连分数，常记为，若，则称之为无限简单连分数。
与无理数的关系
定理：任意无理数都可表示成无限简单连分数。
证明：设是无理数，则由，可得：
从而，，且，，其中是的渐进分数。
下证，由于
所以，，即，
又，所以任意无理数都可表示成无限简单连分数。
超越数
定义
超越数定义：不是代数数的数，称为超越数。
定理1:：超越数是存在的。
证明：用表示所有的次数为系数绝对值不超过的整数系多项式的零点的集合，用表示所有代数数的集合，则
。
由于每个是有限集合，所以是一个可数集合。但是，全体复数的集合是不可数集合，因此，超越数是存在的。
一些无理数也是超越数
无理数集中，有些数也是超越数，但是需满足这样的条件：设是实无理数，若存在常数，有理数列，以及递增的实数列，使得：
对于所有的成立，则是超越数。
对于所有的成立，但是由于，当充分大时，这与矛盾，所以不能是代数数，证毕。
应用
数学领域
无理数是数轴的重要组成部分：坐标几何或解析几何的基础都是数轴的建立，数轴上除了所有的有理数点外，还有空隙，这些空隙需要无理数填满。
无理数可以运用到在具有几何形状物体及运动着的物体的轨迹的计算方面：随着人类科技活动的深入，特别是天文观测手段提高之后，大量科学数据需要更为精确、合理的分析与计算。
机械设计领域
在机械设计中，为了确定一个有关的量，仅用整数和有理数往往还是不够的，而必须用到近似的无理数。无理数必须用无限不循环小数来精确表示，但在实际计算中，是用有限个有效数字近似表示的。例如2的平方根可以用无限不循环小数1.414213···精确表示，而在应用中则用有限个数字表示，如1.414。另外一个例子：梁的计算挠度通常是一个无理数，常用有限个有效数字近似表示，如0.0376in。然而，如果某一个规定的量用某个确定的数字表示，例如尺寸2.3875in，那么就现实情况看可以认为这是一个已经近似了的无理数。
建筑领域
黄金分割比例定义
黄金分割的比例是一个无理数， 通常用希腊字母φ来表示，大约等于1.618。
设一个符合黄金分割的长方形，它的长度是x，宽度是y。如果用剪刀从中剪掉一个边长为y 的正方形（即图中灰色的部分），剩下的长方形长宽之比依然会符合黄金分割。同时还可以继续剪掉一个正方形（图中黑色的部分），剩下的长方形（图中白色的部分）长宽之比还是会符合黄金分割。即如果这样不断地剪下去，剩余部分的长宽比都是符合黄金分割的。
黄金分割比例应用
在建筑设计中，建筑师把黄金分割比例奉为重要的形式美法则。如哥特式城堡建筑就采用了黄金分割比例。巴黎圣母院外立面外接黄金分割比例的矩形，矩形中的主体正方形包含了外立面的主要部分，而竖向黄金分割矩形则含有两个塔楼。辅助线就是两条在天窗上方交叉的对角线，它们贯穿了建筑外立面带有装饰变化的主要结构的额对角。
物理领域
在物理计算中，圆周率()作为物理常数运用到物理计算中，如物理单位平面角秒的换算：
概率论
自然对数的底数e在概率论中的应用：根据概率论原理，正态分布曲线的数学表达式为：
参考资料
无理数.术语在线.2023-12-05