<p><b>0.999…</b>，也可寫成<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 0.{\overline {9}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mn>0.</mn>
        <mrow class="MJX-TeXAtom-ORD">
          <mover>
            <mn>9</mn>
            <mo accent="false">¯<!-- ¯ --></mo>
          </mover>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle 0.{\overline {9}}}</annotation>
  </semantics></math></span></span>、<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 0.{\dot {9}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mn>0.</mn>
        <mrow class="MJX-TeXAtom-ORD">
          <mrow class="MJX-TeXAtom-ORD">
            <mover>
              <mn>9</mn>
              <mo>˙<!-- ˙ --></mo>
            </mover>
          </mrow>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle 0.{\dot {9}}}</annotation>
  </semantics></math></span></span>或<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 0.(9)}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mn>0.</mn>
        <mo stretchy="false">(</mo>
        <mn>9</mn>
        <mo stretchy="false">)</mo>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle 0.(9)}</annotation>
  </semantics></math></span></span>，是一個具有特殊意義的無限循環小數。在數學的完備實數系中，「0.999…」所表示的數與「1」相同。</p>


<h2><span id=".E7.AE.80.E4.BB.8B"></span><span id="简介">簡介</span></h2>
<p>0.999…是書寫於小數記數系統中的一個數，讀作：「零點九，九循環」。一些最簡單的0.999… = 1 的證明都依賴於這個系統方便的算術性質。大多數的小數算術──加法、減法、乘法、除法，以及大小的比較，使用與整數差不多的數位層次的操作。與整數一樣，任何兩個有限小數只要數位不同，那麼數值也一定不同。相對的，任何一個形如0.99…9的數，只要只得有限個9，這些9最終會停止，則這個數字是小於1的。
</p><p>這類展開式的非唯一性不僅限於十進位系統，相同的現象也出現在其它的整數進位制中。數學家們也列舉出了一些1在非整數進位制中的寫法，這種現象也不是僅僅限於1的：對於每一個非零的有限小數，都存在另一種含有無窮多個9的寫法，由於簡便的原因，這時幾乎肯定使用有限小數的寫法，這樣就更加使人們誤以為沒有其它寫法了，實際上，一旦在完備實數系中允許使用無限小數，那麼在所有的進位制中都有無窮多種替代的寫法，例如，18.3287與18.3286999…、18.3287000…，以及許多其它的寫法，都表示相同的數，這些各種各樣的等式被用來更好地理解分數的小數展開式的規律，以及一個簡單碎形圖形──康托爾集合的結構，它們也出現在一個對整個實數的無窮集合的古典研究之中。
</p><p>在過去數十年裡，許多數學教育的研究人員研究了大眾及學生們對該等式的接受程度，許多學生在學習開始時懷疑甚至拒絕該等式，而後許多學生被老師、教科書和如下章節的算術推論說服接受兩者是相等的。儘管如此，許多人們仍常感到懷疑，而提出進一步的辯解，這經常是由於存在不少對數學實數的錯誤觀念等背後因素（參見以下教育中遇到的懷疑一章節），例如認為每一個實數都有唯一的一個小數展開式，以及認為無限小（無窮小）不等於0，並且將0.999…視為一個不定值，即該值只是一直微微擴張變大，因此與1的差永遠是無限小而不是0，因此「永遠都差一點」。可以構造出符合這些直觀的數系，但是只能在用於初等數學或多數更高等數學中的標準實數系統之外進行，的確，某些設計含有「恰恰小於1」的數，不過，這些數一般與0.999…無關（因為與之相關的理論上和實踐上都皆無實質用途），但在數學分析中引起了相當大的關注。
</p><p>誤解0.999…中的省略號的意義，是誤解0.999…= 1的其中一個原因。這裡省略號的用法與日常語言中0.99…9的用法是不同的，0.99…9中的省略號意味著的<b>有限</b>的部分被省略掉了。但是，當用來表示一個循環小數的時候，"…"則意味著<b>無限</b>的部分被省略掉了，這只能用極限的數學概念來闡釋。作為使用傳統數學的結果，指派給記數表示式「0.999…」的值定義為一個實數，該實數為收斂數列（0.9，0.99，0.999，0.9999，0.99999，…）的極限。「0.999…」是一個數列的極限，從而，對於0.999…= 1這個等式就很直觀了。
</p><p>與整數和有限小數的情況不一樣，其實記數法也可以用多種方式表示單一個數值。例如，如果使用分數，<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{smallmatrix}{\frac {1}{3}}={\frac {2}{6}}\end{smallmatrix}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle scriptlevel="1">
            <mtable rowspacing=".2em" columnspacing="0.333em" displaystyle="false">
              <mtr>
                <mtd>
                  <mrow class="MJX-TeXAtom-ORD">
                    <mfrac>
                      <mn>1</mn>
                      <mn>3</mn>
                    </mfrac>
                  </mrow>
                  <mo>=</mo>
                  <mrow class="MJX-TeXAtom-ORD">
                    <mfrac>
                      <mn>2</mn>
                      <mn>6</mn>
                    </mfrac>
                  </mrow>
                </mtd>
              </mtr>
            </mtable>
          </mstyle>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle {\begin{smallmatrix}{\frac {1}{3}}={\frac {2}{6}}\end{smallmatrix}}}</annotation>
  </semantics></math></span></span>。但是，一個數最多只能用兩種無限小數的方法來表示。如果有兩種方法，那麼其中一種一定是從某一位開始全是循環重複的9，而另外一種則是從某一位開始就全是循環重複的0。
</p><p>0.999… = 1 有許多證明，它們各有不同的嚴謹性。一個嚴謹的證明可以簡單地說明如下。考慮到兩個實數其實是同一個的，若且唯若它們的差等於零。大部分人都同意，0.999…與 1 的差，就算存在也是非常的小(實際上根本不存在，即差等於0)。考慮到以上的收斂數列，這時可以證明這個差的大小一定是小於任何一個正數的，也可以證明（詳細內容參見阿基米德性質），唯一具有這個性質的實數是0。由於差是0，可知 1 和 0.999…是同一數，用相同的理由，也可以解釋為什麼「0.333…=1/3」；而該等式乘上3倍後即可得出「0.999… = 1」。
</p>
<h2><span id=".E8.AF.81.E6.98.8E"></span><span id="证明">證明</span></h2>
<h3><span id=".E5.B0.8D.E4.BD.8D.E7.9B.B8.E6.B8.9B"></span><span id="對位相減">對位相減</span></h3>
<p>在不考慮柯西序列的情況下：1.00000…−0.99999…這個結果為0.000…，也就是後面的0無限循環。這兩個數目皆可表示成無限循環小數，小數點後五位之後還會一直填上0，始終無法找到最後一位來填上1，因為如果補上1就會成為有限小數。1.000… - 0.999… = 0.000… = 0，故1 = 0.999…。
</p><p>這假設了0.999…沒有「最後的9」、這些無限循環小數的小數點後的位數為可列的（可以由第一個數位一個位一個位數下去而於有限次數到任一個數位）（這已得出0.999…沒有「最後的9」）、1.000… - 0.999…的結果存在小數表示式。運算結果將沒有「最後的1」，所以1與0.999…沒有差值。
</p>
<h3><span id=".E4.BB.A3.E6.95.B0"></span><span id="代数">代數</span></h3>
<h4><span id=".E5.88.86.E6.95.B0"></span><span id="分数">分數</span></h4>
<p>無限小數是有限小數的一個必要的延伸，其中一個原因是用來表示分數。用長除法，一個像<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{smallmatrix}{\frac {1}{3}}\end{smallmatrix}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle scriptlevel="1">
            <mtable rowspacing=".2em" columnspacing="0.333em" displaystyle="false">
              <mtr>
                <mtd>
                  <mrow class="MJX-TeXAtom-ORD">
                    <mfrac>
                      <mn>1</mn>
                      <mn>3</mn>
                    </mfrac>
                  </mrow>
                </mtd>
              </mtr>
            </mtable>
          </mstyle>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle {\begin{smallmatrix}{\frac {1}{3}}\end{smallmatrix}}}</annotation>
  </semantics></math></span></span>的簡單整數，長除法後變成了一個循環小數0.333…，其中有無窮多個數字3。利用這個小數，很快就能得到一個 0.999… = 1 的證明。用 3 乘以 0.333… 中的每一個 3，便得到 9，所以 3 × 0.333… 等於 <b>0.999…</b>。而 <span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{smallmatrix}3\times {\frac {1}{3}}\end{smallmatrix}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle scriptlevel="1">
            <mtable rowspacing=".2em" columnspacing="0.333em" displaystyle="false">
              <mtr>
                <mtd>
                  <mn>3</mn>
                  <mo>×<!-- × --></mo>
                  <mrow class="MJX-TeXAtom-ORD">
                    <mfrac>
                      <mn>1</mn>
                      <mn>3</mn>
                    </mfrac>
                  </mrow>
                </mtd>
              </mtr>
            </mtable>
          </mstyle>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle {\begin{smallmatrix}3\times {\frac {1}{3}}\end{smallmatrix}}}</annotation>
  </semantics></math></span></span> 等於1，所以 0.999… = 1。</p><p>這個證明的另外一種形式，是用<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\frac {1}{9}}=0.111...}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mfrac>
            <mn>1</mn>
            <mn>9</mn>
          </mfrac>
        </mrow>
        <mo>=</mo>
        <mn>0.111...</mn>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle {\frac {1}{9}}=0.111...}</annotation>
  </semantics></math></span></span>同乘以9。
</p>
<dl><dd></dd></dl><p>由於兩個方程都是正確的，因此根據相等關係的遞移性質，0.999…一定等於1。類似地，<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{smallmatrix}{\frac {3}{3}}=1\end{smallmatrix}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle scriptlevel="1">
            <mtable rowspacing=".2em" columnspacing="0.333em" displaystyle="false">
              <mtr>
                <mtd>
                  <mrow class="MJX-TeXAtom-ORD">
                    <mfrac>
                      <mn>3</mn>
                      <mn>3</mn>
                    </mfrac>
                  </mrow>
                  <mo>=</mo>
                  <mn>1</mn>
                </mtd>
              </mtr>
            </mtable>
          </mstyle>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle {\begin{smallmatrix}{\frac {3}{3}}=1\end{smallmatrix}}}</annotation>
  </semantics></math></span></span>，且<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{smallmatrix}{\frac {3}{3}}=0.999\ldots \end{smallmatrix}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle scriptlevel="1">
            <mtable rowspacing=".2em" columnspacing="0.333em" displaystyle="false">
              <mtr>
                <mtd>
                  <mrow class="MJX-TeXAtom-ORD">
                    <mfrac>
                      <mn>3</mn>
                      <mn>3</mn>
                    </mfrac>
                  </mrow>
                  <mo>=</mo>
                  <mn>0.999</mn>
                  <mo>…<!-- … --></mo>
                </mtd>
              </mtr>
            </mtable>
          </mstyle>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle {\begin{smallmatrix}{\frac {3}{3}}=0.999\ldots \end{smallmatrix}}}</annotation>
  </semantics></math></span></span>。所以0.999…一定等於1。
</p>
<h4><span id=".E4.B8.80.E4.B8.AA.E7.89.B9.E5.88.AB.E7.9A.84.E9.99.A4.E6.B3.95.E7.AB.96.E5.BC.8F"></span><span id="一个特别的除法竖式">一個特別的除法豎式</span></h4>
<p>用豎式計算可得 <span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\frac {8.999...}{9}}=0.999...}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mfrac>
            <mn>8.999...</mn>
            <mn>9</mn>
          </mfrac>
        </mrow>
        <mo>=</mo>
        <mn>0.999...</mn>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle {\frac {8.999...}{9}}=0.999...}</annotation>
  </semantics></math></span></span>
</p><p>設 <span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle n=0.999...\quad }">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mi>n</mi>
        <mo>=</mo>
        <mn>0.999...</mn>
        <mspace width="1em"></mspace>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle n=0.999...\quad }</annotation>
  </semantics></math></span></span>
</p><p>則
</p>
<dl><dd><span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{aligned}{\frac {8+n}{9}}&amp;=n\\8+n&amp;=9n\\\end{aligned}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true">
            <mtr>
              <mtd>
                <mrow class="MJX-TeXAtom-ORD">
                  <mfrac>
                    <mrow>
                      <mn>8</mn>
                      <mo>+</mo>
                      <mi>n</mi>
                    </mrow>
                    <mn>9</mn>
                  </mfrac>
                </mrow>
              </mtd>
              <mtd>
                <mi></mi>
                <mo>=</mo>
                <mi>n</mi>
              </mtd>
            </mtr>
            <mtr>
              <mtd>
                <mn>8</mn>
                <mo>+</mo>
                <mi>n</mi>
              </mtd>
              <mtd>
                <mi></mi>
                <mo>=</mo>
                <mn>9</mn>
                <mi>n</mi>
              </mtd>
            </mtr>
          </mtable>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle {\begin{aligned}{\frac {8+n}{9}}&amp;=n\\8+n&amp;=9n\\\end{aligned}}}</annotation>
  </semantics></math></span></span></dd></dl><p>解此一元一次方程式得:
</p>
<dl><dd><span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{aligned}8&amp;=8n\\n&amp;=1\\\end{aligned}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true">
            <mtr>
              <mtd>
                <mn>8</mn>
              </mtd>
              <mtd>
                <mi></mi>
                <mo>=</mo>
                <mn>8</mn>
                <mi>n</mi>
              </mtd>
            </mtr>
            <mtr>
              <mtd>
                <mi>n</mi>
              </mtd>
              <mtd>
                <mi></mi>
                <mo>=</mo>
                <mn>1</mn>
              </mtd>
            </mtr>
          </mtable>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle {\begin{aligned}8&amp;=8n\\n&amp;=1\\\end{aligned}}}</annotation>
  </semantics></math></span></span></dd></dl><p>所以 <span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 0.999...=n=1\quad }">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mn>0.999...</mn>
        <mo>=</mo>
        <mi>n</mi>
        <mo>=</mo>
        <mn>1</mn>
        <mspace width="1em"></mspace>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle 0.999...=n=1\quad }</annotation>
  </semantics></math></span></span> 。
