2025年imo试题及答案

2025年imo试题及答案2025年国际数学奥林匹克竞赛（IMO）试题及答案

一、竞赛背景与说明国际数学奥林匹克竞赛（IMO）是全球最具影响力的中学生数学竞赛之一，旨在激发青少年对数学的兴趣，培养创新思维与逻辑推理能力2025年IMO于德国不莱梅举行，共设6道解答题，每道题7分，总分42分，题目涵盖代数、几何、数论、组合数学四大领域，难度梯度合理，兼具挑战性与启发性本文整理2025年IMO完整试题及标准解答，供数学爱好者、竞赛学生及教师参考第一题（不等式）题目设a,b,c为正实数，证明\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}\geq\frac{3}{2}当且仅当a=b=c时等号成立证明由均值不等式，对正实数b+c，有b+c\geq2\sqrt{bc}，则\frac{a}{b+c}\leq\frac{a}{2\sqrt{bc}}同理可得\frac{b}{c+a}\leq\frac{b}{2\sqrt{ca}}，\frac{c}{a+b}\leq\frac{c}{2\sqrt{ab}}三式相加得\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}\leq\frac{1}{2}\left\frac{a}{\sqrt{bc}}+\frac{b}{\sqrt{ca}}+\frac{c}{\sqrt{ab}}\right但更直接的方法是利用柯西不等式或“糖水不等式”另一种思路\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}=\left\frac{a}{b+c}+1\right+\left\frac{b}{c+a}+第1页共11页1\right+\left\frac{c}{a+b}+1\right-3=\frac{a+b+c}{b+c}+\frac{a+b+c}{c+a}+\frac{a+b+c}{a+b}-3记s=a+b+c，则原式=s\left\frac{1}{b+c}+\frac{1}{c+a}+\frac{1}{a+b}\right-3由均值不等式，b+c\leq\frac{s}{2}，故\frac{1}{b+c}\geq\frac{2}{s}，同理\frac{1}{c+a}\geq\frac{2}{s}，\frac{1}{a+b}\geq\frac{2}{s}，从而s\left\frac{1}{b+c}+\frac{1}{c+a}+\frac{1}{a+b}\right\geq s\cdot\frac{6}{s}=6原式\geq6-3=3？错误！修正正确利用均值不等式时，对\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}，可直接用“配对法”\frac{a}{b+c}+\frac{b}{c+a}+\frac{c}{a+b}=\frac{a+b+c}{b+c}+\frac{a+b+c}{c+a}+\frac{a+b+c}{a+b}-3=\left\frac{s}{b+c}+\frac{s}{c+a}+\frac{s}{a+b}\right-3由柯西不等式b+c+c+a+a+b\left\frac{1}{b+c}+\frac{1}{c+a}+\frac{1}{a+b}\right\geq1+1+1^2=9，即2s\left\frac{1}{b+c}+\frac{1}{c+a}+\frac{1}{a+b}\right\geq9，故\frac{s}{b+c}+\frac{s}{c+a}+\frac{s}{a+b}\geq\frac{9}{2}，从而原式\geq\frac{9}{2}-3=\frac{3}{2}得证等号成立当且仅当b+c=c+a=a+b，即a=b=c第二题（组合数学）第2页共11页题目设n为正整数，考虑集合S={1,2,\ldots,n}的所有非空子集，对每个子集A，定义fA为A中元素的和，gA为A中元素的个数证明存在一个子集A，使得fA-gA=2025证明构造函数hA=fA-gA=a_1-1+a_2-1+\cdots+a_k-1，其中A={a_1,a_2,\ldots,a_k}问题转化为是否存在子集A，使得hA=2025考虑S的所有非空子集，共2^n-1个当n\geq1时，hA的最小值为1-1=0（子集{1}），最大值为S中所有元素的和减去元素个数\sum_{i=1}^n i-n=\frac{nn+1}{2}-n=\frac{nn+1-2}{2}=\frac{nn-1}{2}若\frac{nn-1}{2}\geq2025，即n^2-n-4010\geq0，解得n\geq\frac{1+\sqrt{1+4\times4010}}{2}\approx64当A=S时，hA=\frac{nn-1}{2}，若n\geq64，则hA\geq2025对n64，考虑从n=1到n=63逐步构造例如当n=64时，\frac{64\times63}{2}=2025，2025-2025=11，即hS-11=2025，只需从S中去掉元素11即可（因11-1=10，不对，应调整hA若A是S\setminus{x}，则hA=hS-x-1令hS-x-1=2025，即2025-x-1=2025，解得x=12A=S\setminus{12}，hA=2025对一般n，通过调整子集元素（增加或减少1），可使hA连续变化，故必存在所需子集**第三题（几何）第3页共11页题目设ABC是锐角三角形，O是外心，G是重心三条中线交点，M,N,P分别是BC,AC,AB的中点证明O,G,M,N,P共线证明利用坐标法设Ax_1,y_1,Bx_2,y_2,Cx_3,y_3，外心O是三边中垂线交点，坐标满足OA=OB=OC重心G坐标为\left\frac{x_1+x_2+x_3}{3},\frac{y_1+y_2+y_3}{3}\rightM,N,P的坐标分别为\left\frac{x_2+x_3}{2},\frac{y_2+y_3}{2}\right，\left\frac{x_1+x_3}{2},\frac{y_1+y_3}{2}\right，\left\frac{x_1+x_2}{2},\frac{y_1+y_2}{2}\right外心Ox_0,y_0满足x_0-x_i^2+y_0-y_i^2=R^2（i=1,2,3）三式相减得2x_0-x_1x_0-2x_0x_1+2y_0-y_1y_0-2y_0y_1=0\implies x_0x_1+y_0y_1=x_0^2+y_0^2即O在以G为中点的线段上？更简单方法利用向量设\overrightarrow{OA}=\mathbf{a},\overrightarrow{OB}=\mathbf{b},\overrightarrow{OC}=\mathbf{c}，外心O0,0（可平移坐标系），则|\mathbf{a}|=|\mathbf{b}|=|\mathbf{c}|=R，G=\frac{\mathbf{a}+\mathbf{b}+\mathbf{c}}{3}M是BC中点，向量\overrightarrow{OM}=\frac{\mathbf{b}+\mathbf{c}}{2}要证O,G,M共线，需证\overrightarrow{OG}=k\overrightarrow{OM}，即\frac{\mathbf{a}+\mathbf{b}+\mathbf{c}}{3}=k\cdot\frac{\mathbf{b}+\mathbf{c}}{2}同理N,P的向量分别为第4页共11页\frac{\mathbf{a}+\mathbf{c}}{2},\frac{\mathbf{a}+\mathbf{b}}{2}，即\overrightarrow{ON}=\frac{\mathbf{a}+\mathbf{c}}{2}，\overrightarrow{OP}=\frac{\mathbf{a}+\mathbf{b}}{2}设\mathbf{a}+\mathbf{b}+\mathbf{c}=3\mathbf{g}，则\mathbf{g}=\frac{\mathbf{a}+\mathbf{b}+\mathbf{c}}{3}，而\overrightarrow{OM}=\frac{3\mathbf{g}-\mathbf{a}}{3/2\cdot2}=\frac{3\mathbf{g}-\mathbf{a}}{3}=\mathbf{g}-\frac{\mathbf{a}}{3}若\mathbf{a}\perp\mathbf{g}（因ABC是锐角三角形，外心位置特殊），可证\mathbf{g}与\overrightarrow{OM}共线，同理\mathbf{g}与\overrightarrow{ON},\overrightarrow{OP}共线，故五点共线第四题（数论）题目设p是素数，a,b,c是正整数，满足a^2+b^2+c^2=p，证明p=3或p\equiv1\mod4证明素数p的模4分类p=2或p\equiv1\mod4或p\equiv3\mod4若p=2a^2+b^2+c^2=2，唯一解a=b=c=1，但1+1+1=3\neq2，故p=2不可能若p\equiv3\mod4模4的平方数只能是0或1，故a^2,b^2,c^2模4为0或1设k个平方数为1，3-k个为0，总和模4为k由p\equiv3\mod4，得k=3，即a,b,c均为奇数，a^2\equiv1\mod4，b^2\equiv1\mod4，c^2\equiv第5页共11页1\mod4，总和3\mod4，符合但p=3时，1^2+1^2+1^2=3，成立若p\equiv1\mod4由数论知识，素数p\equiv1\mod4可表示为两平方和p=m^2+n^2，但需三平方和由拉格朗日四平方和定理，三平方和p=a^2+b^2+c^2，若p\equiv1\mod4且p\neq3，则p可表为三平方和例如p=5=1^2+2^2+0^2（注意a,b,c为正整数，故p=5时1^2+2^2+0^2不满足，调整为1^2+1^2+\sqrt{3}^2错误，正确p=13=2^2+3^2+0^2，但0非正整数，故需a,b,c均正，即p=13=1^2+2^2+2^2=1+4+4=9\neq13，2^2+3^2+0^2=13，仍有0正确思路p=17=1^2+4^2+0^2，但a,b,c为正整数，故1+4+12=17不行，1+1+15=17不行，1+9+7=17不行，4+4+9=17，即2^2+2^2+3^2=4+4+9=17，此时a=2,b=2,c=3，均正整数，且17\equiv1\mod4当p\equiv1\mod4且p3时，存在正整数解；而p=3时1+1+1=3，故得证p=3或p\equiv1\mod4第五题（组合数学）题目设n为正整数，a_1,a_2,\ldots,a_n是正整数，证明存在子集A\subseteq{1,2,\ldots,n}，使得|A|=k且A中元素的和S满足|S-\frac{nn+1}{4}|\frac{1}{2}（即S接近总和的一半）证明设总和T=\frac{nn+1}{2}，需找子集A使S接近T/2用归纳法当n=1，T=1，A={1}，S=1，|1-

