垫脚石(相关题 → 此题) 2026 年甘肃预赛 · P005984
先把整数坐标复数的模平方写成两个整数平方之和,连续的圆周约束就变成离散算术。简单题练习穷尽平方的可能性,进阶题还要先用模的乘法性分配各个整数范数,再排除互异性不允许的分配。
前题是一条平移后的整数圆;后题是多个范数的乘积分解,且坐标非负和对象互异都限制可选点。
非负高斯整数的范数分解与和
四个互不相等的复数 的实部和虚部都是非负整数,且
则 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先独立尝试,再展开工具说明与想法来源。
先回想这道题的想法,再试试当前题。
这里的范数只指 ,满足 。平方数模八只可能为零、一、四;枚举坐标时只需检查从零到范数平方根以内的整数。
想法从哪来:复数的积的模看似约束很弱,但实虚部是整数,平方后每个模就成为正整数。先转成平方和的乘积分解,有限个素因子必须分给四个位置,可能性马上大幅缩小。不要漏用“互不相等”:在非负坐标象限里,单位模只有两个点,因此需要三个单位模的分配立刻被排除。 确定范数后,再寻找相应的整数格点,而不必引入高斯整数的唯一分解定理。对较大的平方和,先用模八筛出偶坐标的同余类,再在平方根以内逐个检查。两个坐标交换会产生两个候选,但前三个复数的和在交换实虚部下不变,目标模因此相同。
对每个复数取范数 ,乘积条件变成正整数的乘积分解。互异条件会排除需要三个单位复数的分解,从而唯一确定四个范数。
写 ,其中 均为非负整数。令
则各 为正整数,且
是素数,故忽略次序后,四个范数只能分成
非负坐标中范数为 的复数只有 两个,所以第一种分解不可能满足四数互不相等。于是四个复数中必有
另一个复数的范数为 。
由平方和分解
这也是非负整数中的唯一分解。事实上,由 ,偶坐标只能取
逐一检查可知仅 使余数为平方。所以第四个复数为 或 。两种情况下四数之和分别为 或 ,故
不被不超过 的任一素数整除,故确为素数。所列四个复数互异、实部与虚部均为非负整数,且范数乘积为 。
整数坐标复数的模适合平方后转成高斯整数范数。先分解范数总乘积,再用给定象限内同一范数可取点的数量处理“互不相等”约束。
范数分解后用互异性排除三单位范数,再证明1013的非负平方和表示唯一,需要数论与复数约束衔接。
垫脚石(相关题 → 此题) 2026 年甘肃预赛 · P005984
先把整数坐标复数的模平方写成两个整数平方之和,连续的圆周约束就变成离散算术。简单题练习穷尽平方的可能性,进阶题还要先用模的乘法性分配各个整数范数,再排除互异性不允许的分配。
前题是一条平移后的整数圆;后题是多个范数的乘积分解,且坐标非负和对象互异都限制可选点。
已记下,谢谢!