エジプト式分数
エジプト式分数(エジプトしきぶんすう、単にエジプト分数とも、英: Egyptian fraction)とは、いくつかの異なる単位分数(分子が 1 の分数)の和、あるいは分数をそのように表す方式を意味する。例えば、通常 56 で表す分数を 12 + 13 などと表す。任意の正の有理数はこの形式で表すことができるが、表し方は一意ではない。この形式で分数を扱う方法は、古くは古代エジプトのリンド・パピルスに見られ、ヨーロッパでは中世まで広く用いられた。現代でも数論の分野において、エジプト式分数に端を発する数学上の未解決問題が多く残されている。
Contents
単位分数展開
以下、特に断らない限り、単に「分数」といった場合、正の真分数、すなわち 0 より大きく 1 より小さな分数のみを考えているものとする。
例えば 25 は単位分数の和として 15 + 15 と表せるが、エジプト式分数では同じ単位分数を繰り返し用いることはせず、25 = 13 + 115 のように表す。いかなる分数に対してもこのような単位分数展開が必ず存在することは自明ではないが、後述するように今日ではあらゆる分数が無数に多くの単位分数展開を持つことが証明されている(#強欲算法の節参照)。さらに例を挙げると、37 = 14 + 17 + 128 = 16 + 17 + 114 + 121 であって、前者の展開は項数が最小であり、後者の展開は最大分母の値が最小である[1]。このように、どのような単位分数展開が最も「単純」であるか、は明らかではない。
古代エジプト
エジプト中王国では、ホルスの目を用いたそれ以前の不完全な分数体系(12k (k = 1, 2, …, 6) の和で表す)に替わって、エジプト式分数による方法が発達した。エジプト式分数が見られる古い文献としては、エジプト数学革巻き、モスクワ・パピルス、レイズナー・パピルス、カフン・パピルス、アクミム木刻版がある。特に有名なリンド・パピルスは、紀元前1650年頃に書かれたものであり、5 以上 101 以下の奇数 n に対して 2n を単位分数の和で表している(#リンド・パピルスの展開一覧の節参照)。
古代エジプト人が、いちいちこのように単位分数の和で表した理由については、よく分かっていない。ただ、リンド・パピルスにはパンを分け合う問題がいくつもあって、実際にパンを分け合うにはエジプト式の表示が理に適っている場合がある。例えば、リンド・パピルスの問題3は、6斤のパンを10人で分け合うとき、1人分は 12 + 110 であることを答とする。6斤のパンをそれぞれ5等分するよりも、5斤を1斤づつ2等分して1片ずつ取り、残りの1斤を10等分する方が簡単である[2]。一方では、合理的とは思えない表示を選ぶ場合もある。リンド・パピルスの問題4は、7斤のパンを10人で分け合う問題であるが、12 + 15 ではなく、23 + 130 を答としている[3]。23 は単位分数ではないから、この表示は狭い意味でエジプト式ではないが、古代エジプト人にとって 23 は特別な数であったらしい。23 = 12 + 16 であることを知っていたにもかかわらず、好んでこの数を用いている。
リンド・パピルスにおける 2n の表を参照すれば、分母が 100 以下の奇数である多くの分数が、機械的に単位分数の和で表せる。例えば、表より 221 = 114 + 142 であるから、
- 521 = 121 + (114 + 142) + (114 + 142) = 121 + 17 + 121 = 17 + 114 + 142
と計算できる[4]。リンド・パピルスにおいて、2n に特に注意が払われているのは、古代エジプトの乗法アルゴリズムが2倍を基礎においているためであろう、とも考えられている[5]。
表記
古代エジプト人たちは、23 を唯一の例外として、単位分数のみを表記した。単位分数 1n を表すために、神官文字では点を、神聖文字では
を n を表す記号の上に置いた。例えば
<hiero>D21:Z1*Z1*Z1</hiero> | [math]=\frac{1}{3}[/math] | <hiero>D21:V20</hiero> | [math]=\frac{1}{10}[/math] |
といった具合である。12 と 23 のみ、特別なグリフ
<hiero>Aa13</hiero> | [math]=\frac{1}{2}[/math] | <hiero>D22</hiero> | [math]=\frac{2}{3}[/math] |
を持つ。23 のグリフは、正確には右の縦線が若干長い。長い方が 1 を、短い方が 12 を表し、全体としてはその和 32 の逆数を意味している[2]。
計算方法
現代の数学史家は、リンド・パピルスなどの古文書を調べ、古代エジプト人のエジプト式分数による計算方法がどのようなものであったかを研究した。特に、リンド・パピルスに書かれた 2n の表現がどのように得られたのかに注目し、様々な説を立てている。古代エジプト人が、分数を単位分数の和に表す系統的な方法を知っていたかどうかは不明であるが、少なくとも単一の方法のみを用いたのではなさそうである。恒等式 22m + 1 = 1m + 1 + 1(m + 1)(2m + 1) を用いれば、単一の方法で2つの単位分数の和に表せるにもかかわらず、分母が大きくなるのを嫌ってか、リンド・パピルスでは3項あるいは4項の和に表しているものもある。数学史家たちの分析によれば、分母が素数の場合と合成数の場合で、リンド・パピルスの著者は異なる方法を用いており、それぞれの場合においても複数の方法を用いている。
分母が奇素数の場合(1)
小さな奇素数 p = 2m + 1 (3, 5, 7, 11, 23) に対しては、恒等式 22m + 1 = 1m + 1 + 1(m + 1)(2m + 1) が用いられている。この方法は奇素数に限らず、任意の奇数に対して使用できる。
分母が奇素数の場合(2)
大きめの奇素数 p (13, 17, 19, 29, …) に対しては、恒等式 2p = 1A + 2A − pAp が用いられている。ここで、A は p2 < A < p を満たし、約数を多く持つ数が選ばれる。2A − pAp について、分子が A のいくつかの約数の和に表すことができれば、約分して単位分数の和を得る。例えば、p = 37 に対して A = 24 とすると、2A − p = 11 = 3 + 8 で 3 と 8 は 24 の約数であるから、リンド・パピルスの展開 237 = 124 + 1111 + 1296 を得る。A を取り替えたり、約数の和に分解する方法を変えたりすると別の展開を得る。
分母が半素数の場合(1)
分母が2つの奇素数の積として pq であるとき、a = p + 12 として恒等式 2pq = 1aq + 1apq を用いることができる。例えば、p = 3, q = 7 のとき、a = 2 より 221 = 114 + 142 を得る。この方法で、リンド・パピルスの単位分数展開のうち、分母が半素数であるものの多くは説明が付く。
分母が半素数の場合(2)
分母が半素数の場合、r = p + q2 として恒等式 2pq = 1pr + 1qr を用いることもできる[6]。例えば、p = 5, q = 7 とすると、リンド・パピルスの表示 235 = 130 + 142 を得る。291 についても同様である。
分母がその他の合成数の場合
その他の合成数 n については、n の約数 m に対する 1m の単位分数展開から得られる。例えば、219 = 112 + 176 + 1114 を 5 で割ることにより、295 = 160 + 1380 + 1570 を得る。実際は、1380 + 1570 = 1228 であるから、より簡単な展開を得るが、リンド・パピルスでは簡約化されていないものが記されている。3つ以上の素数の積、27, 45, 63, 75, 81, 99 に対してもこの方法で説明が付く。
分母が101の場合
リンド・パピルスの最後の単位分数展開 2101 = 1101 + 1202 + 1303 + 1606 は、以上のどれにも当てはまらないが、恒等式 2p = 1p + 12p + 13p + 16p に p = 101 を代入して得られる。これと同等の等式は『エジプト数学羊皮紙巻子本』でも用いられている。
リンド・パピルスの展開一覧
リンド・パピルスの最初に記された単位分数展開の一覧[7]を下記の表に記す。23 は別格として特別の注意が払われている。単位分数展開は一意ではないが、リンド・パピルスでは、1つの分数に対して1つの展開だけが記されており、それは必ずしも最も単純な展開ではない。例えば、213 = 17 + 191 であるが、なぜかこれよりも項数が多く、分母も大きなものが記されている。
背景が水色のセルはリンド・パピルスに記されている展開方法を示す。
分母 | 種類 | 奇数 | 奇素数 | 半素数 | 半素数 | 合成数 |
---|---|---|---|---|---|---|
3 | 素数 | (23 = 12 + 16) | ||||
5 | 素数 | 25 = 13 + 115 | ||||
7 | 素数 | 27 = 14 + 128 | ||||
9 | 半素数 | 29 = 15 + 145 | 29 = 16 + 118 (a=2, p=3, q=3) |
29 = 16 + 118 (23 = 12 + 16 を 3 で割る。) | ||
11 | 素数 | 211 = 16 + 166 | ||||
13 | 素数 | 213 = 17 + 191 | 213 = 18 + 152 + 1104 (A=8, p=13, 2A-p=3=2+1) |
|||
15 | 半素数 | 215 = 18 + 1120 | 215 = 110 + 130 (a=2, p=3, q=5) |
215 = 112 + 120 (r=4, p=3, q=5) |
215 = 110 + 130 (23 = 12 + 16 を 5 で割る。) | |
17 | 素数 | 217 = 19 + 1153 | 217 = 112 + 151 + 168 (A=12, p=17, 2A-p=7=4+3) |
|||
19 | 素数 | 219 = 110 + 1190 | 219 = 112 + 176 + 1114 (A=12, p=19, 2A-p=5=3+2) |
|||
21 | 半素数 | 221 = 111 + 1231 | 221 = 114 + 142 (a=2, p=3, q=7) |
221 = 115 + 135 (r=5, p=3, q=7) |
221 = 114 + 142 (23 = 12 + 16 を 7 で割る。) | |
23 | 素数 | 223 = 112 + 1276 | ||||
25 | 半素数 | 225 = 113 + 1325 | 225 = 115 + 175 (a=3, p=5, q=5) |
225 = 115 + 175 (25 = 13 + 115 を 5 で割る。) | ||
27 | 合成数 | 227 = 114 + 1378 | 227 = 118 + 154 (23 = 12 + 16 を 9 で割る。) | |||
29 | 素数 | 229 = 115 + 1435 | 229 = 124 + 158 + 1174 + 1232 (A=24, p=29, 2A-p=19=12+4+3) |
|||
31 | 素数 | 231 = 116 +1496 | 231 = 120 +1124 + 1155 (A=20, p=31, 2A-p=9=5+4) |
|||
33 | 半素数 | 233 = 117 + 1561 | 233 = 122 + 166 (a=2, p=3, q=11) |
233 = 121 + 177 (r=7, p=3, q=11) |
233 = 122 + 166 (23 = 12 + 16 を 11 で割る。) | |
35 | 半素数 | 235 = 118 + 1630 | 235 = 121 + 1105 (a=3, p=5, q=7) |
235 = 130 + 142 (r=6, p=5, q=7) |
235 = 121 + 1105 (25 = 13 + 115 を 7 で割る。) | |
37 | 素数 | 237 = 119 + 1703 | 237 = 124 + 1111 + 1296 (A=24, p=37, 2A-p=11=8+3) |
|||
39 | 半素数 | 239 = 120 + 1780 | 239 = 126 + 178 (a=2, p=3, q=13) |
239 = 124 + 1104 (r=8, p=3, q=13) |
239 = 126 + 178 (23 = 12 + 16 を 13 で割る。) | |
41 | 素数 | 241 = 121 + 1861 | 241 = 124 + 1246 + 1328 (A=24, p=41, 2A-p=7=4+3) |
|||
43 | 素数 | 243 = 122 + 1946 | 243 = 142 + 186 + 1129 + 1301 (A=42, p=43, 2A-p=41=21+14+6) |
|||
45 | 合成数 | 245 = 123 + 11035 | 245 = 130 + 190 (23 = 12 + 16 を 15 で割る。) | |||
47 | 素数 | 247 = 124 + 11128 | 247 = 130 + 1141 + 1470 (A=30, p=47, 2A-p=13=10+3) |
|||
49 | 半素数 | 249 = 125 + 11225 | 249 = 128 + 1196 (a=4, p=7, q=7) |
249 = 128 + 1196 (27 = 14 + 128 を 7 で割る。) | ||
51 | 半素数 | 251 = 126 + 11326 | 251 = 134 + 1102 (a=2, p=3, q=17) |
251 = 130 + 1170 (r=10, p=3, q=17) |
251 = 134 + 1102 (23 = 12 + 16 を 17 で割る。) | |
53 | 素数 | 253 = 127 + 11431 | 253 = 130 + 1318 + 1795 (A=30, p=53, 2A-p=7=5+2) |
|||
55 | 半素数 | 255 = 128 + 11540 | 255 = 133 + 1165 (a=3, p=5, q=11) |
255 = 140 + 188 (r=8, p=5, q=11) |
255 = 130 + 1330 (211 = 16 + 166 を 5 で割る。) | |
57 | 半素数 | 257 = 129 + 11653 | 257 = 138 + 1114 (a=2, p=3, q=19) |
257 = 133 + 1209 (r=11, p=3, q=19) |
257 = 138 + 1114 (23 = 12 + 16 を 19 で割る。) | |
59 | 素数 | 259 = 130 + 11770 | 259 = 136 + 1236 + 1531 (A=36, p=59, 2A-p=13=9+4) |
|||
61 | 素数 | 261 = 131 + 11891 | 261 = 140 + 1244 + 1488 + 1610 (A=40, p=61, 2A-p=19=10+5+4) |
|||
63 | 合成数 | 263 = 132 + 12016 | 263 = 142 + 1126 (23 = 12 + 16 を 21 で割る。) | |||
65 | 半素数 | 265 = 133 + 12145 | 265 = 139 + 1195 (a=3, p=5, q=13) |
265 = 145 + 1117 (r=9, p=5, q=13) |
265 = 139 + 1195 (25 = 13 + 115 を 13 で割る。) | |
67 | 素数 | 267 = 134 + 12278 | 267 = 140 + 1335 + 1536 (A=40, p=67, 2A-p=13=8+5) |
|||
69 | 半素数 | 269 = 135 + 12415 | 269 = 146 + 1138 (a=2, p=3, q=23) |
269 = 139 + 1299 (r=13, p=3, q=23) |
269 = 146 + 1138 (23 = 12 + 16 を 23 で割る。) | |
71 | 素数 | 271 = 136 + 12556 | 271 = 140 + 1568 + 1710 (A=40, p=71, 2A-p=9=5+4) |
|||
73 | 素数 | 273 = 137 + 12701 | 273 = 160 + 1219 + 1292 + 1365 (A=60, p=73, 2A-p=47=20+15+12) |
|||
75 | 合成数 | 275 = 138 + 12850 | 275 = 150 + 1150 (23 = 12 + 16 を 25 で割る。) | |||
77 | 半素数 | 277 = 139 + 13003 | 277 = 144 + 1308 (a=4, p=7, q=11) |
277 = 163 + 199 (r=9, p=7, q=11) |
277 = 144 + 1308 (27 = 14 + 128 を 11 で割る。) | |
79 | 素数 | 279 = 140 + 13160 | 279 = 160 + 1237 + 1316 + 1790 (A=60, p=79, 2A-p=41=20+15+6) |
|||
81 | 合成数 | 281 = 141 + 13321 | 281 = 154 + 1162 (23 = 12 + 16 を 27 で割る。) | |||
83 | 素数 | 283 = 142 + 13486 | 283 = 160 + 1332 + 1415 + 1498 (A=60, p=83, 2A-p=37=15+12+10) |
|||
85 | 半素数 | 285 = 143 + 13655 | 285 = 151 + 1255 (a=3, p=5, q=17) |
285 = 155 + 1187 (r=11, p=5, q=17) |
285 = 151 + 1255 (25 = 13 + 115 を 17 で割る。) | |
87 | 半素数 | 287 = 144 + 13828 | 287 = 158 + 1174 (a=2, p=3, q=29) |
287 = 178 + 1964 (r=16, p=3, q=29) |
287 = 158 + 1174 (23 = 12 + 16 を 29 で割る。) | |
89 | 素数 | 289 = 145 + 14005 | 289 = 160 + 1356 + 1534 + 1890 (A=60, p=89, 2A-p=31=15+10+6) |
|||
91 | 半素数 | 291 = 146 + 14416 | 291 = 152 + 1364 (a=4, p=7, q=13) |
291 = 170 + 1130 (r=10, p=7, q=13) |
291 = 152 + 1364 (27 = 14 + 128 を 13 で割る。) | |
93 | 半素数 | 293 = 147 + 14371 | 293 = 162 + 1186 (a=2, p=3, q=31) |
293 = 151 + 1527 (r=17, p=3, q=31) |
293 = 162 + 1186 (23 = 12 + 16 を 31 で割る。) | |
95 | 半素数 | 295 = 148 + 14560 | 295 = 157 + 1285 (a=3, p=5, q=19) |
295 = 160 + 1228 (r=12, p=5, q=19) |
295 = 160 + 1380 + 1570 (219 = 112 + 176 + 1114 を 5 で割る。) | |
97 | 素数 | 297 = 149 + 14753 | 297 = 156 + 1679 + 1776 (A=56, p=97, 2A-p=15=8+7) |
|||
99 | 合成数 | 299 = 150 + 14950 | 299 = 166 + 1198 (23 = 12 + 16 を 33 で割る。) | |||
101の場合 | ||||||
101 | 素数 | 2101 = 152 + 15252 | 2101 = 1101 + 1202 + 1303 + 1606 |
中世
中国やインドでは、古くから分子に任意の自然数を許す今日の分数表現を用いたが、ヨーロッパでは17世紀頃までエジプト式が用いられていた。エジプト式分数は実用的な計算には向いておらず、これに固執したことが数学の発展を遅らせたと主張する歴史家もいる[1]。一方で六十進法で数字を表記したバビロニアでは、早い段階から1未満の数を表すのに小数を導入していた。古代ローマの天文学者プトレマイオスは、著書『アルマゲスト』において「複雑な計算にはエジプト式分数ではなく六十進法を用いる」という趣旨の言を残している[8]。これはプトレマイオスに限った話ではなく、多くの学者が天文計算に六十進法を用いており、角度を度数法で表す際の1度未満の度数単位や、1時間未満の時間の単位が六十進法であるのは、これに由来する。ロナルド・グラハムによると、20世紀を代表する数学者の一人アンドレ・ヴェイユは、古代エジプト人がエジプト式分数を用いたことについて「間違った方向へ進んだのだ」と語った[9]。
1202年、フィボナッチは『算盤の書』において、任意の分数を単位分数の和に表すアルゴリズムをいくつか発表した。まず、分母 n が性質「n 未満の任意の自然数は、いくつかの n の約数の和で表せる」を持つとき、分子を n の約数の和で表して約分することにより、単位分数の和に表せる。そのような性質を持つ n は
- 1, 2, 4, 6, 8, 12, 16, 18, 20, 24, 28, 30, 32, 36, 40, 42, 48, …(オンライン整数列大辞典の数列 A5153)
と続くが、『算盤の書』では例として分母が 6, 8, 12, 20, 24, 60, 100 であるものについて、単位分数展開のリストを与えている。例えば、512 の分子 5 は、分母 12 の約数の和として 4 + 1 と表せるので、512 = 13 + 112 である。
分母がそのような性質を持たない場合について、フィボナッチは次のような方法を提示している。ab に対して、b2 < c < b を満たし、多くの約数を持つ c を取る。acbc の分子を bc の約数の和に表すことができれば、約分して単位分数の和となる。この方法は、リンド・パピルスの表に対して現代数学史家が推測した方法の一つと似ている。
その他の方法のいくつかは
- aab − 1 = 1b + 1b(ab − 1)
のような恒等式を用いる。フィボナッチは、例として 811 を挙げた。まず、分母に 1 を加えた 12 を分子が割るように、211 + 611 と分解し、それから恒等式を適用して
- 811 = 12 + 122 + 16 + 166
を導いている。
強欲算法
以上のいずれの方法の通用しない場合に対して、フィボナッチは強欲算法[注釈 1](greedy algorithm) と呼ばれる方法を提案した。単位分数の和に展開しようとする分数に対して、それ以下の最大の単位分数を取る。それを引いた残りに対しても、繰り返し最大の単位分数を取る。式で書けば、分数 xy を
- [math]\frac{x}{y}=\frac{1}{\lceil y/x\rceil}+\frac{x-(y\,\bmod\, x)}{y\lceil y/x\rceil}[/math]
と、次々に置き換える方法である。ここに、括弧は天井関数である。例えば、413 に強欲算法を適用すると、
- 413 = 14 + 118 + 1468
となる。
フィボナッチは、強欲算法の手続きが有限回で終了することの証明を与えてはいない。後にシルベスターはこの方法を再発見し、有限回で終了することの証明も与え、1880年に発表した[1]。実際、一度の手続きで分子は少なくとも 1 小さくなるので、ab は多くとも a 個の単位分数の和で表せる。2人の名を取って、強欲算法は「フィボナッチ=シルベスターのアルゴリズム」とも呼ばれる。
フィボナッチ自身も注意したように、強欲算法はときに複雑な単位分数展開を与える。例えば、5121 に強欲算法を適用すると、
- 5121 = 125 + 1757 + 1763309 + 1873960180913 + 11527612795642093418846225
となるが、ずっと簡潔な単位分数展開
- 5121 = 133 + 1121 + 1363
を持つ。強欲算法は単純で分かりやすく、任意の分数が異なる単位分数の和で表せることの易しい証明も与えるが、このように複雑な展開になる場合もあるため、フィボナッチ自身は、最初の分解の後は他の方法を適用することを勧めている。
単位分数 1n に強欲算法を適用すると、恒等式
- 1n = 1n + 1 + 1n(n + 1)
を得る。これより、単位分数は2つの単位分数の和に表せるので、任意の分数は無数に多くの単位分数展開を持つ。
現代
現代の数論の研究者は、エジプト式分数に関する多くの問題について研究している。例えば、単位分数展開の項数や分母の大きさを評価すること、ある性質を持った単位分数に限った展開を与えること、単位分数展開のアルゴリズムを与えること、などである。リチャード・ガイの本『数論未解決問題の事典』第3版 D11 に、これまでの研究成果と未解決問題の概略がある。
研究成果
任意に与えられた分数 xy は、単位分数展開として、その最大分母が高々
- [math]O \left( \frac{y\log^2 y}{\log\log y} \right)[/math]
であるものを持つ[10]。また、項数が高々
- [math]O \left( \sqrt{\log y} \right)[/math]
であるものを持つ[11]。ここに、O はランダウの記号である。
グラハムは、2以上の任意の自然数 n に対し、分母を n 乗数に限った場合にエジプト式分数として表せるような有理数を特徴付けた[12]。例えば、有理数 q がいくつかの平方数(1 を含める)の逆数の和として表せるための必要十分条件は、q が2つの半開区間の和集合
- [math]\left[ 0,\frac{\pi^2}{6}-1 \right) \cup \left[ 1,\frac{\pi^2}{6} \right)[/math]
に含まれることである。ここに現れる [math]\frac{\pi^2}{6}[/math] は、リーマンゼータ関数 ζ の特殊値 ζ(2) である。
エルデシュとグラハムは、2 以上の整数の集合を有限個の集合に分割した場合、それがどのような分割であっても、そのうちの一つの集合の有限部分集合 S を取って
- [math]\sum_{n\in S} \frac{1}{n} =1[/math]
とできると予想した。予想の内容は、よく次のように言い換えられる。「単位分数を有限個の色でどのように色分けしても、そのうちの単色のみを用いて 1 の単位分数展開が得られる。」この予想は2003年に証明された[13]。
未解決問題
数学者達はエジプト式分数に関する問題を解決するべく努力をしてきたが、今なお多くの問題が残っている。
任意に与えられた分数に対し、項数が最小の単位分数展開や、最大分母が最小の単位分数展開を総当たり攻撃で見付けることはできるが、多項式時間で見付けることができるかどうか、より一般にこの問題が計算複雑性理論においてどのクラスに属するのかは知られていない。
エルデシュ=シュトラウス予想は、2以上の任意の整数 n に対し、
- 4n = 1x + 1y + 1z
は正の整数解を持つ、という予想であり、未だ証明されていない。n < 1014 に対して解を持つことは確かめられている[14]。また、n が 840 を法として 12, 112, 132, 172, 192, 232 に合同な場合を除き、予想が成り立つことが示されている[15]。
ヴァツワフ・シェルピニスキは、6以上の任意の整数 n に対し、
- 5n = 1x + 1y + 1z
は正の整数解を持つと予想した。さらに「任意の整数 k に対し、n が十分大きければ、真分数 kn は3つ以下の単位分数の和で表せる」とも予想した[1]。
分母が奇数である単位分数に限れば、その和も分母が奇数になる。逆に、分母が奇数である分数は、分母が奇数である単位分数展開が可能であることが知られている[1]。しかし、分母を奇数に限った場合に、強欲算法が有限回で終了するかどうかは知られていない。
数学パズル
単位分数展開は、しばしば数学パズルの題材にもなる。特に人気があるのは、1 の単位分数展開である。1 に対して強欲算法を用いると、有名な表示
- 1 = 12 + 13 + 16
を得る。
用いることができる単位分数に制限をかけると、より深みのある類似の問題が多く考えられる。例えば、分母を奇数に限ると、強欲算法によって 1 は13個の単位分数の和に表され、最後の項の分母は
- 209525411280522638000804396401925664136495425904830384693383280180439963265695525939102230139815
となる[16]。項数が最小なのは9項のものであり、そのようなものは全部で5通りあることが知られている[1][17]。その中でも、最大分母が最小であるものは
- 1 = 13 + 15 + 17 + 19 + 111 + 115 + 135 + 145 + 1231
である。項数を度外視した場合、最大分母が最小であるものは、11項の和
- 1 = 13 + 15 + 17 + 19 + 111 + 133 + 135 + 145 + 155 + 177 + 1105
である[1]。
なお、正整数の逆数の和である調和級数は無限大に発散するから、(真分数に限らず)任意の正の有理数は単位分数の和で表すことができる。ただし、調和級数の発散は非常にゆっくりであるため、比較的小さな有理数であっても多くの単位分数が必要になる。例えば 10 を単位分数の和で表すには、2万個を超える項が必要である[1]。
計算法の例
- [math] \frac{a}{\;n\;} = \frac{1}{\;x\;} + \frac{1}{\;y\;} + \frac{1}{\;z\;}[/math]
に対して,次の計算法が報告されている[18]。
- [math] x=\bigg\lfloor \frac{\;n\;}{a} \bigg\rfloor + b, [/math]
- [math] y= \frac{\;2\,c\,n\,x\;}{d}, [/math]
- [math] z= \frac{\;2\,c\,n\,x\;}{\;2\,c\,(a\,x-n)-d\;\;}, [/math]
- [math] b=1,2,3,\cdots. \; \; \; \; c=1,2,3,\cdots. \; \; \; \; d=1,2,3,\cdots, c\,(a\,x-n). [/math]
上記の記号で,[math]\lfloor \star \rfloor[/math] は,床関数である。 y の右辺 2cnxd および, z の右辺 2cnx2c(ax − n) − d が整除されれば解を得る。
脚注
注釈
出典
- ↑ 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 ガードナー 2010, pp. 54-58
- ↑ 2.0 2.1 カッツ 2005, p. 13
- ↑ ボイヤー 2009, p. 19
- ↑ カジョリ 1997, p. 31
- ↑ 上垣 2006, pp. 21-23
- ↑ ボイヤー 2009, p. 17
- ↑ 上垣 2006, p. 24
- ↑ 一松 2007, p. 33
- ↑ 9.0 9.1 ホフマン 2000, pp. 169-170
- ↑ Tenenbaum, G.; Yokota, H. (1990), "Length and denominators of Egyptian fractions", Journal of Number Theory 35: 150--156, doi:10.1016/0022-314X(90)90109-5, テンプレート:MR.
- ↑ Vose, M. (1985), "Egyptian fractions", Bulletin of the London Mathematical Society 17: 21, doi:10.1112/blms/17.1.21, テンプレート:MR.
- ↑ Graham, R. L. (1964), "On finite sums of reciprocals of distinct nth powers", Pacific Journal of Mathematics 14 (1): 85--92, テンプレート:MR.
- ↑ Croot, Ernest S., III (2003). "On a coloring conjecture about unit fractions". Annals of Mathematics 157 (2): 545--556. doi:10.4007/annals.2003.157.545. テンプレート:Arxiv.
- ↑ Allan Swett, The Erdos-Straus Conjecture
- ↑ ガイ 2010, p. 244
- ↑ オンライン整数列大辞典の数列 A130738
- ↑ 『数学セミナー』1971年12月号
- ↑ 長島 隆廣 『数学セミナー』第22巻,第11号,通巻264号,1983年11月発行,日本評論社,pp.92-93。
参考文献
- 上垣渉 『はじめて読む数学の歴史』 ベレ出版〈読んで楽しむ教科書〉、2006-01。ISBN 978-4-86064-110-8。
- マーチン・ガードナー 『マーチン・ガードナーの数学ゲーム I』 一松信 訳、日本経済新聞出版社〈別冊日経サイエンス 176〉、2010-12-25、新装版。ISBN 978-4-532-51176-0。
- リチャード・K・ガイ 『数論〈未解決問題〉の事典』 金光滋 訳、朝倉書店、2010-11。ISBN 978-4-254-11129-3。 - 原タイトル:Unsolved Problems in Number Theory、原著第3版の翻訳。原著は2004年発行でやや情報が古く、エルデシュ=グラハムの問題が未解決とある。
- F・カジョリ 『初等数学史』 小倉金之助 訳、共立出版、1997-06、復刻版。ISBN 978-4-320-01538-8。
- ヴィクター・J・カッツ 『数学の歴史』 上野健爾 ほか訳、共立出版、2005-06。ISBN 978-4-320-01765-8。
- 一松信 『数のエッセイ』 筑摩書房〈ちくま学芸文庫 ヒ9-1 Math & Science〉、2007-01。ISBN 978-4-480-09041-6。
- カール・B・ボイヤー 『数学の歴史 1 ― エジプトからギリシャ前期まで』 加賀美鐵雄・浦野由有 訳、朝倉書店、2009-10、新装版。ISBN 978-4-254-11801-8。
- ポール・ホフマン 『放浪の天才数学者エルデシュ』 平石律子 訳、草思社、2000-04。ISBN 978-4-7942-0950-4。
- ポール・ホフマン 『放浪の天才数学者エルデシュ』 平石律子 訳、草思社〈草思社文庫 ホ1-1〉、2011-10。ISBN 978-4-7942-1854-4。
- 三浦伸夫 『古代エジプトの数学問題集を解いてみる NHKスペシャル「知られざる大英博物館」』 NHK出版、2012-06-30。ISBN 978-4-14-081546-5。
関連文献
- Anshel, Michael M.; Goldfeld, Dorian (1991), “Partitions, Egyptian fractions, and free products of finite abelian groups”, Proceedings of the American Mathematical Society 111 (4): 889--899, doi:10.1090/S0002-9939-1991-1065083-1, テンプレート:MR.
- Beeckmans, L. (1993), “The splitting algorithm for Egyptian fractions”, Journal of Number Theory 43: 173--185, doi:10.1006/jnth.1993.1015, テンプレート:MR.
- Botts, Truman (1967), “A chain reaction process in number theory”, Mathematics Magazine 40 (2): 55--65, doi:10.2307/2688508, テンプレート:MR.
- Breusch, R. (1954), “A special case of Egyptian fractions, solution to advanced problem 4512”, American Mathematical Monthly 61: 200--201.
- Bruins, Evert M. (1957), “Platon et la table 2/n e'gyptiennes [Plato and the Egyptian table 2/n]” (French), Janus 46: 253--263.
- Eves, Howard (1953), An Introduction to the History of Mathematics, Holt, Reinhard, and Winston, ISBN 0030295580.
- Gardner, Milo (2002), “The Egyptian Mathematical Leather Roll, attested short term and long term”, in Gratton-Guiness, Ivor, History of the Mathematical Sciences, Hindustan Book Co, pp. 119--134, ISBN 8185931453
- Gillings, Richard J. (1982), Mathematics in the Time of the Pharaohs, Dover, ISBN 048624315X.
- Hultsch, Friedrich (1895), “Die Elemente der a"gyptischen Theilungsrechnung: Erste Anhandlung” (German), Abhandlungen der philologisch-historischen Classe der Ko"niglich-Sa"chsischen Gesellschaft der Wissenschaften, Sa"chsische Akademie der Wissenschaften zu Leipzig Philologisch-Historische Klasse (Leipzig: S. Hirzel) 17 (1).
- Knorr, Wilbur R. (1982), “Techniques of fractions in ancient Egypt and Greece”, Historia Mathematica 9: 133--171, doi:10.1016/0315-0860(82)90001-5, テンプレート:MR.
- Martin, G. (1999), “Dense Egyptian fractions”, Transactions of the American Mathematical Society 351: 3641--3657, doi:10.1090/S0002-9947-99-02327-2, テンプレート:MR.
- Sigler, Laurence E. (trans.) (2002), Fibonacci's Liber Abaci, Springer-Verlag, ISBN 0387954198
- Stewart, B. M. (1954), “Sums of distinct divisors”, American Journal of Mathematics 76 (4): 779--785, doi:10.2307/2372651, テンプレート:MR.
- Stewart, I. (1992), “The riddle of the vanishing camel”, Scientific American (June): 122--124.
- Struik, Dirk J. (1967), A Concise History of Mathematics, Dover, pp. 20--25, ISBN 0486602559.
- Takenouchi, T. (1921), “On an indeterminate equation”, Proceedings of the Physico-Mathematical Society of Japan [Nippon Suugaku-Buturigakkwai Kizi], 3rd ser. 3: 78--92.
- Wagon, Stan (1999), Mathematica in Action, Springer, pp. 321--329, ISBN 0387986847.
関連項目
外部リンク
- Weisstein, Eric W. “Egyptian Fraction”. MathWorld(英語). Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
- WolframAlpha - 分数を入力すると、エジプト式分数を出力する(おそらく強欲算法を用いている)。
- Kevin Brown, Egyptian Unit Fractions
- David Eppstein, Egyptian Fractions
- R. Knott, Egyptian fractions