</p>
<h4><span id=".E4.BD.8D.E6.95.B0.E6.93.8D.E4.BD.9C"></span><span id="位数操作">位數操作</span></h4>
<p>另外一種證明更加適用於其它循環小數。當一個小數乘以10時，其數字不變，但小數點向右移了一位。因此10 × 0.999…等於9.999…，它比原來的數大9。
</p><p>考慮從9.999…減去0.999…。這時可以一位一位地減；在小數點後的每一位，結果都是9 - 9，也就是0。但末尾的零並不能改變一個數，所以相差精確地是9。最後一個步驟用到了代數。設0.999… = <i>c</i>，則10<i>c</i> − <i>c</i> = 9，也就是9<i>c</i> = 9。等式兩端同除以9，便得證：<i>c</i> = 1。用一系列方程來表示，就是
</p>

<dl><dd><span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{aligned}c&amp;=0.999\ldots \\10c&amp;=9.999\ldots \\10c-c&amp;=9.999\ldots -0.999\ldots \\9c&amp;=9\\c&amp;=1\\0.999\ldots &amp;=1\end{aligned}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mtable columnalign="right left right left right left right left right left right left" rowspacing="3pt" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true">
            <mtr>
              <mtd>
                <mi>c</mi>
              </mtd>
              <mtd>
                <mi></mi>
                <mo>=</mo>
                <mn>0.999</mn>
                <mo>…<!-- … --></mo>
              </mtd>
            </mtr>
            <mtr>
              <mtd>
                <mn>10</mn>
                <mi>c</mi>
              </mtd>
              <mtd>
                <mi></mi>
                <mo>=</mo>
                <mn>9.999</mn>
                <mo>…<!-- … --></mo>
              </mtd>
            </mtr>
            <mtr>
              <mtd>
                <mn>10</mn>
                <mi>c</mi>
                <mo>−<!-- − --></mo>
                <mi>c</mi>
              </mtd>
              <mtd>
                <mi></mi>
                <mo>=</mo>
                <mn>9.999</mn>
                <mo>…<!-- … --></mo>
                <mo>−<!-- − --></mo>
                <mn>0.999</mn>
                <mo>…<!-- … --></mo>
              </mtd>
            </mtr>
            <mtr>
              <mtd>
                <mn>9</mn>
                <mi>c</mi>
              </mtd>
              <mtd>
                <mi></mi>
                <mo>=</mo>
                <mn>9</mn>
              </mtd>
            </mtr>
            <mtr>
              <mtd>
                <mi>c</mi>
              </mtd>
              <mtd>
                <mi></mi>
                <mo>=</mo>
                <mn>1</mn>
              </mtd>
            </mtr>
            <mtr>
              <mtd>
                <mn>0.999</mn>
                <mo>…<!-- … --></mo>
              </mtd>
              <mtd>
                <mi></mi>
                <mo>=</mo>
                <mn>1</mn>
              </mtd>
            </mtr>
          </mtable>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle {\begin{aligned}c&amp;=0.999\ldots \\10c&amp;=9.999\ldots \\10c-c&amp;=9.999\ldots -0.999\ldots \\9c&amp;=9\\c&amp;=1\\0.999\ldots &amp;=1\end{aligned}}}</annotation>
  </semantics></math></span></span></dd></dl><p>以上兩個證明中的位數操作的正確性，並不需要盲目相信，也無需視為公理；它是從小數和所表示的數之間的基本關係得出的。這個關係，可以用幾個等價的方法來表示，已經規定了0.999…和1都表示相同的實數。
</p>
<h3><span id=".E5.AF.A6.E5.88.86.E6.9E.90"></span><span id="實分析">實分析</span></h3>
<h4><span id=".E6.97.A0.E7.A9.B7.E7.BA.A7.E6.95.B0.E5.92.8C.E6.95.B0.E5.88.97"></span><span id="无穷级数和数列">無窮級數和數列</span></h4>
<p>對於任何一個小數，都可以定義為無窮級數的和。一般地：
</p>
<dl><dd><span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle b_{0}.b_{1}b_{2}b_{3}b_{4}\ldots =b_{0}+b_{1}({\tfrac {1}{10}})+b_{2}({\tfrac {1}{10}})^{2}+b_{3}({\tfrac {1}{10}})^{3}+b_{4}({\tfrac {1}{10}})^{4}+\cdots }">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <msub>
          <mi>b</mi>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>0</mn>
          </mrow>
        </msub>
        <mo>.</mo>
        <msub>
          <mi>b</mi>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>1</mn>
          </mrow>
        </msub>
        <msub>
          <mi>b</mi>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>2</mn>
          </mrow>
        </msub>
        <msub>
          <mi>b</mi>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>3</mn>
          </mrow>
        </msub>
        <msub>
          <mi>b</mi>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>4</mn>
          </mrow>
        </msub>
        <mo>…<!-- … --></mo>
        <mo>=</mo>
        <msub>
          <mi>b</mi>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>0</mn>
          </mrow>
        </msub>
        <mo>+</mo>
        <msub>
          <mi>b</mi>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>1</mn>
          </mrow>
        </msub>
        <mo stretchy="false">(</mo>
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle displaystyle="false" scriptlevel="0">
            <mfrac>
              <mn>1</mn>
              <mn>10</mn>
            </mfrac>
          </mstyle>
        </mrow>
        <mo stretchy="false">)</mo>
        <mo>+</mo>
        <msub>
          <mi>b</mi>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>2</mn>
          </mrow>
        </msub>
        <mo stretchy="false">(</mo>
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle displaystyle="false" scriptlevel="0">
            <mfrac>
              <mn>1</mn>
              <mn>10</mn>
            </mfrac>
          </mstyle>
        </mrow>
        <msup>
          <mo stretchy="false">)</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>2</mn>
          </mrow>
        </msup>
        <mo>+</mo>
        <msub>
          <mi>b</mi>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>3</mn>
          </mrow>
        </msub>
        <mo stretchy="false">(</mo>
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle displaystyle="false" scriptlevel="0">
            <mfrac>
              <mn>1</mn>
              <mn>10</mn>
            </mfrac>
          </mstyle>
        </mrow>
        <msup>
          <mo stretchy="false">)</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>3</mn>
          </mrow>
        </msup>
        <mo>+</mo>
        <msub>
          <mi>b</mi>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>4</mn>
          </mrow>
        </msub>
        <mo stretchy="false">(</mo>
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle displaystyle="false" scriptlevel="0">
            <mfrac>
              <mn>1</mn>
              <mn>10</mn>
            </mfrac>
          </mstyle>
        </mrow>
        <msup>
          <mo stretchy="false">)</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>4</mn>
          </mrow>
        </msup>
        <mo>+</mo>
        <mo>⋯<!-- ⋯ --></mo>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle b_{0}.b_{1}b_{2}b_{3}b_{4}\ldots =b_{0}+b_{1}({\tfrac {1}{10}})+b_{2}({\tfrac {1}{10}})^{2}+b_{3}({\tfrac {1}{10}})^{3}+b_{4}({\tfrac {1}{10}})^{4}+\cdots }</annotation>
  </semantics></math></span></span>.</dd></dl><p>對於0.999…來說，這時可以使用等比級數的收斂定理：</p>
<dl><dd>如果<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle |r|&lt;1}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mo stretchy="false">|</mo>
        </mrow>
        <mi>r</mi>
        <mrow class="MJX-TeXAtom-ORD">
          <mo stretchy="false">|</mo>
        </mrow>
        <mo>&lt;</mo>
        <mn>1</mn>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle |r|&lt;1}</annotation>
  </semantics></math></span></span>，則<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle ar+ar^{2}+ar^{3}+\cdots ={\frac {ar}{1-r}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mi>a</mi>
        <mi>r</mi>
        <mo>+</mo>
        <mi>a</mi>
        <msup>
          <mi>r</mi>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>2</mn>
          </mrow>
        </msup>
        <mo>+</mo>
        <mi>a</mi>
        <msup>
          <mi>r</mi>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>3</mn>
          </mrow>
        </msup>
        <mo>+</mo>
        <mo>⋯<!-- ⋯ --></mo>
        <mo>=</mo>
        <mrow class="MJX-TeXAtom-ORD">
          <mfrac>
            <mrow>
              <mi>a</mi>
              <mi>r</mi>
            </mrow>
            <mrow>
              <mn>1</mn>
              <mo>−<!-- − --></mo>
              <mi>r</mi>
            </mrow>
          </mfrac>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle ar+ar^{2}+ar^{3}+\cdots ={\frac {ar}{1-r}}}</annotation>
  </semantics></math></span></span>.</dd></dl><p>由於0.999…是公比為<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle r=\textstyle {\frac {1}{10}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mi>r</mi>
        <mo>=</mo>
        <mstyle displaystyle="false" scriptlevel="0">
          <mrow class="MJX-TeXAtom-ORD">
            <mfrac>
              <mn>1</mn>
              <mn>10</mn>
            </mfrac>
          </mrow>
        </mstyle>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle r=\textstyle {\frac {1}{10}}}</annotation>
  </semantics></math></span></span>的等比級數的和，應用以上定理，很快就可以得出證明了：
</p>
<dl><dd><span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 0.999\ldots =9({\tfrac {1}{10}})+9({\tfrac {1}{10}})^{2}+9({\tfrac {1}{10}})^{3}+\cdots ={\frac {9({\tfrac {1}{10}})}{1-{\tfrac {1}{10}}}}=1}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mn>0.999</mn>
        <mo>…<!-- … --></mo>
        <mo>=</mo>
        <mn>9</mn>
        <mo stretchy="false">(</mo>
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle displaystyle="false" scriptlevel="0">
            <mfrac>
              <mn>1</mn>
              <mn>10</mn>
            </mfrac>
          </mstyle>
        </mrow>
        <mo stretchy="false">)</mo>
        <mo>+</mo>
        <mn>9</mn>
        <mo stretchy="false">(</mo>
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle displaystyle="false" scriptlevel="0">
            <mfrac>
              <mn>1</mn>
              <mn>10</mn>
            </mfrac>
          </mstyle>
        </mrow>
        <msup>
          <mo stretchy="false">)</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>2</mn>
          </mrow>
        </msup>
        <mo>+</mo>
        <mn>9</mn>
        <mo stretchy="false">(</mo>
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle displaystyle="false" scriptlevel="0">
            <mfrac>
              <mn>1</mn>
              <mn>10</mn>
            </mfrac>
          </mstyle>
        </mrow>
        <msup>
          <mo stretchy="false">)</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>3</mn>
          </mrow>
        </msup>
        <mo>+</mo>
        <mo>⋯<!-- ⋯ --></mo>
        <mo>=</mo>
        <mrow class="MJX-TeXAtom-ORD">
          <mfrac>
            <mrow>
              <mn>9</mn>
              <mo stretchy="false">(</mo>
              <mrow class="MJX-TeXAtom-ORD">
                <mstyle displaystyle="false" scriptlevel="0">
                  <mfrac>
                    <mn>1</mn>
                    <mn>10</mn>
                  </mfrac>
                </mstyle>
              </mrow>
              <mo stretchy="false">)</mo>
            </mrow>
            <mrow>
              <mn>1</mn>
              <mo>−<!-- − --></mo>
              <mrow class="MJX-TeXAtom-ORD">
                <mstyle displaystyle="false" scriptlevel="0">
                  <mfrac>
                    <mn>1</mn>
                    <mn>10</mn>
                  </mfrac>
                </mstyle>
              </mrow>
            </mrow>
          </mfrac>
        </mrow>
        <mo>=</mo>
        <mn>1</mn>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle 0.999\ldots =9({\tfrac {1}{10}})+9({\tfrac {1}{10}})^{2}+9({\tfrac {1}{10}})^{3}+\cdots ={\frac {9({\tfrac {1}{10}})}{1-{\tfrac {1}{10}}}}=1}</annotation>
  </semantics></math></span></span>，</dd></dl><p>這個證明（實際上是10等於9.999…）早在1770年就在瑞士數學家萊昂哈德·歐拉的作品《Elements of Algebra》（《代數的要素》）中出現了。</p>

