同一骨架 2025 年上海预赛 · P006310
将整系数二次式完整配成非负平方和后,严格不等式变成很小的整数预算,原先无限的变量范围随之缩成有限几类;枚举时再用奇偶与正性保证还原合法。
一题直接数有序整数解,平方底数有固定奇偶性;另一题先以正整数系数的最小值消去存在量词,最后还须对目标和去重,不能把解的组数当成目标值个数。
已知 为正整数。若存在正整数对 满足
则 可能值的个数为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
将式子配成三个非负整数平方项;存在正整数系数时,取最小系数一即可判定可行性。
先回想这道题的想法,再试试当前题。
左侧恰为
因 ,存在这样的 当且仅当 :必要性由比较得到,充分性取 。 由 ,仅需 。 时只能 ,总和为三; 时只能 或二,总和为四或五; 时只能 或二、,总和为五或六。所以可能值集合为 ,共有 个。
三平方和是整数,严格小于三等价于至多二。每个保留三元组在 时都满足原式,故不仅给出必要条件;总和五虽出现两次,只计一个可能值。
含可选正整数系数的非负平方和,先以最小系数消去存在量词,再有限枚举并对目标去重。
关键是将原式配成三个带正系数的平方,使存在a和b等价于a=b=1后的小范围整数枚举。
同一骨架 2025 年上海预赛 · P006310
将整系数二次式完整配成非负平方和后,严格不等式变成很小的整数预算,原先无限的变量范围随之缩成有限几类;枚举时再用奇偶与正性保证还原合法。
一题直接数有序整数解,平方底数有固定奇偶性;另一题先以正整数系数的最小值消去存在量词,最后还须对目标和去重,不能把解的组数当成目标值个数。
已记下,谢谢!