階乘

title: 历史.
content: 早在12世纪,印度学者就已有使用阶乘的概念来计算排列数的纪录。1677年时,法比安·斯特德曼使用Change ringing来解释阶乘的概念。在描述递回方法之后,斯特德将阶乘描述为:「现在这些方法的本质是这样的:一个数字的变化数包含了所有比他小的数字(包括本身)的所有变化数......因为一个数字的完全变化数是将较小数字的变化数视为一个整体,并透过将所有数字的完整变化联合起来。」,其原话如下: Now the nature of these methods is such, that the changes on one number comprehends [includes] the changes on all lesser numbers... insomuch that a compleat Peal of changes on one number seemeth to be formed by uniting of the compleat Peals on all lesser numbers into one entire body.  而符号是由法国数学家Christian Kramp在1808年使用。
title: 定义.
content: 阶乘可透过连乘积来定义: 用连乘积符号可表示为: 从上述公式中,可以推导出递归关系: 但递回定义须给出base case,因此需要定义零的阶乘。 除此之外,递回关系在阶乘函数中各个值皆成立,例如:
title: 0的阶乘.
content: 为了将递归关系扩展到n = 0,因此需要定义0的阶乘:  可以得到  有几个独立的理由认为这个定义是和谐的。 其中包括:
title: 性质.
content: n!可质因子分解为formula_18,如6!=2×3×5。
title: 计算.
content: 计算n!时,当n不太大时,普通的科学计算机都可以计算,能够处理不超过formula_19(古高尔)数值的计算机可以计算至69!,而双精度浮点数的计算机则可计算至170!。  当n很大时,可以用斯特林公式估计: formula_20 更精确的估计是: formula_21 其中 formula_22
title: 非正整数的阶乘.
content: 阶乘原始的定义是在整数,为离散,然而在部分领域如几率论要探讨到连续或其他需求(如组合数当取出的数量大于原有的数量会出现负阶乘)时,则需要将阶乘从正整数推广到实数,甚至是复数。
title: Γ函数和Π函数.
content: 除了非负整数之外,还可以为非整数值定义阶乘函数,但这需要使用更高级的数值分析方法。  可以透过插值的方式将阶乘两整数之间填入数值,但其插入的数值必须也要满足阶乘的递回定义。一个良好的插值结果是Γ函数,其为所有非负整数和复数给出了定义,而当z的实部为正时,可以透过下列瑕积分来计算Γ函数值: 它与阶乘的关系是对于任何自然数n满足:
title: 复数的阶乘.
content: 可以透过Γ函数来计算复数的阶乘。右图显示了复数阶乘之模与辐角的等值线  令f为: 右图显示了几个模(绝对值)与辐角的几个等级,图表的绘制范围为, 个单位长。较粗的铅直线为辐角值为的等值线。  细线表示模或辐角相等之函数值的位置。在每个负整数的位置为奇点,无法定义其模和辐角,并且在离奇点越近的地方,等值线的密度就越密集。  在时,可使用泰勒级数来计算: 其泰勒级数的前几项系数为:  其中,为欧拉-马斯刻若尼常数 部分计算机代数的系统存在可以直接产生这些展开式系数的语法,例如SageMath。  此种方式甚至可以将阶乘推广至四元数甚至其他数学结构。 较大的阶乘值可透过双伽玛函数积分的连续分数来近似,这个方法由T. J. Stieltjes于1894提出。  将阶乘写为,其中为: Stieltjes给出了其连分数值: 前几项系数为:
title: 负整数的阶乘.
content: 负整数的阶乘可透过阶乘的递回定义逆推而得: 但由于在此定义下计算负一的阶乘会出现除以零(即formula_30),因此无法直接给出负整数的阶乘。
title: 其他数学结构的阶乘.
content: 透过伽玛函数或其展开式亦可以将阶乘扩展到其他能定义加法和乘法等基本运算的数学结构,如矩阵。  矩阵的阶乘具有如下性质: 并且formula_32,其中,formula_33是单位矩阵、formula_34是一个方阵,同时formula_35是一个非奇异矩阵。  换句话说,即矩阵formula_34为单位矩阵的纯量formula_37倍,其阶乘为formula_38,例如formula_39  对于一个可对角化矩阵formula_40其阶乘为: 其中,formula_42和formula_43是formula_44的特征值,分别为formula_45和formula_46,其中,formula_47
title: 变化.
title: 定义扩展.
content: 阶乘的定义可推广到复数,其与伽玛函数的关系为:  伽玛函数满足formula_49,  另一种定义扩展是阿达马伽玛函数,但由于其不在所有实数上皆能满足阶乘的递回定义,只有在正整数上满足阶乘的递回定义因此比较少被拿出来讨论。 其后面的项formula_51只有在正整数的情形为零。也因为其有加上一项,也因此,此扩展在描述负阶乘时不会有除以零的情况,而使阿达马伽玛函数是一个处处连续、无奇点的函数。
title: 双阶乘.
content: formula_55表示双阶乘,其定义为: formula_56  formula_57
title: 广义的双阶乘.
content: 无视上述定义的n<nowiki>!!</nowiki>因为即使值的N,双阶乘为奇数可扩展到最实数和复数z的注意到,当z是一个正的奇数则:  获得的表达接受一个以上公式formula_59和formula_60并表示在条件发生的阶乘函数的γ既可以看出(使用乘法定理)等同于一个给定在这里。  "z"<nowiki>!!</nowiki>定义为所有复数除负偶数。  使用它的定义,半径为R的n维超球其体积可表示为:
title: 多重阶乘.
content: formula_63被称为n的k重阶乘,定义为:
title: 广义的多重阶乘.
content: 能将多重阶乘推广到复数(甚至是四元数)
title: 四次阶乘.
content: 所谓的四次阶乘(又称四重阶乘) 不是 "n"!,而是 (2"n")!/"n"!,前几个四次阶乘为  它也等于
title: hyper阶乘.
content: hyper阶乘(hyperfactorial有时译作过度阶乘)写作H(n),其定义为: hyper阶乘和阶乘差不多,但产生更大的数。hyper阶乘的增长速度却并非跟一般阶乘在大小上相差很远。 前几项的hyper阶乘为:
title: 超阶乘.
content: 1995年,尼尔·斯洛恩和西蒙·普劳夫定义了超阶乘(superfactorial)为首n个阶乘的积。即sf(n)=1!×2!×3!×...×n!。一般来说 前几项的超阶乘为:
title: 另一种定义.
content: 柯利弗德·皮寇弗在他的书"Key to Infinity"定义了另一个超阶乘,写作formula_69(formula_69实际上应该是!和S重叠在一起):formula_71,表示hyper4,使用高德纳箭号表示法即formula_72。这个数列:
title: 质数阶乘.
content: 质数阶乘是所有小于或等于该数且大于或等于2的质数的积,自然数n的质数阶乘,写作n#。  目前质数阶乘只能用递回方式定义,因为尚未找到一个能用基本函数表示所有质数的函数或一条包含所有质数的曲线  一般情况下质数阶乘定义为:  其中, "π(n)"是质数计数函数,小于或等于某个实数n的质数的个数的函数≤"n"。
title: 自然数阶幂.
content: 阶幂也称叠幂或者重幂记作formula_79(感叹号!写在自然数的右上角),它的定义是将自然数1至n的数由大到小作幂指数重叠排列,数学定义如下:  其中n ≥ 1,前几项的重幂数为:  1, 2, 9, 262144,...  第5个重幂数是一个有183231位阿拉伯数字组成的超大自然数,其值约为formula_81  另外一种定义则是每个阶幂都先取一次阶乘:  二次阶幂:  其中"n","m"≥1,且"n","m"∈Z。
title: 倒数阶乘.
content: 倒数阶乘是指所有小于及等于该数的正整数之倒数的积,其值与阶乘的倒数相同: 其无穷级数收敛在e: 考量阶乘可以表示为连续的伽玛函数,则有 这个值又称为弗朗桑-罗宾逊常数。

Summary: 在数学中,正整数的阶乘(英语:factorial)是所有小于及等于该数的正整数的积,计为,例如5的阶乘计为,其值为120: 并定义,1的阶乘为1、0的阶乘亦为1,其中,0的阶乘表示一个空积。