正整數 的雙階乘是通常 階乘
的推廣,定義為
|
(1)
|
注意,,根據定義 (Arfken 1985, p. 547)。
符號 的起源似乎不廣為人知,並且在 Cajori (1993) 中沒有提及。
對於 , 1, 2, ...,前幾個值是 1, 1, 2, 3, 8, 15, 48, 105, 384, ... (OEIS A006882)。
的十進位制位數,對於
, 1, ... 是 1, 4, 80, 1285, 17831, 228289, 2782857, 32828532, ... (OEIS A114488)。
雙階乘在 Wolfram 語言 中以 n!! 或Factorial2[n]。
雙階乘是 多階乘 的一個特例。
雙階乘可以用 伽瑪函式 表示為
|
(2)
|
(Arfken 1985, p. 548)。
雙階乘也可以使用定義擴充套件到負奇整數
|
(3)
| |||
|
(4)
|
對於 , 1, ... (Arfken 1985, p. 547)。
![]() |
類似地,雙階乘可以擴充套件到複數引數,表示為
|
(5)
|
有很多恆等式將雙階乘與階乘聯絡起來。由於
|
(6)
|
由此得出 。對於
, 1, ...,前幾個值是 1, 3, 15, 105, 945, 10395, ... (OEIS A001147)。
同樣,由於
|
(7)
| |||
|
(8)
| |||
|
(9)
|
由此得出 。對於
, 1, ...,前幾個值是 1, 2, 8, 48, 384, 3840, 46080, ... (OEIS A000165)。
最後,由於
|
(10)
|
由此得出
|
(11)
|
對於 奇數,
|
(12)
| |||
|
(13)
| |||
|
(14)
|
對於 偶數,
|
(15)
| |||
|
(16)
| |||
|
(17)
|
因此,對於任何 ,
|
(18)
|
|
(19)
|
雙階乘滿足以下漂亮的級數
|
(20)
| |||
|
(21)
| |||
|
(22)
|
後者給出了倒數雙階乘的閉合形式的和,如下所示
|
(23)
| |||
|
(24)
| |||
|
(25)
|
(OEIS A143280),其中 是一個下 不完全伽瑪函式。這個和是 倒數多階乘常數 的一個特例。
拉馬努金給出的一個閉合形式的和由下式給出
|
(26)
|
(Hardy 1999, p. 106)。Whipple (1926) 給出了這個和的推廣 (Hardy 1999, pp. 111-112)。
