二项式系数
在数学上,二项式系数是二项式定理中各项的系数。一般而言,二项式系数由两个非负整数和为参数决定,写作 ,定义为 的多项式展开式中,项的系数,因此一定是非负整数。如果将二项式系数 写成一行,再依照 顺序由上往下排列,则构成帕斯卡三角形。

二项式系数常见于各数学领域中,尤其是组合数学。事实上,可以被理解为从个相异元素中取出个元素的方法数,所以 大多读作「取」。二项式系数 的定义可以推广至是复数的情况,而且仍然被称为二项式系数。
历史及记号
虽然二项式系数在西元10世纪就已经被发现(见帕斯卡三角形),但表达式 却是到1826年才由安德烈亚斯·冯·厄廷格豪森首次始用[注 1]。最早探讨二项式系数的论述是十世纪的 Halayudha写的印度教典籍《宾伽罗的计量圣典》(chandaḥśāstra)。约1150年,印度数学家婆什迦罗第二于其著作《Lilavati》[注 2] 中给出一个简单的描述。
二项式系数亦有不同的符号表达方式,包括:、、、、[注 3],其中的 C 代表组合(combinations)或选择(choices)。很多计算机使用含有 C 的变种记号,使得算式只占一行的空间,相同理由也发生在置换数 ,例如写作 P(n, k)。
定义及概念
对于非负整数和,二项式系数定义为的多项式展开式中,项的系数,即
事实上,若、为交换环上的元素,则
此数的另一出处在组合数学,表达了从物中,不计较次序取物有多少方式,亦即从一元素集合中所能组成元素子集的数量。此定义与上述定义相同,理由如下:若将幂的个因数逐一标记为(从1至),则任一元素子集则建构成展式中的一个项,故此该单项的系数等如此种子集的数量。亦因此,就任何自然数和而言,亦为自然数。此外,二项式系数亦见于很多组合问题的解答中,如由个比特(如数字0或1)组成的所有串行中,其和为的数目为,又如算式,其中每一均为非负整数,则有种写法。这些例子中,大部分可视作等同于点算个元素的组合的数量。
计算二项式系数
除展开二项式或点算组合数量之外,尚有多种方式计算的值。
递归公式
以下递归公式可计算二项式系数:
其中特别指定:
此公式可由计算中的项,或点算集合的个元素组合中包含与不包含的数量得出。
显然,如果,则。而且对所有,,故此上述递归公式可于此等情况下中断。递归公式可用作建构帕斯卡三角形。
乘数公式
个别二项式系数可用以下公式计算:
上式中第一个分数的分子是一阶乘幂。此公式可以二项式系数在计算组合数量的意义理解:分子为从个元素中取出个元素的串行之数量,当中包含同样的元素但不同排列次序的串行。分母则计算同样的个元素可有多少种排序方式。
阶乘公式
二项式系数最简洁的表达式是阶乘:
其中「」是的阶乘,此公式从上述乘数公式中分子分母各乘以取得,所以此公式中的分子分母有众同共同因子。除非先行抵销两边中的共同因子,否则以此公式进行计算时较率欠佳,尤因阶乘的数值增长特快。惟此公式展示了二项式系数的对称特性:
-
(
)
帕斯卡三角形 (杨辉三角)

