大家眼睛看过来，R(3,3)等于6的证明。

win7cc 2012-03-21 03:25:13

　　证明：在一个K6的完全图内，每边涂上红或蓝色，必然有一个红色的三角形或蓝色的三角形。任意选取一个端点P，它有5条边和其他端点相连。根据鸽巢原理，5条边的颜色至少有3条相同，不失一般性设这种颜色是红色。在这3条红边除了P以外的3个端点，它们互相连结的边有3条。若这3条边中任何一条是红色，这条边的两个端点和P相连的2边便组成一个红色三角形。若这3条边中任何一条都不是红色，它们必然是蓝色，因此，它们组成了一个蓝色三角形。而在K5内，不一定有一个红色的三角形或蓝色的三角形。每个端点和毗邻的两个端点的线是红色，和其余两个端点的连线是蓝色即可。这个定理的通俗版本就是友谊定理。

2010年8月，酷爱数理逻辑的刘路(又名刘嘉忆)在自学反推数学时发现，第一次接触到这个问题，海内外不少学者都在进行反推数学中的拉姆齐（Ramsly）二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想，10多年来许多著名研究者一直努力都没有解决。2010年年10月的一天，刘路(又名刘嘉忆)突然想到利用之前用到的一个方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》，得到该杂志主编、逻辑学专家、芝加哥大学数学系Denis Hirschfeldt教授的高度赞赏。"
　　2010年，刘路(又名刘嘉忆)在第二届丘成桐数学竞赛中获代数与数论优秀奖；2011年，获宝钢优秀大学生特别奖；2012年，被中南大学特批硕博连读，师从我国著名数学家、中南大学博士生导师侯振挺教授；获得“2012年‘世界因你而美丽’影响世界华人希望之星提名奖”。"
　　2011年5月，在由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议上，刘路(又名刘嘉忆)公布了对拉姆齐二染色定理的证明论强度的研究，被认为彻底解决了英国数理逻辑学家Seetapun于上世纪90年代提出的一个猜想——“西塔潘猜想”。2011年9月，他作为唯一一名本科生在芝加哥大学举办的数理逻辑方面的专门会议上，报告了他的研究成果。他的这一研究成果得到海内外科学家的权威认可。10月8日，本报以《湖南学子攻克世界难题》独家率先报道了此事，引起国内外广泛关注。"
　　2012年3月20日下午，中南大学决定：从今天开始聘请22岁的刘路(又名刘嘉忆)为正教授级研究员，刘路成为目前中国最年轻的教授。
　　据中南大学校长张尧学介绍，中南大学此举是为杰出青年人才提供更好的平台：“我们把他聘为教授级研究员，让他尽可能多的从事科学研究，在国内外、在全世界、在设备领域最好的地方去讲学、访学，丰富他的阅历，给他的科研提供更好的平台。

以上来自百度百科

...全文