补充讲义(RamseyTheorem)-nctu.edu.tw.doc

补充讲义(RamseyTheorem)-nctu.edu.tw

本文略經改編原載於數學傳播第二卷第四期 謝聰智I. 鴿籠原理 II. 三個知友或三個陌生人 III. 鴿籠原理的挑戰 I. 鴿籠原理 鴿籠原理是說將 k 個東西分成 n 類,若 則有一類東西之數目大於或等於 。十隻鴿子分放在九個籠中,必有一籠至少放二隻鴿子。五房客四房間,一定有二房客共一房間。三男追二女,必有二男為情敵。十三人同行,必有二人同月生。五人分十六本書,必然有人至少獨得四本書。這些都是鴿籠原理在生活中常碰到的實例。這樣平凡的道理人人在諸多待人接物中,不假思索屢用不爽。道理雖然簡單,巧妙地運用卻有意想不到的驚奇結果。 沈士海是位圍棋新秀,去年參加全國圍棋名人大賽,從地方初選到最後名人爭奪戰,一連比賽了11星期。沈高手之戰績輝煌,優勝記錄是:每日至少勝一次;每星期最多勝12次。由此記錄可推得在一段連續的日子裏,沈棋士不多不少連勝了21次。 結論似乎有點出奇。想一想,再看下面的證明。 設 等為第 1 天,第 2 天,……最後第77天沈高手勝棋的累積數。由於每天至少勝一次及每星期最多勝12次,。令。則。 及 共有154個數,但其值落在 1 至153之153個數中。由鴿籠原理,其中必有二個數其值相同。由(1)及(3), 之間彼此不相等, 之間亦彼此不相等。因此某一 等於某一 。此即 或 。換言之,從第 天至第 天,沈棋士不多不少勝了21次。 小飛俠一號鐵雄與三號珍珍,在掃蕩惡魔黨之餘暇,常愛玩一種鬥智的紙牌遊戲。遊戲開始前,兩人各準備五張空白的紙牌,各按自己的意思在每張牌上寫一個號碼,然後各自將五張寫上號碼的牌與對方交換。遊戲開始,兩人猜拳決定先後秩序輪流出一張牌。當出手之牌與桌面上適當挑選的牌加起來,其點數和為10之倍數時,出牌者得勝,比賽結束;否則輪到對方出牌繼續比賽。若最後各人把百張牌出完而未分勝負,比賽即為雙和。這遊戲既簡單又有趣,鐵雄與珍珍玩得津津有味。但很奇怪,玩了千百次的記錄中,各有勝負,但從來沒有雙和的情況發生。有一次,他們就把這遊戲是否有雙和的問題請教南宮博士。他思索片刻,洞察其中道理後說:「是的,十個任意數目統統加起來若不是十的倍數,其中必有一部份加起可被十除盡」。接著南宮博士又說:「事實上,任意給定 n 個正整數的數列 a1, a2,…,an,必定有一段連加起來是 n 的倍數。用鴿籠原理試證明看」。小飛俠鐵雄不僅武功非凡,智力亦高,經南宮博士一提醒,花了一天一夜苦思,果然看透了問題並想出了證明。各位讀者,想一想,再看以下鐵雄的證明。 , 為給定之 n 個正整數列,設 。以 n 除 得商 ,餘 寫成 若某一 rk=0 則 sk 為 n 之倍數即得結論,因此假定所有 , j=1,2,…,n,則 r1,r2,…,rn 等 n 個數,其值皆落在 1,2,…,n-1 等之 n-1 個數中,由鴿籠原理,必有某一 rk 等於某一 ri。故 sl-sk 為 n 之倍數。此即說 可被 n 除盡。 十個人任意排成一列必定有四人是按高矮順序排列。事實上,一般的情形,任意長度為 n2+1 之實數敘列必包含有 n+1 長度為 n+1 之遞增或遞減子敘列。下面是組合學大師耶迪西 (Erd?s) 的證明。假設給定之實數敘列 a1,a2,…,an2+1 中沒有長度為 n+1 的遞增子敘列,我們將證明必定有長度為 n+1 之遞減子敘列。對任意 ai 考慮所有以 ai 為起點之遞增子敘列。令 mi 為此種遞增子敘列中可能達到之最大長度。由開始的假定得 m1,m2,…,mn2+1 為 n2 +1 個數,其值落在 1,2,…,n 之 n 個數中,由鴿籠原理,必有 n+1 個 mi 取同一值。令 且 。若 則 接上以 為起點之最長遞增序列構成以 為起點,長度為 之遞增子序列, 因此 。此與(4)式矛盾,故 ,同理 , …, 等。此即 是長度為 n+1 之遞減子序列。 從 1、2、3、……、200 的二百個數中任取 101 個數則其中必定有二數 s,t,使得 s 是 t 的因數或 t 是 s 的因數。想一想,再看以下的證明。 任意選取之 101 個數記為 a1,a2, …, a101。將 ai 中所有含 2 之因數刮出,寫成 其中 pi 為奇數。 p1, p2,…,p101 等 101 個數,其值落在 1,3,5,… ,199 等之 100 個數中。由鴿籠原理,知道某兩個 pi 相等。設 pk = pu = p 則 及 ,令 s = ak, 及 t = a,則 s,t 滿足所要的條件。 半徑為 1 的圓盤上有七點,其中任意二點的距離都不小於 1。則七點中有一點為圓心。結論有點出奇,想一想,再看以下證明。 將圓盤如圖一分成六塊相等之扇形 A1 O A2 ,A2 O

文档评论(0)

1亿VIP精品文档

相关文档