垫脚石(此题 → 相关题) 2023 年四川预赛 · P006764
先练习把线性同余化为一个可逆系数的方程,并核每个剩余类如何恢复原变量;再进入含乘积的有限域计数。后者必须把乘积右端为零与非零分开,非零时的唯一恢复不能无条件套用。
前题的固定系数始终可逆;后题中被除的变量可能为零,零支还有交叠计数。
一次不定方程受限整数解计数
已知整数 满足
这样的数对 共有个。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先模 确定 的一个剩余类,再把绝对值范围转化为参数整数的闭区间。
原方程模 化为
所以
令 ,其中 。条件 等价于
即
每个这样的 唯一确定整数 ,故数对共有
个。
端点 分别给出 ,均在允许范围内; 再向两侧各移动一步便越界,因此没有端点遗漏。
二元一次不定方程加单个变量范围时,先用同余确定该变量的算术级数, 再对参数作整数区间计数;另一变量随后唯一确定。
模7得到v≡2,再以v=2+7k把绝对值限制转成有限整数区间,每个v唯一对应u。
垫脚石(此题 → 相关题) 2023 年四川预赛 · P006764
先练习把线性同余化为一个可逆系数的方程,并核每个剩余类如何恢复原变量;再进入含乘积的有限域计数。后者必须把乘积右端为零与非零分开,非零时的唯一恢复不能无条件套用。
前题的固定系数始终可逆;后题中被除的变量可能为零,零支还有交叠计数。
已记下,谢谢!