易混 2022 年四川预赛 · P006900
两题都给正整数数列的全局规则,但规则内部的量词不同。对全部两下标的平方和乘积恒等式,可选特殊下标配合强归纳强制每项;每个新项只需存在一个合法连续和时,则保留很多构造选择,须先求统一界再证一个无限构造取等。
不能把存在某个后缀和擅自加强成任意后缀都行,也不能按自由选项的思路处理全称下标恒等式;正整性分别用于强制乘积和控制连续和。
(本题满分 分)设正整数数列 同时具有以下两个性质:
(i)对任意正整数 ,均有 ;
(ii)对任意正整数 ,均存在正整数 ,使得 。
求 的最大值。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
所需工具是正项和的单调性与等比求和。由“某段以前项结尾的正项和”等于新项,可推出新项不小于前项;反过来单调性并不能保证连续和条件,构造必须逐类验证。
想法从哪来:先试着把每个奇数项都压小,好让偶数项变大;但新项是以前一项结尾的正项和,必不小于前一项,这种局部贪心很快失效。真正有用的是先提取单调性,再观察目标中的两个相邻偶数项能否借中间奇数项拼成题给的固定对和。 把 用不小于它的 替换,便能和 拼成已知的二次幂。留下首项后按四项块分组,可以一次取得所有组的上界。为使上界可达,就反过来要求每次替换取等:让跨组相邻的两项相同,再补齐固定对和。最后不能只检验单调性,须为每种下标明确给出原条件要求的连续和,尤其是块与块的连接。
条件(ii)说明新项是以前一项结尾的非空连续和,因各项为正,新项至少等于前一项。逐项取小的奇数项会受这个单调性限制,例如前三项都取 后第四项为 ,第五项便不能仍取 。小规模枚举提示应按相邻的两个偶数项配组;由单调性即可直接建立各组上界,无须分类所有可能数列。达到各组上界仍须给出满足原连续和条件的无限数列。
由(ii)及各项为正,对任意 ,都有
由(i)取 得 ,结合正整性,得 。 对任意正整数 ,利用 及(i),有
因此
下面构造达到此界的无限数列。取 ;对每个 ,令 ,并取
这些四项块依次覆盖所有 ,各项都是正整数。 当 时,相应两项之和为 ;当 时,两项之和为 ,而 已满足,故(i)成立。
再逐类核验(ii)。初始有 ,。对每个 ,
最后一个等式使用 。每个右端都是以前一项结尾的非空连续和,覆盖全部后继项,所以(ii)成立。 该数列满足 ,各组不等式同时取等。 故最大值为 。
分组末项为 ,没有遗漏偶数项。构造的开头为 ,初始转接和四项块之间的转接均已核验。小规模枚举到前 项的结果与对应配组上界一致;一般上界与无限构造均由上述证明保证。
“后项等于前面的正项连续和”首先给出单调性;若另有固定相邻对和,尝试把目标按错开的一对配组。求最大值不仅要放缩,还须逐类验证取等序列符合原递推存在条件。
既要从连续和发现单调性并选择错位配组建立上界,又须构造无限数列并验证各类后继项都满足原连续和条件。
易混 2022 年四川预赛 · P006900
两题都给正整数数列的全局规则,但规则内部的量词不同。对全部两下标的平方和乘积恒等式,可选特殊下标配合强归纳强制每项;每个新项只需存在一个合法连续和时,则保留很多构造选择,须先求统一界再证一个无限构造取等。
不能把存在某个后缀和擅自加强成任意后缀都行,也不能按自由选项的思路处理全称下标恒等式;正整性分别用于强制乘积和控制连续和。
已记下,谢谢!