令
我们还需要证明 当且仅当 .
假设 。为了证明 就足够了。然而,这是一个显而易见的结果,因为 (从 对于 且度数小于 ,以及 不在 个不同的 特征向量的正交补中)。
断言:如果 ,则 .
根据假设
其中 是 的正交特征向量,所有 都不为零。
注意 是 的线性组合,多项式 的系数,以及特征向量缩放系数 例如
由于 且 ,这意味着 .
如果 ,则
使用数学归纳法。
断言:
假设
假设
其中 (分别为 )的度数为 (分别为 )。那么对于
如预期那样。
由于 且 ,等价于证明 对于 .
由于
- ,
那么,只需要证明
断言
[edit | edit source]
使用数学归纳法。
假设:
断言:
断言
[编辑 | 编辑源代码]
使用数学归纳法。
假设:
断言:
对于特定区间 ,根据假设我们有
.
分配和重新排列项得到
从提示开始,应用乘积法则,得到
.
此外,我们知道微积分基本定理
.
将以上两个等式设为相等,并解出 ,得到
令 。因此,由于 是线性的
通过比较等式 (1) 和 (2),我们看到
并且
.
将 或 代入等式 (3),我们得到
因此
将先前结果应用于 , ,以获得收敛速度。
|
令 表示在闭区间 上定义的所有实值连续函数的集合,在 中处处为正。令 是一个多项式系统,对于每个 都有 ,关于内积正交
对于固定的整数 ,令 为 个不同的根 在 中。令
是 次多项式。证明
以及
提示:使用正交性来简化
|
由于 对所有 都是 次的多项式, 也是一个 次的多项式。
注意, 对 成立,其中 是 个不同的 的根。由于 是一个 次的多项式,并且它在 个不同的点处取值为 1。