令 
我们还需要证明
当且仅当
.
假设
。为了证明
就足够了。然而,这是一个显而易见的结果,因为
(从
对于
且度数小于
,以及
不在
个不同的
特征向量的正交补中)。
断言:如果
,则
.
根据假设
其中
是
的正交特征向量,所有
都不为零。
注意
是
的线性组合,多项式
的系数,以及特征向量缩放系数
例如 
由于
且
,这意味着
.
如果
,则 
使用数学归纳法。
断言: 
假设
假设
其中
(分别为
)的度数为
(分别为
)。那么对于 
如预期那样。
由于
且
,等价于证明
对于
.
由于
,
那么,只需要证明
断言 
[edit | edit source]
使用数学归纳法。
假设: 
断言: 
断言 
[编辑 | 编辑源代码]
使用数学归纳法。
假设: 
断言: 
对于特定区间
,根据假设我们有
.
分配和重新排列项得到
从提示开始,应用乘积法则,得到
.
此外,我们知道微积分基本定理
.
将以上两个等式设为相等,并解出
,得到
令
。因此,由于
是线性的
通过比较等式 (1) 和 (2),我们看到
并且
.
将
或
代入等式 (3),我们得到
因此
将先前结果应用于 , ,以获得收敛速度。
|
令 表示在闭区间 上定义的所有实值连续函数的集合,在 中处处为正。令 是一个多项式系统,对于每个 都有 ,关于内积正交
![{\displaystyle \langle g,h\rangle =\int _{a}^{b}\rho (x)g(x)h(x)dx,\quad \forall g,h\in C[a,b]\!\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcddcf42fa4dc4af3bbed84de0e6872167150de9)
对于固定的整数 ,令 为 个不同的根 在 中。令

是 次多项式。证明

以及

提示:使用正交性来简化 
|
由于
对所有
都是
次的多项式,
也是一个
次的多项式。
注意,
对
成立,其中
是
个不同的
的根。由于
是一个
次的多项式,并且它在
个不同的点处取值为 1。