数学定数

数学定数（すうがくていすう）とは、変数に対して、値の変わらない数である。

数学定数は、ふつうは実数体か複素数体の元である。数学定数と呼ばれうるものは、一つの変項を持ち、ZFC 集合論により証明可能な論理式により、それを満足するただ一つの数として決定可能 (definable) であり、ほとんどの場合はその値が計算可能 (computable) である。

変数を斜体で表すのに対し、定数であることを明示するために、立体を使うことがある。

数学定数でないもの

数学定数と同じく定数と呼ばれるものに物理定数がある。しかし物理定数は数というよりは量であり、単なる単位系の取り方によって数値が変わる。たとえば、光速度は物理定数だが、単位を変えれば 299 792.458 km/s、299 792 458 m/s と、数値が変化する。

微細構造定数のような無次元量の物理定数は単位の取り方に依存しないが、他の物理定数同様、その値は物理的な計測により決定され、数学的に決定される数学定数とは根本的に異なる。ただし将来、数学的に決定され数学定数であることが判明する可能性はある。

「1インチをセンチメートルで表した値 ( = 2.54)」のような、人為的に決められた数も、数学定数ではない。

チャイティンの定数は、定数と名前は付いているが、計算模型を指定しなければ値が決まらず、数学定数ではない。

主な数学定数

記事がない定数の詳細は英語版を参照。

「分野」欄の略記は次のとおり: 一般 - 数学一般、数論 - 数論、カオス - カオス理論、組合せ - 組合せ数学、情報 - 情報理論、解析 - 解析学。

「性質」欄の「有理数」は整数以外の有理数、「代数的数」は無理数の代数的数または虚数の代数的数、「無理数」は代数的数か超越数か不明の無理数を表す。

記号は重複がある。

記号	およその値	名称	分野	性質	発見年	既知の桁数
<math>0\,</math>	= 0	零、ゼロ	一般	整数	前7-前5世紀ごろ	∞
<math>\Lambda \,</math>	> – 2.7 ・ 10-9	de Bruijn-Newman定数	数論		1950年?	0
<math> l \,</math>	≈ 0.11000 10000 00000 00000 00010 00000 00000	リウヴィル数		超越数	1844年	∞
<math> C_{10} \,</math>	≈ 0.12345 67891 01112 13141 51617 18192 02122	チャンパーノウン定数		超越数	1934年	∞
<math> i^i \,</math>	≈ 0.20787 95763 50762	i の i 乗	一般	超越数
	≈ 0.23571 11317 19232 93137 41434 75359 61677	コープランド-エルデシュ定数		超越数
<math> M, M_1 \,</math>	≈ 0.26149 72128 47642 78375 54268 38608 69585	Meissel-Mertens定数	数論		1866年 1874年	8,010
<math>\beta \,</math>	≈ 0.28016 94990 23869 13303	ベルンシュタインの定数	解析
<math>\lambda \,</math>	≈ 0.30366 30028 98732 65859 74481 21901 55623	Gauss-Kuzmin-Wirsing定数	組合せ		1974年	385
<math>\sigma \,</math>	≈ 0.35323 63718 54995 98454	Hafner-Sarnak-McCurley定数	数論		1993年
<math>\sigma \,</math>	≈ 0.41245 40336 40	Prouhet-Thue-Morse定数		超越数
<math> L \,</math>	≈ 0.5	ランダウの定数	解析			1
<math> \cos 1 \, </math>	≈ 0.54030 23058 6814	1の余弦		超越数
<math>\Omega \,</math>	≈ 0.56714 32904 09783 87299 99686 62210 35555	オメガ定数		超越数
<math>\gamma \,</math>	≈ 0.57721 56649 01532 86060 65120 90082 40243	オイラー・マスケローニ定数	一般, 数論		1735年	116,580,041
<math>\lambda, \mu \,</math>	≈ 0.62432 99885 43550 87099 29363 83100 83724	ゴロム・ディックマン定数	組合せ 数論		1930年 1964年
	≈ 0.64341 05463	カーンの定数		超越数	1891年	4000
<math> C_2 \,</math>	≈ 0.66016 18158 46869 57392 78121 10014 55577	双子素数の定数	数論			5,020
	≈ 0.66274 34193 49181 58097 47420 97109 25290	ラプラス限界
<math> \ln 2 \,</math>	≈ 0.69314 71805 59945 30941 72321 21458	2の自然対数	一般	超越数
<math>\beta^* \,</math>	≈ 0.70258	エンブリー・トレフセン定数	数論
	≈ 0.74048	3次元の最密充填密度		超越数
<math>K \,</math>	≈ 0.76422 36535 89220 66299 06987 31250 09232	ランダウ・ラマヌジャンの定数	数論			30,010
	≈ 0.80939 40205	Alladi-Grinsteadの定数	数論
<math> \sin 1 \, </math>	≈ 0.84147 09848 07896 50665 25023 21630 29899	1の正弦		超越数
<math> C_2 \,</math>	≈ 0.86224 01258 68054 57	2進チャンパーノウン定数		超越数
<math>B_4 \,</math>	≈ 0.87058 83800	四つ子素数に対するブルン定数	数論
	≈ 0.90689 96821 17109	2次元の最密充填密度		超越数
