定理証明済み
オイラーの反射公式
内容
を満たす任意の に対して が成り立つ。
なぜ正しいのか?
この公式は、一見純粋に代数的な対象(2つのガンマ値の比)を三角関数と結びつけ、非正整数における の極を、すべての整数における の零点と正確に一致させる恒等式である——周回積分による留数計算こそが、右辺の正弦を生み出すものである。
証明の概略
手順1(ベータ関数に帰着する)。 として を用いると、 となる。 と置換すると、 に対してこれは になる。
手順2(鍵穴型の積分路を設定する)。 を評価するために、正の実軸に沿って切断された の分枝を用い、 を鍵穴型の積分路——切断のすぐ上を外向きに、半径 の大円、切断のすぐ下を戻り、 の周りの半径 の小円——に沿って積分する。
手順3(唯一の極における留数)。積分路の内部にある の唯一の特異点は における単純極であり、そこでは(偏角 の分枝を用いて) であるから、留数定理により鍵穴積分は となる。
手順4(切断の両側を比較し 、 とする)。 のとき大円と小円の寄与は消え、2本の直線部分は が切断を横切る際に得る位相だけ異なるので、 が得られる。これを について解き、 を用いて指数関数を整理すると となり、手順1と合わせて が得られる。
この定理を使うトピック
ステップごとの証明
この定理のステップごとの証明はまだありません。
参考文献
- Frank W. J. Olver, Ronald F. Boisvert, Daniel W. Lozier, Charles W. Clark (eds.) (2023). NIST Digital Library of Mathematical Functions, Chapter 5: Gamma Function
- Frank W. J. Olver, Ronald F. Boisvert, Daniel W. Lozier, Charles W. Clark (eds.) (2023). NIST Digital Library of Mathematical Functions, Chapter 25: Zeta and Related Functions
- David J. Platt, Timothy S. Trudgian (2021). The Riemann Hypothesis Is True Up to 3×10^12 · arXiv:2004.09765