30届imo逻辑试题及答案梳理

30届imo逻辑试题及答案梳理考试时间：______分钟总分：______分姓名：______第一题已知集合P={x|x^2-3x+2=0},Q={x|ax=1}.若Q⊆P,求实数a的取值集合M.第二题设命题p:∃x∈ℝ,x^2+x+1<0.命题q:∀x∈ℝ,|x|≥x.判断命题"p或q"和命题"p且q"的真假，并说明理由。第三题有n个不同的非空集合，每个集合都恰好包含3个元素。如果这些集合中任何两个集合的交集最多包含1个元素，那么n的最大值是多少？第四题给定10个不同的正整数，记为a_1,a_2,...,a_{10}.如果这10个数中任意3个数的和都大于20，证明其中必有5个数，它们的和大于20.第五题设A,B,C是三个非空集合，且A∪B∪C={1,2,3,4,5}.如果A∩B∩C≠∅,并且对于任何x∈A∪B∪C,都有x∈A或x∈B或x∈C成立.证明A∩B∩C={1,2,3,4,5}.第六题在一次扑克游戏中，有4名玩家，每人发到13张牌。如果已知每名玩家手中的牌都包含相同数量的红桃和黑桃，且每名玩家手中都至少有一对（即两张点数相同的牌）。证明至少有两名玩家手中有一对点数相同的牌。第七题有6个城市，它们之间互相都有道路连接。如果从任意一个城市出发，经过不超过3次转乘，就可以到达其他任何一个城市。证明这6个城市构成一个连通图。第八题对于任意实数x,定义函数f(x)=x^3-ax^2+bx-c.如果f(1)=1,f(2)=2,f(3)=2,求a,b,c的值。第九题设A={1,2,...,n},B={x|x∈A,x是偶数}.如果A中的元素按照某种顺序排列为a_1,a_2,...,a_n,且对于任意i∈B,a_i是a_{i+1}的倍数。求n的最大值。第十题在一个无向图中，每个顶点的度数都是偶数。如果该图中有4条边，证明该图至少存在一个环。试卷答案第一题解：P={1,2}。若Q=∅,则a=0;若Q≠∅,则Q={1/a},需要1/a∈P,即a=1或a=2。综上,M={0,1,2}.第二题解：p为假命题，因为x^2+x+1=(x+1/2)^2+3/4>0对所有x∈ℝ成立。q为真命题。故"p或q"为真命题,"p且q"为假命题.第三题解：设A和B是任意两个集合。由于A和B的交集最多包含1个元素,因此A和B之间最多有3个元素互不相同。设这3个元素为x,y,z。考虑所有集合中包含x的集合B_i(i=1,2,...)。由于B_i和A的交集最多包含1个元素,且x∈B_i,所以A中最多有1个元素在B_i中。这意味着A中的元素只能出现在有限个B_i中。由于B_i的数量最多为3个,因此A中的元素个数n不能超过3*3=9。当n=9时,可以构造9个集合,例如A_1={1,2,3},A_2={1,4,5},...,A_9={7,8,9}.任意两个集合的交集最多包含1个元素。因此n的最大值为9.第四题解：假设结论不成立，即至多只有4个数的和小于或等于20。则这10个数中至少有6个数的和大于20。设这6个数为a_1,a_2,a_3,a_4,a_5,a_6。由假设知a_1+a_2+a_3>20,a_1+a_2+a_4>20,a_1+a_2+a_5>20,a_1+a_2+a_6>20,a_1+a_3+a_4>20,a_1+a_3+a_5>20,a_1+a_3+a_6>20,a_1+a_4+a_5>20,a_1+a_4+a_6>20,a_1+a_5+a_6>20.将以上10个不等式相加,得到10(a_1+a_2+a_3+a_4+a_5+a_6)>200,即a_1+a_2+a_3+a_4+a_5+a_6>20.这与假设矛盾。因此,至少有5个数的和大于20.第五题解：设A∩B∩C=S。由于A∩B∩C≠∅,所以S为非空集合。取x∈S。由于x∈A∪B∪C,根据"对于任何x∈A∪B∪C,都有x∈A或x∈B或x∈C成立",可知x∈A或x∈B或x∈C。由于x∈S,所以x∈A,x∈B,x∈C都成立,即x∈A∩B∩C=S。因此S⊆A,S⊆B,S⊆C。这意味着S中的元素也属于A,B,C。由于A,B,C都包含在A∪B∪C中,且S⊆A,S⊆B,S⊆C,所以S中的元素都属于A∪B∪C。因此S=A∪B∪C={1,2,3,4,5}.第六题解：假设结论不成立，即每名玩家手中至多只有一对点数相同的牌。由于每名玩家手中的牌都包含相同数量的红桃和黑桃，设每名玩家手中红桃和黑桃各有k张。由于每名玩家手中都至少有一对，且假设每名玩家手中至多只有一对点数相同的牌，所以每名玩家手中其余k-1张牌的点数都各不相同。这k-1张牌的点数必须来自剩下的12张牌中的k-1张。由于有4名玩家，每名玩家有k-1张牌的点数不同，所以这4k-4张牌的点数必须来自12张牌中的k-1张，这与鸽巢原理矛盾。因此，至少有两名玩家手中有一对点数相同的牌。第七题解：假设图不连通。则存在两个城市u和v，它们之间没有路径。对于城市u，它不能直接到达v，且经过1次转乘也无法到达v。这意味着u所在的连通分支中没有任何一个城市可以到达v。但这与"从任意一个城市出发，经过不超过3次转乘，就可以到达其他任何一个城市"矛盾，因为u可以经过3次转乘到达v(例如：u->w->x->v，其中w和x分别属于u所在的连通分支和v所在的连通分支)。因此，图是连通的。第八题解：由f(1)=1,f(2)=2,f(3)=2得:1-a+b-c=1,8-4a+2b-c=2,27-9a+3b-c=2.解得a=4,b=5,c=4.第九题解：考虑A中的元素个数n。当n=2时,A={1,2},B={2},可以排列为a_1=1,a_2=2,满足条件。当n=3时,A={1,2,3},B={2,4},可以排列为a_1=1,a_2=2,a_3=3,满足条件。当n=4时,A={1,2,3,4},B={2,4},可以排列为a_1=1,a_2=2,a_3=4,a_4=3,满足条件。当n=5时,A={1,2,3,4,5},B={2,4},可以排列为a_1=1,a_2=2,a_3=4,a_4=5,a_5=3,满足条件。当n=6时,A={1,2,3,4,5,6},B={2,4,6},可以排列为a_1=1,a_2=2,a_3=6,a_4=4,a_5=5,a_6=3,满足条件。当n=7时,A={1,2,3,4,5,6,7},B={2,4,6},可以排列为a_1=1,a_2=2,a_3=6,a_4=4,a_5=7,a_6=5,a_7=3,不满足条件,因为a_5=7,a_6=5,7不是5的倍数。当n≥7时,由于A中有奇数个元素,B中有奇数个元素(n-1个),且B中的元素都是偶数。因此A中必有奇数个奇数元素。设A中有k个奇数元素。由于a_i是a_{i+1}的倍数,且a_i∈A,a_{i+1}∈A,所以a_i和a_{i+1}的奇偶性相同。这意味着A中的奇数元素必须连续排列。由于A中有k个奇数元素,且A中奇数元素的位置是固定的,所以a_{k+1}必须是奇数。这与a_{k+1}∈B矛盾,因为B中的元素都是偶数。因此,n的最大值为6.第十题解：设图有n个顶点。由于每个顶点的度数都是偶数,根据握手定理,图的边数m是偶数。如果图不包含环,则图是森林(即不含圈的树状结构)。森林有n-m个连通分支。由于图不包含环,所以它是森林,连通分支数为n-m。由于n-m是偶数(因为m是偶数),且n≥4,所以n-m≥2。这意味着图至少有两个连通分支。设这两