0.999… 等于 1，你有几种证明方式？
0.999… 到底等不等于 1？从 1/3×3、10x−x、到「中间塞不下一个数」，几条路都指向同一个答案—— 它就是 1。借这道吵了几十年的经典争论，聊「看」与「证」之间那道裂缝。
楔子 · 你以为它还差一口气
「无限接近，但永远差那么一点点」——这是几乎所有人对 0.999… 的第一直觉，稳得不能再稳。可它恰恰是错的。这一篇，我们一条路一条路，把这口「差一点点」的气彻底放掉。
先问一个看上去根本不值得问的问题：0.999…，小数点后面跟着无穷多个 9，它到底等不等于 1。
几乎所有人的第一反应都是不等：无限接近，但差那么一点点，永远差那么一点点，到不了 1。这个答案听上去稳得不能再稳，可它是错的，0.999… 不是接近 1，也不是趋向 1，它就是 1，一个都不差。
你大概已经想反驳了。先把你的反驳记在心里，我们一条路一条路走。
一条最顺的路
你大概是信 1/3 = 0.333… 的，小学做除法就是这么除出来的，3 除 1 永远除不尽，商里的 3 一个接一个地往后排。那好，把这个等式两边同时乘以 3：左边，1/3 乘 3，干干净净等于 1；右边，0.333… 乘 3，每一位的 3 都变成 9，于是是 0.999…。两边各自算完，得到的就是 0.999… = 1。
你如果信前一个等式，就没有理由不信这一个，它们是同一个东西的两种写法。
再换一条路
设 x = 0.999…。把它乘以 10，小数点往右挪一位，得到 9.999…，注意小数部分仍然是无穷多个 9，和原来那串一模一样，没多也没少。现在拿大的减去小的：
10x 减 x，小数点后面那些 9 一位一位地对消干净，左边剩下 9x，右边只剩下整数 9。于是 9x = 9，解出来 x = 1。
还有一条根本不用算
这条只问你一句话。两个不相等的实数之间，一定塞得下别的数——最起码，你总能取它们的中点，那个中点既比小的大、又比大的小。
那好，假如 0.999… 真的小于 1，请你给我找一个数，它比 0.999… 大，同时又比 1 小。你找不出来。你写 0.9999999，它比 0.999… 小；你想往 0.999… 和 1 之间塞任何一个具体的数，都会发现塞不进去，它们之间根本没有缝隙。而两个之间连一个数都塞不下的数，是同一个数。
问题出在「差一点点」上
走到这儿，你可能觉得每条路都像在耍赖，被一步步绕了进去，心里那个「它就是差一点点啊」始终没被说服。那我们就回到最根上，看看这个写法到底指的是什么。
0.999… 这个记号，它指的不是一个动作。它不是「9 一个接一个往后添、添个没完」的那个过程；在数学里，它指的是这个过程的终点——是 0.9、0.99、0.999… 这一串数越走越靠近的那个唯一的数，专业一点的说法叫极限。而这一串数到底在靠近哪个数，是确定的、毫无悬念的，就是 1。
你心里那个「差一点点」，问题恰恰出在这儿。你说它差一点点，那请你说出这一点点到底是多少。是 0.1 吗？9 添到第二位，差距就比它小了。是 0.0001 吗？添到第五位就越过去了。不管你报出哪个正数，只要 9 添得足够多，差距总会比你报的那个数还要小。一个比任何正数都小、又不可能是负的数，只能是 0。而差 0，就是相等。
你的眼睛看到的，是一个永远在逼近、永远还差一口气的过程；可这个写法指的，是它早就抵达的那个终点。看，让你以为它还在路上；证，告诉你它其实早就到站了。
为什么这种题能吵上几千条
0.999… 这场争论之所以能吵几十年、在评论区吵出几千条，不是因为谁的算术差，而是因为吵架的两个人，手里「0.999…」和「等于」这两个词，根本是两套不同的定义：一个人说的是那个永远添不完的过程，另一个人说的是这个过程的极限。各自在自己的定义里，其实都没说错，只是从没把定义摆到台面上对一对。一旦把等号两边的意思对齐，争论自己就消了。
很多看起来势不两立的分歧，拆到底都是这么回事——大家用着同一个符号，心里却各自填着不同的意思，然后为这个符号吵得面红耳赤。
所以这道题真正留下的，不是「0.999… 等于 1」这条冷知识。是另一件让人有点不安的事：你刚才那么笃定它不等于 1，那份笃定并不是因为你算错了，而是因为你太信自己的眼睛——你看着那串永远添不完的 9，就一口咬定它到不了。
可你这辈子认定的很多「明摆着」的事，大概也都是这么来的：眼睛扫了一遍，就替你下了结论，从没回头去翻一翻，它到底是按哪一个定义写的。
光靠看，是看不出来的。