|
Author |
abababa
Posted 2021-11-28 10:00
回复 2# realnumber
谢谢,我根据后半段的证明,把我原来的证明补完了:
根据拉姆齐问题可知必有一个同色三角形,不妨设$A_1A_2A_3$是白三角形。
考察$A_4$引出的$5$线段,根据抽屉原理可知至少有三条同色:
1.若同为蓝色,当$A_4A_1, A_4A_2, A_4A_3$不全为蓝色时,不妨设$A_4A_i, A_4A_j, A_4A_k$为蓝色,其中集合$\{i,j,k\} \neq \{1,2,3\}$且$i,j,k \neq 4$。若$A_i, A_j, A_k$之间的连线中有蓝色,则构成蓝三角形,命题成立。否则$A_i, A_j, A_k$之间的连线都为白色,构成异于$A_1A_2A_3$的白三角形,命题成立。
2.若同为白色,当$A_4A_1, A_4A_2, A_4A_3$中有两条白边时构成两个白三角形,命题成立。否则$A_4A_1, A_4A_2, A_4A_3$中至多有一条白边:
2.1 若恰有一条白边,不妨设$A_4A_1$是白色,则$A_4A_2, A_4A_3$是蓝色,由于$A_4$引出三条白线,所以$A_4A_5, A_4A_6$都是白色。考察$A_1, A_5, A_6$之间的连线,若有一条为白色则构成白三角形,命题成立。否则$A_1, A_5, A_6$之间的连线都是蓝色,构成蓝三角形,命题成立。
2.2 若一条白边都没有,则$A_4A_1, A_4A_2, A_4A_3$全为蓝色。
所以只要考察$A_4A_1, A_4A_2, A_4A_3$全为蓝色的情况。(我原来就证明到这里)
同理对$A_5, A_6$各自引出的$5$线段作如上推理知,也必须使$A_5A_1, A_5A_2, A_5A_3$和$A_6A_1, A_6A_2, A_6A_3$都为蓝色。
此时若$A_4, A_5, A_6$的连线中若有一条蓝色,则构成蓝三角形,命题成立。否则$A_4A_5A_6$为白三角形,命题成立。 |
|