來源：互聯(lián)網(wǎng)
西塔潘猜想還有一個(gè)雅稱，叫“友誼定理”（Friendship theorem）也叫“政治家定理”或“交際花定理”，友誼定理緣于三角戀，故事中的三角戀是兩個(gè)女生與一個(gè)男生，或者是兩個(gè)男生與一個(gè)女生的愛戀；西塔潘猜想的友誼定理中的三角戀是：兩根藍(lán)線（男生）與一根紅線（女生）組成的三角形，或者是兩根紅線（女生）與一根藍(lán)線（男生）組成的三角形。友誼定理緣于三角戀，在西塔潘猜想的友誼定理中，沒有同性戀（紅線組成的三角形或者藍(lán)線組成的三角形）存在。友誼定理一直沒有證明，是因?yàn)槲魉瞬孪霙]有證明，當(dāng)西塔潘猜想成為定理時(shí)，表明友誼定理是正確的。友誼定理是用圖形證明的，在西塔潘猜想的圖形中沒有紅藍(lán)三角形存在，故友誼定理成立。
主要內(nèi)容
友誼定理的主要內(nèi)容如下：在一群不少于三人的人中，若任何兩人都剛好只有一個(gè)共同認(rèn)識(shí)的人，這群人中總有一人是所有人都認(rèn)識(shí)的。從圖論的角度來說，一幅圖，若每個(gè)頂點(diǎn)都跟另一個(gè)頂點(diǎn)剛好只有一個(gè)共同相鄰的頂點(diǎn)，這幅圖中總有一個(gè)頂點(diǎn)和其他頂點(diǎn)都相鄰。
定理來源
這個(gè)定理實(shí)際上是由拉姆齊定理引申而來的，是拉姆齊定理的通俗版。原定理如下：要找這樣一個(gè)最小的數(shù) n，使得 n個(gè)人中必定有 k個(gè)人相識(shí)或 l個(gè)人互不相識(shí)。
參考資料 >