广义二项式定理
Abstract
定义
广义二项式系数(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 在研究流数术(微积分的前身)时,尝试将 展开为无穷级数,从而发现了这个对任意实数指数都成立的公式。这一发现比正整数指数的二项式定理晚了数百年,但极大地拓展了二项式定理的适用范围。