オイラーの定数（オイラーのていすう、Euler’s constant）は、数学定数の1つで、以下のように定義される。オイラー・マスケローニ定数 (Euler-Mascheroni constant)、オイラーの (Euler's gamma) とも呼ぶ。ちなみに、オイラーはこの定数を表わすのに記号 を用いた。 を用いたのはマスケローニである。この値は、およそ0.57721 56649 01532 86060 65120 90082 40243 10421 59335 93992 35988 05767 23488 48677 26777 66467 09369 47063 29174 67495...である。上式中のΣ部は調和級数と呼ばれる。調和級数が発散するという事実は、今日においては微分積分学の初歩であるが、古くは収束すると考えられていた。調和級数が発散することの証明を最初に行ったのは、14世紀のパリ大学のニコル・オレームである（が、これには誤りがあり、正しい証明が得られたのは17世紀になってからである。詳細は調和級数を参照）。その後ライプニッツなどは有限項の調和級数の近似式に関心をもつなど17世紀においても数学的な関心を集めていた。有限項の調和級数の近似式への関心から、レオンハルト・オイラーは調和級数の増え方が極限において対数関数に等しいことを証明した。つまり、調和級数と対数関数との差はある定数に収束し、それがのちにオイラーの定数と呼ばれるようになった。オイラーはこの値を小数第6位まで求めた。その後、が第32位まで求め（ただし、正しかったのは第20位まで）、γの記号で表した。オイラーの定数は超越数であろうと予想されているが、無理数であるかどうかさえ分かっていない。大文字のガンマ Γ で表されるガンマ関数と小文字のガンマ γ で表されるオイラーの定数は共にオイラーによって与えられたものであるが、オイラー自身は前者のガンマ関数を階乗(factorial)と呼んでいる。ガンマ関数の記号はルジャンドルに始まり、オイラーの定数の記号はに始まるものである。オイラーの定数の記号がガンマ関数に由来するものであったのか、今となっては確かめようがないが、オイラーの定数がガンマ関数に関係しているということは確かである。すなわち、ガンマ関数の乗積表示の対数微分にformula_1を代入するとを得る。オイラーの定数の値は以下の定積分で与えられる。あるいはを用いれば&=int_{0}^{infty}int_{0}^{infty}frac{e^{-tu}-e^{-u}}{u}du;e^{-t}dt\&=int_{0}^{infty}left(int_{0}^{infty}frac{e^{-t(u+1)}}{u}dt-int_{0}^{infty}frac{e^{-u}e^{-t}}{u}dt ight)du\&=int_{0}^{infty}left(frac{1}{u(u+1)}-frac{e^{-u}}{u} ight)du\となり、更にformula_2のときにであるから&=lim_{delta o+0}int_{delta}^{infty}frac{1}{u(u+1)}du-int_{delta}^{infty}frac{e^{-s}}{s}ds\&=lim_{delta o+0}int_{e^delta-1}^{infty}frac{1}{u(u+1)}du-int_{delta}^{infty}frac{e^{-s}}{s}ds\&=lim_{delta o+0}int_{delta}^{infty}frac{e^t}{(e^t-1)e^t}dt-int_{delta}^{infty}frac{e^{-s}}{s}dsqquad(u=e^t-1)\&=lim_{delta o+0}int_{delta}^{infty}frac{e^{-t}}{1-e^{-t}}dt-int_{delta}^{infty}frac{e^{-s}}{s}ds\&=int_{0}^{infty}left(frac{e^{-t}}{1-e^{-t}}-frac{e^{-t}}{t} ight)dtとなる。

出典:wikipedia