示したいこと:a>1が自然数のとき、
高次元の曲線の積分が、πの円分数倍になるのが不思議。
<証明>
ベータ関数とは
で定義される関数である。
を求める。
と置換積分する。
のとき
で、
だから、
一方、
だから、ガンマ関数の相反公式より、
よって、
結局、
例えばa=6のとき
左辺の高度な積分が、πの簡単な式に帰着されるのはなんだか不思議だ。
式だけ見ると高校数学にも出てきそうだが、高校数学レベルの証明(=ガンマ関数を経由しない証明)は存在するのだろうか?