Factorial

n!

给出 n 的阶乘.

更多信息

背景

  • Factorial 表示阶乘函数. 具体来讲,Factorial[n] 返回给定数字 的阶乘 ,对于正整数,其定义为 . 对于 n1,2,,前几个值为 1,2,6,24,120,720,. 特殊情况 被定义为 1,与排列组合的解释一致,正好只有一种排列零个对象的方法. 对于一般复数 z!=TemplateBox[{{z, +, 1}}, Gamma],其中 Gamma 函数 TemplateBox[{z}, Gamma] 的定义为 TemplateBox[{z}, Gamma]=int_0^inftyⅇ^(-t) t^(z-1)dt,该定义对所有复数 成立,除了 是负整数的情况(这时 为负无穷). 半整数的阶乘由 的有理倍数给出.
  • 最为大家熟知的是阶乘可以计算列表元素固定排序的数量,称为置换,可用 Permutations 生成. 对于由 个(不同的)元素组成的列表,有 种置换,原因是有 个位置可以放置第一个元素,第一个元素放好后,有 个位置可以放置第二个元素,前两个元素放好后,有 个位置可以放置第三个元素,以此类推,直到只剩下一个位置,可以放置最后一个元素. 因此对于 ,有 种置换,即 .
  • 更广泛地说,对于 个元素的多重集合 (multiset), 其中有 个不同的元素,第  个不同的元素有 份拷贝(因此 ),置换的数量等于由 Multinomial 给出的多项式系数 . 多项式系数 (n;n_1,...,n_(k)) 也可以计算将 个元素的集合划分成 个有标签的、大小为 n1,,nk 的子集的方法的数量. 因此由 Binomial 给出的二项式系数 TemplateBox[{n, m}, Binomial] 被定义为计算 个元素组成的集合的 个元素的子集的数量,它满足 TemplateBox[{n, m}, Binomial]=(n;m,n-m)=(n!)/(m! (n-m)!).
  • 阶乘函数满足循环关系式 . 它比所有指数函数增长得都快,从 Stirling 逼近 可以看出. 阶乘也出现在数论和分析的基本结果中. Wilson 定理指出 TemplateBox[{{{{(, {n, -, 1}, )}, !}, =, {-, 1}}, n}, Mod],当且仅当 为质数时. 如果 是一个无限可微的标量函数,则其关于点 (可用 Series 算出)的泰勒级数表示由 给出. 在指数函数 的泰勒级数中设置 给出了完美的 E(自然对数的底数)的恒等式 .
  • 其他与 Factorial 有关的函数或拓展 Factorial 的函数包括 Factorial2FactorialPowerTemplateBox[{Subfactorial, paclet:ref/Subfactorial}, RefLink, BaseStyle -> {InlineFormula}]QFactorialBarnesGPochhammer.

范例

打开所有单元关闭所有单元

基本范例  (7)

计算前几个整数的阶乘:

在实数上进行计算:

在实数的子集上绘图:

在复数的子集上绘图:

在原点的级数展开:

Infinity 的级数展开:

在奇点处的级数展开式:

范围  (34)

数值计算  (6)

数值运算:

高精度计算:

输出精度与输入精度一致:

复数输入:

高精度的高效计算:

IntervalCenteredInterval 对象计算最坏情况下的区间:

或用 Around 计算普通的统计区间:

计算数组中每个元素的值:

或者用 MatrixFunction 计算矩阵形式的 Factorial 函数::

特殊值  (5)

固定点的 Factorial 值:

零处的值:

参数较大的计算:

半整数参数计算:

Factorial[x] 的正的最小值:

可视化  (2)

绘制 Factorial 函数:

绘制 实部:

绘制 虚部:

函数属性  (10)

阶乘的实数定义域:

复数定义域:

Factorial 逐个作用于列表的每个元素:

阶乘具有镜像属性

Factorial 不是解析函数:

然而,它是复平面上的亚纯函数:

Factorial 既不是非递减也不是非递增:

Factorial 不是单射函数:

Factorial 不是满射函数:

Factorial 既不是非负,也不是非正:

Factorial 对负整数同时具有奇异性和不连续性:

Factorial 既不凸,也不凹:

微分  (2)

关于 z 的一阶导数:

关于 z 的高阶导数:

绘制关于 z 的高阶导数:

级数展开  (5)

使用 Series 求泰勒展开:

绘制 附近的前三个近似:

Infinity 处的级数展开式(斯特灵近似):

处的级数:

求任意符号方向 上的级数展开式:

普通点的泰勒展开:

递推恒等式和化简  (2)

递推关系式:

对于正整数, (n-1)! = TemplateBox[{n}, Gamma]

函数表示  (2)

阶乘函数的积分表示:

TraditionalForm 格式:

推广和延伸  (4)

高精度计算:

输出精度与输入精度相一致:

无穷参数给出符号结果:

Factorial 允许求导:

应用  (6)

制作半整数阶乘表:

6 个元素的排列数:

在复平面上绘制 Factorial 的绝对值:

求阶乘比率的渐近展开:

n 维单位超球的体积:

低维的情形:

绘制单位超球的体积,作为维数的函数:

- 处的级数展开:

属性和关系  (9)

FullSimplify 来化简包含 Factorial 的表达式:

计算涉及 Factorial 生成函数的和:

计算涉及 Factorial 的数值和:

生成函数是发散的:

使用正规化以获得一个生成函数的解析形式:

将生成函数当作是形式幂级数:

可以实现某些积分:

阶乘的连乘积:

Factorial 可被表示为 DifferenceRoot

FindSequenceFunction 可以识别 Factorial 序列:

Factorial 的指数母函数:

可能存在的问题  (2)

过大的参数导致结果太大,以致不能直接计算,甚至近似计算:

较小的值可以计算:

机器数输入可以给出高精度结果:

巧妙范例  (3)

复平面内的嵌套阶乘:

在无穷大处绘制 Factorial

Wolfram Research (1988),Factorial,Wolfram 语言函数,https://reference.wolfram.com/language/ref/Factorial.html (更新于 2022 年).

文本

Wolfram Research (1988),Factorial,Wolfram 语言函数,https://reference.wolfram.com/language/ref/Factorial.html (更新于 2022 年).

CMS

Wolfram 语言. 1988. "Factorial." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2022. https://reference.wolfram.com/language/ref/Factorial.html.

APA

Wolfram 语言. (1988). Factorial. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/Factorial.html 年

BibTeX

@misc{reference.wolfram_2024_factorial, author="Wolfram Research", title="{Factorial}", year="2022", howpublished="\url{https://reference.wolfram.com/language/ref/Factorial.html}", note=[Accessed: 17-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_factorial, organization={Wolfram Research}, title={Factorial}, year={2022}, url={https://reference.wolfram.com/language/ref/Factorial.html}, note=[Accessed: 17-November-2024 ]}