試卷很快就被分發了下去。
果然,只有三個大題,每題7分。
孔書成沒有說話,只是戴上火眼p鏡後,立刻就皺起了眉頭。
第一道題,直接就日了狗了。
【叮咚,經過掃描,此題難度係數為0.996,預計所耗時間為1小時以上】
坦白說,孔書成已經很少遇到這種需要耗時1小時以上的題目了。
這題是道證明題。
題目:
一共有1994個美女圍著一張圓桌,共玩一副n張牌的遊戲。最開始時,一個美女手中握有所有牌。如果至少一個美女至少握有兩張牌時,那麼這些美女中的一個必須分給她左、右兩個姑娘各一張牌。當且僅當每個美女至多握有一張牌時,這個遊戲就結束了。
 1如果大於等於1994,求證:這遊戲不能結束;
 2如果n小於1994,求證:這遊戲必定結束;
……
大約數秒之後,孔書成很快就進入到高效的刷題狀態當中了。
他知道,這道題必須引入數學歸納法。
數學歸納法,是一種數學證明方法通常被用於證明某個給定命題在整個,或是區域性自然數範圍內成立。當然,除了自然數以外,歸納法也可以用於證明一般良基結構,比如:集合論中的樹。
在數論中,數學歸納法是以一種不同的方式來證明任意一個給定的情形都是正確的(第一個,第二個,第三個,一直下去概不例外)的數學定理。
雖然數學歸納法名字中有“歸納”,但是數學歸納法並非不嚴謹的歸納推理法,它屬於完全嚴謹的演繹推理法。事實上,所有數學證明都是演繹法……
……
堅定了這個想法後,孔書成立刻開始咔咔咔地著手證明第一個問。
當n大於1994時,顯然不存在每個美女至多握有一張牌的情況,所以遊戲不能結束。
當n=1994時,最開始有1994張牌的姑娘最後只剩1張,不妨令其的站位為(1993 1991 ··· 5 3 1 0 2 4 6 ···1992,0是最開始有牌的姑娘,(1993與1991、1992相鄰
因為是圓桌,所以站位是環狀的。
假設最後遊戲可以結束。那麼,由題意可知,0分牌的時候,每次都給1、2一張,由於0最後剩了1張,所以2、1向兩側分牌的次數肯定不同。令xi為i向兩側分牌的次數。那麼就會有:x0+x32x1=1 ; x0+x42x2=1
聯立,就會得到:x3x4=2(x1x2、x1+x52x3=1 ; x2+x62x4=1
聯立,又會得到:x5x6=3(x1x2
……
時間一分一秒地過去了。
孔書成進入人題合一的狀態後,完全忘記了自己身處何處,更加忘記了還有三位監考老師。
直到,半個多小時過去了,他才猛然發現,身邊已經站著三位監考老師。
確切的說,是三個警察身份的監考老師。
此刻,三位監考老師,全都齊刷刷地看著他,眼神裡充滿了難以置信的震驚。
其中一位大鬍子的男監考老師,用手捂著嘴小聲對旁邊那位女監考老師說道:“抽屜裡,你都檢視過了嘛?”
女監考老師點了點頭:“檢視過了。沒有,什麼都沒有。”
大鬍子老師:“桌面呢?有沒有什麼特殊痕跡?”