多项式辗转相除法求最大公约数_点灯游戏、方格填数与 Chebyshev 多项式（续）...

本文是上一篇文章的续集。

预告：上篇文章说过的基解可视化在本文末尾，不想看中间推导过程的可以直接拉到最底下看图。个人觉得这些图都相当地优美，大概这就是数学的魅力吧。

Chebyshev 多项式的性质

回忆 Chebyshev 多项式的定义：

以上递推式的形式类似于 Fibonacci 数列，事实上 Chebyshev 多项式也有一些类似于 Fibonacci 数列的性质。

引理18 若补充定义

（这样上述递推式对

也成立），则对任意非负整数

都有：

1）

；

2）

；

3）

；

4）

；

5）若

，则

。

证明：

1）对

归纳，容易验证

时等式成立。假设

时等式成立，则由

从而

时等式也成立。

2）可用归纳法证明，或者直接由

重复以上步骤得到

。

3）若

是

的公因式，则由（1）立即可得

整除

；反过来，若

是

的公因式，由（1）可得

整除

，结合

可以推出

整除

。以上说明

的公因式集合与

的公因式集合相同，因此二者最大公因式也相等。

4）由（3）直接用辗转相除可得

，再结合

以及

是首一多项式可得结论。

对

的特殊情况，通常规定

（无论

作为整数还是作为多项式都是如此），等式显然还是成立的。

5）由（4）立即可得。

定义19 对任意非零多项式

，若存在正整数

使得

，则称满足该条件的最小正整数

为

的

深度，记为

。若不存在这样的正整数

，记

。

由引理 18 的（4）和（5）立即可得：

推论20 对任意非负整数

，

当且仅当

。

这里我们约定

不整除任何正整数。

基解的“基解”

回忆上一篇文章最终得到的定理：

定理17 若多项式

的最大公因式

在域

上可以分解为

其中

是

上互不相同的不可约首一多项式，

，记

则方程（1）有一组基解

其中

是

在其分裂域中的所有根；并且方程（1）的解空间维数等于

的次数。

注意到式子

只与

以及多项式

在其分裂域中的所有根

有关，换句话说式子

的取值只由参数

以及多项式

决定，因此我们改记

定理中对

和

的全部约束条件为：

是

的不可约因子，

是不超过

在

分解式中次数的任意正整数。这个条件刚好等价于

。综上所述，可以将定理 17 改写为更加简练的形式：

定理17' 对任意

，方程（1）有一组基解

其中

各自取遍所有不可约多项式和所有正整数，满足条件

（注意上述定理中将

偷换成了

，这是因为二者要么相等要么差一个 -1 倍，可以相互替换，因此换成

确保是首一多项式）

利用

当且仅当

，再根据推论 20 又可将上述表述改写为

定理17'' 对任意

，方程（1）有一组基解

其中

各自取遍所有不可约多项式和所有正整数，满足条件

（别忘了我们约定

不整除任何正整数，如果深度为

说明这组解为空集）

现在我们换一个角度看这些基解，不把它们按照

分组，而是把它们按照

是否相同来分组，定理又可再次重新叙述为

定理17''' 对任意

，不可约多项式

，以及正整数

，记

若

，则称

行

列的矩阵

为标准基。对任意

，将所有大小为

的标准基组合起来就是方程（1）的一组基解。

若固定

值，经过试验容易发现：

相同的一族标准基有非常明显的模式。例如取

取不同的

就可以得到不同的标准基。为了能直观地看到这些解，我们用白色和黑色表示

的两个元素 0 和 1，将这些解转化为黑白方格图。分别取

为

，得到的标准基如下图所示：

规律很明显：

的两个标准基就是由

的两个标准基

通过若干次镜像翻转操作（上下和左右都翻转，每次翻转都在中间填充一排 0）得到的。实际上这条规律并不准确，当域的特征不为 2 时，每次翻转还要进行 反色操作，即将

替换为

，只不过在特征为 2 的域中将

替换为

等于不变而已。下面是域

的一个例子，仍然取

，其中白色、灰色、黑色分别表示 0, 1, 2，可以看到每次镜像翻转都附带一次反色操作。

不妨将这种操作简称为镜像反色操作，容易看出镜像反色操作不仅适用于标准基，事实上任何

的解都可以通过镜像反色操作得到

的解

（直接运代入原始方程就能验证）。

回头看定理 17'''，既然已经找到规律，我们只需证标准基

的确可由标准解

通过镜像反色操作得到，这不算很困难。

引理21 设

是不可约多项式，

是正整数，满足

，记

在分裂域中所有根为

，则有：

（1）对任意

有

；

（2）对任意

有

证明：

（1）将

在分裂域中完全分解，其中有因子

且其次数大于等于

，在上一篇文章的定理 13 中已经证明了

；

（2）利用

的递推式（见上一篇文章）用归纳法易证，这里