若方程
有模为 的根,则所有模为 的根的和为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
先利用单位模把高次方消去,确定可能根,再逐一回代。
原式为 。若 ,则 ,平方后得 ,所以 。记这两个数为 ,它们满足 。因为 ,两数都满足原方程。因此所有单位模根之和为 。
取模只给必要条件,回代确认两候选均成立后才可相加。它们互异,原点和实轴上的单位数均未满足实部条件。
高次方程附带单位模时,取模常先确定低次候选,周期回代补足充分性。
由单位模先将高次方程压缩为两个三次单位根,再核指数同余并逐一回代,避免把取模必要条件当成充分条件。
已记下,谢谢!