2025年下学期高中数学IMO试卷.docVIP

2025年下学期高中数学IMO试卷

第一天（4.5小时）

第一题（代数）

设正整数数列({a_n})满足(a_1=1)，且对任意(n\geq1)，有(a_{n+1}=a_n+\lfloor\sqrt{a_n}\rfloor)，其中(\lfloorx\rfloor)表示不超过(x)的最大整数。求所有正整数(k)，使得(a_k)是完全平方数。

解法分析：

通过归纳法可证明当(m^2\leqa_n(m+1)^2)时，数列将持续增加(m)，直至达到下一个平方数。具体地，设(a_n=m^2+t)（(0\leqt2m+1)），则(a_{n+1}=m^2+t+m)。当(t=m+1)时，(a_{n+1}=(m+1)^2)，此时数列进入新的平方数周期。因此所有满足(k=m^2+m+1)（(m\in\mathbb{N})）的项均为完全平方数，即(k=1,3,7,13,\ldots)。

第二题（几何）

在锐角三角形(ABC)中，(ABAC)，(\Gamma)是外接圆，(H)是垂心。(M)为(BC)中点，(D)是(\Gamma)上弧(BC)（不含(A)）的中点。过(H)作(AD)的垂线交(BC)于点(E)，过(E)作(\Gamma)的切线，切点分别为(P)、(Q)。证明：(PQ)平分线段(HM)。

解法分析：

方法一（解析几何）：

建立坐标系，设外接圆圆心为原点，(BC)在(x)轴上，(M)为坐标原点。通过计算(H)、(E)坐标及切线方程，可证明(PQ)的中点与(HM)中点重合。关键步骤包括：

利用垂心坐标公式：(H(x_A+x_B+x_C,y_A+y_B+y_C))

切线方程(PQ)满足(OE\perpPQ)（(O)为圆心）

中点坐标验证：(\frac{H+M}{2}=\frac{P+Q}{2})

方法二（纯几何）：

连接(OD)（(O)为外心），由(OD\perpBC)及(AD\perpEH)，可证(O)、(M)、(H)共线（欧拉线）。通过极点极线理论，(PQ)是点(E)关于(\Gamma)的极线，故(OE\perpPQ)。结合(HM\parallelOE)及(M)为(BC)中点，可推出(PQ)平分(HM)。

第三题（组合）

给定正整数(n\geq2)，设(S)是由({1,2,\ldots,n})的所有子集构成的集合。对任意(A,B\inS)，定义距离(d(A,B)=|A\DeltaB|)（(\Delta)表示对称差）。求最小的正整数(k)，使得存在(S)的子集(T)满足：

对任意(A\inS)，存在(B\inT)，使得(d(A,B)\leq1)；

(|T|=k)。

解法分析：

问题等价于构造最小覆盖集(T)，使得每个子集要么属于(T)，要么与(T)中某个子集仅差一个元素。通过二进制表示转化为编码问题：每个子集对应(n)位二进制数，要求(T)中的编码能覆盖所有编码（自身或仅一位不同）。

当(n)为偶数时，(k=2^{n-1})；当(n)为奇数时，(k=2^{n-1})。构造方法：取所有含偶数个元素的子集，或利用线性代数中的汉明码理论，证明最小覆盖集大小为(\lceil2^n/(n+1)\rceil)，但精确值需通过容斥原理验证。

第二天（4.5小时）

第四题（数论）

设(p)是奇素数，(a_1,a_2,\ldots,a_p)是模(p)的完系。证明：存在(i\neqj)，使得(a_ia_j\equivi+j\pmod{p})。

解法分析：

采用反证法，假设对所有(i\neqj)有(a_ia_j\not\equivi+j\pmod{p})。考虑函数(f(x)=a_xx-x^2)，则条件等价于(f(i)\not\equivf(j)\pmod{p})对(i\neqj)成立。但(f(x))是二次函数，模(p)下最多有2个根，其像集大小不超过(p-1)，与完系性质矛盾。因此原命题成立。

第五题（代数）

设(f:\mathbb{R}\to\mathbb{R})是连续函数，满足对任意(x,