国际数学奥林匹克（IMO）模拟试题及解答.docxVIP

国际数学奥林匹克（IMO）模拟试题及解答

第一天

问题1（代数）

求所有函数f:\mathbb{Z}\to\mathbb{Z}满足：对任意整数x,y，均有

f(x+f(y))=f(x)+y+f(0)

解答：

令x=0，得f(f(y))=f(0)+y+f(0)=y+2f(0)，故f是双射（满射因右式能取遍所有整数，单射因若f(a)=f(b)则a+2f(0)=f(f(a))=f(f(b))=b+2f(0)即a=b）。

设c=f(0)，取y=0

得f(x+c)=f(x)+0+c，即f(x+c)-f(x)=c对所有x\in\mathbb{Z}成立。

由双射性，存在a\in\mathbb{Z}使f(a)=0。原方程中令y=a，得f(x+0)=f(x)+a+c，故a+c=0即a=-c，因此f(-c)=0。

在f(f(y))=y+2c中令y=-c，得f(0)=-c+2c=c，consistent。

设f(y)=y+c，代入原方程验证：

左式f(x+f(y))=f(x+y+c)=x+y+c+c=x+y+2c

右式f(x)+y+c=x+c+y+c=x+y+2c

等式成立。故唯一解为f(x)=x+c其中c为常数整数。

问题2（几何）

在锐角\triangleABC中，H为垂心，过H作BC的垂线交AB于D，交AC延长线于E。证明：\triangleADE的外心在\triangleABC的外接圆上。

解答：

设O为\triangleABC外心，O_1为\triangleADE外心。需证O_1\in\odotABC。

取BC中点M，则OM\perpBC。因DE\perpBC，故DE\parallelOM，即\angleOMA=\angleADE。

由垂心性质，\angleBHC=180^\circ-\angleBAC。因\angleHDB=\angleHEC=90^\circ，故B,C,E,D共圆，得\angleADE=\angleACB。

设O_1在\odotABC上，则需证O_1A=O_1D=O_1E。因\angleAO_1D=2\angleAED，而\angleAED=90^\circ-\angleC，\angleAOC=2\angleC，故\angleAO_1D+\angleAOC=180^\circ，推出O_1在\odotABC上。

问题3（数论）

证明：对任意素数p，存在无穷多个正整数n使得n^2+1的所有素因子均不小于p。

解答：

用数学归纳法构造这样的序列。当p=2时，取n=1,3,7,\dots即可，因奇数平方加1为偶数，素因子只有2。

假设对素数p命题成立，考虑pp。设已有n_k满足条件，且n_k\equiv1\mod2（确保n_k^2+1为偶数）。

构造n_{k+1}=n_k^2+1，则其素因子若小于p必不小于p。若存在素因子qp且qp，则与归纳假设矛盾。故只需保证初始项n_1的素因子不小于p，例如取n_1=p（当p\equiv1\mod4时p\midn_1^2+1不成立，此时取n_1=2p）。

由无穷递降法，这样的序列可无限构造，故存在无穷多个满足条件的n。

第二天

问题4（组合数学）

在n\timesn方格表中，每个单元格填0或1，定义行和为该行1的个数，列和为该列1的个数。若所有行和与列和均为偶数，证明：存在2×2子方格包含奇数个1。

解答：

反证法。假设所有2×2子方格均含偶数个1。定义变量a_{i,j}\in\{0,1\}表示第