実数拡張の二重階乗 x!! を計算

使い方

1. -49以上300以下の実数xを入力し、有限値の宣言範囲と定義域を満たすことを確認します。
2. 整数積かガンマ式による実数拡張かという目的を確認してから「計算する」を押し、実数拡張の二重階乗x!!の値を表示します。
3. 同じ偶奇の積または二段階の漸化式と照らし、符号、桁、極や飽和への近さを読み取ります。
4. 再利用するときは入力値、表示桁、確認日、実数枝という条件も一緒に保存します。

計算式・考え方

x!!=(2/π)^((1-cos(πx))/4)・2^(x/2)・Γ(x/2+1)を実数枝で評価します。大きさは対数和、符号はΓ(x/2+1)の符号から求め、最後にexpで戻します。

注意事項

• 実数拡張の二重階乗x!!は、整数でx(x-2)(x-4)…と進む積を、余弦因子とガンマ関数で実数へ拡張した関数です。このページは一つまたは二つの実数入力から一つの実数値を返すスカラー計算に限定しています。グラフ、複素数、数列の一括生成は扱わず、入力した一点の値と定義域を落ち着いて確認するためのページです。
• 採用した数式は、偶数の(2n)!!=2^n n!と奇数の(2n-1)!!を一つの式へ統合し、Γ(x/2+1)で実数補間します。表示直前だけで丸め、内部ではJavaScriptとPythonが共通に扱えるIEEE 754倍精度の有限値を保ちます。式を表計算へ転記するときも、括弧、指数、定数の位置を変えないでください。
• 入力範囲は、xを-49以上300以下とし、Γ(x/2+1)が極になるx=-2,-4,-6,…とその近傍を除きます。数学的な定義域そのものより狭い場合は、関数を別物へ縮約したのではなく、有限な倍精度結果をブラウザで再現できる契約として上限と下限を設けています。空欄、文字、NaN、無限大、範囲外の数は計算前に拒否します。
• 数値安定性については、三つの正の大きさを対数で加え、負側の符号は反射公式から分離して、巨大な中間積を避けます。単純な教科書式をそのまま評価すると、近い大きな数の差、指数オーバーフロー、ゼロ除算が起こる場所があります。この実装は条件分岐を遅延評価し、選ばれなかった危険な枝を実行しません。
• 境界の読み方は、0!!=1と(-1)!!=1を保ち、負の奇数では(-3)!!=-1、(-5)!!=1/3と漸化式を延長します。境界値を自動的にゼロへ置き換えたり、発散点へ便宜的な有限値を付けたりしません。定義できる特別値だけを明示的に返し、極や許容範囲外は入力エラーとして理由を示します。
• 結果は、非負整数では同じ偶奇だけを2ずつ下げて掛けた積と一致し、非整数ではガンマ式による補間値です。最後の数桁は処理系、入力の十進表現、近似式の丸めによって変わり得ます。手計算、別ライブラリ、論文の表と比べるときは、有効桁だけでなく定義、引数の並び、正規化、実数枝もそろえてください。
• 検算では、7!!=105、8!!=384、0!!=1、(-1)!!=1とx!!=x(x-2)!!を極でない点で確認します。通常点、ゼロまたは既知の特別値、定義域外の三種類を分けて試験しています。対称性や漸化式がある関数では、一点の一致だけでなく、符号を反転した値や隣接する引数との関係も独立に確かめます。
• 参照資料は、NIST DLMFの二重階乗記法とガンマ関数の特別値・漸化式、反射公式を参照しました。2026年7月13日に定義、実数領域、特異点、近似式の係数を照合しました。NIST DLMFは数式の節番号、Boost.MathはLanczos近似の実装上の意味を確認するために使い、特定ライブラリの出力を固定値として埋め込んではいません。
• このページで扱わない範囲は、負の偶数の極、300を超えて倍精度値があふれる領域、組合せ論で別規約を採る多重階乗です。目的外の入力を無理に通すと、見かけ上は数値でも別の枝や別の規約を表すことがあります。必要な領域が範囲外なら、複素特殊関数や任意精度演算に対応した検証済みライブラリを選んでください。
• 実務への持ち込み方は、整数の積を求める場合は通常の階乗x!と二重階乗x!!を区別し、入力の偶奇を結果と一緒に記録します。この計算値は学習、式の確認、テストデータ作成を助けるものです。観測モデル、材料モデル、統計分布、最適化手順の妥当性は別問題なので、前提、単位、測定誤差、採用したモデル名を計算結果と一緒に記録してください。
• 有限な実数とIEEE 754倍精度による学習・検算用の近似値です。複素枝、任意精度、物理モデル全体の妥当性は扱いません。

よくある質問