<p>等比級數的和本身，是一個比歐拉還要早的結果。一個典型的18世紀的推導用到了逐項的操作，類似於以上的代數證明。直到1811年，Bonnycastle的教科書《An Introduction to Algebra》（《代數的介紹》）依然使用這種等比級數的方法來證明對0.999…使用的策略是正當的。在19世紀，這種在當時被以為隨隨便便的求和方法遭到了反對，這樣便導致了現在仍然占有支配地位的定義：一個級數的和<b>定義</b>為數列的部分和的極限。該定理的一個對應的證明，明確地把這個數列計算出來了；這可以在任何一本以證明為基礎的微積分或數學分析的教科書中找到。</p><p>對於數列（<i>x</i><sub>0</sub>，<i>x</i><sub>1</sub>，<i>x</i><sub>2</sub>，…）來說，如果當<i>n</i>增大時，距離|<i>x</i> − <i>x</i><sub><i>n</i></sub>|變得任意地小，那麼這個數列就具有極限<i>x</i>。0.999… = 1的表述，可以用極限的概念來闡釋和證明：
</p>
<dl><dd><span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 0.999\ldots =\lim _{n\to \infty }0.\underbrace {99\ldots 9} _{n}=\lim _{n\to \infty }\sum _{k=1}^{n}{\frac {9}{10^{k}}}=\lim _{n\to \infty }\left(1-{\frac {1}{10^{n}}}\right)=1-\lim _{n\to \infty }{\frac {1}{10^{n}}}=1.\,}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mn>0.999</mn>
        <mo>…<!-- … --></mo>
        <mo>=</mo>
        <munder>
          <mo movablelimits="true" form="prefix">lim</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mi>n</mi>
            <mo stretchy="false">→<!-- → --></mo>
            <mi mathvariant="normal">∞<!-- ∞ --></mi>
          </mrow>
        </munder>
        <mn>0.</mn>
        <munder>
          <mrow class="MJX-TeXAtom-OP MJX-fixedlimits">
            <munder>
              <mrow>
                <mn>99</mn>
                <mo>…<!-- … --></mo>
                <mn>9</mn>
              </mrow>
              <mo>⏟<!-- ⏟ --></mo>
            </munder>
          </mrow>
          <mrow class="MJX-TeXAtom-ORD">
            <mi>n</mi>
          </mrow>
        </munder>
        <mo>=</mo>
        <munder>
          <mo movablelimits="true" form="prefix">lim</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mi>n</mi>
            <mo stretchy="false">→<!-- → --></mo>
            <mi mathvariant="normal">∞<!-- ∞ --></mi>
          </mrow>
        </munder>
        <munderover>
          <mo>∑<!-- ∑ --></mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mi>k</mi>
            <mo>=</mo>
            <mn>1</mn>
          </mrow>
          <mrow class="MJX-TeXAtom-ORD">
            <mi>n</mi>
          </mrow>
        </munderover>
        <mrow class="MJX-TeXAtom-ORD">
          <mfrac>
            <mn>9</mn>
            <msup>
              <mn>10</mn>
              <mrow class="MJX-TeXAtom-ORD">
                <mi>k</mi>
              </mrow>
            </msup>
          </mfrac>
        </mrow>
        <mo>=</mo>
        <munder>
          <mo movablelimits="true" form="prefix">lim</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mi>n</mi>
            <mo stretchy="false">→<!-- → --></mo>
            <mi mathvariant="normal">∞<!-- ∞ --></mi>
          </mrow>
        </munder>
        <mrow>
          <mo>(</mo>
          <mrow>
            <mn>1</mn>
            <mo>−<!-- − --></mo>
            <mrow class="MJX-TeXAtom-ORD">
              <mfrac>
                <mn>1</mn>
                <msup>
                  <mn>10</mn>
                  <mrow class="MJX-TeXAtom-ORD">
                    <mi>n</mi>
                  </mrow>
                </msup>
              </mfrac>
            </mrow>
          </mrow>
          <mo>)</mo>
        </mrow>
        <mo>=</mo>
        <mn>1</mn>
        <mo>−<!-- − --></mo>
        <munder>
          <mo movablelimits="true" form="prefix">lim</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mi>n</mi>
            <mo stretchy="false">→<!-- → --></mo>
            <mi mathvariant="normal">∞<!-- ∞ --></mi>
          </mrow>
        </munder>
        <mrow class="MJX-TeXAtom-ORD">
          <mfrac>
            <mn>1</mn>
            <msup>
              <mn>10</mn>
              <mrow class="MJX-TeXAtom-ORD">
                <mi>n</mi>
              </mrow>
            </msup>
          </mfrac>
        </mrow>
        <mo>=</mo>
        <mn>1.</mn>
        <mspace width="thinmathspace"></mspace>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle 0.999\ldots =\lim _{n\to \infty }0.\underbrace {99\ldots 9} _{n}=\lim _{n\to \infty }\sum _{k=1}^{n}{\frac {9}{10^{k}}}=\lim _{n\to \infty }\left(1-{\frac {1}{10^{n}}}\right)=1-\lim _{n\to \infty }{\frac {1}{10^{n}}}=1.\,}</annotation>
  </semantics></math></span></span></dd></dl><p>最後一個步驟—lim <sup>1</sup>/<sub>10<sup><i>n</i></sup></sub> = 0—通常由實數擁有阿基米德性質這一原理來證明。這個以極限為基礎的對0.999…的看法，有時會用比較引人注意但不太精確的話語來表達。例如，在1846年的美國教科書《大學算術》（《The University Arithmetic》）中有這麼一句：「0.999+，到無窮遠處等於1，這是因為每加上一個9，都會使它的值更加接近於1」（.999 +, continued to infinity = 1, because every annexation of a 9 brings the value closer to 1）；在1895年的美國教科書《Arithmetic for Schools》（《學校算術》）中也有：「…如果有非常多的9，那麼1和0.99999…的差就小得難以想像了」（「…when a large number of 9s is taken, the difference between 1 and .99999…becomes inconceivably small」）。這種啟發式的教學法，常常被學生們誤解為0.999…本身就小於1。
</p>
<h4><span id=".E5.8C.BA.E9.97.B4.E5.A5.97.E5.92.8C.E6.9C.80.E5.B0.8F.E4.B8.8A.E7.95.8C"></span><span id="区间套和最小上界">區間套和最小上界</span></h4>


<p>以上的級數定義，是一個用小數展開式來定義實數的簡單的方法。還有一種補充的方法，是相反的過程：對於一個給定的實數，定義一個相關的小數展開式。
</p><p>如果知道一個實數<i>x</i>位於閉區間[0, 10]內（也就是說，這個實數大於或等於0，而小於或等於10），這時就可以想像把這個區間分成十個部分，只在終點處相重疊：[0, 1]、[1, 2]、[2, 3]，依此類推，直到[9, 10]。實數<i>x</i>一定是屬於這十個區間的一個；如果它屬於[2, 3]，這時就把數字「2」記錄下來，並把這個區間再細分成十個子區間：[2, 2.1]、[2.1, 2.2]、…、[2.8, 2.9]、[2.9, 3]。把這個過程一直繼續下去，這時便得到了一個無窮的區間套序列，由無窮個數字<i>b</i><sub>0</sub>、<i>b</i><sub>1</sub>、<i>b</i><sub>2</sub>、<i>b</i><sub>3</sub>、…來標示，並記
</p>
<dl><dd><i>x</i> = <i>b</i><sub>0</sub>.<i>b</i><sub>1</sub><i>b</i><sub>2</sub><i>b</i><sub>3</sub>…</dd></dl><p>在這種形式中，1 = 1.000…而且1 = 0.999…的事實，反映了1既位於[0, 1]，又位於[1, 2]，所以這時在尋找它的數字時，可以選擇任意一個子區間。為了保證這種記法沒有濫用「=」號，這時需要一種辦法來為每一個小數重新構造一個唯一的實數。這可以用極限來實現，但是還有其它的方法。</p><p>一個簡單的選擇，是區間套定理，它保證只要給出了一個長度趨近於零的閉區間套序列，那麼這些區間套的交集就正好是一個實數。這樣，<i>b</i><sub>0</sub>.<i>b</i><sub>1</sub><i>b</i><sub>2</sub><i>b</i><sub>3</sub>…便定義為包含在所有的區間[<i>b</i><sub>0</sub>, <i>b</i><sub>0</sub> + 1]、[<i>b</i><sub>0</sub>.<i>b</i><sub>1</sub>, <i>b</i><sub>0</sub>.<i>b</i><sub>1</sub> + 0.1]，依此類推的唯一的實數。而0.999…就是位於所有的區間[0, 1]、[0.9, 1]、[0.99, 1]、[0.99…9, 1]（對於任意有限個9）的唯一的實數。由於1是所有這些區間的公共元素，因此0.999… = 1。</p><p>區間套定理通常是建立在一個更加基本的實數特徵之上的：最小上界的存在。為了直接利用這些事物，這時可以把<i>b</i><sub>0</sub>.<i>b</i><sub>1</sub><i>b</i><sub>2</sub><i>b</i><sub>3</sub>…定義為集合{<i>b</i><sub>0</sub>，<i>b</i><sub>0</sub>.<i>b</i><sub>1</sub>，<i>b</i><sub>0</sub>.<i>b</i><sub>1</sub><i>b</i><sub>2</sub>，…}的最小上界。然後這時就可以證明，這種定義（或區間套的定義）與劃分的過程是一致的，再一次證明了0.999… = 1。湯姆·阿波斯托爾得出結論：
</p>
<h3><span id=".E5.BE.9E.E5.BB.BA.E6.A7.8B.E5.AF.A6.E6.95.B8.E8.91.97.E6.89.8B"></span><span id="從建構實數著手">從建構實數著手</span></h3>

<p>有些方法用公理集合論明確把實數定義為一定的建立在有理數上的結構。自然數──0、1、2、3，依此類推──從零開始並繼續增加，這樣每一個自然數都有一個後繼者。這時可以把自然數的概念延伸到負數，得出所有的整數，並可以進一步延伸到比例，得出所有的有理數。這些數系伴隨著加法、減法、乘法和除法的算術。更加微妙地，它們還包括排序，這樣一個數就可以與另一個進行比較，並發現是大於、小於，還是等於。
</p><p>從有理數到實數的一步，是一個很大的延伸。至少有兩種常見的方法來達到這一步，它們都在1872年出版：戴德金分割，以及柯西序列。直接用到這些結構的0.999… = 1的證明，現在已經無法在實分析的教科書中找到了；最近幾個年代的趨勢，是使用公理化的分析。即使提供了這樣的一個結構，它也通常被用來證明實數的公理，從而為以上的證明提供證據。然而，有些作者表達了從一個結構開始才是邏輯上更恰當的想法，這樣得出的證明就更加完備了。</p>
<h4><span id=".E6.88.B4.E5.BE.B7.E9.87.91.E5.88.86.E5.89.B2"></span><span id="戴德金分割">戴德金分割</span></h4>

<p>在戴德金分割的方法中，每一個實數<i>x</i>定義為所有小於<i>x</i>的有理數所組成的無窮集合。比如說，實數1就是所有小於1的有理數的集合。每一個正的小數展開式很容易決定了一個戴德金分割：小於某個展開階段的有理數的集合。所以實數0.999…是有理數<i>r</i>的集合，使得<i>r</i> &lt; 0，或<i>r</i> &lt; 0.9，或<i>r</i> &lt; 0.99，或<i>r</i>小於其它具有 <span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{smallmatrix}1-{\big (}{\tfrac {1}{10}}{\big )}^{n}\end{smallmatrix}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle scriptlevel="1">
            <mtable rowspacing=".2em" columnspacing="0.333em" displaystyle="false">
              <mtr>
                <mtd>
                  <mn>1</mn>
                  <mo>−<!-- − --></mo>
                  <mrow class="MJX-TeXAtom-ORD">
                    <mrow class="MJX-TeXAtom-ORD">
                      <mo maxsize="1.2em" minsize="1.2em">(</mo>
                    </mrow>
                  </mrow>
                  <mrow class="MJX-TeXAtom-ORD">
                    <mstyle displaystyle="false" scriptlevel="0">
                      <mfrac>
                        <mn>1</mn>
                        <mn>10</mn>
                      </mfrac>
                    </mstyle>
                  </mrow>
                  <msup>
                    <mrow class="MJX-TeXAtom-ORD">
                      <mrow class="MJX-TeXAtom-ORD">
                        <mo maxsize="1.2em" minsize="1.2em">)</mo>
                      </mrow>
                    </mrow>
                    <mrow class="MJX-TeXAtom-ORD">
                      <mi>n</mi>
                    </mrow>
                  </msup>
                </mtd>
              </mtr>
            </mtable>
          </mstyle>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle {\begin{smallmatrix}1-{\big (}{\tfrac {1}{10}}{\big )}^{n}\end{smallmatrix}}}</annotation>
  </semantics></math></span></span> 形式的數。0.999…的每一個元素都小於1，因此它是實數1的一個元素。反過來，1的一個元素是有理數
<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{smallmatrix}{\tfrac {a}{b}}&lt;1\end{smallmatrix}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle scriptlevel="1">
            <mtable rowspacing=".2em" columnspacing="0.333em" displaystyle="false">
              <mtr>
                <mtd>
                  <mrow class="MJX-TeXAtom-ORD">
                    <mstyle displaystyle="false" scriptlevel="0">
                      <mfrac>
                        <mi>a</mi>
                        <mi>b</mi>
                      </mfrac>
                    </mstyle>
                  </mrow>
                  <mo>&lt;</mo>
                  <mn>1</mn>
                </mtd>
              </mtr>
            </mtable>
          </mstyle>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle {\begin{smallmatrix}{\tfrac {a}{b}}&lt;1\end{smallmatrix}}}</annotation>
  </semantics></math></span></span>，也就是<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{smallmatrix}{\tfrac {a}{b}}&lt;1-{\big (}{\tfrac {1}{10}}{\big )}^{b}\end{smallmatrix}}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow class="MJX-TeXAtom-ORD">
          <mstyle scriptlevel="1">
            <mtable rowspacing=".2em" columnspacing="0.333em" displaystyle="false">
              <mtr>
                <mtd>
                  <mrow class="MJX-TeXAtom-ORD">
                    <mstyle displaystyle="false" scriptlevel="0">
                      <mfrac>
                        <mi>a</mi>
                        <mi>b</mi>
                      </mfrac>
                    </mstyle>
                  </mrow>
                  <mo>&lt;</mo>
                  <mn>1</mn>
                  <mo>−<!-- − --></mo>
                  <mrow class="MJX-TeXAtom-ORD">
                    <mrow class="MJX-TeXAtom-ORD">
                      <mo maxsize="1.2em" minsize="1.2em">(</mo>
                    </mrow>
                  </mrow>
                  <mrow class="MJX-TeXAtom-ORD">
                    <mstyle displaystyle="false" scriptlevel="0">
                      <mfrac>
                        <mn>1</mn>
                        <mn>10</mn>
                      </mfrac>
                    </mstyle>
                  </mrow>
                  <msup>
                    <mrow class="MJX-TeXAtom-ORD">
                      <mrow class="MJX-TeXAtom-ORD">
                        <mo maxsize="1.2em" minsize="1.2em">)</mo>
                      </mrow>
                    </mrow>
                    <mrow class="MJX-TeXAtom-ORD">
                      <mi>b</mi>
                    </mrow>
                  </msup>
                </mtd>
              </mtr>
            </mtable>
          </mstyle>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle {\begin{smallmatrix}{\tfrac {a}{b}}&lt;1-{\big (}{\tfrac {1}{10}}{\big )}^{b}\end{smallmatrix}}}</annotation>
  </semantics></math></span></span>。由於0.999…和1包含相同的有理數，因此它們是相同的集合：0.999… = 1。