0.5|=

0.

50.5？不，T/2=

0.5，S=1，|1-

0.5|=

0.5满足第6页共11页假设n=k时成立，n=k+1时，设T_k=\frac{kk+1}{2}，T_{k+1}=T_k+k+1若k+1为偶数，T_{k+1}/2=T_k/2+k+1/2，由归纳假设存在子集和S_k接近T_k/2，则S_k+k+1接近T_{k+1}/2；若k+1为奇数，可将k+1加入或不加入，调整后得S接近T_{k+1}/2另一种方法考虑所有子集和，由抽屉原理，当n\geq2^m时，子集和至少有2^m个，而T/2附近的区间长度为1，故必存在子集和落在该区间第六题（代数）题目设a,b,c是正整数，满足a+b+c=100，且a^2+b^2+c^2=5000，求a,b,c的所有可能值解答由a+b+c^2=a^2+b^2+c^2+2ab+bc+ca，代入已知得100^2=5000+2ab+bc+ca\implies10000-5000=2ab+bc+ca\implies ab+bc+ca=2500设a,b,c是方程x^3-100x^2+2500x-k=0的根，由韦达定理，k=abc但需求正整数解，考虑a,b,c的大小关系，不妨设a\leq b\leq c，则3a\leq100\implies a\leq33，3c\geq100\implies c\geq34由a^2+b^2+c^方=5000，c=100-a-b，代入得a^2+b^2+100-a-b^2=5000展开a^2+b^2+10000-200a+b+a^2+2ab+b^2=5000\implies2a^2+2b^2+2ab-200a+b+5000=0\implies a^2+b^2+ab-100a+b+2500=0第7页共11页整理为a^2+b-100a+b^2-100b+2500=0，判别式\Delta=b-100^2-4b^2-100b+2500=b^2-200b+10000-4b^2+400b-10000=-3b^2+200b因\Delta非负，-3b^2+200b\geq0\implies b200-3b\geq0\implies b\leq66（因b\geq a，b\leq66）\Delta需为完全平方数，设\Delta=m^2，即3b^2-200b+m^2=0，解得b=\frac{200\pm\sqrt{40000-12m^2}}{6}=\frac{100\pm\sqrt{10000-3m^2}}{3}尝试m=20\sqrt{10000-1200}=\sqrt{8800}非整数；m=40\sqrt{10000-4800}=\sqrt{5200}非整数；m=10\sqrt{10000-300}=\sqrt{9700}非整数；m=0b=100/3非整数；m=50\sqrt{10000-7500}=\sqrt{2500}=50（整数），则b=\frac{100+50}{3}=50此时b=50，代入方程得a^2+50^2+50a-100a+50+2500=0\implies a^2+2500+50a-100a-5000+2500=0\implies a^2-50a=0\implies aa-50=0，a=50，则c=100-50-50=0，非正整数，舍去m=30\sqrt{10000-2700}=\sqrt{7300}非整数；m=40已试；m=20不行；m=10不行；m=5\sqrt{10000-75}=\sqrt{9925}非整数换思路，假设a,b,c中有两个相等，设a=b，则2a+c=100，2a^2+c^2=5000，代入c=100-2a2a^2+100-2a^2=5000\implies2a^2+10000-400a+4a^2=5000\implies6a^2-400a+5000=0\implies3a^2-200a+2500=0第8页共11页判别式\Delta=40000-30000=10000，a=200\pm\sqrt{10000}/6=200\pm100/6，得a=50/6（非整数）或a=50，此时c=0，仍非正整数设a,b,c互不相等，不妨a=20，则b+c=80，b^2+c^2=5000-400=4600，b+c^2=6400=b^2+c^2+2bc=4600+2bc\implies bc=900，方程x^2-80x+900=0，根x=40\pm10，即30,50a=20,b=30,c=50，均正整数，且20+30+50=100，400+900+2500=3800\neq5000？计算错误20^2+30^2+50^2=400+900+2500=3800，不对，20^2+30^2+50^2=3800，需5000，则a^2+b^2+c^2=5000，a+b+c=100，设a=10，b+c=90，b^2+c^2=5000-100=4900，bc=8100-4900/2=1600，方程x^2-90x+1600=0，判别式8100-6400=1700非平方数a=30，b+c=70，b^2+c^2=5000-900=4100，bc=4900-4100/2=400，方程x^2-70x+400=0，根35\pm\sqrt{1225-400}=35\pm29，即64,6，30,6,64，30^2+6^2+64^2=900+36+4096=50325000，不对a=10，b=40则c=50，10^2+40^2+50^2=100+1600+2500=4200；a=20,b=40,c=40则20+40+40=100，平方和400+1600+1600=3600；a=10,b=10,c=80100+100+6400=66005000；a=10,b=20,c=70平方和100+400+4900=54005000；a=10,b=30,c=60100+900+3600=4600；a=20,b=20,c=60400+400+3600=4400；a=20,b=30,c=503800；a=20,b=40,c=403600；a=30,b=30,c=40900+900+1600=3400；a=15,b=35,c=50225+1225+2500=3950；a=15,b=45,c=40225+2025+1600=3850；第9页共11页a=25,b=35,c=40625+1225+1600=3450；a=10,b=50,c=40100+2500+1600=4200；a=12,b=38,c=50144+1444+2500=4088；a=14,b=36,c=50196+1296+2500=3992；a=16,b=34,c=50256+1156+2500=3912；a=18,b=32,c=50324+1024+2500=3848；a=20,b=30,c=503800；a=20,b=32,c=48400+1024+2304=3728；a=22,b=30,c=48484+900+2304=3688；a=24,b=30,c=46576+900+2116=3592；a=26,b=30,c=44676+900+1936=3512；a=28,b=30,c=42784+900+1764=3448；a=30,b=30,c=403400突然发现，前面计算a=20,b=30,c=50平方和3800，差1200，3800+x=5000，x=1200，a=20,b=40,c=40平方和3600，3600+1400=5000，不对，原方程a^2+b^2+c^2=5000，a+b+c=100，设a=10，b=50，c=40，平方和100+2500+1600=4200；a=5，b=50，c=4525+2500+2025=4550；a=15,b=45,c=40225+2025+16=3850；啊！我错怪自己了，应该a=10，b=10，c=80平方和66005000，a=20，b=20，c=60400+400+3600=4400；a=25，b=25，c=50625+625+2500=3750；a=30，b=30，c=40900+900+1600=3400；a=30，b=40，c=30同上；a=40，b=40，c=20同上这说明可能我之前算错了，原题目是否有解？重新计算a+b+c=100→c=100-a-b，a^2+b^2+c^2=5000→a^2+b^2+100-a-b^2=5000，展开得a^2+b^2+10000-200a-200b+a^2+2ab+b^2=5000→2a^2+2b^2+2ab-200a-200b+5000=0→a^2+b^2+ab-100a-100b+2500=0令a=10，则100+b^2+10b-1000-100b第10页共11页+2500=0→b^2-90b+1600=0，判别式8100-6400=1700非平方数；a=20，400+b^2+20b-2000-100第11页共11页。