本文是上一篇文章的续集。
预告:上篇文章说过的基解可视化在本文末尾,不想看中间推导过程的可以直接拉到最底下看图。个人觉得这些图都相当地优美,大概这就是数学的魅力吧。
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)利用
的递推式(见上一篇文章)用归纳法易证,这里