</p><p>把實數定義為戴德金分割，首先由理察·戴德金在1872年出版。
以上把每一個小數展開式分配一個實數的方法，應歸於弗雷德·里奇曼在《Mathematics Magazine》（《數學雜誌》）上發表的一篇名為「Is 0.999… = 1?」（「0.999… = 1嗎？」）的演講稿，主要是為大學的數學教師，尤其是初級／高級程度，以及他們的學生而作。里奇曼注意到，在有理數的任何一個稠密子集中取戴德金分割，都得到相同的結果；特別地，他用到了十進分數（分母為10的冪的分數），這樣便更快得出證明了：「所以，這時看到，在實數的傳統定義中，方程 0.9* = 1 在一開始就建立了。」把這個步驟再作進一步的修改，便得到了另外一個結構，里奇曼對描述這個結構更感興趣；參見以下的「其它數系」。
</p>
<h4><span id=".E6.9F.AF.E8.A5.BF.E5.BA.8F.E5.88.97"></span><span id="柯西序列">柯西序列</span></h4>

<p>另外一種構造實數的方法，間接地用到了有理數的排序。首先，有理數<i>x</i>和<i>y</i>之間的距離定義為絕對值|<i>x</i> − <i>y</i>|，其中絕對值|<i>z</i>|定義為<i>z</i>和−<i>z</i>的最大值，因此總是非負的。這樣實數便被定義為關於這個距離的具有柯西序列性質的有理數序列。也就是說，每一個實數都是一個柯西收斂的數列（<i>x</i><sub>0</sub>，<i>x</i><sub>1</sub>，<i>x</i><sub>2</sub>，…）。這是一個從自然數到有理數的映射，使得對於任何正有理數δ，總存在一個<i>N</i>，使得對於所有的<i>m</i>、<i>n</i> &gt; <i>N</i>，都有|<i>x</i><sub><i>m</i></sub> − <i>x</i><sub><i>n</i></sub>| ≤ δ。（兩項之間的距離變得比任何正的有理數都要小。）</p><p>如果（<i>x</i><sub><i>n</i></sub>）和（<i>y</i><sub><i>n</i></sub>）是兩個柯西數列，那麼如果數列（<i>x</i><sub><i>n</i></sub> − <i>y</i><sub><i>n</i></sub>）有極限0，這兩個數列便定義為相等的。把小數<i>b</i><sub>0</sub>.<i>b</i><sub>1</sub><i>b</i><sub>2</sub><i>b</i><sub>3</sub>…拆開來，便得到了一個有理數序列，它是柯西序列；這個序列對應的實數被定義為這個小數的值。所以，在這種形式中，這時的任務就是要證明，有理數序列
</p>
<dl><dd><span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \left(1-0,1-{9 \over 10},1-{99 \over 100},\cdots \right)=\left(1,{1 \over 10},{1 \over 100},\cdots \right)}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mrow>
          <mo>(</mo>
          <mrow>
            <mn>1</mn>
            <mo>−<!-- − --></mo>
            <mn>0</mn>
            <mo>,</mo>
            <mn>1</mn>
            <mo>−<!-- − --></mo>
            <mrow class="MJX-TeXAtom-ORD">
              <mfrac>
                <mn>9</mn>
                <mn>10</mn>
              </mfrac>
            </mrow>
            <mo>,</mo>
            <mn>1</mn>
            <mo>−<!-- − --></mo>
            <mrow class="MJX-TeXAtom-ORD">
              <mfrac>
                <mn>99</mn>
                <mn>100</mn>
              </mfrac>
            </mrow>
            <mo>,</mo>
            <mo>⋯<!-- ⋯ --></mo>
          </mrow>
          <mo>)</mo>
        </mrow>
        <mo>=</mo>
        <mrow>
          <mo>(</mo>
          <mrow>
            <mn>1</mn>
            <mo>,</mo>
            <mrow class="MJX-TeXAtom-ORD">
              <mfrac>
                <mn>1</mn>
                <mn>10</mn>
              </mfrac>
            </mrow>
            <mo>,</mo>
            <mrow class="MJX-TeXAtom-ORD">
              <mfrac>
                <mn>1</mn>
                <mn>100</mn>
              </mfrac>
            </mrow>
            <mo>,</mo>
            <mo>⋯<!-- ⋯ --></mo>
          </mrow>
          <mo>)</mo>
        </mrow>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle \left(1-0,1-{9 \over 10},1-{99 \over 100},\cdots \right)=\left(1,{1 \over 10},{1 \over 100},\cdots \right)}</annotation>
  </semantics></math></span></span></dd></dl><p>有極限0。對於<i>n</i> = 0、1、2、…，考慮數列的第<i>n</i>項，這時需要證明
</p>
<dl><dd><span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \lim _{n\rightarrow \infty }{\frac {1}{10^{n}}}=0}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <munder>
          <mo movablelimits="true" form="prefix">lim</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mi>n</mi>
            <mo stretchy="false">→<!-- → --></mo>
            <mi mathvariant="normal">∞<!-- ∞ --></mi>
          </mrow>
        </munder>
        <mrow class="MJX-TeXAtom-ORD">
          <mfrac>
            <mn>1</mn>
            <msup>
              <mn>10</mn>
              <mrow class="MJX-TeXAtom-ORD">
                <mi>n</mi>
              </mrow>
            </msup>
          </mfrac>
        </mrow>
        <mo>=</mo>
        <mn>0</mn>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle \lim _{n\rightarrow \infty }{\frac {1}{10^{n}}}=0}</annotation>
  </semantics></math></span></span>。</dd></dl><p>這個極限是眾所周知的；一個可能的證明，是在數列的極限的定義中，對於ε = <i>a</i>/<i>b</i> &gt; 0，這時可以取<i>N</i> = <i>b</i>。所以，這又一次證明了0.999… = 1。
</p><p>把實數定義為柯西序列，首先由愛德華·海涅和格奧爾格·康托爾獨立發表，也是在1872年。以上的小數展開式的方法，包括0.999… = 1的證明，則主要是得自格利菲斯（<span lang="en">Griffiths</span>）和希爾頓（<span lang="en">Hilton</span>）在1970年的作品《一本經典數學的綜合教科書：一個當代的闡釋》（<i>A comprehensive textbook of classical mathematics: A contemporary interpretation</i>）。這本書是特別為了以當代的眼光回顧一些熟悉的數學概念而作的。</p>
<h3><span id=".E6.8E.A8.E5.B9.BF"></span><span id="推广">推廣</span></h3>
<p>0.999… = 1的證明，立刻可以進行兩種推廣。首先，對於每一個非零的有限小數（也就是說，從某一位開始全是零），都存在另外一個與其相等的數，從某一位開始全是9。例如，0.24999…等於0.25，就像這時考慮的特殊情況。這些數正好是十進分數，而且是稠密的。</p><p>其次，一個類似的定理可以應用到任何一個底數或進位制。例如，在二進位中，0.111…等於1；而在三進位中，0.222…等於1。實分析的教科書很有可能略過0.999…的特殊情況，而從一開始就介紹這兩種推廣的一種或兩種。</p><p>1的其它表示法也出現在非整數進位制中。例如，在黃金進位中，兩個標準的表示法就是1.000…和0.101010…，此外還有無窮多種含有相鄰的1的表示法，如0.11，0.1011，0.101011等等。一般地，對於幾乎所有的1和2之間的<i>q</i>，在<i>q</i>進位中都有無窮多種1的展開式。而另一方面，依然存在不可數個<i>q</i>（包括所有大於1的自然數），使得在<i>q</i>進位中只有一種1的展開式，除了顯然的1.000…。這個結果首先由保羅·埃爾德什、Miklos Horváth和István Joó在大約1990年獲得。1998年，Vilmos Komornik和Paola Loreti確定了具有這種性質的最小的進位制──Komornik-Loreti常數<i>q</i> = 1.787231650…。在這個進位制中，1 = 0.11010011001011010010110011010011…；其數字由圖厄-摩斯數列給出，不是循環小數。</p><p>一個更加深遠的推廣，提到了最一般的進位制。在這些進位制中，一個數也有多種表示法，在某種意義上來說難度甚至更大。例如：</p>
<ul><li>在平衡三進位系統中，<sup>1</sup>/<sub>2</sub> = 0.111… = 1.<u>111</u>…。</li>
<li>在階乘進位制系統中，1 = 1.000… = 0.1234…。</li></ul><p>Marko Petkovšek證明了這種歧義是使用進位制的必然結果：對於任何一個把所有實數命名的系統，總有無窮多個實數有多種表示法，而這些實數所組成的集合又是稠密的。他把這個證明稱為「一個基本點集拓撲學的指導性的練習」：它包含了把各位數的集合視為斯通空間，並注意到它們的實數表示法可以由連續函數給出。</p>
<h2><span id=".E5.BA.94.E7.94.A8"></span><span id="应用">應用</span></h2>
<p>0.999…的其中一個應用，出現在基本數論中。1802年，H·古得溫出版了一份觀察資料，描述了分母為一定的素數的分數的小數展開式中9的出現。例子包括：
</p>
<ul><li><sup>1</sup>/<sub>7</sub> = 0.142857142857…，而142 + 857 = 999。</li>
<li><sup>1</sup>/<sub>73</sub> = 0.0136986301369863…，而0136 + 9863 = 9999。</li></ul><p>E·米迪在1836年證明了關於這類分數的一個一般的結果，現在稱為<b>米迪定理</b>。當初出版時沒有寫得很清楚，這時也不知道他的證明是不是直接提到了0.999…，但至少有一個W·G·萊維特的現代證明是這樣的。如果這時可以證明，一個具有形式0.<i>b</i><sub>1</sub><i>b</i><sub>2</sub><i>b</i><sub>3</sub>…的小數是正整數，那麼它就一定是0.999…，這也就是定理中9的來源。在這個方向上繼續做研究，就可以得出諸如最大公因子、同餘、費馬素數、群元素的階，以及二次互反律等概念。</p>

<p>回到實分析的主題上，三進位中的類似等式0.222… = 1在刻劃康托爾集合──一個最簡單的碎形的特徵中，扮演了一個十分重要的角色：
</p>
<ul><li>一個單位區間中的點位於康托爾集合內，若且唯若它在三進位中可以只用數字0和2來表示。</li></ul><p>小數中的第<i>n</i>位反映了在第<i>n</i>個階段時點的位置。例如，點²⁄<sub>3</sub>可以如常地表示為0.2或0.2000…，這是因為它位於第一個刪除部分的右面，以及以後所有的刪除部分的左面。點<sup>1</sup>⁄<sub>3</sub>則不表示為0.1，而表示為0.0222…，這是因為它位於第一個刪除部分的左面，以及以後所有的刪除部分的右面。</p><p>重複的9還出現在另外一個康托爾的研究成果中。在應用他在1891年發表的對角線論證法來證明單位區間的不可數性時，必須要考慮到這種因素。這種證明需要根據小數展開式來斷言兩個實數是不同的，所以這時需要避免諸如0.2和0.1999…之類的數對。一個簡單的方法把所有的實數表示為無限小數；相反的方法便排除了重複的9的可能性。一個可能更加接近於康托爾原先的證明的變體，實際上使用了二進位，把三進位展開式轉換為二進位展開式，這時也可以證明康托爾集合的不可數性。</p>
<h2><span id=".E6.95.99.E8.82.B2.E4.B8.AD.E9.81.87.E5.88.B0.E7.9A.84.E6.80.80.E7.96.91"></span><span id="教育中遇到的怀疑">教育中遇到的懷疑</span></h2>
<p>許多學習數學的學生往往懷疑、難以接受0.999… = 1的等式，其原因有很多，從根本不相同的外觀，到對數列極限概念的深度疑慮，乃至對無限（無窮）的本性的異議，以及不少對數學錯誤的觀念等背後的因素，從而造成了這種混淆；
</p>
<ul><li>學生根據以往學習數的大小比較時使用「高位比較，相同再比次高位」的方式，個位 <span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 0&lt;1}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mn>0</mn>
        <mo>&lt;</mo>
        <mn>1</mn>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle 0&lt;1}</annotation>
  </semantics></math></span></span>，導致拒絕承認<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 0.{\bar {9}}=1}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mn>0.</mn>
        <mrow class="MJX-TeXAtom-ORD">
          <mrow class="MJX-TeXAtom-ORD">
            <mover>
              <mn>9</mn>
              <mo stretchy="false">¯<!-- ¯ --></mo>
            </mover>
          </mrow>
        </mrow>
        <mo>=</mo>
        <mn>1</mn>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle 0.{\bar {9}}=1}</annotation>
  </semantics></math></span></span>。</li>
<li>許多學生認為無窮小不等於0，並且將0.999…視為一個不定值，即該值只是朝著1的方向無限地擴大，因此它與1的差永遠是無限小而不是零，即「永遠都差一點」。</li>
<li>學生們常常「堅信一個數有且僅有一種小數的表示方法」。當他們看到兩個明顯不同的小數，表示的卻是相同的實數，便認為這是一個悖論，而表面上熟悉的數1，更使這個悖論加深。</li>
<li>有些學生把「0.999…」（或類似的記法）理解為很長但有限的一串9，也許長度是可變的、未特別指出的。如果他們接受了有無窮多個9的事實，他們仍然可能認為「在無窮遠處」「有最後的一個9」。</li>
<li>直覺和模稜兩可的教導，都讓學生覺得數列的極限是一個無限的過程，而不是一個確定的值，因為一個數列不一定就有極限。如果他們明白了數列和它的極限的差別，他們就有可能把「0.999…」理解為數列，而不是它的極限。</li>
<li>有些學生相信收斂級數的值最多只是一個估計，也就是<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 0.{\bar {9}}\approx 1}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mn>0.</mn>
        <mrow class="MJX-TeXAtom-ORD">
          <mrow class="MJX-TeXAtom-ORD">
            <mover>
              <mn>9</mn>
              <mo stretchy="false">¯<!-- ¯ --></mo>
            </mover>
          </mrow>
        </mrow>
        <mo>≈<!-- ≈ --></mo>
        <mn>1</mn>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle 0.{\bar {9}}\approx 1}</annotation>
  </semantics></math></span></span>。</li></ul><p>這些想法在標準實數系（指具有完備性的）中都是錯誤的，但在其它數系中則有可能是正確的（要求相應數系不具備阿基米德性質，因為阿基米德性質要求數系中沒有非零無窮小）。這些系統要麼是為一般的數學用途而發明，要麼就是作為指導性的反例，使人們更好地理解0.999…。
