關注 哆嗒數學網 每天獲得更多數學趣文
今天，我們來玩一個遊戲。玩這個遊戲需要一個無限行無限列的表格，以及三枚硬币。三枚硬币放在表格的左上角。就像下面圖中表示的那樣。
遊戲隻有一種操作。你可以拿掉任何一枚硬币，但是需要馬上在這枚硬币的右邊和下邊的格子裡補上兩枚硬币。比如，如果你拿掉了上方第二個硬币，你需要按下圖中的方式，馬上補上兩枚。
再補充一個規則吧。隻有一枚硬币右邊和下邊的格子全都是空格子的時候，你可以拿掉硬币，并補上兩枚。哪怕有一個格子不是空的，這枚硬币都不能拿掉。你就隻能拿别的按規則可以拿掉的硬币。
我們把左上方2×2的格子圈出來，把它叫做銀行，如下圖紅框部分。
你會直覺地感受到，整個遊戲過程中，硬币逐漸增多，總體是向右下方流動的。
我們的問題是，你有什麼政策，可以讓銀行中的硬币全部流出銀行。就是說左上2×2的格子中，不再有任何一枚硬币。或者，你會覺得總會有硬币留在銀行中，但你需要清晰精準地說明這一點。
這個問題其實有點難的， 你可以做做實驗，多想一會兒。待會兒我們解謎的時候，你會感受到數學的神奇。(在一串長空格後，我們開始解密)
解密開始：
在具體說明這個問題之前，你可能做了很多次實驗了。是不是開始懷疑，如果嚴格按照遊戲規則，是不可能把銀行清空的。
對的！如果你有這個想法，那恭喜你，這就是這個問題的正确答案。那麼，剩下的事情就是嚴謹地證明你的猜想。
證明的方法也許不唯一，這裡講述一個本人認為非常巧妙的一個辦法。
我們的證明過程會去設計一個不變量，利用這個不變量來說明按照遊戲規則，我們無法搬空銀行。不變量是一個數學概念，簡單的說，它表達的是無論局面如何變化，那些在萬變之中永遠不變的東西。不變量的思想幾乎貫穿數學這門學科的所有分支，甚至有觀點認為，數學本身就是研究各種不變量的學科。
為了說明問題，我們做一些準備工作。我們用如下的方式給每個格子标記一個數。
标記的規則是這樣的：
第一排，從左邊第一個開始分别标記1,1/2,1/4,...，總之右邊的那個數是之前數的一半。
第二排，從左邊第一個開始分别标記1/2,1/4,1/8,...，就是起始的數是上一排的一半，但總是保證右邊的那個數是之前數的一半。
第三排，繼續1/4,1/8,1/16,...
以此類推……
表格标記完後，你會發現，你任意取一個格子和它右邊以及下邊相鄰格子标記的數都是這個格子的一半。
準備工作完畢，我們來設計我們的不變量了。
首先，我們來看看，所有格子的數加起來會等于多少。這裡有無窮個數求和，我們的政策是先求出每一行的和，再把這些和加起來。
第一行就是，1 + 1/2 + 1/4 + ... ，結果是2 ；
第二行，1/2 + 1/4 + 1/8 + ... ， 結果是 1 ；
第三行，1/4 + 1/8 + 1/16... ， 結果是 1/2 ；
……
最後再來 2 + 1 + 1/2 + ... ， 加起來等于4 。
就是說所有數字加起來的和是4。
我們再來看看規則。每次操作，我們都會把原本的硬币去掉，并在右側和下側添加上兩枚新的硬币。雖然，表格中的硬币會增加一個，但是替換上的硬币覆寫格子中标記數的總和之前那枚硬币覆寫标記數是相等的。這意味着，無論多少此操作，所有硬币覆寫格子中标記數的總和不變。
那麼，按照初始的三個硬币擺放的位置。三枚硬币覆寫的标記數之和是1 + 1/2 + 1/2 = 2。銀行中，标記數之和是2 + 1/4 = 9 . 要把所有硬币在銀行内清空，意味着銀行内沒有硬币，所有硬币都在銀行外。根據之前的分析，就是說要達到一種狀态，銀行外硬币覆寫的标記數之和保持初始的2不變。但是，銀行外标記數之和為 4 - 9/4 = 7/4 ，比2小。
是以不能清空銀行。
另外，實際上通過之前的讨論，你可以證明：哪怕把硬币完全清理出初始的三個位置，都是不可能的。因為，剩餘的标記數之和是2，需要無限個硬币才能達到。而有限次操作，最多生成有限枚貨币。
關注 哆嗒數學網 每天獲得更多數學趣文