作者 质心教育数学组

转载自 微信公众号“
数学联赛
第36届全国中学生奥数竞赛(CMO)本周拉开帷幕,来自全国各地的400多名中学生齐聚长沙,进行了连续两天的考试。
目前6道试题已经全部出炉,本周末将公布选手成绩。下面,为大家带来本次两日考试的完整试题,附质心教育数学组独家评析。(注:试题以官方公布为准)
试题评析
  1. 是复数数列, 奇数项为实数, 偶数项为纯虚数, 且. 记
(1) 求的最小可能值.
(2) 求的最小可能值.
评析1. 本届CMO的P1并不难, 第一问基本上十分钟内就算出来了, 第二问可能难一点点, 大概十五分钟的样子. 这个题读完后基本可以反应过来第一问中取极小值时的幅角应该是如此循环的样子. 而的条件也可知这个题除了正负号的选择之外也只有一个维度. 所以不妨设, 然后显然, . 所以最后
然后第二问稍微复杂一点, 不过直接反正我们可以知道, 然后, 接着算就是了:注意要用到绝对值最小为.
2. 给定正整数. 求正整数的最小值, 使得对于任意整数; , 存在整数, 满足以下两个条件: 
(1) , 使得与互素; 
(2)
评析2. 这个题看上去像个数论题, 但是基本是个代数题. 首先比较明显的是在模的意义下做构造一组使得中间有一个与互素, 没这个互素条件是显然的, 有的话感觉只能用CRT把模分解成模一堆素数幂做, 完后再用CRT拼起来. 那假设的话, 我们基本考虑的是方程
的解. 那么我们考虑, 那么方程(1)的意思就是减少两个自由度, 而CRT拆出来的方程组一共有个, 所以这些方程会减少个的自由度. 所以从这种线性代数的意义上来看要想有一组非零解的话维数至少要, 但是这并不能完成一个证明, 毕竟不能在一堆中分析, 另一方面这堆是域的话需要, 但这不一定能实现, 所以也不好搞解空间那一套操作.
但是另一方面, 如果我们考虑, 而, 其它都是的话, 那么方程(1)的意思就是, 且, 于是所有原方程的解都找不到有哪个与互素, 也就是说上面用解空间或自由度的想法搞出来的的答案应该是对的. 所以接下来要考虑怎么证了.
懒得想的话一步步从到再到拼合起来慢慢证明一堆引理来把所有我们想搞解空间的坑都填上. 不过个人估计现场考生大多不会用这个方法做, 能想这个方法的小朋友不用多想也知道这是个耗时耗力的笨方法, 而且这些小朋友应该还是可以做做P3的, 他们绕道而走应该基本上就是必然的... 退而求其次可以直接按照解空间的那套想法可以想到的操作可以是直接构造解, 比如我们总可以构造出方程(1)在个位置都不为的解, 其中可能要搞一点线性无关的论证, 于是原方程的解就可以由至少个位置上模任何都不为的一组用CRT构造出来一组在至少个位置上的数都与互素的.
这里当然有别的方法, 比如我们还可以考虑把当成一个集合, 那么可以考虑算欧拉函数的方法来算一下原方程的解在这个集合中最多要占多少个点, 最后用减一下要大于即可. 不过这个方法感觉会变成一个巨麻烦的组合计数, 最后还有一堆和互变的操作, 大概会算到崩溃.
3. 已知正整数, 恰有个不同的质数整除. 对, 记中与互质的整数个数为. 已知不完全相同, 求证:
评析3. 第一反应是的素因子有没有要分开讨论, 先按照的想法搞一搞. 第二反应是这五个区间中的数的个数要按的素因子讨论. 首先假设的素因子为, 这里欧拉函数的公式没法直接用, CRT构造欧拉函数的方法也没法用, 所以只能搞一下容斥. 也就是说, 比如我们定义的话, 就有
显然若的话就有, 那么我们简化定义, 于是
然后我们来对任意正整数来研究. 这里显然有, 那么我们对看一看就是下表:
 m 1 2 3 4 5