</p><p>許多這些解釋都是大衛·塔爾教授發現的，他研究了造成學生們誤解的教導方法的特徵。他訪問了他的學生以決定為什麼大多數人在一開始都拒絕接受該等式，發現「學生們仍然繼續把0.999…視為一個越來越接近1的數列，而不是一個定值，因為『你沒有指定它有多少位』或『在所有小於1的小數中，它是最大的數。』」</p><p>在所有初等的證明中，用0.333… = <sup>1</sup>⁄<sub>3</sub>乘以3表面上是使學生們迫不得已接受0.999… = 1的一個成功的策略。但是，面對著對第一個等式的相信以及對第二個等式的懷疑，有些學生要麼就開始懷疑第一個等式，要麼乾脆就感到灰心喪氣了。同時也還有否認0.999…=1的學生指出1/3 比0.333…大一點（因為1/3是除不完的），所以推法「不成立」。更加複雜的方法，也不是十分有效的；有些學生完全可以應用嚴格的定義，但當他們被一個高等數學的結果，包括0.999…所震驚時，依然退回到直覺的形象上去了。例如，有一個學習實分析的學生，能夠用最小上界的定義來證明0.333… = <sup>1</sup>⁄<sub>3</sub>，但仍然堅稱0.999…&lt; 1，基於他早前對長除法的理解。其他學生也能夠證明<sup>1</sup>⁄<sub>3</sub> = 0.333…，但是，面對著以上的分數證明，仍然堅稱「邏輯」能代替數學運算。
</p><p>約瑟·馬祖爾講了一個故事：
</p>
<p>這位學生相信，九個數字就是學習數學所需要的一切，包括計算23的平方根。這位學生對9.99… = 10的極限證法感到彆扭，稱其為「一個難以想像的無限增長過程」。</p><p>作為埃德·杜賓斯基的數學學習的「APOS理論」的一部分，杜賓斯基和他的合作者在2005年提出：任何一個學生，只要把0.999…設想為一個有限的、不確定的數串，與1的差是無窮小，那麼他就「還沒有對無限小數形成一個完整的過程概念」。其他對0.999…有了完整的過程概念的學生，仍不一定能把這個過程「概括」成一個「對象概念」，就像他們對1的對象概念那樣，所以仍然覺得0.999…和1是不一致的。杜賓斯基還把這種概括的能力與把<sup>1</sup>⁄<sub>3</sub>視為一個獨立的數，以及與把實數的集合視為一個整體聯繫起來。</p>
<h2><span id=".E5.9C.A8.E5.A4.A7.E4.BC.97.E6.96.87.E5.8C.96.E4.B8.AD"></span><span id="在大众文化中">在大眾文化中</span></h2>
<p>隨著網際網路的崛起，關於0.999…的討論已經衝出了教室，並走向了新聞群組和信息版，包括那些名義上幾乎與數學無關的信息版。在新聞群組<tt>sci.math</tt>中，辯論0.999…是一項「受歡迎的運動」，也是常見問答集之一。常見問答集涵蓋了<sup>1</sup>⁄<sub>3</sub>、乘以10、還有極限的證明，也間接地提到了柯西序列。
</p><p>一個2003年版的報紙專欄《<span data-orig-title="真实讯息" data-lang-code="en" data-lang-name="英語" data-foreign-title="The Straight Dope"><span>真實訊息</span></span>》通過<sup>1</sup>⁄<sub>3</sub>和極限討論了0.999…，並談到了誤解：
</p>
<p> （頁面存檔備份，存於網際網路檔案館）
</p><p>《真實訊息》在自己的信息版引用了另外一個不明的信息版中的討論，那個信息版「大部分是關於電子遊戲的」。0.999…的問題在暴雪娛樂的Battle.net論壇的頭七年也是一個非常受歡迎的話題，以致於該公司在2004年的愚人節不得不發布了一則「新聞」，聲明0.999…就是1：
</p>
<p>然後便提供了兩個證明，一個是極限的證明，另一個是乘以10的證明。
</p><p>比較直觀的解釋，可以把一塊圓餅平均切3分來證明。
</p>
<h2><span id=".E5.85.B6.E5.AE.83.E6.95.B8.E7.B3.BB"></span><span id="其它數系">其它數系</span></h2>
<p>雖然實數形成了一個非常有用的數系，把「0.999…」解釋為一個實數的決定畢竟還是一個約定，蒂莫西·高爾斯在《Mathematics: A Very Short Introduction》（《數學：一個非常簡短的介紹》）中提到，0.999… = 1的等式也是一個約定：
</p>
<p>這時可以用不同的規則或新的事物來定義其它數系；在數系中，以上的證明便需要重新解釋。這時就有可能發現，在某一個給定的數系中，0.999…和1並不一定就是相等的。然而，許多數系都是實數系的延伸，而不是獨立的替代物，所以0.999… = 1仍然成立。就算是在這數系中，這時依然值得去檢查其它的數系，不僅僅為了知道0.999…是怎樣表現的（如果「0.999…」既有意義又不含糊），也為了知道相關現象的表現。如果這種現象與實數系統中的現象不一致的話，那麼至少一個建立在這個系統中的假設便一定不成立了。
</p>
<h3><span id=".E6.97.A0.E7.A9.B7.E5.B0.8F"></span><span id="无穷小">無窮小</span></h3>

<p>0.999… = 1的證明依賴於標準實數的阿基米德性質：不存在非零的無窮小。存在著數學上密切相關的有序代數結構是非阿基米德的，其中包括標準實數的各種各樣的替代品。0.999…的意義與這時使用的結構有關。例如，在對偶數中，引進了一個新的無窮小單位ε，就像複數系統中的虛數單位<i>i</i>一樣，但是ε² = 0。這樣便得出了一個在自動微分中十分有用的結構。這時可以給予對偶數一個字典序，這樣ε的倍數就非阿基米德原素。但是，要注意到，作為實數的延伸，在對偶數中仍然有0.999… = 1。儘管ε在對偶數中存在，ε/2也存在，所以ε就不是「最小的正對偶數」。確實是這樣，在實數中，並不存在這類的數。
</p><p>另外一種構造標準實數的替代品的方法，是使用拓撲斯理論和替代的邏輯，而不是集合論和經典的邏輯（一種特殊情況）。例如，在光滑無窮小分析中，就存在沒有倒數的無窮小。</p><p>非標準分析因包含了一個有無窮小（及它們的反元素）完整陣列的系統而眾所周知，它提供了一個不同的，也許是更加直觀的，對微積分的處理。A.H. Lightstone在1972年提供了一個非標準小數展開式的發展，其中每一個位於（0, 1）之內的擴展的實數，都有一個唯一的擴展的小數展開式：數列0.ddd…；…ddd…，由擴展的自然數作索引。在這種形式中，0.333…有兩種自然的展開式，都不與<sup>1</sup>/<sub>3</sub>相差無窮小：
</p>
<dl><dd>0.333…；…000…不存在，而</dd>
<dd>0.333…；…333…正好等於<sup>1</sup>/<sub>3</sub>。</dd></dl><p>組合博弈論也提供了替代的實數，無窮的藍-紅Hackenbush就是一個相關的例子。1974年，埃爾溫·伯利坎普描述了一個Hackenbush字串與實數的二進位展開式之間的對應關係，由數據壓縮的想法所促動。例如，Hackenbush字串LRRLRLRL…的值是0.010101<sub>2</sub>… = <sup>1</sup>/<sub>3</sub>。然而，LRLLL…的值（對應著0.111…<sub>2</sub>）則與1相差無窮小。兩個數的差是超實數<sup>1</sup>/<sub>ω</sub>，其中ω是第一個無窮序數；相關的博弈是LRRRR…或0.000…<sub>2</sub>。</p>
<h3><span id=".E6.89.93.E7.A0.B4.E5.87.8F.E6.B3.95.E7.9A.84.E6.83.AF.E4.BE.8B"></span><span id="打破减法的惯例">打破減法的慣例</span></h3>
<p>另外一種也可以使以上證明不成立的方法，就是1 − 0.999…根本就不存在，因為減法並不一定就是可能的。具有加法運算但沒有減法運算的數學結構包括可交換半群、可交換么半群，以及半環。里奇曼考慮了兩種這類的系統，使得0.999…&lt; 1。
</p><p>首先，里奇曼把非負的「小數」定義為字面上的小數展開式。他定義了字典序和一種加法運算，注意到0.999… &lt; 1僅僅因為在個位數0 &lt; 1，但對於任何一個有限小數<i>x</i>，都有0.999… + <i>x</i> = 1 + <i>x</i>。所以「小數」的一個獨特之處，是等式兩邊不能同減一個數；另外一個獨特之處，就是沒有「小數」對應著<sup>1</sup>⁄<sub>3</sub>。把乘法也定義了以後，「小數」便形成了一個正的、全序的、可交換的半環。</p><p>在定義乘法的過程中，里奇曼還定義了另外一種系統，他稱之為「分割<i>D</i>」，它是小數的戴德金分割的集合。通常用這種定義便可以得出實數，但對於小數<i>d</i>他既允許分割（−∞， <i>d</i> ），又允許「主分割」（−∞， <i>d</i> ]。這樣做的結果，就是實數與「小數」「不舒服地住在一起」。這個系統中也有0.999… &lt; 1。在分割<i>D</i>中不存在正的無窮小，但存在一種「負的無窮小」──0<sup>−</sup>，它沒有小數展開式。里奇曼得出結論，0.999… = 1 + 0<sup>−</sup>，而方程「0.999… + <i>x</i> = 1」則沒有解。</p>
<h3><span id="p.E8.BF.9B.E6.95.B0"></span><span id="p进数"><i>p</i>進數</span></h3>

<p>問到關於0.999…的時候，初學者常常相信應該有一個「最後的9」，也就是說，相信1 − 0.999…等於一個正數，可以寫為「0.000…1」。不管那有沒有意義，目標都是明確的：把1加在0.999…中的最後的9上，就會把所有的9變成0，並在個位數留下一個1。如果考慮到其它的原因，這種想法便不成立了，這是因為在0.999…中，並不存在「最後的9」。對於包含最後的9的無窮多個9，這時必須從別的地方去尋找。
</p>

<p><i>p</i>進數是在數論中引起興趣的又一個數系。像實數那樣，<i>p</i>進數可以從有理數通過柯西序列得到；但是，這種結構使用了另外一種度量，0與<i>p</i>之間的距離比0與1的距離還要近，而0與<i>p<sup>n</sup></i>的距離又比0與<i>p</i>的距離近。對於素數<i>p</i>來說，<i>p</i>進數便形成了一個域，而對於其它的<i>p</i>，包括10來說，則形成了一個環。所以在<i>p</i>進數中可以進行算術，這種數系也不存在無窮小。
</p><p>在10進數中，類似於小數展開式的事物位於小數點的左面。10進展開式…999確實有一個最後的9，而沒有第一個9。這時可以把1加在個位數上，這樣進位之後就只剩下0了：1 + …999 = …000 = 0，所以…999 = −1。另外一種推導用到了等比級數。「…999」所指的無窮級數在實數中不收斂，但在10進數中收斂，所以這時可以使用大家熟悉的公式：
</p>
<dl><dd><span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \ldots 999=9+9(10)+9(10)^{2}+9(10)^{3}+\cdots ={\frac {9}{1-10}}=-1.}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mo>…<!-- … --></mo>
        <mn>999</mn>
        <mo>=</mo>
        <mn>9</mn>
        <mo>+</mo>
        <mn>9</mn>
        <mo stretchy="false">(</mo>
        <mn>10</mn>
        <mo stretchy="false">)</mo>
        <mo>+</mo>
        <mn>9</mn>
        <mo stretchy="false">(</mo>
        <mn>10</mn>
        <msup>
          <mo stretchy="false">)</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>2</mn>
          </mrow>
        </msup>
        <mo>+</mo>
        <mn>9</mn>
        <mo stretchy="false">(</mo>
        <mn>10</mn>
        <msup>
          <mo stretchy="false">)</mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mn>3</mn>
          </mrow>
        </msup>
        <mo>+</mo>
        <mo>⋯<!-- ⋯ --></mo>
        <mo>=</mo>
        <mrow class="MJX-TeXAtom-ORD">
          <mfrac>
            <mn>9</mn>
            <mrow>
              <mn>1</mn>
              <mo>−<!-- − --></mo>
              <mn>10</mn>
            </mrow>
          </mfrac>
        </mrow>
        <mo>=</mo>
        <mo>−<!-- − --></mo>
        <mn>1.</mn>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle \ldots 999=9+9(10)+9(10)^{2}+9(10)^{3}+\cdots ={\frac {9}{1-10}}=-1.}</annotation>
  </semantics></math></span></span></dd></dl><p>（與前面的級數比較。）第三種推導是一個七年級學生發明的，他對老師所講的0.999… = 1的極限證明感到懷疑，但因而產生了靈感，把以上乘以10的證明應用在相反的方向上：如果<i>x</i> = …999，則10<i>x</i> = …990，因此10<i>x</i> = <i>x</i> − 9，所以<i>x</i> = −1。</p><p>作為一個最後的延伸，由於0.999… = 1（在實數中），而…999 = −1（在10進數中），那麼這時可以「盲目、大膽地擺弄符號」，把兩個等式相加起來，得出：…999.999… = 0。這個等式在10進展開式中和標準小數展開式中都是沒有意義的，但假如這時研究出一種「雙小數」的理論，其中小數點左面和右面都可以無限延伸，那麼這個等式便是有意義和正確的。</p>
