同一骨架 2023 年浙江预赛 · P006634
将整系数二次式完整配成非负平方和后,严格不等式变成很小的整数预算,原先无限的变量范围随之缩成有限几类;枚举时再用奇偶与正性保证还原合法。
一题直接数有序整数解,平方底数有固定奇偶性;另一题先以正整数系数的最小值消去存在量词,最后还须对目标和去重,不能把解的组数当成目标值个数。
若 个整数 满足
则这样的有序整数组 共有组。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
把二次型完整配方并乘以 ,可得到三个整数平方之和小于 。
先回想这道题的想法,再试试当前题。
其中两个平方的底数有固定奇偶性,因而只需按 分类。
原不等式经配方等价于
由于 为奇数,其平方至少为 ,故由式(1)可知
当 时,式(1)化为
第一项的底数只能为 ,第二项的底数只能为 ,共有 组解。
当 或 时,式(1)化为
两个平方的底数均为奇数,故都只能取 或 。每个 对应 组解, 这两种 共给出 组。
所以有序整数组总数为
分类 由平方下界强制得到,互斥且穷尽。各类中允许的平方底数均已按奇偶性列全, 每组底数又唯一确定整数 ,不存在重复计数。
整数二次不等式若对应正定二次型,先配方可把无限搜索压缩成有限个小平方。 随后利用奇偶性限制平方底数,比逐个试值更短,也能自然证明分类完整。
须将含交叉项的不等式配成三个平方,结合奇偶性把无限整数域压缩到b的三种可能并计数。
同一骨架 2023 年浙江预赛 · P006634
将整系数二次式完整配成非负平方和后,严格不等式变成很小的整数预算,原先无限的变量范围随之缩成有限几类;枚举时再用奇偶与正性保证还原合法。
一题直接数有序整数解,平方底数有固定奇偶性;另一题先以正整数系数的最小值消去存在量词,最后还须对目标和去重,不能把解的组数当成目标值个数。
已记下,谢谢!