「ほとんど整数」の版間の差分
ja>MetaNest 細 (→整数に近い理由) |
細 (1版 をインポートしました) |
(相違点なし)
|
2018/8/19/ (日) 17:24時点における最新版
ある数がほとんど整数(ほとんどせいすう、英: almost integer)であるとは、整数ではないが、整数に非常に近いことを意味する。どれほど近ければ十分であるのか明確な決まりはないが、一見して整数に近いとは分からないのに、近似値を計算すると驚くほど整数に近い数で、小数点以下の部分が「.000…」または「.999…」のように、0か9が数個連続する場合、このように表現される。例えば、「インドの魔術師」の異名をもつシュリニヴァーサ・ラマヌジャンは
- [math]22\pi^4=2143.000002748\dots[/math]
など、整数に近い数の例をいくつか与えた[1]。また、黄金比 φ = 1.618… の累乗、例えば
- [math]\phi^{17}=3571.000280\dots[/math]
- [math]\phi^{18}=5777.999826\dots[/math]
- [math]\phi^{19}=9349.000106\dots[/math]
は整数に近い。整数に近い数を与えることは、単なる趣味の範疇であることが多いが、意義深い数学的な理論が背景にあることも少なくはない。
Contents
整数に近い理由
整数に近い値となることについては、単なる偶然、理由を説明すれば自明なもの、単純な説明が与えられるもの、あるいは(現在のところ)数学的な説明が与えられていないものなど、様々である。例えば、冒頭に挙げた黄金比
- [math]\phi=\frac{1+\sqrt{5}}{2}[/math]
の累乗が整数に近い理由は、次のように説明される。
φ は二次方程式 x2 − x − 1 = 0 の根である。この方程式のもうひとつの根を
- [math]\overline{\phi}=\frac{1-\sqrt{5}}{2}[/math]
とおくと、根と係数の関係より φ + φ = 1, φ φ = −1 であるから、これらの整数係数多項式で表せる対称式 φn + φn は整数である。しかるに、φ の絶対値は 1 より小さいため、n を大きくすると φn は 0 に近付く。したがって、n が大きくなるほど φn は整数に近くなる(あるいは単に、フィボナッチ数列の一般項と黄金比の関係から説明されることもある)。一般に、同様の理由で(整数ではない)ピゾ数の累乗は限りなく整数に近付く。
他の例として、
- [math]\sin 11=-0.99999020655\dots[/math]
- [math]\sin^2 11=\frac{1}{2}(1-\cos 22)[/math]
および、227 が π の近似分数であるために cos 22 が cos 7π = −1 に近いことによる、と説明できる。なお、リンデマンの定理より、この数は超越数である。こういった数によく使われる円周率の近似としては、他に 3 + 0.1×√2 = 3.141421356... や 355÷113 = 3.1415929203539825... などがある[3]。
一方、なぜ整数に近いのか、合理的な理由が与えられていないものもある。ゲルフォントの定数と円周率との差
- [math]e^\pi-\pi=19.999099979\dots[/math]
がほとんど整数であることは、1988年頃に、ニール・スローン、ジョン・ホートン・コンウェイ、サイモン・プラウフによって相次いで指摘されたが、その理由は知られておらず、単なる偶然であろうと考えられている[1]。なお、π + 20 が eπ に近いため、
- [math]\cos\{\log(\pi+20)\}=-0.99999999924368\dots[/math]
という変形も与えられる。
図形における例
エドワード・ペグ・ジュニアは、三角形にほとんど整数である数が隠れていることを指摘した[1]。AB = 27, BC = 30, CA = 22 である三角形の内部に点 O を、OB = 23, OC = 16 となるようにとると、OA はいくらになるだろうか。実際に作図してみると、ほぼ 7 と測定される。しかし、正確には
- [math]\frac{1}{2}\sqrt{\frac{1}{30}(61421-23\sqrt{5831385})}[/math]
であって、およそ 7.00000008573675… である。
物理学における例
微細構造定数 α はディラック定数 ħ、真空中の光速度 c、電気素量 e、真空の誘電率 ε0 の組み合わせによって
- [math]\alpha=\frac{e^2}{4\pi\epsilon_0\,\hbar c}=7.297\,352\,5664(17)\times 10^{-3}[/math]
で与えられる単位の次元を持たない無次元量であり[4]、その逆数 α−1 は
- [math]\alpha^{-1}=137.035\,999\,139(31)[/math]
と[5]、非常に 137 に近い値を取る。イギリスの天体物理学者アーサー・エディントンをはじめとする何人かの物理学者は何故、この値が 137 に近いのか、説明を与えようと試みてきているが、それらについては数遊びに過ぎないという批判もある[6]。
ラマヌジャンの定数
1975年のエイプリルフールに、マーティン・ガードナーはサイエンティフィック・アメリカン誌のコラム「数学ゲーム」(Mathematical Games) において、次のようなジョークを発表した。一見してとても整数とは思われない数
[math]e^{\pi \sqrt{163}}[/math]
が整数 262537412640768744 に等しいということは、かのラマヌジャンも予想していたことだ、と。実際には、ゲルフォント=シュナイダーの定理から超越数であることが分かり、近似値は 262537412640768743.99999999999925007… である。この数が整数に近い理由は、保型関数の理論を用いて説明される。背景には、虚二次体 [math]\scriptstyle\mathbb{Q}(\sqrt{-163})[/math] の類数が 1 であるという事実がある。類数が 1 であるような虚二次体 [math]\scriptstyle\mathbb{Q}(\sqrt{-d})[/math] は、d が
- 1, 2, 3, 7, 11, 19, 43, 67, 163 (オンライン整数列大辞典の数列 A3173)
のいずれかのものに限ることが知られており、これらの数から整数に近い一連の数
- [math]\begin{align} e^{\pi\sqrt{19}}&\approx 12^3(3^2-1)^3+744-0.22\\ e^{\pi\sqrt{43}}&\approx 12^3(9^2-1)^3+744-0.00022\\ e^{\pi\sqrt{67}}&\approx 12^3(21^2-1)^3+744-0.0000013\\ e^{\pi\sqrt{163}}&\approx 12^3(231^2-1)^3+744-0.00000000000075 \end{align}[/math]
が得られる。このうち、最後のものをラマヌジャンの定数という。これはサイモン・プラウフによって名付けられたものであり、前述のジョークに由来している[7]。ラマヌジャン自身は類似の数に言及しているものの、直接に関与したという事実は知られていない。
その他の例
その他にも、数多くの整数に近い数の例が与えられている。以下、単純なものを列挙する。
- e6 − π4 − π5 = 0.000017673…[1](ほとんど0)
- π9e8 = 9.9998387978…[1](ほとんど10)
- 163 (π − e) = 68.9996644963…[1](ほとんど69)
- 5φe7π = 1.0000097…[1](ほとんど1)
脚注
- 出典
- ↑ 1.0 1.1 1.2 1.3 1.4 1.5 1.6 Almost Integer
- ↑ M. Trott (October 28, 2004). The Mathematica GuideBook for Programming. New York: Springer-Verlag. ISBN 0387942823. OCLC 43903470.
- ↑ 後者は、より単純な式や計算で円周率をより正確に近似せよという数学パズルの代表的な解である。
- ↑ “CODATA Value: fine-structure constant”. NIST. . 2016閲覧.
- ↑ “CODATA Value: inverse fine-structure constant”. NIST. . 2016閲覧.
- ↑ 一松 信 『数のエッセイ』 筑摩書房〈ちくま学芸文庫〉、2007-01、184-194。全国書誌番号:21193177。ISBN 978-4480090416。OCLC 675798116。
- ↑ Ramanujan Constant
関連項目
- 0.999... - (実数において)ほとんど1ではなく、完全に1に等しい。
外部リンク
- Weisstein, Eric W. “Almost Integer”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
- Weisstein, Eric W. “Ramanujan Constant”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。