<h2><span id=".E7.9B.B8.E5.85.B3.E9.97.AE.E9.A2.98"></span><span id="相关问题">相關問題</span></h2>
<ul><li>芝諾悖論，特別是奔跑者悖論，使人聯想起了0.999…等於1的表面上的悖論。奔跑者悖論可以建立一個數學模型，然後就可以像0.999…那樣，用等比級數的方法來解決。然而，這時不確定這種數學的論述是不是提到了芝諾所探索的形上學的問題。</li>
<li>除以零出現在0.999…的一些討論中，也引起了爭論。大部分作者都願意定義0.999…，但幾乎都不去定義除以零，這是因為它在實數系統中不可能有意義。然而，在某些其它的系統中，除以零則是有定義的，例如複數分析，其中擴展的複平面，也就是黎曼球面，在無窮遠處「有一個點」。在這裡，<sup>1</sup>/<sub>0</sub>便定義為無窮大；實際上，這個結果有深遠的意義，可以應用在工程和物理學中的許多問題上。有些著名的數學家在兩個系統發展起來之前就提出了這樣的一個定義。</li>
<li>-0是另外一個記數的多餘特徵。在諸如實數的數系中，「0」表示加法單位元，既不是正數又不是負數，「−0」的解釋是0的相反數，這便迫使了−0 = 0。然而，在某些科學的應用中，使用了獨立的正零和負零，大多數常見的計算機記數系統就是這樣的（例如儲存在符號和大小或一補數的格式中的整數，或由IEEE二進位浮點數算術標準所指定的浮點數）。</li></ul><h2><span id=".E5.8F.82.E8.A7.81"></span><span id="参见">參見</span></h2>
<ul><li>數學</li>
<li>算術</li>
<li>無窮（無限）</li>
<li>極限</li>
<li>小數表示法</li>
<li>非正式數學</li>
<li>非整數進位制</li>
<li>非標準分析</li>
<li>實分析</li>
<li>無窮級數</li></ul><h2><span id=".E8.A8.BB.E8.A7.A3.E4.B8.8E.E5.BC.95.E7.94.A8"></span><span id="註解与引用">註解與引用</span></h2>

<h2><span id=".E5.8F.82.E8.80.83.E6.96.87.E7.8C.AE"></span><span id="参考文献">參考文獻</span></h2>

<h2><span id=".E6.89.A9.E5.B1.95.E9.98.85.E8.AF.BB"></span><span id="扩展阅读">擴展閱讀</span></h2>

<h2><span id=".E5.A4.96.E9.83.A8.E9.93.BE.E6.8E.A5"></span><span id="外部链接">外部連結</span></h2>

<ul><li>When is .999... less than 1? Karin Usadi Katz and Mikhail G. Katz</li>
<li>0.999999… = 1?（頁面存檔備份，存於網際網路檔案館）來自cut-the-knot</li>
<li>為什麼0.9999... = 1？（頁面存檔備份，存於網際網路檔案館）</li>
<li>問一位科學家：重複的小數</li>
<li>基於算術的等式證明（頁面存檔備份，存於網際網路檔案館）</li>
<li>重複的九（頁面存檔備份，存於網際網路檔案館）</li>
<li>0.9循環等於1（頁面存檔備份，存於網際網路檔案館）</li>
<li>大衛·塔爾的研究（頁面存檔備份，存於網際網路檔案館）</li>
<li>Metamath上的0.999...定理（頁面存檔備份，存於網際網路檔案館）</li>
<li>果殼網上的最讓人糾結的等式：0.999...=1（頁面存檔備份，存於網際網路檔案館）</li></ul><!-- 
NewPP limit report
Parsed by mw2376
Cached time: 20230505225950
Cache expiry: 1814400
Reduced expiry: false
Complications: [show‐toc]
CPU time usage: 0.678 seconds
Real time usage: 0.870 seconds
Preprocessor visited node count: 5125/1000000
Post‐expand include size: 150825/2097152 bytes
Template argument size: 3648/2097152 bytes
Highest expansion depth: 25/100
Expensive parser function count: 4/500
Unstrip recursion depth: 0/20
Unstrip post‐expand size: 32307/5000000 bytes
Lua time usage: 0.308/10.000 seconds
Lua memory usage: 5935133/52428800 bytes
Number of Wikibase entities loaded: 0/400
--><!--
Transclusion expansion time report (%,ms,calls,template)
100.00%  553.933      1 -total
 26.57%  147.177     34 Template:Cite_book
 22.20%  122.991     33 Template:Cite_journal
 20.48%  113.441      1 Template:Reflist
  9.03%   50.001      1 Template:Tone
  7.97%   44.163      1 Template:Ambox
  6.51%   36.082      9 Template:Cite_web
  6.35%   35.152      2 Template:Lang
  5.84%   32.336      2 Template:Category_handler
  3.49%   19.309      4 Template:Le
-->
**0.999…**，也可寫成 $0.{\overline {9}}$ 、 $0.{\dot {9}}$ 或 $0.(9)$ ，是一個具有特殊意義的無限循環小數。在數學的完備實數系中，「0.999…」所表示的數與「1」相同。

## 簡介

0.999… 是書寫於小數記數系統中的一個數，讀作：「零點九，九循環」。一些最簡單的 0.999… = 1 的證明都依賴於這個系統方便的算術性質。大多數的小數算術──加法、減法、乘法、除法，以及大小的比較，使用與整數差不多的數位層次的操作。與整數一樣，任何兩個有限小數只要數位不同，那麼數值也一定不同。相對的，任何一個形如 0.99…9 的數，只要只得有限個 9，這些 9 最終會停止，則這個數字是小於 1 的。

這類展開式的非唯一性不僅限於十進位系統，相同的現象也出現在其它的整數進位制中。數學家們也列舉出了一些 1 在非整數進位制中的寫法，這種現象也不是僅僅限於 1 的：對於每一個非零的有限小數，都存在另一種含有無窮多個 9 的寫法，由於簡便的原因，這時幾乎肯定使用有限小數的寫法，這樣就更加使人們誤以為沒有其它寫法了，實際上，一旦在完備實數系中允許使用無限小數，那麼在所有的進位制中都有無窮多種替代的寫法，例如，18.3287 與 18.3286999…、18.3287000…，以及許多其它的寫法，都表示相同的數，這些各種各樣的等式被用來更好地理解分數的小數展開式的規律，以及一個簡單碎形圖形──康托爾集合的結構，它們也出現在一個對整個實數的無窮集合的古典研究之中。

在過去數十年裡，許多數學教育的研究人員研究了大眾及學生們對該等式的接受程度，許多學生在學習開始時懷疑甚至拒絕該等式，而後許多學生被老師、教科書和如下章節的算術推論說服接受兩者是相等的。儘管如此，許多人們仍常感到懷疑，而提出進一步的辯解，這經常是由於存在不少對數學實數的錯誤觀念等背後因素（參見以下教育中遇到的懷疑一章節），例如認為每一個實數都有唯一的一個小數展開式，以及認為無限小（無窮小）不等於 0，並且將 0.999… 視為一個不定值，即該值只是一直微微擴張變大，因此與 1 的差永遠是無限小而不是 0，因此「永遠都差一點」。可以構造出符合這些直觀的數系，但是只能在用於初等數學或多數更高等數學中的標準實數系統之外進行，的確，某些設計含有「恰恰小於 1」的數，不過，這些數一般與 0.999… 無關（因為與之相關的理論上和實踐上都皆無實質用途），但在數學分析中引起了相當大的關注。

誤解 0.999… 中的省略號的意義，是誤解 0.999…= 1 的其中一個原因。這裡省略號的用法與日常語言中 0.99…9 的用法是不同的，0.99…9 中的省略號意味著的**有限**的部分被省略掉了。但是，當用來表示一個循環小數的時候，"…" 則意味著**無限**的部分被省略掉了，這只能用極限的數學概念來闡釋。作為使用傳統數學的結果，指派給記數表示式「0.999…」的值定義為一個實數，該實數為收斂數列（0.9，0.99，0.999，0.9999，0.99999，…）的極限。「0.999…」是一個數列的極限，從而，對於 0.999…= 1 這個等式就很直觀了。

與整數和有限小數的情況不一樣，其實記數法也可以用多種方式表示單一個數值。例如，如果使用分數， ${\begin{smallmatrix}{\frac {1}{3}}={\frac {2}{6}}\end{smallmatrix}}$ 。但是，一個數最多只能用兩種無限小數的方法來表示。如果有兩種方法，那麼其中一種一定是從某一位開始全是循環重複的 9，而另外一種則是從某一位開始就全是循環重複的 0。

0.999… = 1 有許多證明，它們各有不同的嚴謹性。一個嚴謹的證明可以簡單地說明如下。考慮到兩個實數其實是同一個的，若且唯若它們的差等於零。大部分人都同意，0.999… 與 1 的差，就算存在也是非常的小 (實際上根本不存在，即差等於 0)。考慮到以上的收斂數列，這時可以證明這個差的大小一定是小於任何一個正數的，也可以證明（詳細內容參見阿基米德性質），唯一具有這個性質的實數是 0。由於差是 0，可知 1 和 0.999… 是同一數，用相同的理由，也可以解釋為什麼「0.333…=1/3」；而該等式乘上 3 倍後即可得出「0.999… = 1」。

## 證明

### 對位相減

在不考慮柯西序列的情況下：1.00000…−0.99999… 這個結果為 0.000…，也就是後面的 0 無限循環。這兩個數目皆可表示成無限循環小數，小數點後五位之後還會一直填上 0，始終無法找到最後一位來填上 1，因為如果補上 1 就會成為有限小數。1.000… - 0.999… = 0.000… = 0，故 1 = 0.999…。

這假設了 0.999… 沒有「最後的 9」、這些無限循環小數的小數點後的位數為可列的（可以由第一個數位一個位一個位數下去而於有限次數到任一個數位）（這已得出 0.999… 沒有「最後的 9」）、1.000… - 0.999… 的結果存在小數表示式。運算結果將沒有「最後的 1」，所以 1 與 0.999… 沒有差值。

### 代數

#### 分數

無限小數是有限小數的一個必要的延伸，其中一個原因是用來表示分數。用長除法，一個像 ${\begin{smallmatrix}{\frac {1}{3}}\end{smallmatrix}}$ 的簡單整數，長除法後變成了一個循環小數 0.333…，其中有無窮多個數字 3。利用這個小數，很快就能得到一個 0.999… = 1 的證明。用 3 乘以 0.333… 中的每一個 3，便得到 9，所以 3 × 0.333… 等於 **0.999…**。而 ${\begin{smallmatrix}3\times {\frac {1}{3}}\end{smallmatrix}}$ 等於 1，所以 0.999… = 1。

這個證明的另外一種形式，是用 ${\frac {1}{9}}=0.111...$ 同乘以 9。

　
:

由於兩個方程都是正確的，因此根據相等關係的遞移性質，0.999… 一定等於 1。類似地， ${\begin{smallmatrix}{\frac {3}{3}}=1\end{smallmatrix}}$ ，且 ${\begin{smallmatrix}{\frac {3}{3}}=0.999\ldots \end{smallmatrix}}$ 。所以 0.999… 一定等於 1。

#### 一個特別的除法豎式

用豎式計算可得 ${\frac {8.999...}{9}}=0.999...$

設 $n=0.999...\quad $

則

　
: ${\begin{aligned}{\frac {8+n}{9}}&=n\\8+n&=9n\\\end{aligned}}$

解此一元一次方程式得:

　
: ${\begin{aligned}8&=8n\\n&=1\\\end{aligned}}$

所以 $0.999...=n=1\quad $ 。

#### 位數操作

另外一種證明更加適用於其它循環小數。當一個小數乘以 10 時，其數字不變，但小數點向右移了一位。因此 10 × 0.999… 等於 9.999…，它比原來的數大 9。

考慮從 9.999… 減去 0.999…。這時可以一位一位地減；在小數點後的每一位，結果都是 9 - 9，也就是 0。但末尾的零並不能改變一個數，所以相差精確地是 9。最後一個步驟用到了代數。設 0.999… = _c_，則 10_c_ − _c_ = 9，也就是 9_c_ = 9。等式兩端同除以 9，便得證：_c_ = 1。用一系列方程來表示，就是

　
: ${\begin{aligned}c&=0.999\ldots \\10c&=9.999\ldots \\10c-c&=9.999\ldots -0.999\ldots \\9c&=9\\c&=1\\0.999\ldots &=1\end{aligned}}$

以上兩個證明中的位數操作的正確性，並不需要盲目相信，也無需視為公理；它是從小數和所表示的數之間的基本關係得出的。這個關係，可以用幾個等價的方法來表示，已經規定了 0.999… 和 1 都表示相同的實數。

### 實分析

#### 無窮級數和數列

對於任何一個小數，都可以定義為無窮級數的和。一般地：

　
: $b_{0}.b_{1}b_{2}b_{3}b_{4}\ldots =b_{0}+b_{1}({\tfrac {1}{10}})+b_{2}({\tfrac {1}{10}})^{2}+b_{3}({\tfrac {1}{10}})^{3}+b_{4}({\tfrac {1}{10}})^{4}+\cdots $ .

對於 0.999… 來說，這時可以使用等比級數的收斂定理：

　
: 如果 $|r|<1$ ，則 $ar+ar^{2}+ar^{3}+\cdots ={\frac {ar}{1-r}}$ .

由於 0.999… 是公比為 $r=\textstyle {\frac {1}{10}}$ 的等比級數的和，應用以上定理，很快就可以得出證明了：

　
: $0.999\ldots =9({\tfrac {1}{10}})+9({\tfrac {1}{10}})^{2}+9({\tfrac {1}{10}})^{3}+\cdots ={\frac {9({\tfrac {1}{10}})}{1-{\tfrac {1}{10}}}}=1$ ，

這個證明（實際上是 10 等於 9.999…）早在 1770 年就在瑞士數學家萊昂哈德・歐拉的作品《Elements of Algebra》（《代數的要素》）中出現了。

等比級數的和本身，是一個比歐拉還要早的結果。一個典型的 18 世紀的推導用到了逐項的操作，類似於以上的代數證明。直到 1811 年，Bonnycastle 的教科書《An Introduction to Algebra》（《代數的介紹》）依然使用這種等比級數的方法來證明對 0.999… 使用的策略是正當的。在 19 世紀，這種在當時被以為隨隨便便的求和方法遭到了反對，這樣便導致了現在仍然占有支配地位的定義：一個級數的和**定義**為數列的部分和的極限。該定理的一個對應的證明，明確地把這個數列計算出來了；這可以在任何一本以證明為基礎的微積分或數學分析的教科書中找到。

