Binomial[n,m]
gives the binomial coefficient
.
Binomial
Binomial[n,m]
gives the binomial coefficient
.
更多信息
- 整数数学函数,适于符号和数值运算.
- Binomial 也称为组合,或称为选择函数.
- Binomial 给出负整数
的对称系数. 使用 PascalBinomial 可以得到对所有整数值都保持帕斯卡恒等(Pascal's identity)的系数。除了负整数
的情况外,Binomial 和 PascalBinomial 是一致的. - 通常,
由
或适当的极限定义. - 当
为负整数时,
. » - 对于所有复数
和
,所选的特定极限保留了对称规则
. » - 几乎所有
和
都满足帕斯卡恒等
,但
的情况除外. » - 对于整数和一些其它特殊参数,Binomial 自动运算出精确值.
- 对简单的情形,自动对 Binomial 进行符号求值;其它情形则由 FunctionExpand 给出结果. »
- Binomial 可求任意数值精度的值.
- Binomial 自动逐项作用于列表的各个元素.
- Binomial 可与 Interval 和 CenteredInterval 对象一起使用. »
背景
- Binomial 表示一个二项式系数函数,返回
和
的二项式系数
. 对于非负整数
和
,二项式系数为
,其中
是 Factorial 函数. 通过对称,
. 二项式系数在概率论和组合学中很重要,有时被表示为 
- 对于非负整数
和
,二项式系数
给出包含在集合
中长度为
的子集数. 这也是从前
个正整数选择
个元素(没有替代和忽略排序)的不同方法数,因此,它常被称之为 "
选择
". - 二项式系数位于二项式公式的心脏,它表明对于任何非负整数
,
. 这种二项式系数的诠释与概率论的二项分布相关,通过 BinomialDistribution 实现. 另一个重要应用是在称之为帕斯卡规则的组合恒等式中,它与根据
带有移位参数的二项系数有关. - 将阶乘表示为伽马函数将二项式系数用
推广为复数
和
. 对整数
和
以及复数
使用对称公式
,允许二项系数的定义延伸至负整数参数,使其对于所有整数参数以及复数参数是连续的,除了负整数
和非整数
(这种情况下是无穷). 负数
和整数
的定义在
时由
给出,在
时由
给出,否则为 0,这与二项式定理和大多数组合恒等式一致(有一些特殊例外). - 二项式系数通过多项式系数来推广. Multinomial 返回给定数 n1,…,nk 加
的多项式系数 (n;n1,…,nk),其中
. 二项式系数
是多项式系数 (n;k,n-k).
范例
打开所有单元 关闭所有单元基本范例 (5)
Binomial[10, 3]Binomial[n, n - 1]Column[Table[Binomial[n, k], {n, 0, 5}, {k, 0, n}], Center]Plot[Binomial[x, 3], {x, -2, 4}]Plot[Binomial[3, x], {x, -2, 4}]ComplexPlot3D[Binomial[z, 1 / 5], {z, -2 - 2I, 2 + 2I}, PlotLegends -> Automatic]范围 (35)
数值运算 (7)
Binomial[8, 4]Binomial[8.5, -4.2]Binomial[9 / 2, 7 / 2]N[Binomial[7 / 3, 1 / 5], 20]Binomial[8.2211111111115000000, 4]Binomial[1 + I, 5]Binomial[2. + I, 7 - 3I]Binomial[17 / 2, -4.2`100]//TimingBinomial[-88889 + (1/2), 4.2`1000];//Timing用 Interval 和 CenteredInterval 对象计算最坏情况下的区间:
Binomial[1 / 2, Interval[{0.5, 0.6}]]Binomial[1, CenteredInterval[1 / 2, 1 / 100]]或用 Around 计算一般情况下的统计区间:
Binomial[Around[2, 0.01], 2]Binomial[ {{5π / 6, 0}, {3π / 2, -π / 2}}, 2]或用 MatrixFunction 计算矩阵形式的 Binomial 函数:
MatrixFunction[Binomial[#, 2]&, {{5π / 6, 0}, {3π / 2, -π / 2}}]特殊值 (4)
Binomial 在特殊点的值:
Table[Binomial[n, 2], {n, 1, 5}]符号 n 的 Binomial 表达式:
Binomial[n, 4]Binomial[n, 0]FunctionExpand[Binomial[0, m]]Simplify[%, m∈ℤ && m != 0]求使得 Binomial[n,2]=15 成立的 n 值:
nval = n /. FindRoot[Binomial[ n , 2] == 15, {n, 5}]Plot[Binomial[n, 2], {n, 0, 10}, Epilog -> Style[Point[{nval, Binomial[nval, 2]}], PointSize[Large], StandardMagenta]]可视化 (3)
绘制作为参数 n 的函数的 Binomial:
Plot[{Binomial[n, 1], Binomial[n, 2], Binomial[n, 3], Binomial[n, 4]}, {n, -2, 4}]绘制作为参数
的函数的 Binomial:
Plot[{Binomial[1, m], Binomial[2, m], Binomial[3, m], Binomial[4, m]}, {m, -1, 5}]ComplexContourPlot[Re[Binomial[z, 5]], {z, -4 - 4I, 8 + 4I}, Contours -> 24]ComplexContourPlot[Im[Binomial[z, 5]], {z, -4 - 4I, 8 + 4I}, Contours -> 24]函数属性 (12)
绘制作为参数 n 的函数的 Binomial 的实域:
FunctionDomain[Binomial[n, 2], n]绘制作为参数 m 的函数的 Binomial 的实域:
FunctionDomain[Binomial[2, m], m]FunctionDomain[Binomial[z, 2], z, Complexes]FunctionDomain[Binomial[2, z], z, Complexes]Binomial 的值域:
FunctionRange[Binomial[x, 2], x, y]Binomial 具有镜像属性
:
FullSimplify[Binomial[Conjugate[z], 2] == Conjugate[Binomial[z, 2]]]计算涉及 Binomial 的和:
Sum[Binomial[n, k], {k, 0, n}]Sum[Binomial[n, k] ^ 2, {k, 0, n}]FunctionAnalytic[{Binomial[x, y], x > 0}, {x, y}]FunctionAnalytic[{Binomial[x, y], x < 0}, {x, y}]FunctionMonotonicity[Binomial[x, 7], x]FunctionInjective[Binomial[x, 7], x]Plot[{Binomial[x, 7], 0.01}, {x, -1, 3}]FunctionSurjective[Binomial[x, 7], x]Plot[{Binomial[x, 7], 750}, {x, -10, 15}]Binomial 既不是非负,也不是非正:
FunctionSign[Binomial[x, 1], x]FunctionSign[Binomial[1, x], x]FunctionSingularities[Binomial[x, y], x]FunctionDiscontinuities[Binomial[x, y], x]FunctionConvexity[Binomial[x, 7], x]TraditionalForm 格式输出:
Binomial[n, k]//TraditionalForm微分 (3)
D[Binomial[n, m], m]Table[D[Binomial[n, m], {m, k}], {k, 1, 3}]//FullSimplifyPlot[Evaluate[% /. n -> 2], {m, -5, 5}, PlotLegends -> {"First Derivative", "Second Derivative", "Third Derivative"}]D[Binomial[n, m], n]级数展开式 (4)
用 Series 求泰勒展开式:
Series[Binomial[n, x], {x, 0, 3}]//Normal//FullSimplifyterms = Normal@Table[Series[Binomial[2, x], {x, 0, m}], {m, 1, 5, 2}];
Plot[{Binomial[2, x], terms}, {x, -5, 5}]求 Infinity 处的级数展开式:
FullSimplify[Series[Binomial[n, x], {x, Infinity, 1}]//Normal, x > n]Series[Binomial[2, x], {x, DirectedInfinity[z], 1}, Assumptions -> x > 0 ]//Normal// FullSimplifySeries[Binomial[n, x], {x, x0, 2}]// Normal//FullSimplify推广和延伸 (2)
Binomial[Infinity, 2]Binomial[-Infinity, -12]Binomial 逐项作用于列表的各个元素:
Binomial[{2, 3, 5, 7, 11}, 3]应用 (11)
With[{n = 5, m = 2}, Binomial[n, m]]With[{n = 5, m = 2}, Subsets[Range[n], {m}]]Length[%]With[{n = 5, m = 2}, Binomial[n + m - 1, m]]With[{n = 5, m = 2}, DeleteDuplicates[Sort /@ Tuples[Range[n], {m}]]]Length[%]一组元素由两类对象组成,其中一类为
个无区别的对象,另一类为
个无区别的对象,对这组元素进行排列有
种方法:
With[{n = 5, m = 2}, Binomial[n + m, m]]With[{n = 5, m = 2}, Permutations[Join[ConstantArray[0, n], ConstantArray[1, m]]]]Length[%]Sum[Binomial[n, k]x ^ k, {k, 0, n}]Expand[(1 + x) ^ 10]Series[(1 + x) ^ (1 / 3), {x, 0, 5}]Sum[Binomial[1 / 3, k]x ^ k, {k, 0, 5}]ArrayPlot[Table[Mod[Binomial[i, j], 2], {i, 50}, {j, i}], PlotTheme -> "Scientific"]在自变量平面绘制 Binomial:
Plot3D[Binomial[n, k], {n, -10, 10}, {k, -10, 10}]Plot3D[Log[Binomial[n, k]], {n, 1, 12}, {k, 1, 12}, RegionFunction -> (#2 <= #1&)]Sum[Binomial[4, k] D[f[z], {z, k}]D[g[z], {z, 4 - k}], {k, 0, 4}]D[f[z] g[z], {z, 4}]二项式概率分布的 PDF:
With[{n = 20, q = 0.3}, PDF[BinomialDistribution[n, q], k]]DiscretePlot[%, {k, 0, 20}]用 Binomial 定义伯恩斯坦多项式:
PiecewiseExpand[BernsteinBasis[n, k, x], 0 < x < 1 && n >= k > 0]Table[Plot[Evaluate[Table[BernsteinBasis[n, k, x], {k, 0, n}]], {x, 0, 1}, PlotLabel -> n], {n, 0, 3}]属性和关系 (11)
整数情况下,Binomial[n,m] 等于
:
And@@Flatten@Table[Binomial[n, m] == Underscript[, ϵUnderscript[ -> , ℂ]0](Gamma[n + ϵ + 1]/Gamma[m + ϵ + 1] Gamma[-m + n + ϵ + 1]), {n, -5, 5}, {m, -5, 5}]And@@Flatten@Table[Binomial[``n``, ``m``] == Piecewise[{{((-1)^m*Pochhammer[-n, m])/m!, m >= 0},
{((-1)^(-m + n)*Pochhammer[-n, -m + n])/(-m + n)!, m <= n}}], {n, -5, 5}, {m, -5, 5}]Assuming[{n, m}∈ℤ, FullSimplify@FunctionExpand[Binomial[n, m]]]FullSimplify[Binomial[n, m] == Binomial[n - 1, m] + Binomial[n - 1, m - 1], n ≠ 0 && m ≠ 0]FullSimplify[Binomial[n, m] == Binomial[n - 1, m] + Binomial[n - 1, m - 1], n == 0 && m == 0]PascalBinomial 在包括原点在内的任何地方都满足恒等:
FullSimplify[PascalBinomial[n, m] == PascalBinomial[n - 1, m] + PascalBinomial[n - 1, m - 1], n == 0 && m == 0]FullSimplify[Binomial[n, m] == Binomial[n, n - m]]PascalBinomial 对符号参数进行简单的运算:
Binomial[n + 2, n]Binomial[n + 6, n]使用带条件的 FunctionExpand 来实现适当的化简:
FunctionExpand[Binomial[n + 6, n], n∈Integers]用 FullSimplify 简化含有二项式系数的表达式:
FullSimplify[Binomial[n + 1, k + 1] / Binomial[n, k]]用 FunctionExpand 将二项式系数展开为 Gamma 函数:
FunctionExpand[Binomial[n, k]]含有 Binomial 的求和:
Underoverscript[∑, k = 0, n](-1)^kBinomial[n, k]Underoverscript[∑, k = 0, ∞]Binomial[n, k] kUnderoverscript[∑, j = k, n]Binomial[n, j] Binomial[j, k]Underoverscript[∑, k = 1, ∞](1/Binomial[2 k, k])求母函数 Binomial:
Underoverscript[∑, k = 0, ∞]Binomial[n, k] x ^ kBinomial 可被表示为 DifferenceRoot:
DifferenceRootReduce[Binomial[k, z], k]DifferenceRootReduce[Binomial[z, k], k]Binomial 的母函数:
GeneratingFunction[Binomial[k, n], n, x]Binomial 的指数母函数:
ExponentialGeneratingFunction[Binomial[k, n], n, x]可能存在的问题 (3)
Binomial[10. ^ 100, 10 ^ 99]Binomial[10. ^ 6, 10. ^ 5]MachineNumberQ[%]作为一个二元函数,当两个变量都为负整数时,Binomial 不连续:
With[{ϵ = 10 ^ -6.}, Table[Binomial[-3 - p ϵ, -5 - ϵ], {p, {-3, -2, -1, 1, 2, 3, 4}}]]在负整数时的 Binomial 值由 Binomial[n,m]Binomial[n,n-m] 确定:
Binomial[-3, -5]{Binomial[n, n - 2], Binomial[n, 2]}% /. n -> -3巧妙范例 (7)
构建帕斯卡三角形(Pascal's triangle)的图形版本:
With[{n = 8},
Graph[Flatten[Table[{b[i, j] <-> b[i + 1, j], b[i, j] <-> b[i + 1, j + 1], b[i + 1, j] <-> b[i + 1, j + 1]}, {i, 0, n - 1}, {j, 0, i}]], VertexCoordinates -> {b[i_, j_] :> {(n + 1/2) - i / 2 + j, -i}}, VertexLabels -> {b[i_, j_] :> Placed[Binomial[i, j], Center]}, IconizedObject[«Style options»]]]With[{n = 6}, Graph[Flatten[Table[{b[i, j] <-> b[i + 1, j], b[i, j] <-> b[i + 1, j + 1], b[i + 1, j] <-> b[i + 1, j + 1]}, {i, n - 1, -n - 1, -1}, {j, -n + i UnitStep[i] - UnitStep[-1 - i], n + i UnitStep[-i] + UnitStep[-1 - i]}]], VertexCoordinates -> {b[i_, j_] :> {(n + 1/2) - (i/2) + j, -i}}, IconizedObject[«Style options»]]]相比之下,在输入均为负数的情况下,PascalBinomial 导致左上角的扇形区域为零:
With[{n = 6}, Graph[Flatten[Table[{b[i, j] <-> b[i + 1, j], b[i, j] <-> b[i + 1, j + 1], b[i + 1, j] <-> b[i + 1, j + 1]}, {i, n - 1, -n - 1, -1}, {j, -n + i UnitStep[i] - UnitStep[-1 - i], n + i UnitStep[-i] + UnitStep[-1 - i]}]], VertexCoordinates -> {b[i_, j_] :> {(n + 1/2) - (i/2) + j, -i}}, IconizedObject[«Style options»]]]ArrayPlot[Table[Mod[Binomial[i, j], Pi], {i, 50}, {j, i}], PlotTheme -> "Scientific"]Block[{n = 4}, Table[(-1) ^ (i + j)(i + j - 1)Binomial[n + i - 1, n - j]Binomial[n + j - 1, n - i]Binomial[i + j - 2, i - 1] ^ 2, {i, n}, {j, n}]]//MatrixFormInverse[%]DensityPlot[Arg[Nest[Binomial[#, # / 2]&, x + I y, 3]], {x, -1, -0.9}, {y, -0.06, 0.06}, Exclusions -> {}, MaxRecursion -> 4, PlotPoints -> 50]绘制无穷处的 Binomial:
DensityPlot[Arg[Binomial[(x + I y), 1 / (x + I y)]], {x, -1 / 2, 1 / 2}, {y, -1 / 2, 1 / 2}, Exclusions -> {}, MaxRecursion -> 4, PlotPoints -> 50]绘制自变量为复数的 Binomial :
DensityPlot[Arg[Binomial[4.1 Exp[I ϕ1], 2.2 Exp[I ϕ2]]], {ϕ1, -Pi, Pi}, {ϕ2, -Pi, Pi}, Exclusions -> {}, MaxRecursion -> 4, PlotPoints -> 50]绘制自变量为高斯整数的 Binomial:
Block[{$MaxExtraPrecision = 1000}, ArrayPlot[Table[Mod[Im@Round[Binomial[x + I y, x ]], 2], {x, 0, 50}, {y, -25, 25}], PlotTheme -> "Scientific"]]技术笔记
历史
1988年引入 (1.0)
文本
Wolfram Research (1988),Binomial,Wolfram 语言函数,https://reference.wolfram.com/language/ref/Binomial.html.
CMS
Wolfram 语言. 1988. "Binomial." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/Binomial.html.
APA
Wolfram 语言. (1988). Binomial. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Binomial.html 年
BibTeX
@misc{reference.wolfram_2026_binomial, author="Wolfram Research", title="{Binomial}", year="1988", howpublished="\url{https://reference.wolfram.com/language/ref/Binomial.html}", note=[Accessed: 08-August-2026]}
BibLaTeX
@online{reference.wolfram_2026_binomial, organization={Wolfram Research}, title={Binomial}, year={1988}, url={https://reference.wolfram.com/language/ref/Binomial.html}, note=[Accessed: 08-August-2026]}