广义二项式定理

Abstract

广义二项式定理(Extended Binomial Theorem)将经典二项式定理从正整数指数推广到任意实数指数:,其中 广义二项式系数。当 为正整数时退化为普通二项式定理。广义二项式定理是生成函数中核心幂级数公式(如 的展开)的推导基础。

定义

广义二项式系数(Extended Binomial Coefficient)

为实数, 为非负整数。广义二项式系数定义为

分子是从 开始递减的 个因子的乘积(降阶乘),分母为 。当 为正整数 时, 就是普通的二项式系数 ;当 时,分子中出现因子 ,故

负整数的广义二项式系数

为负整数 时,有重要公式:

推导

注意前面的 因子: 的系数是交错符号的,而 的系数全部为正。

广义二项式定理(Extended Binomial Theorem / Theorem 2)

为实数且 为实数,则

为正整数时,广义二项式定理退化为普通的二项式定理(因为当 ,级数自动截断为有限和)。

核心性质

编号性质公式说明
1基本定义降阶乘除以
2零值约定对所有实数 成立
3正整数退化退化为普通二项式系数
4负整数公式最常用的特殊情况
5广义二项式定理$
6 展开生成函数核心公式
7 展开系数交错符号
8 展开引入比例因子

关系网络

graph LR
    A["广义二项式定理"] -->|"推广自"| B["[[离散数学/concepts/二项式定理]]"]
    A -->|"定义"| C["广义二项式系数<br/>binom(u, k)"]
    A -->|"推导核心公式"| D["[[离散数学/concepts/生成函数]]"]
    A -->|"展开系数"| E["[[离散数学/concepts/二项式系数]]"]

    C -->|"正整数退化"| E
    C -->|"负整数特例"| F["binom(-n, r)<br/>= (-1)^r C(n+r-1, r)"]

    D -->|"核心公式"| G["1/(1-x)^n<br/>= Σ C(n+k-1,k) x^k"]
    D -->|"核心公式"| H["1/(1+x)^n<br/>= Σ (-1)^k C(n+k-1,k) x^k"]

    B -->|"u 为正整数时"| A

    style A fill:#5cb85c,color:#fff
    style G fill:#d9534f,color:#fff
    style H fill:#f0ad4e,color:#fff

章节扩展

第08章 高级计数技术 — 8.4 生成函数

广义二项式定理是 8.4 节中生成函数理论的核心推导工具:

与常生成函数核心公式的联系

广义二项式定理直接推导出生成函数中最重要的一组公式:

推导 的展开

推导 的展开

这两个公式是生成函数方法中提取系数的基础,广泛应用于组合计数和递推关系求解。

应用实例

实例1:广义二项式系数的计算

实例2:推导允许重复的组合数公式 个元素中选 个(允许重复)的组合数,其生成函数为 。由广义二项式定理, 的系数为 ,这与第6章 Theorem 2 的结论一致。

实例3:推导至少选一个的组合数 每种物品至少选 1 个的生成函数为 。由广义二项式定理, 的系数为

补充

广义二项式系数的符号规律

广义二项式系数 的符号取决于 的值:

  • 为正整数时,所有系数非负(普通二项式系数)
  • 为负整数 时,,符号由 决定
  • 为非整数时,系数的符号规律更复杂,取决于 的具体值

这意味着 的展开系数是交错符号的:,而 的展开系数全部为正:。在生成函数的应用中, 更为常用。

广义二项式定理与 Newton 二项式级数

广义二项式定理也称为 Newton 二项式级数(Newton’s Binomial Series),由 Isaac Newton 于 1665 年发现。Newton 在研究流数术(微积分的前身)时,尝试将 展开为无穷级数,从而发现了这个对任意实数指数都成立的公式。这一发现比正整数指数的二项式定理晚了数百年,但极大地拓展了二项式定理的适用范围。

参见