對於數列（_x_0，_x_1，_x_2，…）來說，如果當 _n_ 增大時，距離 |_x_ − _x_n| 變得任意地小，那麼這個數列就具有極限 _x_。0.999… = 1 的表述，可以用極限的概念來闡釋和證明：

　
: $0.999\ldots =\lim _{n\to \infty }0.\underbrace {99\ldots 9} _{n}=\lim _{n\to \infty }\sum _{k=1}^{n}{\frac {9}{10^{k}}}=\lim _{n\to \infty }\left(1-{\frac {1}{10^{n}}}\right)=1-\lim _{n\to \infty }{\frac {1}{10^{n}}}=1.\,$

最後一個步驟 —lim 1/10n = 0— 通常由實數擁有阿基米德性質這一原理來證明。這個以極限為基礎的對 0.999… 的看法，有時會用比較引人注意但不太精確的話語來表達。例如，在 1846 年的美國教科書《大學算術》（《The University Arithmetic》）中有這麼一句：「0.999+，到無窮遠處等於 1，這是因為每加上一個 9，都會使它的值更加接近於 1」（.999 +, continued to infinity = 1, because every annexation of a 9 brings the value closer to 1）；在 1895 年的美國教科書《Arithmetic for Schools》（《學校算術》）中也有：「… 如果有非常多的 9，那麼 1 和 0.99999… 的差就小得難以想像了」（「…when a large number of 9s is taken, the difference between 1 and .99999…becomes inconceivably small」）。這種啟發式的教學法，常常被學生們誤解為 0.999… 本身就小於 1。

#### 區間套和最小上界

以上的級數定義，是一個用小數展開式來定義實數的簡單的方法。還有一種補充的方法，是相反的過程：對於一個給定的實數，定義一個相關的小數展開式。

如果知道一個實數 _x_ 位於閉區間 [0, 10] 內（也就是說，這個實數大於或等於 0，而小於或等於 10），這時就可以想像把這個區間分成十個部分，只在終點處相重疊：[0, 1]、[1, 2]、[2, 3]，依此類推，直到 [9, 10]。實數 _x_ 一定是屬於這十個區間的一個；如果它屬於 [2, 3]，這時就把數字「2」記錄下來，並把這個區間再細分成十個子區間：[2, 2.1]、[2.1, 2.2]、…、[2.8, 2.9]、[2.9, 3]。把這個過程一直繼續下去，這時便得到了一個無窮的區間套序列，由無窮個數字 _b_0、_b_1、_b_2、_b_3、… 來標示，並記

　
: _x_ = _b_0._b_1_b_2_b_3…

在這種形式中，1 = 1.000… 而且 1 = 0.999… 的事實，反映了 1 既位於 [0, 1]，又位於 [1, 2]，所以這時在尋找它的數字時，可以選擇任意一個子區間。為了保證這種記法沒有濫用「=」號，這時需要一種辦法來為每一個小數重新構造一個唯一的實數。這可以用極限來實現，但是還有其它的方法。

一個簡單的選擇，是區間套定理，它保證只要給出了一個長度趨近於零的閉區間套序列，那麼這些區間套的交集就正好是一個實數。這樣，_b_0._b_1_b_2_b_3… 便定義為包含在所有的區間 [_b_0, _b_0 + 1]、[_b_0._b_1, _b_0._b_1 + 0.1]，依此類推的唯一的實數。而 0.999… 就是位於所有的區間 [0, 1]、[0.9, 1]、[0.99, 1]、[0.99…9, 1]（對於任意有限個 9）的唯一的實數。由於 1 是所有這些區間的公共元素，因此 0.999… = 1。

區間套定理通常是建立在一個更加基本的實數特徵之上的：最小上界的存在。為了直接利用這些事物，這時可以把 _b_0._b_1_b_2_b_3… 定義為集合 {_b_0，_b_0._b_1，_b_0._b_1_b_2，…} 的最小上界。然後這時就可以證明，這種定義（或區間套的定義）與劃分的過程是一致的，再一次證明了 0.999… = 1。湯姆・阿波斯托爾得出結論：

### 從建構實數著手

有些方法用公理集合論明確把實數定義為一定的建立在有理數上的結構。自然數──0、1、2、3，依此類推──從零開始並繼續增加，這樣每一個自然數都有一個後繼者。這時可以把自然數的概念延伸到負數，得出所有的整數，並可以進一步延伸到比例，得出所有的有理數。這些數系伴隨著加法、減法、乘法和除法的算術。更加微妙地，它們還包括排序，這樣一個數就可以與另一個進行比較，並發現是大於、小於，還是等於。

從有理數到實數的一步，是一個很大的延伸。至少有兩種常見的方法來達到這一步，它們都在 1872 年出版：戴德金分割，以及柯西序列。直接用到這些結構的 0.999… = 1 的證明，現在已經無法在實分析的教科書中找到了；最近幾個年代的趨勢，是使用公理化的分析。即使提供了這樣的一個結構，它也通常被用來證明實數的公理，從而為以上的證明提供證據。然而，有些作者表達了從一個結構開始才是邏輯上更恰當的想法，這樣得出的證明就更加完備了。

#### 戴德金分割

在戴德金分割的方法中，每一個實數 _x_ 定義為所有小於 _x_ 的有理數所組成的無窮集合。比如說，實數 1 就是所有小於 1 的有理數的集合。每一個正的小數展開式很容易決定了一個戴德金分割：小於某個展開階段的有理數的集合。所以實數 0.999… 是有理數 _r_ 的集合，使得 _r_ < 0，或 _r_ < 0.9，或 _r_ < 0.99，或 _r_ 小於其它具有 ${\begin{smallmatrix}1-{\big (}{\tfrac {1}{10}}{\big )}^{n}\end{smallmatrix}}$ 形式的數。0.999… 的每一個元素都小於 1，因此它是實數 1 的一個元素。反過來，1 的一個元素是有理數 ${\begin{smallmatrix}{\tfrac {a}{b}}<1\end{smallmatrix}}$ ，也就是 ${\begin{smallmatrix}{\tfrac {a}{b}}<1-{\big (}{\tfrac {1}{10}}{\big )}^{b}\end{smallmatrix}}$ 。由於 0.999… 和 1 包含相同的有理數，因此它們是相同的集合：0.999… = 1。

把實數定義為戴德金分割，首先由理察・戴德金在 1872 年出版。
以上把每一個小數展開式分配一個實數的方法，應歸於弗雷德・里奇曼在《Mathematics Magazine》（《數學雜誌》）上發表的一篇名為「Is 0.999… = 1?」（「0.999… = 1 嗎？」）的演講稿，主要是為大學的數學教師，尤其是初級／高級程度，以及他們的學生而作。里奇曼注意到，在有理數的任何一個稠密子集中取戴德金分割，都得到相同的結果；特別地，他用到了十進分數（分母為 10 的冪的分數），這樣便更快得出證明了：「所以，這時看到，在實數的傳統定義中，方程 0.9\* = 1 在一開始就建立了。」把這個步驟再作進一步的修改，便得到了另外一個結構，里奇曼對描述這個結構更感興趣；參見以下的「其它數系」。

#### 柯西序列

另外一種構造實數的方法，間接地用到了有理數的排序。首先，有理數 _x_ 和 _y_ 之間的距離定義為絕對值 |_x_ − _y_|，其中絕對值 |_z_| 定義為 _z_ 和−_z_ 的最大值，因此總是非負的。這樣實數便被定義為關於這個距離的具有柯西序列性質的有理數序列。也就是說，每一個實數都是一個柯西收斂的數列（_x_0，_x_1，_x_2，…）。這是一個從自然數到有理數的映射，使得對於任何正有理數 δ，總存在一個 _N_，使得對於所有的 _m_、_n_ > _N_，都有 |_x_m − _x_n| ≤ δ。（兩項之間的距離變得比任何正的有理數都要小。）

如果（_x_n）和（_y_n）是兩個柯西數列，那麼如果數列（_x_n − _y_n）有極限 0，這兩個數列便定義為相等的。把小數 _b_0._b_1_b_2_b_3… 拆開來，便得到了一個有理數序列，它是柯西序列；這個序列對應的實數被定義為這個小數的值。所以，在這種形式中，這時的任務就是要證明，有理數序列

　
: $\left(1-0,1-{9 \over 10},1-{99 \over 100},\cdots \right)=\left(1,{1 \over 10},{1 \over 100},\cdots \right)$

有極限 0。對於 _n_ = 0、1、2、…，考慮數列的第 _n_ 項，這時需要證明

　
: $\lim _{n\rightarrow \infty }{\frac {1}{10^{n}}}=0$ 。

這個極限是眾所周知的；一個可能的證明，是在數列的極限的定義中，對於 ε = _a_/_b_ > 0，這時可以取 _N_ = _b_。所以，這又一次證明了 0.999… = 1。

把實數定義為柯西序列，首先由愛德華・海涅和格奧爾格・康托爾獨立發表，也是在 1872 年。以上的小數展開式的方法，包括 0.999… = 1 的證明，則主要是得自格利菲斯（Griffiths）和希爾頓（Hilton）在 1970 年的作品《一本經典數學的綜合教科書：一個當代的闡釋》（_A comprehensive textbook of classical mathematics: A contemporary interpretation_）。這本書是特別為了以當代的眼光回顧一些熟悉的數學概念而作的。

### 推廣

0.999… = 1 的證明，立刻可以進行兩種推廣。首先，對於每一個非零的有限小數（也就是說，從某一位開始全是零），都存在另外一個與其相等的數，從某一位開始全是 9。例如，0.24999… 等於 0.25，就像這時考慮的特殊情況。這些數正好是十進分數，而且是稠密的。

其次，一個類似的定理可以應用到任何一個底數或進位制。例如，在二進位中，0.111… 等於 1；而在三進位中，0.222… 等於 1。實分析的教科書很有可能略過 0.999… 的特殊情況，而從一開始就介紹這兩種推廣的一種或兩種。

1 的其它表示法也出現在非整數進位制中。例如，在黃金進位中，兩個標準的表示法就是 1.000… 和 0.101010…，此外還有無窮多種含有相鄰的 1 的表示法，如 0.11，0.1011，0.101011 等等。一般地，對於幾乎所有的 1 和 2 之間的 _q_，在 _q_ 進位中都有無窮多種 1 的展開式。而另一方面，依然存在不可數個 _q_（包括所有大於 1 的自然數），使得在 _q_ 進位中只有一種 1 的展開式，除了顯然的 1.000…。這個結果首先由保羅・埃爾德什、Miklos Horváth 和 István Joó 在大約 1990 年獲得。1998 年，Vilmos Komornik 和 Paola Loreti 確定了具有這種性質的最小的進位制──Komornik-Loreti 常數 _q_ = 1.787231650…。在這個進位制中，1 = 0.11010011001011010010110011010011…；其數字由圖厄 - 摩斯數列給出，不是循環小數。

一個更加深遠的推廣，提到了最一般的進位制。在這些進位制中，一個數也有多種表示法，在某種意義上來說難度甚至更大。例如：

* 在平衡三進位系統中，1/2 = 0.111… = 1.111…。
* 在階乘進位制系統中，1 = 1.000… = 0.1234…。

Marko Petkovšek 證明了這種歧義是使用進位制的必然結果：對於任何一個把所有實數命名的系統，總有無窮多個實數有多種表示法，而這些實數所組成的集合又是稠密的。他把這個證明稱為「一個基本點集拓撲學的指導性的練習」：它包含了把各位數的集合視為斯通空間，並注意到它們的實數表示法可以由連續函數給出。

## 應用

0.999… 的其中一個應用，出現在基本數論中。1802 年，H・古得溫出版了一份觀察資料，描述了分母為一定的素數的分數的小數展開式中 9 的出現。例子包括：

* 1/7 = 0.142857142857…，而 142 + 857 = 999。
* 1/73 = 0.0136986301369863…，而 0136 + 9863 = 9999。

E・米迪在 1836 年證明了關於這類分數的一個一般的結果，現在稱為**米迪定理**。當初出版時沒有寫得很清楚，這時也不知道他的證明是不是直接提到了 0.999…，但至少有一個 W・G・萊維特的現代證明是這樣的。如果這時可以證明，一個具有形式 0._b_1_b_2_b_3… 的小數是正整數，那麼它就一定是 0.999…，這也就是定理中 9 的來源。在這個方向上繼續做研究，就可以得出諸如最大公因子、同餘、費馬素數、群元素的階，以及二次互反律等概念。

回到實分析的主題上，三進位中的類似等式 0.222… = 1 在刻劃康托爾集合──一個最簡單的碎形的特徵中，扮演了一個十分重要的角色：

* 一個單位區間中的點位於康托爾集合內，若且唯若它在三進位中可以只用數字 0 和 2 來表示。

小數中的第 _n_ 位反映了在第 _n_ 個階段時點的位置。例如，點 ²⁄3 可以如常地表示為 0.2 或 0.2000…，這是因為它位於第一個刪除部分的右面，以及以後所有的刪除部分的左面。點 1⁄3 則不表示為 0.1，而表示為 0.0222…，這是因為它位於第一個刪除部分的左面，以及以後所有的刪除部分的右面。

重複的 9 還出現在另外一個康托爾的研究成果中。在應用他在 1891 年發表的對角線論證法來證明單位區間的不可數性時，必須要考慮到這種因素。這種證明需要根據小數展開式來斷言兩個實數是不同的，所以這時需要避免諸如 0.2 和 0.1999… 之類的數對。一個簡單的方法把所有的實數表示為無限小數；相反的方法便排除了重複的 9 的可能性。一個可能更加接近於康托爾原先的證明的變體，實際上使用了二進位，把三進位展開式轉換為二進位展開式，這時也可以證明康托爾集合的不可數性。

## 教育中遇到的懷疑

許多學習數學的學生往往懷疑、難以接受 0.999… = 1 的等式，其原因有很多，從根本不相同的外觀，到對數列極限概念的深度疑慮，乃至對無限（無窮）的本性的異議，以及不少對數學錯誤的觀念等背後的因素，從而造成了這種混淆；

