高等微积分/牛顿广义二项式定理
外观
< 高等微积分
我们现在将描述一个广义二项式定理,它使用广义二项式系数。
定义:
令 且 。然后我们定义
- .
对于这些广义二项式系数,我们有以下公式,我们需要它来证明后面的广义二项式定理。
引理:
- .
证明:
现在我们准备好了定理
定理(广义二项式定理;牛顿):如果 且 ,那么
- ,
其中后面的级数确实收敛。
证明:
我们从特殊情况开始。首先我们证明只要,后面的级数收敛;我们通过使用幂级数收敛半径的商公式来证明这一点。由于绝对值的连续性允许我们首先在绝对值内计算极限,我们有
- ;
因此我们确实有一个的收敛半径。
这种收敛允许我们在的收敛区域内应用逐项微分,这将得到
- .
如果我们用来表示从我们正在考虑的级数定义的函数,那么我们得到
其中,我们使用了前面的引理,将第 2 行转置到第 3 行。现在定义 ,我们通过通常的微分规则得到
意味着 ,这就是为什么上面的每一个分数都是定义的。因此,我们证明了 是一个常数,特殊情况 来自 (因为空积定义为等于 )。
对于一般情况 ,其中 ,我们有
假设条件保证了收敛,因为 。为了得到结论,只需要用 乘以。