垫脚石(此题 → 相关题) 2022 年江西预赛 · P006867
先用数码和的粗界把候选压到一个短区间,再考虑同时含数码积的无界整数方程。后一题需先比较位数增长,证明高位数全部不可能,才能安全地对低位数逐位消元。
前题已有固定总量给数值上界;后题没有预先上界,必须补出按位数停止的理由,尤其要控制首位。
数码和方程的全部正整数解
对正整数 ,记 为 的各位数码之和,如 , 。则满足
的所有正整数 的和是。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先用数码和的上界把 限制在一个很短的区间,再利用 把候选数缩减到三个,最后逐一核验。
由 ,有 。在 的范围内,
故
又因为 ,所以
由于 在模 下可逆,故 。上述区间内的候选数只有
逐一检验:
因此所有解为 ,它们的和为
范围估计覆盖所有至多四位的候选数;模 条件给出的三个候选在该闭区间内已经穷尽, 逐项计算表明恰有两个成立。
数码和方程通常结合两件工具:用数码和的粗上界缩小数值范围, 用 进行同余筛选。二者配合可把逐一试算降到很少的候选。
用数码和上界给出短区间,再用模9筛出三候选并逐个代入,路线明确且分类很少。
垫脚石(此题 → 相关题) 2022 年江西预赛 · P006867
先用数码和的粗界把候选压到一个短区间,再考虑同时含数码积的无界整数方程。后一题需先比较位数增长,证明高位数全部不可能,才能安全地对低位数逐位消元。
前题已有固定总量给数值上界;后题没有预先上界,必须补出按位数停止的理由,尤其要控制首位。
已记下,谢谢!