这个证明的前提是“认识”是一种相互关系,即“A认识B,则B认识A；A不认识B,则B不认识A”
记一组的总人数为n
则任何一个人“认识的人数”可能为0、1、2……、n-1（除了自己）
共有n种可能.
用反证法：
假设不存在两个人,在组内认识的人一样多
那么必须有一个认识0个人的、一个认识1个人的……一个认识n-1个人的
记认识0个人的为A,认识n-1个人的为B
因为A一个人也不认识,因此A不认识B
B认识除了自己之外的所有人,因此B认识A,矛盾!
因此任何一组人中都存在两个人,他们在组内认识的人一样多