【１】オイラーの公式

　偉大な数学者オイラーは，指数関数と三角関数を結びつける美しい関係式：

　　ｅｘｐ（ｉｘ）＝ｃｏｓｘ＋ｉ・ｓｉｎｘ

を見つけました．これにより指数関数と三角関数は複素関数の一部をなしていることが理解されます．一見無関係に見えた指数関数と三角関数のあいだには，実はこのように深い関係が秘められていたのです．

　ｅの複素数乗とはこれいかにと驚かされますが，さらにｘ＝πを代入することにより，数学で最も基本的な数とされるｅ，ｉ，π，０，１がひとつの式の中に美しく現れている眼のくらむようなオイラーの関係式：

　　ｅｘｐ（ｉπ）＋１＝０

が得られたのです．スターが一堂に会したこれ以上の豪華な顔合わせは望むべくもありません．

　さらに，ｅは最も簡単な線形微分方程式ｙ＝ｙ’（＝ｙ”＝・・・）の解，πは最も簡単な２階の線形微分方程式ｙ＝−ｙ”の解に現れることがわかりますが，それ以上の高階の微分方程式に対して新しい定数を導入する必要がなかったということも驚くべきことです．

　この有名な公式は数学者，科学者のみならず，神秘主義者，哲学者にも訴えかけるものをもっています．ｅ，ｉ，π，０，１の間の目を見張るような関係式を学んで数学を志すことにしたという話はよく聞かれるところですが，こんな不思議な関係を誰が予想したでしょうか．

　数学を学んだことのある人は誰しもはじめてオイラーの公式に接したときの印象を忘れえないことと思います．このオイラーからの贈り物は人間精神の力量を試す試金石でもありますから，まさに人類の至宝であるといってよいでしょう．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】スターリングの公式

　数列｛ａn｝と｛ｂn｝がともに無限大に発散し，差｛ａn−ｂn｝は無限大に発散するが，比｛ａn／ｂn｝は１に近づくという例に，ｘを越えない素数の個数を与える近似的な公式（素数定理）

　　π（ｘ）〜ｘ／ｌｏｇｘや

階乗ｎ！の近似値を与える公式として有名なスターリングの公式があります．

　　ｎ！〜√（２πｎ）ｎ^nｅｘｐ（-n）

　”〜”記号は漸近的に等しい，すなわちｘが十分大きいとき両者の比が１に近づくという意味であって，両者の差がなくなるという意味ではありません．いいかえれば，この近似式の絶対誤差はｘの増大とともに増大するが，相対誤差は減少する，つまり，左辺と右辺の比はｘを∞にすると極限が存在して０でも無限大でもなく，１に収束する，

　　π（ｘ）／（ｘ／ｌｏｇｘ）〜１　　　（ｘ→∞）

ということです．

　スターリングの公式を誘導してみましょう．

　　ｌｏｇｎ！＝ｌｏｇ１＋ｌｏｇ２＋・・・＋ｌｏｇｎ＝Σｌｏｇｘ

ここで，ｙ＝ｌｏｇｘのグラフを幅が１の長方形に分割していくと，ｘが十分大きければ相対的に和の間隔が小さくなるので，和は積分に置き換えられます．

　　Σｌｏｇｘ≒∫(1,x)ｌｏｇｔｄｔ

　ｌｏｇｘの原始関数は置換積分よりｘｌｏｇｘ−ｘ＋Ｃと計算されますから，右辺はｘｌｏｇｘ−ｘ＋１となります．したがって，

　　ｎ！≒ｅｎ^nｅｘｐ（-n）

が得られます．

　ｌｏｇｎ！＝ｎｌｏｇｎ−ｎ＋ｏ（ｎ），ただし，ｌｉｍｏ（ｎ）／ｎ＝０

としても大体了解されますが，もっと正確に近似すると

　∫(0,n)ｌｏｇｔｄｔ<ｌｏｇｎ！<∫(1,n+1)ｌｏｇｔｄｔ

より

　ｎｌｏｇｎ−ｎ<ｌｏｇｎ！<（ｎ＋１）ｌｏｇ（ｎ＋１）−ｎ

　したがって，両辺の相加平均に近い（ｎ＋１／２）ｌｏｇｎ−ｎでｌｏｇｎ！を近似できることになり，

　∫(1,x)ｌｏｇｔｄｔ＝ｌｏｇ１＋ｌｏｇ２＋・・・＋ｌｏｇｘ−１／２ｌｏｇｘ＋δ

であること，また，ウォリスの公式：√π〜（ｎ！）^2２^2n／（２ｎ）！√ｎ

より，結局，

　　ｎ！〜√（２πｎ）ｎ^nｅｘｐ(-n)

にたどりつきます．

　スターリングの近似公式は階乗の一般化であるガンマ関数の近似値としても使われています．

　　Γ（ｘ＋１）＝∫ｅ^-tｔx ｄｔ〜√（２πｘ）ｘ^xｅ(-x)

近似の程度を進めると

　　Γ（ｘ＋１）〜√（２πｘ）ｘ^xｅ^-x[1+1/(12x)+1/(288x^2)-139/(51840x^3)-.....}

が得られます．これらの公式ではｘが大きくなるほど相対誤差は小さくなります．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】雑感

　オイラーの公式は数学において最も美しい公式といわれますが，私にとってはスターリングの近似公式のほうがより美しく感じられます．この公式にもπとｅが含まれていますが，整数のかけ算にπとｅが現れ，しかも誤差はわずかですから，なおさら美しいというわけです．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