一些数学的好玩的东西

万圣节 = 圣诞节

因为 八进制的 31 = 十进制的 25 即 Oct 31 = Dec 25 所以 万圣节 = 圣诞节

常用证明方法

1.手势证明：在讲课或是学术会议上很有用。 2.前引证明：引用作者即将发表的一篇论文，一般这篇论文没有作者想的那么“即将发表” 3.经费证明：三个国家机构怎么可能都错呢？ 4.举例证明：作者给出n=2的证明，一般证明思路相似 5.省略证明：读者可以自行补充细节 / 其它253种情况类似证明 6.拖延证明：我们在这门课后面会证明这一定理 7.画图证明：举例证明的加强版，和省略证明一起服用尤佳 8.威胁证明：平凡！ 9.副词证明：很清楚，之前提到的基础论述显然成立。 10.劝诱证明：尝试说服你自己以上成立。 11.符号证明：使用至少四套字母系统加上特殊符号尤佳。 12.疲劳证明：最好有至少一两期期刊讨论 你的证明细节。 13.混淆证明：一长串没有实际意义的成立等价论述。 14.唯心证明：引用定理证否、逆定理证明或是一般情况证明来支持自己的观点。 15.名人证明：我在电梯里碰到了卡普，他说这个问题是NP完全。 16.私信证明：“八度涂色圈Q剥离问题是NP完全[卡普，私人联络]” 17.错题证明：为了证明有限度涂色圈剥离问题是可判定的，我们将其简化为停机问题 18.古经证明：作者引用了一个简单的引论，来白1883年私人流通的斯洛文尼亚语文学会会刊。 19.重要证明：这一论述能推导出以下大量有用结果。 20.积累证明：在长时间大范围搜索后，尚未发现任何反例。 21.宇宙证明：论述的反面不可想象或是没有意义，经常用来证明神的存在。 22.互引证明：A论文中的定理5来自B论文中的定理3，而后者来自C论文的推论6.2，其正确性可以从A论文的定理5轻易推出。 23.元证明：给出一个方法可以构造所需证明。方法的正确性可以由以下方法证明。 24.虚无证明：所引用的定理的文献中根本找不到任何和该定理有一点相关的东西。 25.断定证明：在听众面前保持权威形象是有用的。 26.语义证明：一些标准定义被悄悄修改导致定理证明。 26.直觉证明：云形状的文字框会很有帮助。

马色问题

引理1 所有的马颜色都一样（归纳法证明） 显然一匹马颜色一样。假设任何k匹马颜色一样的论述为P(k)，现在考虑k+1匹马，拿走1匹马，剩下的k匹马颜色一样，再拿走1匹马并用之前拿走的第1匹马代替，那么根据归纳假设k匹马颜色一样。重复以上过程得到k+1个K匹马集合Q，每个集合里所有马颜色都一样。因此每两匹马颜色都一样，所以P(Kk可以推导出P(k+1)，但是已知P(1正确，因此根据归纳法得出P对于所有正整数k成立，即所有马颜色都一样。

定理1 所有东西颜色都一样 证明：引理1的证明显然和物体本身无关。 因此“马”可以一般化为任何物体。

推论1 所有东西都是白色 证明：根据定理1可得"所有大象颜色都一样”，已知白象存在（引用：《白象被窃记》，马克•吐温)。根据定理1得到所有东西都是白色。

定理2 亚历山大大帝不存在 证明：根据历史文献，亚历山大如果存在，他骑的是一匹黑马布西发拉斯。但是根据推论1，所有东西都是白色，因此矛盾，反证推导出亚历山大大帝不存在。