http://xuefuzi.com/post-151.html
分享到:
作者: 学夫子 11-04-18
在前两篇文章里,我们分别到二维空间和三维空间里面分地盘。我们知道,在二维空间里,切X刀最多能把平面分成的块数排列为:1,2,4,7,11,16,22……,在三维空间里是:1,2,4,8,15,26……我们还知道,二维空间是的排列是一个二阶等差数列,三维空间的是一个三阶等差数列,我们不由得猜想:N维空间会不会就是N阶等差数列?
所谓刨根问底,我们先把我们的目光转到更低维的空间,在零维空间也就是一个点里面,不管你切多少刀,切成的块数都为1,也就是其排列为:
零维空间:1,1,1,1,1,1,1……这是一个零阶等差数列;
在一维空间,也就是一条直线上,我们很容易得到其排列为:
一维空间:1,2,3,4,5,6,7……这是一个一阶等差数列;
结合前面的结论,我们完全有理由推测,N维空间的排列就应该是一个N阶等差数列,不过这只是猜测,就好像我们说,1,2,4,8后面不一定就是16 一样,为了验证我们的想法,我们先推导从低维到高一维的一个递推公式。我们以二维到三维为例,设二维里切n刀最多能切成的块数为P(n),三维空间为Q(n)。
以二维空间为例,我们首先要明白这样一个道理,那就是要想让分成的块数最多,必须要让所有的直线两两相交,并且每两条直线的交点都不一样。我们用这个原理来推导递推公式:
先考虑Q(n-1),也就是已经有n-1个平面来分割空间,并且都达到了最大化,也就是每一个平面都两两相交,并且交点都不一样,现在加入第n个平面,显然,这个平面也要和前面的n-1个平面相交,这个平面和n-1个平面就有n-1条交线,根据我们前面所说,这n-1条交线可以将第n个平面分成P(n-1)块,如果这个平面的左侧是那n-1条直线,显然右侧就多出 P(n-1)块空间。 显然,整个空间就多了P(n-1)块,因为在三维空间里,这个平面上的每一个小块都会对应着一个空间块。所以我们得到:
Q(n)=Q(n-1)+P(n-1)。
上面的讲述也许有点乱,实在是本人这个表述能力相当有限,本来想画个图的,作图能力也更加有限,真是惭愧。我们完全可以将这个方法推进到N维空间,也就是说若设M维空间切n刀最多能切成的块数为P(n),M+1维空间为Q(n),则有:
Q(n)=Q(n-1)+P(n-1), …………①
我们可以验证这个式子对于零维一维等空间都是适用的。我们可以因此推出Q(n)的表达式:
零维空间里,Q(n)=1
一维空间里,Q(n)=Q(n-1)+1,所以Q(n)=n+1
二维空间里,Q(n)=Q(n-1)+n,推出Q(n)=1 /2 (n2+n+2)
三维空间里,Q(n)=Q(n-1)+1 /2 [(n-1)2+n+1),故Q(n)=1 /6 (n3 +5n+6)
当然,你甚至可以推出在M维空间里Q(n)的表达式,具体推导涉及到线性代数。目前我还没有推出来,等有结果了会第一时间写上来的。但是我们依据式子①可以知道,M维空间的排列一定是一个M阶等差数列。
尊重成果,转载请注明出处:学夫子数学博客:
http://xuefuzi.com
学夫子在线数学工具上线,在线求导积分,解方程就是这么容易!点击进入工具首页.