同一骨架 2021 年福建预赛 · P006972
两题都先减去合适的基准项,再除去递推中的增长因子,使原来带强迫项的递推变成更简单的参数关系。化简后的公式必须用初值和原递推反验,不能只验证相邻差。
一题随后把自由整数参数送入同余条件定位下标,另一题把归一后的项送入交错和估计。
整值递推数列的整除首项
设 为整数列,且满足关系式
若 ,则满足 且满足 的最小正整数 是。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先解一阶递推,把所有整数列写成一个整数参数 的形式。
先回想这道题的想法,再试试当前题。
给定的远端整除条件只决定 模 的值;再对一般项模 化简,会出现 。
取 得 。对 解递推可得
其中 。反过来,因为 总是偶数,任意整数 给出的 (1) 确实是整数列并满足原递推。
由 (1),
注意 , 为素数,且 。因此
对任意 ,由 (1)、(2) 得
所以 当且仅当
在 中,第一个可能值为 。此时 是 的倍数, 且又由上式含因子 ,故
因此所求最小正整数为
的素性只需试除不超过 的素数即可验证。对 , 不可能模 等于 ,所以甚至缺少素因子 ; 时又单独检查了因子 。
带 的一阶线性递推常可拆成一个特解与形如 的齐次解。整除条件先约束 自由参数,再把一般项模大素数化为低次多项式,便能从同余根直接定位最早下标。
先解含自由整数参数的递推,再由远项整除约束该参数模1013,筛出最早同余位置后仍要补查因子2。
同一骨架 2021 年福建预赛 · P006972
两题都先减去合适的基准项,再除去递推中的增长因子,使原来带强迫项的递推变成更简单的参数关系。化简后的公式必须用初值和原递推反验,不能只验证相邻差。
一题随后把自由整数参数送入同余条件定位下标,另一题把归一后的项送入交错和估计。
已记下,谢谢!