垫脚石(此题 → 相关题) 2024 年浙江预赛 · P006622
先在具体分式中练习最简分数的分子分母整除约束,再处理素数参数多项式的有理根。两者都靠互素性压缩分母范围;后者还须分清固定分母与带变化素数的分母,不能把候选有限直接推广。
前题两端均落在固定约数集合,后题第二类分母随素数增长,需要额外同余及有界子列论证。
有理参数使分式取整数值
使得
的值为整数的所有有理数 的和为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
把分母平移成一个最简分数 ,原式便成为整数常数加 。
整性条件可分别从分子、分母的互素性推出有限个整除范围,并且正负解成对。
令 ,则
把 写成最简分数 ,其中 、 且 。若 为整数,则
分别模 、模 考察,并用互素性,得到
反过来,对
的每一种组合, 已是最简分数,且 确为整数。因此共有 个允许的 ,它们按 与 成对,所有 之和为 。 由 ,所有允许的 之和为
的六个符号化约数与 的两个正约数互不重复,且都与 互素; 对应 ,原式无意义,未被计入。必要性与充分性均已验证。
有理参数使分式为整数时,将参数写成最简分数,分别对分子、分母取模,常能把无穷搜索 压缩为两个有限的约数集合。若条件在 下保持不变,最后可直接成对求和。
化为3x+49/x后必须写最简p/q,从两方向整除分别限制p与q,证明全部候选可行再用正负配对求和。
垫脚石(此题 → 相关题) 2024 年浙江预赛 · P006622
先在具体分式中练习最简分数的分子分母整除约束,再处理素数参数多项式的有理根。两者都靠互素性压缩分母范围;后者还须分清固定分母与带变化素数的分母,不能把候选有限直接推广。
前题两端均落在固定约数集合,后题第二类分母随素数增长,需要额外同余及有界子列论证。
已记下,谢谢!