<math>K, G \,</math>	≈ 0.91596 55941 77219 01505 46035 14932 38411 </td>	カタランの定数	組合せ			201,000,000
<math>1\,</math>	= 1	一、単位元、	一般	整数		∞
<math>B, B ^\prime _L \,</math>	= 1	ルジャンドルの定数	数論	整数		∞
<math>\Lambda \,</math>	≈ 1.09868 58055	Lengyelの定数	組合せ		1992年
<math>K \,</math>	≈ 1.13198 824	ヴィスワナスの定数	数論			8
	≈ 1.18656 91104	Khinchin-Levyの定数	数論
<math>\zeta(3) \,</math>	≈ 1.20205 69031 59594 28539 97381 61511 44999	アペリーの定数		無理数	1979年	2,000,000,000
<math> \sqrt[3] 2 </math>	≈ 1.25992 10498 9487	2の立方根	一般	代数的数
<math>\theta \,</math>	≈ 1.30637 78838 63080 69046 86144 92602 60571	ミルズの定数	数論		1947年	6850
<math>\rho \,</math>	≈ 1.32471 95724 47460 25960 90885 44780 97340	プラスチック数	数論	代数的数	1928年
<math>\sqrt 2 \,</math>	≈ 1.41421 35623 73095 04880 16887 24209 69807	2の平方根、ピタゴラスの定数	一般	代数的数	前800年ごろ	137,438,953,444
<math>\mu \,</math>	≈ 1.45136 92348 83381 05028 39684 85892 02744	ラマヌジャン・ゾルトナー定数	数論			75,500
	≈ 1.45607 49485 82689 67139 95953 51116 54356	バックハウスの定数
	≈ 1.46707 80794	ポーターの定数	数論		1975年
	≈ 1.53960 07178	Lieb's square ice定数	組合せ		1967年
<math> E, E _ \mathrm B \,</math>	≈ 1.60669 51524 15291 763	エルデシュ・ボールウェイン定数	数論	無理数
<math>\phi, \tau \,</math>	≈ 1.61803 39887 49894 84820 45868 34365 63811	黄金比	一般	代数的数	前3世紀	3,141,000,000
	≈ 1.70521 11401 05367 76428 85514 53434 50816	ニーヴンの定数	数論		1969年
<math>\sqrt 3 \,</math>	≈ 1.73205 08075 68877 29352 74463 41505	3の平方根、テオドルスの定数	一般	代数的数	前800年ごろ
<math>B_2 \,</math>	≈ 1.90216 05823	双子素数に対するブルン定数	数論		1919年	10
<math>\sqrt 5 \,</math>	≈ 2.23606 79774 99789 69640 91736 68731 27623	5の平方根	一般	代数的数	前800年ごろ	1,000,000
<math> P_2 \,</math>	≈ 2.29558 71493 92638 07403 42980 49189 49039	放物線定数		超越数
<math> \ln 10 \,</math>	≈ 2.30258 50929 94045 68401 79914 54684	10の自然対数	一般
<math>\zeta_{\mathrm S} \,</math>	≈ 2.41421 35623 73095 04880 16887 24210	白銀比	一般	代数的数
<math>\alpha \,</math>	≈ 2.50290 78750 95892 82228 39028 73218 21578	第2ファイゲンバウム数	カオス
<math> K \,</math>	≈ 2.58498 17595 79253 21706 58935 87383 17116	シェルピンスキーの定数
<math> 2^\sqrt 2 </math>	≈ 2.66514 41426 9023	ゲルフォント・シュナイダー定数、ビルベルト数		超越数
	≈ 2.68545 20010 65306 44530 97148 35481 79569	ヒンチンの定数	数論		1934年	7350
<math>e \,</math>	≈ 2.71828 18284 59045 23536 02874 71352 66249	ネイピア数、オイラー数、自然対数の底	一般, 解析	超越数	1618年	100,000,000,000
<math> F \,</math>	≈ 2.80777 02420 28519 36522 15011 86557 77293	フランセン・ロビンソン定数	解析
<math>\pi \,</math>	≈ 3.14159 26535 89793 23846 26433 83279 50288	円周率、アルキメデスの定数、ルドルフ数	一般, 解析	超越数	前2000年ごろ	2,699,999,990,000
	≈ 3.27582 29187 21811 15978 76818 82453 84386	レヴィの定数
<math>\delta \,</math>	≈ 4.66920 16091 02990 67185 32038 20466 20161	第1ファイゲンバウム数	カオス		1975年
<math>\tau \,</math>	≈ 6.28318 53071 79586 47692 52867 66559 00576	タウ、円の周長と半径の比	一般, 解析	超越数
<math>e^\pi \,</math>	≈ 23.14069 26327 7926	ゲルフォントの定数、e の π 乗		超越数
<math>i, j \,</math>	= 0 + 1i	虚数単位、−1の虚な平方根	一般, 解析	代数的数	16世紀	∞
<math> u, e^i \,</math>	≈ 0.54030 23058 6814 + 0.84147 09848 07897i	e の i 乗		超越数
<math>\omega \,</math>	≈ -0.5 + 0.86602 54037 84439i	1の虚な立方根、1の自明でない立方根		代数的数