中山第一定理

http://www.zhihu.com/question/19568396/answer/20361306?utm_source=weibo&utm_medium=weibo_share&utm_content=share_answer&utm_campaign=share_button

大一的时候，我发明了中山第一定理：在某年中，如果9.11纪念日是星期n，那么当年的9.18纪念日也必定为星期n。
我用穷举法给出了该定理严谨的证明过程：

• 在某年中，9.11纪念日可能为星期一、星期二、星期三、星期四、星期五、星期六和星期天；
• 若9月11日为星期一，则9月12日为星期二，9月13日为星期三，9月14日为星期四，9月15日为星期五，9月16日为星期六，9月17日为星期天，9月18日为星期一，定理成立；
• 若9月11日为星期二，则9月12日为星期三，9月13日为星期四，9月14日为星期五，9月15日为星期六，9月16日为星期天，9月17日为星期一，9月18日为星期二，定理成立；
• 若9月11日为星期三，则9月12日为星期四，9月13日为星期五，9月14日为星期六，9月15日为星期天，9月16日为星期一，9月17日为星期二，9月18日为星期三，定理成立；
• 若9月11日为星期四，则9月12日为星期五，9月13日为星期六，9月14日为星期天，9月15日为星期一，9月16日为星期二，9月17日为星期三，9月18日为星期四，定理成立；
• 若9月11日为星期五，则9月12日为星期六，9月13日为星期天，9月14日为星期一，9月15日为星期二，9月16日为星期三，9月17日为星期四，9月18日为星期五，定理成立；
• 若9月11日为星期六，则9月12日为星期天，9月13日为星期一，9月14日为星期二，9月15日为星期三，9月16日为星期四，9月17日为星期五，9月18日为星期六，定理成立；
• 若9月11日为星期天，则9月12日为星期一，9月13日为星期二，9月14日为星期三，9月15日为星期四，9月16日为星期五，9月17日为星期六，9月18日为星期天，定理成立；
• 综上所述，中山第一定理成立。

后来，我把中山第一定理以及证明方法发表在了校X网上，果然该定理得到了众多网友的一致肯定，更有热心网友给出了该定理的其他证明方法。
然而，随着中山第一定理的广泛流传，一个很现实的问题被越来越多的人提起：这定理有啥用？
我对此的回答是：当你某天打开新闻，听说今天要举行9.11纪念活动的时候，你就知道，下周今日不能懒床了（沈阳等城市每年9月18日会拉防空警报）。

再后来，我觉得，中山第一定理的应用确实有一定的局限性，毕竟每年只能用一次。经过冥思苦想后，我给出了中山第一定理的第一推论： 在某年中，如果教师节（9月10日）是星期n，那么当年的国庆节（10月1日）也是星期n。 这样，你在过教师节的时候就知道国庆是星期几了。

再再后来，又有了中山第一定理的第二推论： 在某年中，如果劳动节（5月1日）是星期n，那么次年的元旦（1月1日）也是星期n。 这样，你在过劳动节的时候就知道明年元旦是星期几了。

再再再后来，又出现了中山第一定理的第三推论： 在某年中，如果7月1日是星期n，那么当年的光棍节（11月11日）也是星期n。 这样，你就可以在党的生日那天知道今年可以在星期几去淘X网抢打折商品了。

……………………

再再再再再再再再了不知道多少个再后来，中山第一定理的推论多到我自己都记不住有多少条。每发现一条新的推论，我就在人X网上更新我的最新研究成果。
我觉得自己牛逼到不行，但回复我日志的人越来越少，甚至有人给我留言说我脑子有问题。我觉得那些骂我的人一定是智商跟不上我的节奏，毕竟中山第一定理的推论那么那么多，全世界我能全部记住它们的人只有我自己。
我决定不和他们一般见识，在某个深夜删除了所有中山第一定理及推论的日志，并发誓再也不跟任何人提起这曾经灿烂过的辉煌。
我只记得第二天北京特别晴朗。

………………

如今，办公室里经常有这样的对话：
“中山，咱老大的生日是礼拜几？”
“哦，再下个周五，正好一起聚个餐过周末吧！”
～～
“中山，马拉松是什么时候来着？”
“每年12月第一个周日，就这个周末了。”
～～
“中山，圣诞节怎么过啊？”
“哎，周二要加班哎！”
～～
他们现在都管我叫活日历，而我从来没有向他们提起过那牛逼的中山第一定理。