1. XenForo 1.5.14 中文版——支持中文搜索!现已发布!查看详情
  2. Xenforo 爱好者讨论群:215909318 XenForo专区

瞎扯 · 中山第一定理

本帖由 漂亮的石头2015-02-09 发布。版面名称:知乎日报

  1. 漂亮的石头

    漂亮的石头 版主 管理成员

    注册:
    2012-02-10
    帖子:
    486,020
    赞:
    46
    你觉得自己牛逼在哪里?

    [​IMG] 知乎用户,鲜嫩多汁。
    大一的时候,我发明了中山第一定理:在某年中,如果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月第一个周日,就这个周末了。”
    ~~
    “中山,圣诞节怎么过啊?”
    “哎,周二要加班哎!”
    ~~
    他们现在都管我叫活日历,而我从来没有向他们提起过那牛逼的中山第一定理。
    查看知乎原文
     
正在加载...