c(1,m)00001
c(2,m)00101
c(3,m)01011
c(4,m)01111
c(5,m)11111
第五行是废的, 这里也告诉我们的情况要显掉. 所以直接看的情况.
我们这里搞出来了所有, 于是现在就是要加一下这些东西了. 现在的问题就是要考虑所有中模余的分别有多少. 由于我们现在考虑的是的情况, 我们不如把和这堆全部换成模意义下的和, 然后就是要看这些数里面模的都有多少, 或者说看的所有展开项中模余的项分别有多少, 不过这里看的是的相差, 所以直接扔掉也是可以的.
由于直接拆也拆不动, 所以这里只能绕一下, 搞个单位根. 随便取或者, 反正是模的原根, 然后取, 于是原问题变成的拆项的余数情况, 记这个式子为. 由于每个模的余数只跟模的结果有关, 所以这里就变成展开之后模余的项数分别多少, 这个就... 搞, , , 拼拼凑凑就出来了, 莫名其妙出了一步常规一试操作... 然后就是倒回去狂算估计, 只是可能要手动把倒回去变成再变成再过一步的操作, 过于绕.
最后, 还有一个的情况. 由于到不全相同, 所以不能有. 于是我们假设, 则由于只要就全是的话, 那所有交错求和中带的就全部怼掉了, 那你们这个题就考虑把换成都可以.
4. 锐角的外接圆为, 为劣弧中点, 为的对径点. 过作, 交于, 交延长线于. 直线交直线于, 直线交直线于. 求证:
评析4. 我们首先导一导角, 由得
, 只需证明
这等价于
经观察与猜想, 我们下面证明, .
容易知道该结论等价于, . 事实上, 我们有, .
所以接下来我们只需说明, 另一侧同理可得. 首先
导角易知,.
于是得到. 于是.
5. 是一个凸多面体, 满足以下两个性质:
(1) 的每一个顶点恰好属于三个不同的面;
(2) 对任意中的边形面都恰好有偶数个.
有一只蚂蚁从某条棱的中点出发, 沿棱爬行, 走一条闭合路径, 经过上每一个顶点恰好一次, 最终回到出发点. 的表面分为两部分, 使得对任意的, 两部分中边形面的个数相等. 求证: 蚂蚁在爬行中向左转和向右转的次数相等.
评析5. 发现群里考了CMO的小朋友有两个没理解啥叫爬了一个不自交的回路之后将分为两个部分... 就, 日常有点迷惑, 因为我之前一试题还挺喜欢问个正多面体沿着棱剪开成两个部分啥的...
然后这个题还有另一个比较迷惑的部分, 就是, 十二点半刚考完的时候大家都在等题, 在题目出来之前倒是先出了一些说法, 比如P5是立体几何????? 然后题目出来教练群全员傻眼??????? u1s1, 图论和立体几何都分不清楚真的不知道怎么混进CMO的????? (上述三句问号是一个俳句问号)
就, 没办法的话就举个例子想想就好了, 实在不行画个正四面体想想, 我这里画个正十二面体吧.
立方体问题除了欧拉公式我们也没啥可用的, 而欧拉公式反正也是个图论问题, 证明重点在于首先抠掉一个面撑一撑然后把整个立方体biā到平面上. 这里想法一样, 就把剪开的两半biā到平面上就好了 (摊手).
然后总体想法就是对两半的列式就好了, 其中要精细一点分为内点, 右转拐点和左转拐点. 首先对两半每个点的degree列个式子:
显然各面边数和相等. 然后我们再列两个欧拉公式: 于是就有, 而剪开的圈上有, 所以, 完了.
6. 求所有函数, 使得, 都有
评析6. 首先猜解和. 比较好想的是右边的太自由, 一下子可以冒出两招, 一个是固定然后取素数足够大, 再另, 另一个是若, 则取大满足, 则和都要整除. 第二个感觉好麻烦, 要分三类讨论, 先来试试第一种想法.
记. 先考虑, 那么取就有, 即或. 如果是前者, 那么就是存在至少一个满足. 于是我卡死了.
那就考虑第二个想法, 设, 则整除和, 于是. 但这里是任意的, 若, 则有界. 于是分两情况考虑, 也就是是单射和有界, 感觉上分别对应和, 前者简单, 先考虑前者吧.
就, 回到最开始想的那个阴间, 于是对任意成立, 于是, 整除号换不等号, 然后搞单射逼出. 然后就归纳证明. 由于, 若就有与单射矛盾. 所以只能. 
若只是有界的, 那么我们的目标是. 基本操作是考虑像集. 那么回到这一步, 我们钉死这个, 那么对任意就有. (此处感谢秒6老师的讨论给我带来的灵感,) 我们考虑哪些是可以存在无穷多个满足. 显然这些应该都是的约数, 故有限. 我们考虑这些的最小公倍数.
首先取, 那么到, 这个数都整除, 所以时它们不可能两两不同, 于是, 于是矛盾, 于是. 
当时, 对都有. 再回去这茬儿意思就是说对时都有. 那么这里得到一个奇怪的解当时而随便取.
当时, 如果有的就会完全回到上一步就是上一个解. 如果对够大的有的话, 那么这个够大按照的定义就是时有. 而当时只能取, 于是就只有两种情况: 大于等于的部分奇, 偶, 或者反过来. 对反过来的情况, 取就有, 矛盾. 所以只能奇, 偶. 取, , 就有, 再把换成就变成, 所以. 也就是说这里得到一组解的部分偶, 奇, 而为任意奇数.
然后就胡扯验证三组解blahblah完事儿. (不过u1s1, 我这写得太绕了, 所以正经写答案估计要写成一堆反证+类似于无穷递降的操作.)
本文系网易新闻•网易号特色内容激励计划签约账号【量子位】原创内容,未经账号授权,禁止随意转载。
量子位年度智能商业峰会启幕,
李开复等AI大咖齐聚,
邀你共探新形势下智能产业发展之路
限时早鸟优惠,扫码锁定席位
量子位 QbitAI · 头条号签约作者
վ'ᴗ' ի 追踪AI技术和产品新动态
一键三连「分享」、「点赞」和「在看」
科技前沿进展日日相见~
继续阅读
阅读原文