高中数学竞赛切比雪夫(Chebyshev)多项式知识整理

方法一：余弦倍角公式是由余弦的幂整系数线性组合来表示倍角的余弦．这样就产生余弦的n 倍角能否用余弦的幂次的整系数线性组合表示等问题．通过研究，发现cos n α都是关于2cos α的首项系数为1的、次数等于α的倍数的、系数符号正负相间的整系数多项式，还进一步得到cos n α的一些性质．应用此性质，可以得到一些求和公式及解决许多数学问题．进一步研究，发现此多项式可以转化为切比雪夫多项式．

在初等数学中，三角函数是一个十分有用的工具，余弦cos n α是众所周知的偶函数，它的倍角公式如：

2cos 22cos 1αα=- ，(1)

3cos34cos 3cos ααα=-． (2)

它们都是由余弦cos α的幂整系数线性组合来表倍角的余弦．这样就自然产生了余弦的n 倍角能否用余弦cos α的幂次的整系数线性组合表示问题，稍作计算可以得

42cos 48cos 8cos 1ααα=-+ ，(3)

53cos516cos 20cos 5cos αααα=-+ ．(4)

观察公式(1—4)，可以发现．如果公式两端同乘以2，则公式右边都是关于2cos α的首系数为1的、次数等于公式左边α的倍数的、系数符号正负相间的整系数多项式．由此猜测2cos n α也具有这一性质，下面用数学归纳法加以证明．

猜想

2,0

2cos (1)(2cos )m n m n m m n a αα-==-∑，(;n N m N +

∈∈) (5)

(5)式可改写为：

n/3

1

211

2cos (2cos )(1)(2cos )ent n

m

m n m n m m n n C m

ααα----==+

-∑

，(9) (9)式称为n 倍角余弦公式．

12424cos 2(cos )(cos )(cos )n n n n n n n αααααα-----=-++…，其中i α为正整数．

因为余弦cos α在[]0,απ∈上单调，对应值为1降到1-，即cos α[]1,1∈-，

[]0,απ∈ ．因此存在反函数，若令cos x α=，则arccos x α=，[]1,1x ∈-，

[]0,απ∈．因此，在余弦n 倍角公式中令arccos x α=，[]0,απ∈，[]1,1x ∈-，

则倍角公式为

[][]

[]

2

4

124cos(arccos )2cos(arccos )cos(arccos )cos(arccos )n

n n n n n n x x x x αα-----=-++

…

124242n n n n n n x x x αα-----=-++…．

于是cos(arccos )n x 首项系数为12n -的多项式，各项系数是整数，符号依次变化，x 的幂依次递减2次，若递减到最后，幂次为负，则该项取零．

若记cos(arccos )n x =()n T x ，则()n T x 满足，12()2()()n n n T x xT x T x --=-，()n T x 称为切比雪夫多项式．从递推关系可以得到：

0()1T x =，1()T x x =，22()21T x x =-，33()43T x x x =-，424()88+1T x x x =-， 535()1620+5T x x x x =-，6426()3248+181T x x x x =--．

第一类切比雪夫多项式有许多良好的性质，例如：

1．(cos )cos(),,n T n R n N θθθ=∈∈．(分析：令cos x θ=，arccos x θ=)

2．()(1)()n n n T x T x -=-，,x C n N ∈∈．

这表明()n T x 当n 为奇(偶)数时是奇(偶)函数．

3．()1,,1n T x x R x ≤∈≤．

4．21(0)0m T +=，2(0)(1),m m T m N =-∈． 5．函数列{}()n T x 的生成函数为

2

1(),,112n n n xt

T x t t R t xt t

≥-=

∈≤-+∑． （分析：生成函数又叫母函数，在数学中，某个序列的母函数是一种形式幂级数，其每一项的系数可以提供关于这个序列的信息．使用母函数解决问题的方法称为母函数方法．母函数的思想就是把离散数列和幂级数一一对应起来，把离散数列间的相互结合关系对应成为幂级数间的运算关系，最后由幂级数形式来确定离散数列的构造．母函数是解决组合计数问题的有效工具之一，其思想方法是把组合问题的加法法则和幂级数的乘幂的相加对应起来．）

6．函数列{}()n T x 满足2阶递推关系

21()2()()n n n T x xT x T x ++=-，,x C n N ∈∈．

（分析：由三角恒等式cos(1)cos(1)2cos cos n n n θθθθ++-=）

最小偏差

切比雪夫在1857年提出这样一个问题：在最高项系数为1的n 次多项式

()()()01n x x x x x ω=--…()1()n n n x x x P x --=-

中，寻求在区间[]1,1-上与零的偏差最小的多项式．换句话说，就是寻求

[]1,1n x C ∈-在1n H -中的最佳一致逼近多项式1()n P x *-，这里

{}11

11()

min

()

n n n n

n n P H x P x x

P x --*--∞

∞

∈-=-．

定理 在区间[]1,1-上所有最高项系数为1的多项式中，

111

()())2

(n n n n n x x P x x T ω**--=-=

， 与零的偏差最小，其偏差为

1

1

2

n -．

()n U x 称为第n 个第二类切比雪夫多项式，前7个第二类切比雪夫多项式为：

230123()1,()2,()41,()84U x U x x U x x U x x x ===-=-，

424()16121U x x x =-+，535()32326U x x x x =-+，

6426()6480241U x x x x =-+-．

第二类切比雪夫多项式也有许多良好的性质，例如：

1．()(1)(),,n n n U x U x x C n N -=-∈∈．即当以为奇(偶)数时是奇(偶)函数．