1 基本定义
阶乘是与非负整数相关的基本运算，通常记作 n!。对于正整数 n，n! 表示从 1 到 n 的全部正整数连乘积。它在离散计数、级数展开和算法分析中都具有基础地位。由于乘积项连续增加，阶乘会随着 n 的增大迅速膨胀，常被视为增长极快的典型函数。
1.1 正整数阶乘
当 n 为正整数时，n! 定义为： n! = 1 × 2 × 3 × … × n。 例如，5! = 1 × 2 × 3 × 4 × 5 = 120。 这一定义直接体现了阶乘的乘法累积特征，也是排列组合中最常见的计数工具。
1.2 0 的阶乘
约定 0! = 1。这个定义并非随意设定，而是为了使组合公式、递推关系和空乘积的约定保持一致。将空乘积视为 1，可以让许多公式在 n = 0 时仍然成立，避免出现额外的分情况讨论。
1.3 递推定义
阶乘可用递推关系表示为： n! = n × (n - 1)!，其中 n ≥ 1。 结合 0! = 1，可从最小值逐步推导出所有非负整数的阶乘。递推形式在理论证明和程序实现中都十分常见，因为它能够把复杂问题转化为更小规模的问题。
1.4 双阶乘与其他变体
双阶乘通常记作 n!!，表示每隔一个数相乘。例如，7!! = 7 × 5 × 3 × 1，6!! = 6 × 4 × 2。它在某些积分、递推和特殊函数中会出现。除此之外，还存在与阶乘相关的变体，如上阶乘、下阶乘等，用于描述不同的乘积结构。
2 数学性质
阶乘具有一系列明显的算术与结构性质。其中最显著的是单调增长、可整除性强、与尾零和奇偶分布有关。这些性质使阶乘在数论和组合计数中具有较高的可操作性。
2.1 递增性与增长速度
对 n ≥ 1，n! 随 n 增大严格递增，而且增长速度非常快。相邻阶乘之间满足： (n + 1)! = (n + 1) × n!。 因此，阶乘的增长不仅是线性的加速，而是乘法式放大。与指数函数相比，阶乘在足够大时也会表现出极强的增长能力。
2.2 约数与整除性质
对于任意正整数 n，n! 能被所有不超过 n 的正整数整除，因为这些数都直接作为因子出现在乘积中。更一般地，若 m ≤ n，则 m! 能整除 n!。这一性质在证明组合恒等式和研究整数结构时非常有用。
2.3 末尾零的形成
阶乘末尾出现的零，来自因子 10 的积累，而 10 = 2 × 5。在 n! 中，因子 2 通常比因子 5 更充足，因此末尾零的个数主要由 5 的数量决定。n! 的末尾零个数可通过统计 5、25、125 等 5 的幂次贡献来确定。
2.4 奇偶性分析
除 1! 外，所有 n! 在 n ≥ 2 时都是偶数，因为乘积中包含因子 2。也就是说，阶乘的奇偶性很快稳定为偶数。这种简单但明确的规律，在模运算和组合证明中经常被利用。
3 计算方法
阶乘可以通过不同方式计算，取决于数值大小、精度要求以及实现环境。对于较小的 n，直接连乘即可；对于大数，则需要考虑溢出、存储结构和运算效率。
3.1 直接连乘法
最直接的方法是从 1 开始依次乘到 n。该方法思路清晰，适合手算或处理小规模输入。其计算复杂度为线性级别，但当结果很大时，普通整数类型往往无法容纳最终值。
3.2 递归计算
利用递推公式 n! = n × (n - 1)! 可以采用递归方式求值。这种方法表达简洁，符合数学定义，但在程序中可能带来额外的调用开销，且在 n 很大时容易出现栈深度问题。
3.3 迭代与优化策略
迭代法通常比递归更稳定，也更便于控制中间结果。常见优化包括分段相乘、减少不必要的中间转换、结合对数估计提前判断规模等。在数值计算中，还会根据任务需求选择精确值或近似值。
3.4 大数阶乘的存储与运算
当阶乘超出标准整数范围时，需要使用大整数表示。大数计算通常以数组、链表或分块结构存储每一位或每一段数字，并通过模拟乘法完成运算。由于阶乘增长极快，数据长度很快变得很大，因此存储和进位处理是核心问题。
4 近似与渐近公式
由于阶乘的精确值增长迅猛，实际研究中常借助近似和渐近公式来分析其规模。这些方法特别适合处理大 n 情形，以及需要估计而非精确计算的场景。
4.1 斯特林公式
斯特林公式给出了阶乘的重要近似： n! ≈ √(2πn) (n/e)^n。 它在 n 很大时非常有效，能够准确描述阶乘的主导增长趋势。该公式在概率论、分析学和算法复杂度估计中都有重要作用。
4.2 对数阶乘
将阶乘取对数后，可把连乘转化为求和： ln(n!) = ln 1 + ln 2 + … + ln n。 这种形式更适合数值稳定性分析，也便于处理极大数值。对数阶乘常用于比较增长率、推导近似式以及避免直接计算中间结果溢出。
4.3 渐近误差估计
近似公式不仅关心主项，还关注误差量级。对于斯特林公式，误差可进一步细化为更高阶修正项，从而提高准确度。误差估计使阶乘近似从“可用”提升为“可控”，在精密计算中尤为重要。
4.4 极限分析
阶乘常与极限问题结合出现，例如比较 n! 与指数函数、幂函数或其他快速增长函数的相对大小。借助极限分析，可以明确阶乘的增长远超多项式，也能解释许多级数收敛与发散的边界。
5 组合数学中的应用
阶乘是组合数学中最核心的计数工具之一。它直接对应“按顺序排列”的总数，并由此引出排列、组合、分配和计数约束等一系列公式。
5.1 排列数
n 个不同对象的全排列数为 n!。若从 n 个对象中选取 k 个并按顺序排列，则排列数为： P(n, k) = n! / (n - k)!。 这类公式用于描述座位安排、排序方案和序列构造等问题。
5.2 组合数与二项式系数
组合数表示从 n 个对象中不计顺序地选取 k 个，其公式为： C(n, k) = n! / [k!(n - k)!]。 二项式系数与组合数完全对应，并广泛出现在二项式定理、概率模型和离散结构分析中。
5.3 多重集合计数
当对象中存在重复元素时，阶乘仍然是计数公式的重要组成部分。若 n 个对象中有若干组相同元素，则不同排列数要除以各组重复阶乘的乘积。这种修正体现了阶乘在处理重复性约束时的自然优势。
5.4 鸽巢与计数问题中的阶乘
在一些计数与存在性证明中，阶乘常用来估计方案总数，进而与鸽巢原理结合。通过比较对象数与状态数的规模，可以判断某些配置必然重复或必然出现冲突。阶乘在这类问题中常作为上界或基准量出现。
6 分析学中的扩展
在分析学中，阶乘并不局限于整数定义，而是可以通过特殊函数推广到更广泛的输入范围。这种推广使阶乘与积分、级数和复分析建立了联系。
6.1 阶乘函数的连续推广
为了把阶乘从整数延拓到连续变量，需要寻找满足类似递推关系的函数。其目标是构造在正整数点上与 n! 一致、且具有良好解析性质的函数表达。这样的推广为研究非整数参数提供了基础。
6.2 Gamma函数与阶乘
Gamma函数是阶乘最重要的连续推广形式之一，满足： Γ(n + 1) = n!。 它定义在更广泛的复数范围内，并通过积分表达式与解析延拓建立起来。阶乘问题中的许多性质，都可以借助 Gamma函数统一描述。
6.3 伽马函数性质
Gamma函数具有递推关系 Γ(z + 1) = zΓ(z)，这与阶乘的递推完全对应。它还满足若干乘法公式、反射公式和积分表示，因此在特殊函数理论中占有重要位置。通过这些性质，阶乘可以被推广到非整数甚至复数参数。
6.4 半整数阶乘
借助 Gamma函数，像 1/2、3/2 这样的半整数也可以对应到“阶乘”意义下的值。例如，(1/2)! 可通过 Γ(3/2) 表达，并与圆周率相关。这类结果在解析计算和概率分布推导中经常出现。
7 特殊与推广形式
除了标准阶乘外，数学中还存在多种与之相关的推广形式。它们在表达方式上保留了乘积结构，但在步长、取值范围或运算规则上有所变化。
7.1 双阶乘
双阶乘以 n!! 表示，通常每次跳过一个数相乘。它可分别适用于奇数序列与偶数序列，因此在某些积分公式、三角函数展开和递推关系中较为常见。双阶乘与普通阶乘之间常可互相转换。
7.2 上阶乘与下阶乘
上阶乘表示连续递增的连乘，常写作上升阶乘；下阶乘则表示连续递减的连乘，称为下降阶乘。它们常用于有限差分、超几何函数以及离散微积分中，能更自然地描述序列的局部结构。
7.3 广义阶乘
广义阶乘允许步长、起点或因子形式发生变化。例如，可以考虑公差不为 1 的连乘，或者带参数的乘积表达。此类结构在特殊函数、生成函数与组合恒等式中都有应用。
7.4 复数阶乘的扩展
通过 Gamma函数，阶乘概念可以扩展到复数域中的大部分区域。虽然此时不再是传统意义上的“连乘”，但保留了阶乘的递推精神和解析性质。这种扩展使阶乘成为连接整数运算与复分析的重要桥梁。
8 历史与记号
阶乘的概念与记号并非一开始就固定下来，而是在数学发展的过程中逐步形成的。其表示法、术语和使用习惯经历了长期演化，最终成为现代数学中的标准内容。
8.1 阶乘记号的形成
n! 这一记号逐渐被采用，是为了简洁地表示连乘结构。感叹号的视觉形式醒目，便于在公式中突出该运算。随着数学写作规范化，这种记号得到广泛传播，并沿用至今。
8.2 数学家对阶乘的早期研究
阶乘相关思想最早来源于排列与组合问题、级数展开和概率分析的需求。随着这些领域的发展，研究者不断整理出更系统的递推关系和近似方法，从而使阶乘从具体计数工具发展为独立的数学对象。
8.3 现代数学中的标准表示
在现代数学中，n! 已成为阶乘的标准记号，适用于初等数学、组合学和高等分析。无论在教材、论文还是计算机程序中，这一表示都具有高度通用性。相关公式通常默认 0! = 1，并以此构成统一框架。
8.4 相关术语与翻译习惯
“阶乘”是中文中对 factorial 的标准译名，强调其作为乘法递推结果的性质。不同语言中对这一概念的称呼大多与“阶”或“乘积”有关。相关术语在翻译中通常保持稳定，但在某些专业语境下，仍可能因表达习惯而略有差异。