双阶乘 n!! 到底怎么算:隔一个相乘,和阶乘差在哪

第一次在概率课本里看到 7!! 这个写法时,我下意识以为是「对 7 做两次阶乘」,算出来一个天文数字,结果对答案怎么也对不上。后来才弄明白,两个感叹号根本不是那个意思。它是双阶乘,读作 n 双阶乘,规则简单到出乎意料:从 n 起,每隔一个数往下连乘,不是连乘每一个整数。

双阶乘的定义:每次跨两步

普通阶乘 n! 是把 n 一直乘到 1,每一项都不放过。双阶乘 n!! 则是每走一步就跳过一项,只乘那些和 n 同奇偶的数。

具体分两种情况:

• n 为奇数时,保持奇数链,一直乘到 1 结束。
• n 为偶数时,保持偶数链,一直乘到 2 结束。

所以核心就一句话:奇数乘奇数,偶数乘偶数,中间隔一个跳过去。

一个真实例子:7!! 等于多少

拿 7 来走一遍。从 7 开始,每次减 2:7,5,3,1,到 1 停下。把这条链乘起来:

7!! = 7×5×3×1 = 105

注意它和普通阶乘的差距有多大:

7! = 7×6×5×4×3×2×1 = 5040

同一个 7,7!! 是 105,7! 是 5040,差了快 50 倍。原因就在于双阶乘把 6,4,2 这几项全跳过了。偶数也一样,8!! 走的是偶数链:8×6×4×2 = 384,结束于 2 而不是 1。这也是它又被叫作半阶乘的由来,每一步都砍掉一半的因子。如果你想直接验证任意 n!! 的完整展开,可以用 双阶乘计算器,它会把整条乘法逐项写出来,顺便标出这条链是奇是偶。

底端的两个约定:0!! 和 (−1)!!

链如果走到没东西可乘了怎么办?按惯例,0!! = 1,(−1)!! = 1。道理和 0! = 1 完全一样:这是空乘积,约定它的值就是 1。

别小看这个约定。递推式 n!! = n × (n−2)!! 之所以在最底端不崩,就是靠它兜底。如果有人把 0!! 当成 0,后面讲到的那些公式会整条算错。

它和普通阶乘的桥:换算恒等式

双阶乘和阶乘之间有一条很干净的换算关系,值得记住。

对偶数 n = 2k:

n!! = 2^k × k!

验证一下 8!!,这里 k = 4:2^4 × 4! = 16 × 24 = 384,和直接展开完全对得上。

对奇数,把奇链和偶链相乘就还原出完整阶乘:(2k)! = (2k)!! × (2k−1)!!,于是奇数双阶乘可以写成 (2k)! 除以 (2^k × k!)。换句话说,任何一个普通阶乘都能拆成它的奇双阶乘乘以偶双阶乘。想拿普通阶乘的数对照着看,可以打开 阶乘计算器 并排比较。

为什么要专门有这个运算

如果只是隔一个相乘,数学家何必单独造个符号。原因是它在好几个领域天然出现,不用它公式会很难写。

第一个是概率里的矩。标准正态分布的偶数阶矩,正好就是奇数双阶乘:X 的 2k 次方的期望等于 (2k−1)!!。四阶矩是 3!! = 3,六阶矩是 5!! = 15,八阶矩是 7!! = 105。我自己做题时,与其每次重新推导矩,不如直接读这条双阶乘链,展开式还能顺手核对走的是不是对的链。

第二个是积分。求正弦或余弦偶次幂在 0 到 π/2 上的积分,沃利斯公式直接用双阶乘的比值 (n−1)!! 比 n!! 来表达。用精确的双阶乘代进去,闭式解保持成干净的分数,不会塌成一串要人辨认的小数。

第三个是组合数学。很多计数恒等式,尤其是和配对数,完全二部图完美匹配数有关的式子,答案就是 (2k−1)!!,意思是 2k 个元素两两配对的方案数。

几个最常踩的坑

• 把 n!! 读成阶乘的阶乘。它是一次运算,不是做两次。(7!)! 才是 5040 的阶乘,大得离谱。
• 混淆奇偶走错链。8!! 别接个 1 写成 8×6×4×2×1,7!! 也别漏掉最后的 1 写成 7×5×3。
• 忘了 0!! 和 (−1)!! 都是 1,把它当成 0 会让矩和沃利斯公式整条出错。

把定义记牢,隔一个相乘,奇数到 1,偶数到 2,双阶乘就再不会绊住你。需要精确大数结果时,交给工具用 BigInt 算,自己专心理解公式就好。

---

Made by Toolora · Updated 2026-06-13