简介
广义二项式定理是普通二项式定理的推广,可视作几何级数在任意实指数下的形式化延伸。适用于幂指数为任意实数或复数的情况。在数学分析和无穷级数领域中,这是一个重要的工具,尤其在处理类似 (1−u)−k 这种高次幂分母时。
定义
公式的形式为:
(x+y)α=n=0∑∞(nα)xα−nyn,∣y/x∣<1,
其中:
- α 是任意实数或复数;
- (nα) 是广义二项式系数,定义为:
(nα)=n!α(α−1)(α−2)⋯(α−n+1),
适用于 n≥1,而 (0α)=1。
对比
二项式定理
这是经典的二项式定理,且系数 (nα) 的定义与普通组合数一致。
当 α 是非整数时,展开变为无穷级数。这时公式依赖广义二项式系数的定义,将其扩展到任意实数或复数。
特殊形式
对于 (1+x)α,当 ∣x∣<1 时,可以直接展开为:
(1+x)α=n=0∑∞(nα)xn,
其中广义二项式系数为:
(nα)=n!α(α−1)(α−2)⋯(α−n+1).
这是复分析和级数展开中更常用的形式
特例对照
三种常见展开都是同一核心公式 (1+x)α=∑k≥0(kα)xk 的特例(α 不是非负整数时需 ∣x∣<1):
| 指数 α | 系数 | 展开 | 对应主题 |
|---|
| −1 | (k−1)=(−1)k | 1+x1=1−x+x2−x3+⋯ | 几何级数(公比 −x) |
| m∈N+ | (km)=k!(m−k)!m! | (1+x)m=∑k=0m(km)xk | 二项式定理,k>m 时系数为零,展开自然截断 |
| 21 | (11/2)=21, (21/2)=−81, (31/2)=161 | 1+x=1+21x−81x2+161x3−⋯ | 开方;α=−21 时系数含双阶乘 |
α 为非负整数时展开是有限项;α 为其他实数或复数时是无穷级数,须满足 ∣x∣<1 才收敛。
易混淆概念
- 调和级数:∑n=1∞n1,发散,与二项式展开无关。
- 几何级数:∑k=0∞xk=1−x1,是广义二项式展开取 α=−1 的特例。
- 广义二项式展开:(1+x)α 在 x=0 处的泰勒展开(麦克劳林级数),包含以上两者。
矩阵幂零展开
若矩阵 N 幂零(Np=0),则 (I+N)α 的展开从 k=p 起全部为零,截断为有限和:
(I+N)α=k=0∑p−1(kα)Nk=I+αN+2!α(α−1)N2+⋯
- α=−1:(I+N)−1=∑k=0p−1(−N)k,即几何级数代入 x=−N 的矩阵版本;有限项和保证 I+N 可逆。
- α=m∈N+:系数 (km) 在 k>m 后为零,若 p>m 自动截断到 m 项。
示例
(1−2z)−2
- 识别形式
这里 (1−2z)−2 是 (1+x)α 的特殊情况,取 α=−2,x=−2z。 - 使用广义二项式公式
展开为:
(1−2z)−2=n=0∑∞(n−2)(−2z)n.
- 计算系数
利用 (n−2)=n!(−2)(−2−1)(−2−2)⋯(−2−n+1)=n!(−1)n(n+1),代入后得:
(1−2z)21=n=0∑∞(n+1)(2z)n=n=0∑∞2nn+1zn.
α=−1/2
这是一个非常重要的例子,它将此定理与双阶乘联系起来。
令 α=−1/2,我们展开 (1+x)−1/2=1+x1:
(1+x)−1/2=n=0∑∞(n−1/2)xn
我们来计算这个广义二项式系数:
(n−1/2)=n!(−21)(−21−1)(−21−2)⋯(−21−n+1)=n!(−21)(−23)(−25)⋯(−22n−1)=2n⋅n!(−1)n⋅(1⋅3⋅5⋅…⋅(2n−1))=2nn!(−1)n(2n−1)!!
因此,
1+x1=n=0∑∞2nn!(−1)n(2n−1)!!xn
这个结果是推导 泰勒展开中的双阶乘 (例如 arcsin(x)) 的基础。