什么叫做有理数，有理式，什么叫做无理数，无理式

有理式，包括分式和整式。这种代数式中对于字母只进行有限次加、减、乘、除和整数次乘方这些运算。例如2x + 2y等都是有理式。在代数式的分类中，所指的运算都是针对字母的。如代数式的开方运算没有针对字母，所以仍属有理式，不算无理式。
无理式，被开方数中含有字母的根式叫做无理式，它是代数式的一种，含有无理式的方程叫根式方程。任何无理方程都可以通过分母有理化转化成有理方程来求解，也可以通过换元法、根式代换法或者三角代换法来求解。求解无理方程会产生增根的问题，所得结果必须验根，并讨论所适用的定义域。注意，如果一个数的n（n是正整数）次方根不是有理数，那么这个数的n次方根也是无理式。
有理数为整数和分数的统称。正整数和正分数合称为正有理数，负整数和负分数合称为负有理数。因而有理数集的数可分为正有理数、负有理数和零。由于任何一个整数或分数都可以化为十进制循环小数，反之，每一个十进制循环小数也能化为整数或分数，因此，有理数也可以定义为十进制循环小数。
无理数，也称为无限不循环小数，不能写作两整数之比。若将它写成小数形式，小数点之后的数字有无限多个，并且不会循环。 常见的无理数有非完全平方数的平方根、π和e（其中后两者均为超越数）等。无理数的另一特征是无限的连分数表达式。无理数最早由毕达哥拉斯学派弟子希伯索斯发现。
公元前500年，毕达哥拉斯学派的弟子希伯索斯（Hippasus）发现了一个惊人的事实，一个正方形的对角线与其一边的长度是不可公度的（若正方形的边长为1，则对角线的长不是一个有理数），这一不可公度性与毕氏学派的“万物皆为数”（指有理数）的哲理大相径庭。这一发现使该学派领导人惶恐，认为这将动摇他们在学术界的统治地位，于是极力封锁该真理的流传，希伯索斯被迫流亡他乡，不幸的是，在一条海船上还是遇到毕氏门徒。被毕氏门徒残忍地投入了水中杀害。科学史就这样拉开了序幕，却是一场悲剧。
希伯索斯的发现，第一次向人们揭示了有理数系的缺陷，证明了它不能同连续的无限直线等同看待，有理数并没有布满数轴上的点，在数轴上存在着不能用有理数表示的“孔隙”。而这种“孔隙”经后人证明简直多得“不可胜数”。于是，古希腊人把有理数视为连续衔接的那种算术连续统的设想彻底地破灭了。不可公度量的发现连同芝诺悖论一同被称为数学史上的第一次数学危机，对以后2000多年数学的发展产生了深远的影响，促使人们从依靠直觉、经验而转向依靠证明，推动了公理几何学和逻辑学的发展，并且孕育了微积分思想萌芽。
不可约的本质是什么？长期以来众说纷纭，得不到正确的解释，两个不可通约的比值也一直认为是不可理喻的数。15世纪意大利著名画家达.芬奇称之为“无理的数”，17世纪德国天文学家开普勒称之为“不可名状”的数。
然而真理毕竟是淹没不了的，毕氏学派抹杀真理才是“无理”。人们为了纪念希伯索斯这位为真理而献身的可敬学者，就把不可通约的量取名“无理数”——这就是无理数的由来。
由无理数引发的数学危机一直延续到19世纪下半叶。1872年，德国数学家戴德金从连续性的要求出发，用有理数的“分割”来定义无理数，并把实数理论建立在严格的科学基础上，从而结束了无理数被认为“无理”的时代，也结束了持续2000多年的数学史上的第一次大危机。[2]