设。则 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
这些差正好来自单位根的因式分解,先算复数乘积再取模。
有限连乘记号的有效指标按正整数 理解。对 ,令 ,则 是全部互异的 次单位根。因此 。令 得 。利用模的乘法性,原连乘为 。
这里使用多项式商 ,并非直接代入一个分母为零的分式。若将记号延伸至 的空积边界,空积为一,仍与答案一致;零或非整数不属于所写有限指标连乘的有效范围。
单位根差的连乘可看作根多项式在指定点的值;先分离该点对应的根。
在有限连乘记号的有效整数指标下,识别单位根多项式分解,分离根一后取多项式在一处的值,并核空积边界。
已记下,谢谢!