Si Stebbins Stack中的数学与魔术（三）——序列存在性证明完结

在前面的文章中，我们聊到了Si Stebbins Stack的基本内容以及其存在性证明的一部分。说明了，花色和点数在Si Stebbins Stack的递推关系下，各自拥有其数量那么长的周期性，相关内容回顾请戳：

Si Stebbins Stack中的数学与魔术（二）——序列模型选择及存在性证明

Si Stebbins Stack中的数学与魔术（一）——序列基本介绍

但是，当二者组合在一起的时候，能否恰好遍历这52张牌，依然是个问号，今天我们就来解决这个问题。

Si Stebbins Stack的存在性证明

 

大家不要觉得这是显然的，我们举个反例，比如花色和点数都是以3为周期的，那么假设第一张牌是(0,0)，那么接着(1, 1), (2,2)，然后又会回到(0, 0)，显然遍历不到9张牌，这是两个周期完全相等的情况；不相等是不是一定可以？比如周期分别为2和4，那么遍历起来是(0, 0), (1, 1), (0, 2), (1, 3), (0, 0)……，显然周期只有4而已。达不到全部组合2 * 4 = 8组解。

 

要不你再取几组特征不同的数试试，看看会有怎样的猜想和结论？

 

提个思路，我们希望的遍历周期是两个周期的乘积，这个数一定是这两个周期的倍数，这毫无异议。但实际试验发现，很多时候得到的真实周期是两个子周期的倍数，但是往往还比直接的乘积小，那显然可以猜想一下，这个周期大小，会不会是这两个子周期大小的最小公倍数（lcm）？

 

答案是肯定的，我们可以简单说明一下原因。假设两个周期t1, t2互质，那么元组(a1, a2)一共有t1 * t2个，在每次跳跃t1个连续元素的遍历中，a1值不变，设为a1 = 0，a2的值的变化规律为a, (a + t1)(mod t2),(a + 2t1)(mod t2), ……, (a + (t2- 1)t1)(mod t2)，其数量为t2个。根据上篇证明的定理，这里每个序列的t1个值互不相同，因此所构成的这么接下去的长度为t1的t2个序列是同一个周期的不同相位的结果，互相差了一个平移。由于点数序列的可逆性（每个点数花色仅一张牌），这些序列所走过元组对应的扑克牌也都各不相同，因此恰好形成了t1 * t2张牌的遍历。至于不互质的情况，假设其最大公约数为gcd，那么如果遍历方式改成直接每次以一个gcd * gcd大小的方格进行，会发现剩下的规律就和上面推导的一样，对应的公因子恰好被gcd剔除。其周期结果自然为t1 * t2 /gcd ^ 2。但是你这里每一步都需要正常的遍历步骤走gcd步，才能走过这个正方形的对角线，因此，最后的周期结果应该是t1 * t2 / gcd，而这恰好就是两个子周期的lcm值。

 

你问我怎么想到这么转化的？这个想法源于几何原本里关于可公度线段相关内容的思想，公度是最大公约数，最小公倍数的基础，也是其概念的本源所在。

Si Stebbins Stack存在性的群论观点

当然了，在更加抽象的层面，这个结论也早就被证明过了。在群论中，这种遍历对应的是最简单的循环群Cm，而这种二阶形式对应的就是群的直积，那么结论如下：

 

当且仅当(m, n) = 1。

（取自《Visual Group Theory》）

中间的乘法是群的直积。大家可以直观感受一下直积的效果：

图1 直积结果示意图

如果是一般情况，是这样的：

图2 一般直积结果示意图

 

更通用的形式便是，两个循环群的直积仍然是循环群，其阶次为原来阶次的最小公倍数。

 

这一性质我们日后在对称和群论的相关章节里还会进一步讨论，敬请期待。

 

所以，这里花色周期是4，点数是13，后者还是质数，显然互质，因此这遍历整叠扑克牌的特性才能够实现。万一当年设计的时候时候是14点或12点，那这个序列就不复存在了。因为13本身也恰好是一个季度里周的数量，一副扑克牌52周，354 + 1/2个日夜的周期更替。所以这看起来里面留下的优美性质，就像是来源于上帝设计宇宙时候特意留下的。

 

想到这里，就会让我觉得，这个世界在数学的映照下，真是奇妙得迷人。

到这里，Si Stebbins Stack的主体数学性质就讲完了。但其中还有很多涉及其内的细节，如各种复合的周期性，隐含的常量，以及基本的地推关系式等等没有在这里展开，因为它们结合着具体的魔术应用来讲解会更加清晰。

不过在正式进入魔术部分之前，下一篇我们还会花一篇的篇幅，来聊聊如何根据序列的性质，结合我们会的魔术手法，来迅速构造一个Si Stebbins Stack出来。这也是我们在实际魔术操作中，非常关心的一环，尽请期待。

老规矩，放几个后续将讲解的魔术视频：

视频3 Intuition

我们是谁：

MatheMagician，中文“数学魔术师”，原指用数学设计魔术的魔术师和数学家。既取其用数学来变魔术的本义，也取像魔术一样玩数学的意思。文章内容涵盖互联网，计算机，统计，算法，NLP等前沿的数学及应用领域；也包括魔术思想，流程鉴赏等魔术内容；以及结合二者的数学魔术分享，还有一些思辨性的谈天说地的随笔。希望你能和我一起，既能感性思考又保持理性思维，享受人生乐趣。欢迎扫码关注和在文末或公众号留言与我交流！

扫描二维码

关注更多精彩

Si Stebbins Stack中的数学与魔术（二）——序列模型选择及存在性证明

如果道具不能检查，那就毁了它！（二）——一般道具篇

利息浅谈（七）——万物皆投资

约瑟夫问题与魔术（十）——魔术《完全控制》

每一个魔术，都应该是一场直播的微电影！

点击阅读原文，往期精彩不错过！