MathLabs

第6题

一个国际协会的成员来自六个不同国家。成员名单有 19781978 人,编号为 1,2,…,19781,2,\ldots,1978。证明至少有一名成员,其编号是本国两名成员编号之和,或是本国一名成员编号的两倍。
第 6/6 步:结论
通俗地说

抽屉原理的递降迫使出现同国加法关系。

∃x,y in one country:z=x+y or z=2x\exists x,y\text{ in one country}:\quad z=x+y\text{ or }z=2x
详细分析

因此,存在一名成员,其编号是本国两名成员编号之和,或是本国一名成员编号的两倍。