证明方法：
反证法，假设a+x是有理数，因为a是有理数，所以a+x-a=x是有理剞麽苍足数，这与x为无理数矛盾，所以原假设错误，所以a+x是无理数。
无理数，也称为无限不循环小数，不能写作两整数之比。若将它写成小数形式，小数点之后的数字有无限多个，并且不会循环。 常见的无理数有非完全平方数的平方根、π和e（其中后两者均为超越数）等。无理数的另一特征是无限的连分数表达式。无理数最早由毕达哥拉斯学派弟子希伯索斯发现。
在数学中，无理数是所有不是有理数字的实数，后者是由整数的比率（或分数）构成的数字。当两个线段的长度比是无理数时，线段也被描述为不可比较的，这意味着它们不能“测量”，即没有长度（“度量”）。
常见的无理数有：圆周长与其直径的比值，欧拉数e，黄金比例φ等等。
可以看出，无理数在位置数字系统中表示（例如，以十进制数字或任何其他自然基础表示）不会终止，也不会重复，即不包含数字的子序列。
打个比方：
例如，数字π的十进制表示从3.141592653589793开始，但没有有限数字的数字可以精确地表示π，也不重复。必须终止或重复的有理数字的十进制扩展的证据不同于终止或重复的十进制扩展必须是有理数的证据，尽管基本而不冗长，但两种证明都需要一些工作。数学家通常不会把“终止或重复”作为有理数概念的定义。
