离散数学很有趣的证明题

 

下面是发表在1958年美国数学月刊的题目

总会有3人相互认识或者3人相互不认识。意思是至少3个人相互认识或不认识。

假设下面三个一组，则v2v3v4，3人互不认识，

满足定理。

若添加一个线，则v1v2v3，三人相互认识，满足定理。