帕斯卡法则是一重要的递归等式:
-
(
)
此式可以用于数学归纳法,以证明对于所有和均为自然数(等同于证明为所有个连续整数之积的因数),此特性并不易从公式(1)中得出。
帕斯卡法则建构出帕斯卡三角形:
0: 1 1: 1 1 2: 1 2 1 3: 1 3 3 1 4: 1 4 6 4 1 5: 1 5 10 10 5 1 6: 1 6 15 20 15 6 1 7: 1 7 21 35 35 21 7 1 8: 1 8 28 56 70 56 28 8 1
第横行列出的项,其建构方法为在外边填上1,然后将上一行中每两个相邻数相加的和填在其下,此方法可快速地计算二项式系数而不涉及乘法或分数,例如从第5横行可马上得出
在斜在线相邻项的差就是上一斜在线的数值,此乃上述递归等式(3)的延伸意义。
组合数学和统计学
二项式系数是组合数学中的重要课题,因其可用于众多常见的点算问题中,例如
以多项式表达二项式系数
就任就非负整数,可表达为一多项式除以:
此为带有理数系数,变量是的多项式,可对任意实数或复数运算以得出二项式系数,此「广义二项式系数」见于牛顿广义二项式定理。
就任意,多项式可看成是惟一的次多项式满足及.
其系数可以第一类斯特灵数表示,即:
有关二项式系数的恒等式
三阶求和公式
备注
- Higham (1998)
- Lilavati 第6节,第4章(见Knuth (1997))。
- Shilov (1977)
- 见(Graham,Knuth & Patashnik 1994),其中就定义了,其他一般化形式包括考虑两参数为实数或复数时以伽玛函数为时定义,但此举会令大部分二项式系数的恒等式失效,故未有被广泛采用。然而,此方法替不等于零的参数下定义则可得出如Hilton, Holton and Pedersen, Mathematical reflections: in a room with many mirrors, Springer, 1997中那种好看的「帕斯卡风车」,但是却会令帕斯卡法则在原点失效。
- 此可视作泰勒定理的离散形式,亦与牛顿多项式有关,此式的交错项之和可以Nörlund–Rice积分表示。
参考文献
- Muir, Thomas. . Proceedings of the Royal Society of Edinburgh. 1902.
- . [2014-01-05]. (原始内容存档于2019-05-02).
- 赵丽棉 黄基廷. . 高等数学研究. 2010, (4) [2014-01-24]. (原始内容存档于2019-05-02).
- 徐更生 何廷模. . 中学教研. 1991, (10) [2014-01-04]. (原始内容存档于2019-05-02).
- 伍启期. . 佛山科学技术学院学报(自然科学版). 1996, (4) [2014-05-24]. (原始内容存档于2019-05-02).
- Benjamin, Arthur T.; Quinn, Jennifer (2003). Proofs that Really Count: The Art of Combinatorial Proof (页面存档备份,存于), Mathematical Association of America.
- Bryant, Victor. . Cambridge University Press. 1993. ISBN 0521419743.
- Flum, Jörg; Grohe, Martin. . Springer. 2006 [2011-07-28]. ISBN 978-3-540-29952-3. (原始内容存档于2007-11-18).
- Fowler, David. . The American Mathematical Monthly (Mathematical Association of America). January 1996, 103 (1): 1–17. JSTOR 2975209. doi:10.2307/2975209.
- Graham, Ronald L.; Knuth, Donald E.; Patashnik, Oren. Second. Addison-Wesley. 1994: 153–256. ISBN 0-201-55802-5.
- Higham, Nicholas J. . SIAM. 1998: 25. ISBN 0898714206.
- Knuth, Donald E. Third. Addison-Wesley. 1997: 52–74. ISBN 0-201-89683-4.
- Singmaster, David. . J. London Math. Soc. (2). 1974, 8 (3): 555–560. doi:10.1112/jlms/s2-8.3.555.
- Shilov, G. E. . Dover Publications. 1977. ISBN 9780486635187.
参见
- 组合
外部链接
- Calculation of Binomial Coefficient
- 本条目含有来自PlanetMath《Binomial Coefficient》的内容,版权遵守知识共享协议:署名-相同方式共享协议。
- 本条目含有来自PlanetMath《Bounds for binomial coefficients》的内容,版权遵守知识共享协议:署名-相同方式共享协议。
- 本条目含有来自PlanetMath《C(n,k) is an integer》的内容,版权遵守知识共享协议:署名-相同方式共享协议。
- 本条目含有来自PlanetMath《Generalized binomial coefficients》的内容,版权遵守知识共享协议:署名-相同方式共享协议。