2009-08-30 3:24| 
38 Comments | 本文内容遵从 
前段时间，网上涌现出一大批关于1/4 + 1/16 + 1/64 + ... = 1/3的图形证明(1) (2)。不过，有多少人想过，为什么这些图形都是证明底数为1/4的情况呢？同样是几何级数求和，能否构造一个图形来证明1/5 + 1/25 + 1/125 + .. = 1/4呢？
无妨让我们来尝试一下。绝大多数人的第一想法便是画一个正五边形，然后把它分成五等分。接下来，把其中一份涂上颜色，表示整个面积的1/5。然后呢？然后怎么办？我们需要有一种办法把剩下的四块中的其中一块再次分成五份，选取一份表示1/25，并且递归地做下去。我们似乎发现了问题：这个“递归”是做不下去的。为了能够递归地表示出1/5、1/25、1/125，你必须把一个正五边形分成五个小的正五边形，再把小正五边形分成更小的五个正五边形，而这似乎是做不到的。这也就是上面的那些图形都可以用来证明Σ(1/4)^n=1/3的根本原因：它们可以把自己分成更小的四个自己，从而能够递归地表示(1/4)^n。
现在，我们的问题就出来了：为了弄出一个Σ(1/5)^n=1/4的图形证明，我们必须寻找这样一种图形，它能把自身分割为五块相同的部分，每一部分都和自身相似。
我们能否找到这样的图形呢？不能！根本原因在于：一个平面图形是二维的。平面图形的维度决定了这样一个性质：两个相似图形的相似比和面积比成平方关系。如果一个正方形的边长是另一个正方形边长的两倍，那前者的面积就是后者的四倍；圆的面积必然与半径r成平方关系，最多再乘上一个常系数。类似地，把一条曲线放大一倍，其长度也会跟着变大一倍；把一个三维图形放大一倍，其体积将变大到原来的八倍。因此，把一个平面图形分成四个和自身相似的图形是相当和谐的——面积变为原来的1/4，边长就应该变为原来的1/2，而两个1/2边长正好就拼成一个原边长。但是，如果要想把一个平面图形分成五等份，每一份的面积就应该是1/5，则对应边应该变为原来的1/sqrt(5)，这样显然无法既无重复又无遗漏地填满原图形的边。看来，图形证明Σ(1/5)^n=1/4似乎就不可能了。
思考问题时要善于用想象来替代放弃。二维空间中可以证明Σ(1/4)^n=1/3。类似地，一维空间中还可以轻易证明Σ(1/2)^n=1。要是有一个什么东西是log(5)/log(2)维的就好了——这样的话，对应边扩大到原来的2倍，“面积”就会变成原来的2^(log(5)/log(2))倍，也就是5倍。这就是说，在log(5)/log(2)维的“空间”里，一个“图形”恰好可以包含5个与自身相似的“图形”，并且新的“边长”正好能整除原来的“边长”。看到这里有人会哈哈大笑起来——这种维度会有吗？
有。很多分形图形都有一些极其怪异的性质，相似比的变化和其所占空间的变化不成整次幂的关系。例如，大名鼎鼎的分形图形Sierpinski三角形就是这样——相似比为1/2，所占空间之比为1/3。一个图形有二维图形的样子，却没有二维图形的性质。Hausdorff维度就是专门用来处理这类问题的。我们常常用Hausdorff维度来描述一个分形图形，比如Sierpinski三角形的Hausdorff维度就是log(3)/log(2)——所占面积变为原来的三倍时，对应边变为原来的两倍。
嘿！那么，是不是Sierpinski三角形就可以用来证明Σ(1/3)^n=1/2呢？对！一个Sierpinski三角形由三个与自身相似的小Sierpinski三角形组成，因此你可以递归地表示出(1/3)^n。画出整个Sierpinski三角形的1/3，以及另外1/3的其中1/3，以及1/3的1/3的1/3，这样无限画下去，你会很快看出来，总区域正好占了原来的一半。
类似地，把Sierpinski地毯放大到原来的三倍，整个图形所占空间就变成了原来的八倍。它的Hausdorff维度就是log(8)/log(3)。于是，我们就能用它来证明Σ(1/8)^n=1/7。
回到本文最初的问题，为了证明Σ(1/5)^n=1/4，我们只需要找到这样一个分形图形，其Hausdorff维度的分子为log(5)。这样的图形不仅存在，而且还不止一个。大家可以在这个页面里找到各种不同Hausdorff维度的图形。我找到了一个有趣的分形图形叫做Vicsek雪花，它的Hausdorff维度是log(5)/log(3)。
不断选出更小意义上的那个1/5，你会一眼看出，选出部分的总和就是整个图形的1/4。
沙发
刚想说哪种分形的，果然NB
有趣的思路 不错的方法
分形的维度真是神奇啊
Sierpinski地毯的1/7是怎么看出来的？
受教...
看颜色看出来了，每种颜色涂了1/7
……我又恍惚了>_<
相当牛逼！
@onion
在每个'n'形中深色部分占1/7
……一直没刷新
这个让我对非整数维度有了更好的认识
有趣哦! 一般人想到log(5)/log(2)维度就觉得没办法了.
用五进制证明也很简单
五进制：0.1+0.01+0.001+0.0001+...+ = 0.1111111111...
所以
1/5 + 1/25 + 1/125 + .. = 1/4
果然分形......
强大的一沓糊涂
14楼的方法很巧妙。
额…是12楼…
开始没想到，这样的分形
great
分形居然可这样用！佩服！
我高三，这个刚学过。
12楼是神牛
被图片吸引了。
[...] Matrix67: My Blog » Blog Archive » 寻找1/5 + 1/25 + 1/125 + .. = 1/4的图形证明 http://www.matrix67.com/blog/archives/2272 – view page – cached icon2 Brain Storm | icon4 2009-08-30 3:24| icon3 10 Comments | 本文内容遵从CC版权协议 转载请注明出自matrix67.com — From the page [...]
今天我很诡异地从下往上看……
结果直接看到了12楼……强大得无语了……
询问楼上的：
1/5 + 1/25 + 1/125 + ... = 0.1 + 0.01 + 0.001 + ... = 0.1111111...
在五进制下是明白的，但最后结果 1/4
是怎么推演出来的？
回楼上，在5进制下，1/4自然就是0.1111111111111……，用笔一写就明白了。
这好像对任意进制都可以啊……
1/7我也没看出来
poj 2083？
楼主说“我们必须寻找这样一种图形，它能把自身分割为五块相同的部分，每一部分都和自身相似。我们能否找到这样的图形呢？不能！根本原因在于：一个平面图形是二维的。”
这个我就不明白了，这样的图形不是很容易找么？一个边长分别为1和√5的长方形，切成五份，变成了五个√5/5和1的小长方形，不是仍然与原来的相似？
而且这样的长方形也一样很容易通过涂色证明和等于1/4。
[...] 某日夜里我突发奇想，想到用分形图形来表示几何级数，于是写下了上一篇日志。日志发出后我收到了相当多的回复，很多网友告诉我说，这篇日志还留下了很多空白，大有扩展的潜力和推广的空间，非常具有启发性。网友morrowind在原日志第29楼评论说，大图形里面放置若干个相似的小图形时，并不一定要对应边与对应边相拼。考虑一个变成分别为1和根号5的矩形，它能够轻易地分成五个相同的小矩形，并且每一个都和原来的相似。这样的话，我们便又能递归地表示(1/5)^n了。只要能够递归地表示出(1/5)^n，从图形上我们总可以得出Σ(1/5)^n=1/4的结论，因为在每一个尺度下总有四个未被继续分割的区域中，其中染色的区域始终占据了1/4。 12楼的est用一个极其简单的式子给出了Σ(1/5)^n=1/4的证明：在五进制中，0.1 + 0.01 + 0.001 + 0.0001 + ... = 0.11111...，这恰好就说明了1/5 + 1/25 + 1/125 + .. = 1/4。上述两套证明方案对所有大于2的正整数n都成立，并且仔细思考你会看出它们的本质是相同的：0.11111...就是0.44444...的1/4，因为在每一个小数位上前者都是后者的1/4。 [...]
图是用什么画的?
这些分形的图形都是0测集吧?
用代数计算可以容易点吧~
设原式为Y,因为Y为无穷数,即可列方程:
1/5+Y/5=Y
解得Y=1/4
...
回复29楼：
也许是因为没那么直观？
大牛，神牛，长见识了。
都太牛叉了！
测试头像
整个博客……翻来覆去地看，还是要留言的！去图书馆搜索了纬度才入门了~~数学好玩Q