* 學生根據以往學習數的大小比較時使用「高位比較，相同再比次高位」的方式，個位 $0<1$ ，導致拒絕承認 $0.{\bar {9}}=1$ 。
* 許多學生認為無窮小不等於 0，並且將 0.999… 視為一個不定值，即該值只是朝著 1 的方向無限地擴大，因此它與 1 的差永遠是無限小而不是零，即「永遠都差一點」。
* 學生們常常「堅信一個數有且僅有一種小數的表示方法」。當他們看到兩個明顯不同的小數，表示的卻是相同的實數，便認為這是一個悖論，而表面上熟悉的數 1，更使這個悖論加深。
* 有些學生把「0.999…」（或類似的記法）理解為很長但有限的一串 9，也許長度是可變的、未特別指出的。如果他們接受了有無窮多個 9 的事實，他們仍然可能認為「在無窮遠處」「有最後的一個 9」。
* 直覺和模稜兩可的教導，都讓學生覺得數列的極限是一個無限的過程，而不是一個確定的值，因為一個數列不一定就有極限。如果他們明白了數列和它的極限的差別，他們就有可能把「0.999…」理解為數列，而不是它的極限。
* 有些學生相信收斂級數的值最多只是一個估計，也就是 $0.{\bar {9}}\approx 1$ 。

這些想法在標準實數系（指具有完備性的）中都是錯誤的，但在其它數系中則有可能是正確的（要求相應數系不具備阿基米德性質，因為阿基米德性質要求數系中沒有非零無窮小）。這些系統要麼是為一般的數學用途而發明，要麼就是作為指導性的反例，使人們更好地理解 0.999…。

許多這些解釋都是大衛・塔爾教授發現的，他研究了造成學生們誤解的教導方法的特徵。他訪問了他的學生以決定為什麼大多數人在一開始都拒絕接受該等式，發現「學生們仍然繼續把 0.999… 視為一個越來越接近 1 的數列，而不是一個定值，因為『你沒有指定它有多少位』或『在所有小於 1 的小數中，它是最大的數。』」

在所有初等的證明中，用 0.333… = 1⁄3 乘以 3 表面上是使學生們迫不得已接受 0.999… = 1 的一個成功的策略。但是，面對著對第一個等式的相信以及對第二個等式的懷疑，有些學生要麼就開始懷疑第一個等式，要麼乾脆就感到灰心喪氣了。同時也還有否認 0.999…=1 的學生指出 1/3 比 0.333… 大一點（因為 1/3 是除不完的），所以推法「不成立」。更加複雜的方法，也不是十分有效的；有些學生完全可以應用嚴格的定義，但當他們被一個高等數學的結果，包括 0.999… 所震驚時，依然退回到直覺的形象上去了。例如，有一個學習實分析的學生，能夠用最小上界的定義來證明 0.333… = 1⁄3，但仍然堅稱 0.999…< 1，基於他早前對長除法的理解。其他學生也能夠證明 1⁄3 = 0.333…，但是，面對著以上的分數證明，仍然堅稱「邏輯」能代替數學運算。

約瑟・馬祖爾講了一個故事：

這位學生相信，九個數字就是學習數學所需要的一切，包括計算 23 的平方根。這位學生對 9.99… = 10 的極限證法感到彆扭，稱其為「一個難以想像的無限增長過程」。

作為埃德・杜賓斯基的數學學習的「APOS 理論」的一部分，杜賓斯基和他的合作者在 2005 年提出：任何一個學生，只要把 0.999… 設想為一個有限的、不確定的數串，與 1 的差是無窮小，那麼他就「還沒有對無限小數形成一個完整的過程概念」。其他對 0.999… 有了完整的過程概念的學生，仍不一定能把這個過程「概括」成一個「對象概念」，就像他們對 1 的對象概念那樣，所以仍然覺得 0.999… 和 1 是不一致的。杜賓斯基還把這種概括的能力與把 1⁄3 視為一個獨立的數，以及與把實數的集合視為一個整體聯繫起來。

## 在大眾文化中

隨著網際網路的崛起，關於 0.999… 的討論已經衝出了教室，並走向了新聞群組和信息版，包括那些名義上幾乎與數學無關的信息版。在新聞群組 sci.math 中，辯論 0.999… 是一項「受歡迎的運動」，也是常見問答集之一。常見問答集涵蓋了 1⁄3、乘以 10、還有極限的證明，也間接地提到了柯西序列。

一個 2003 年版的報紙專欄《真實訊息》通過 1⁄3 和極限討論了 0.999…，並談到了誤解：

 （頁面存檔備份，存於網際網路檔案館）

《真實訊息》在自己的信息版引用了另外一個不明的信息版中的討論，那個信息版「大部分是關於電子遊戲的」。0.999… 的問題在暴雪娛樂的 Battle.net 論壇的頭七年也是一個非常受歡迎的話題，以致於該公司在 2004 年的愚人節不得不發布了一則「新聞」，聲明 0.999… 就是 1：

然後便提供了兩個證明，一個是極限的證明，另一個是乘以 10 的證明。

比較直觀的解釋，可以把一塊圓餅平均切 3 分來證明。

## 其它數系

雖然實數形成了一個非常有用的數系，把「0.999…」解釋為一個實數的決定畢竟還是一個約定，蒂莫西・高爾斯在《Mathematics: A Very Short Introduction》（《數學：一個非常簡短的介紹》）中提到，0.999… = 1 的等式也是一個約定：

這時可以用不同的規則或新的事物來定義其它數系；在數系中，以上的證明便需要重新解釋。這時就有可能發現，在某一個給定的數系中，0.999… 和 1 並不一定就是相等的。然而，許多數系都是實數系的延伸，而不是獨立的替代物，所以 0.999… = 1 仍然成立。就算是在這數系中，這時依然值得去檢查其它的數系，不僅僅為了知道 0.999… 是怎樣表現的（如果「0.999…」既有意義又不含糊），也為了知道相關現象的表現。如果這種現象與實數系統中的現象不一致的話，那麼至少一個建立在這個系統中的假設便一定不成立了。

### 無窮小

0.999… = 1 的證明依賴於標準實數的阿基米德性質：不存在非零的無窮小。存在著數學上密切相關的有序代數結構是非阿基米德的，其中包括標準實數的各種各樣的替代品。0.999… 的意義與這時使用的結構有關。例如，在對偶數中，引進了一個新的無窮小單位 ε，就像複數系統中的虛數單位 _i_ 一樣，但是 ε² = 0。這樣便得出了一個在自動微分中十分有用的結構。這時可以給予對偶數一個字典序，這樣 ε 的倍數就非阿基米德原素。但是，要注意到，作為實數的延伸，在對偶數中仍然有 0.999… = 1。儘管 ε 在對偶數中存在，ε/2 也存在，所以 ε 就不是「最小的正對偶數」。確實是這樣，在實數中，並不存在這類的數。

另外一種構造標準實數的替代品的方法，是使用拓撲斯理論和替代的邏輯，而不是集合論和經典的邏輯（一種特殊情況）。例如，在光滑無窮小分析中，就存在沒有倒數的無窮小。

非標準分析因包含了一個有無窮小（及它們的反元素）完整陣列的系統而眾所周知，它提供了一個不同的，也許是更加直觀的，對微積分的處理。A.H. Lightstone 在 1972 年提供了一個非標準小數展開式的發展，其中每一個位於（0, 1）之內的擴展的實數，都有一個唯一的擴展的小數展開式：數列 0.ddd…；…ddd…，由擴展的自然數作索引。在這種形式中，0.333… 有兩種自然的展開式，都不與 1/3 相差無窮小：

　
: 0.333…；…000… 不存在，而

　
: 0.333…；…333… 正好等於 1/3。

組合博弈論也提供了替代的實數，無窮的藍 - 紅 Hackenbush 就是一個相關的例子。1974 年，埃爾溫・伯利坎普描述了一個 Hackenbush 字串與實數的二進位展開式之間的對應關係，由數據壓縮的想法所促動。例如，Hackenbush 字串 LRRLRLRL… 的值是 0.0101012… = 1/3。然而，LRLLL… 的值（對應著 0.111…2）則與 1 相差無窮小。兩個數的差是超實數 1/ω，其中 ω 是第一個無窮序數；相關的博弈是 LRRRR… 或 0.000…2。

### 打破減法的慣例

另外一種也可以使以上證明不成立的方法，就是 1 − 0.999… 根本就不存在，因為減法並不一定就是可能的。具有加法運算但沒有減法運算的數學結構包括可交換半群、可交換么半群，以及半環。里奇曼考慮了兩種這類的系統，使得 0.999…< 1。

首先，里奇曼把非負的「小數」定義為字面上的小數展開式。他定義了字典序和一種加法運算，注意到 0.999… < 1 僅僅因為在個位數 0 < 1，但對於任何一個有限小數 _x_，都有 0.999… + _x_ = 1 + _x_。所以「小數」的一個獨特之處，是等式兩邊不能同減一個數；另外一個獨特之處，就是沒有「小數」對應著 1⁄3。把乘法也定義了以後，「小數」便形成了一個正的、全序的、可交換的半環。

在定義乘法的過程中，里奇曼還定義了另外一種系統，他稱之為「分割 _D_」，它是小數的戴德金分割的集合。通常用這種定義便可以得出實數，但對於小數 _d_ 他既允許分割（−∞， _d_ ），又允許「主分割」（−∞， _d_ ]。這樣做的結果，就是實數與「小數」「不舒服地住在一起」。這個系統中也有 0.999… < 1。在分割 _D_ 中不存在正的無窮小，但存在一種「負的無窮小」──0−，它沒有小數展開式。里奇曼得出結論，0.999… = 1 + 0−，而方程「0.999… + _x_ = 1」則沒有解。

### _p_ 進數

問到關於 0.999… 的時候，初學者常常相信應該有一個「最後的 9」，也就是說，相信 1 − 0.999… 等於一個正數，可以寫為「0.000…1」。不管那有沒有意義，目標都是明確的：把 1 加在 0.999… 中的最後的 9 上，就會把所有的 9 變成 0，並在個位數留下一個 1。如果考慮到其它的原因，這種想法便不成立了，這是因為在 0.999… 中，並不存在「最後的 9」。對於包含最後的 9 的無窮多個 9，這時必須從別的地方去尋找。

_p_ 進數是在數論中引起興趣的又一個數系。像實數那樣，_p_ 進數可以從有理數通過柯西序列得到；但是，這種結構使用了另外一種度量，0 與 _p_ 之間的距離比 0 與 1 的距離還要近，而 0 與 _pn_ 的距離又比 0 與 _p_ 的距離近。對於素數 _p_ 來說，_p_ 進數便形成了一個域，而對於其它的 _p_，包括 10 來說，則形成了一個環。所以在 _p_ 進數中可以進行算術，這種數系也不存在無窮小。

在 10 進數中，類似於小數展開式的事物位於小數點的左面。10 進展開式…999 確實有一個最後的 9，而沒有第一個 9。這時可以把 1 加在個位數上，這樣進位之後就只剩下 0 了：1 + …999 = …000 = 0，所以…999 = −1。另外一種推導用到了等比級數。「…999」所指的無窮級數在實數中不收斂，但在 10 進數中收斂，所以這時可以使用大家熟悉的公式：

　
: $\ldots 999=9+9(10)+9(10)^{2}+9(10)^{3}+\cdots ={\frac {9}{1-10}}=-1.$

（與前面的級數比較。）第三種推導是一個七年級學生發明的，他對老師所講的 0.999… = 1 的極限證明感到懷疑，但因而產生了靈感，把以上乘以 10 的證明應用在相反的方向上：如果 _x_ = …999，則 10_x_ = …990，因此 10_x_ = _x_ − 9，所以 _x_ = −1。

作為一個最後的延伸，由於 0.999… = 1（在實數中），而…999 = −1（在 10 進數中），那麼這時可以「盲目、大膽地擺弄符號」，把兩個等式相加起來，得出：…999.999… = 0。這個等式在 10 進展開式中和標準小數展開式中都是沒有意義的，但假如這時研究出一種「雙小數」的理論，其中小數點左面和右面都可以無限延伸，那麼這個等式便是有意義和正確的。

## 相關問題

* 芝諾悖論，特別是奔跑者悖論，使人聯想起了 0.999… 等於 1 的表面上的悖論。奔跑者悖論可以建立一個數學模型，然後就可以像 0.999… 那樣，用等比級數的方法來解決。然而，這時不確定這種數學的論述是不是提到了芝諾所探索的形上學的問題。
* 除以零出現在 0.999… 的一些討論中，也引起了爭論。大部分作者都願意定義 0.999…，但幾乎都不去定義除以零，這是因為它在實數系統中不可能有意義。然而，在某些其它的系統中，除以零則是有定義的，例如複數分析，其中擴展的複平面，也就是黎曼球面，在無窮遠處「有一個點」。在這裡，1/0 便定義為無窮大；實際上，這個結果有深遠的意義，可以應用在工程和物理學中的許多問題上。有些著名的數學家在兩個系統發展起來之前就提出了這樣的一個定義。
* -0 是另外一個記數的多餘特徵。在諸如實數的數系中，「0」表示加法單位元，既不是正數又不是負數，「−0」的解釋是 0 的相反數，這便迫使了−0 = 0。然而，在某些科學的應用中，使用了獨立的正零和負零，大多數常見的計算機記數系統就是這樣的（例如儲存在符號和大小或一補數的格式中的整數，或由 IEEE 二進位浮點數算術標準所指定的浮點數）。

## 參見

* 數學
* 算術
* 無窮（無限）
* 極限
* 小數表示法
* 非正式數學
* 非整數進位制
* 非標準分析
* 實分析
* 無窮級數

## 註解與引用

## 參考文獻

## 擴展閱讀

## 外部連結

* When is .999... less than 1? Karin Usadi Katz and Mikhail G. Katz
* 0.999999… = 1?（頁面存檔備份，存於網際網路檔案館）來自 cut-the-knot
* 為什麼 0.9999... = 1？（頁面存檔備份，存於網際網路檔案館）
* 問一位科學家：重複的小數
* 基於算術的等式證明（頁面存檔備份，存於網際網路檔案館）
* 重複的九（頁面存檔備份，存於網際網路檔案館）
* 0.9 循環等於 1（頁面存檔備份，存於網際網路檔案館）
* 大衛・塔爾的研究（頁面存檔備份，存於網際網路檔案館）
* Metamath 上的 0.999... 定理（頁面存檔備份，存於網際網路檔案館）
* 果殼網上的最讓人糾結的等式：0.999...=1（頁面存檔備份，存於網際網路檔案館）
0.999…