例3 连接圆周上九个不同点的36条直线染成红色或蓝色,假定有九点中每三点所确定的三角形都至少含有一条红色边,证明存在4点,其中每两点的连线都是红色的。(第八届加拿大数学奥林匹克,1976年)
分析:这个问题等价于以下命题:在二染色完全图K9中,要么存在所有边被染为蓝色的完全图K3,要么存在所有边被染为红色的完全图K4。更直接地说,就是证明R(3,4)≤9。这又是一个典型的拉姆赛型问题。
解:因为从一点引出的8条直线被染成红蓝两色,故至少有四条直线同色。
ⅰ 若有一点(设为A)引出的蓝色直线大于等于4条,并设A向点A1、A2、A3、A4引出了蓝色直线。此时,若A1A2、A1A3、A1A3、A2A3、A2A4、A3A4中任一条为蓝色,那么K9中便存在蓝色完全图K3;若A1A2、A1A3、A1A3、A2A3、A2A4、A3A4中每一条都为红色,那么就形成了一个以点A1、A2、A3、A4为顶点的红色完全图K4。所以,这种情况下命题成立。
ⅱ 每一点至少连出5条红色直线。若每一点都只连出5条红色直线,那么这九个点连出的红色直线数就不是整数,故至少有一点连出了6条红色直线。设该点为B,并设点B向点B1、B2、B3、B4、B5、B6引出了红色直线。
在考虑从点B1引出的五条直线B1B2、B1B3、B1B4、B1B5、B1B6,则至少有三条同色,设为B1B2、B1B3、B1B4。如果这三条都是蓝色的,那么以B、B2、B3、B4为顶点的完全图K4所有边都为红色,命题成立;如果这三条都为红色,考虑△B2B3B4,若每条边都为蓝色,那么就存在蓝色完全图K3;若有一边为红色,设为B2B3,则以B、B2、B3、B4为顶点的完全图K4符合要求,命题成立。
综上所述,原命题成立。
嘛意思
你问什么?