アルキメデスの牛の問題のソースを表示

『'''牛の問題'''』（うしのもんだい、{{lang-en-short|cattle problem}}、{{lang-la-short|problema bovinum}}）は、[[古代ギリシア]]の数学者[[アルキメデス]]が提示したとされる、ある条件を満たす牛の頭数を問う問題である。

現代的な用語を用いれば、ある[[ディオファントス方程式]]の整数解を求める問題と見なせる。解は無数にあるが、最小解でも牛の頭数は二十万桁（二十万「頭」ではない）以上という非現実的なほどの巨大な数に達する。これは[[観測可能な宇宙]]を埋め尽くす牛の頭数よりもはるかに多い。

== 問題 ==
問題は「''おお盟邦の友よ、[[ヘーリオス|ヘリオス]]の牛の群れを算''（かぞ）''え給え''…」{{Sfn|三田博雄|1980|pp=502-505}}で始まる22の対句、44行の詩の形で示されている。

「トリナキア島の野に[[牛]]がいる。牛の色は白、黒、黄、斑である。

白牡牛の数は、黒牡牛の数の1/2＋1/3、＋ 黄牡牛の数の合計である。

黒牡牛は、斑牡牛の1/4＋1/5、＋ 黄牡牛の合計。

斑牡牛は、白牡牛の1/6＋1/7、＋ 黄牡牛の合計。

また、

白牝牛は、黒牛全部の1/3＋1/4に等しい。

黒牝牛は、斑牛全部の1/4＋1/5に等しい。

斑牝牛は、黄牛全部の1/5＋1/6に等しい。

黄牝牛は、白牛全部の1/6＋1/7に等しい。

アルキメデスは最初の7つの条件を与えた後に「これだけではまだなかなか知恵者の数にははいらない」{{Sfn|三田博雄|1980|pp=502-505}}と述べ、さらに2つの条件を与える。

白い牡牛＋黒い牡牛を整列させると、縦横が等しい四角形に並ぶ。

黄の牡牛＋斑の牡牛を整列させると、各辺が等しい三角形に並ぶ。牛の総数を求めよ」

== 計算式 ==
白の牡牛の頭数を ''W''、白の牝牛の頭数を ''w'' とし、以下黒、黄、斑の牡牛と牝牛の頭数をそれぞれ ''B'', ''b'', ''Y'', ''y'', ''D'', ''d'' とすると、アルキメデスの示した条件は以下の9つの数式で表される。
:<math>\begin{align}
W &= \left( \frac{1}{2}+\frac{1}{3} \right) B + Y \\
B &= \left( \frac{1}{4}+\frac{1}{5} \right) D + Y \\
D &= \left( \frac{1}{6}+\frac{1}{7} \right) W + Y \\
w &= \left( \frac{1}{3}+\frac{1}{4} \right) (B+b) \\
b &= \left( \frac{1}{4}+\frac{1}{5} \right) (D+d) \\
d &= \left( \frac{1}{5}+\frac{1}{6} \right) (Y+y) \\
y &= \left( \frac{1}{6}+\frac{1}{7} \right) (W+w) \\

W+B &= p^2 \\
Y+D &= \frac{q(q+1)}{2}
\end{align}</math>
最後の2つの条件は、''W'' + ''B'' が[[平方数]]であり、''Y'' + ''D'' が[[三角数]]であることを示す。

== 解 ==
最初の7つの条件は、[[線型方程式系|連立一次方程式]]に過ぎないため、簡単に一般解が求まる。8つの未知数に対し、7つの独立した一次式があるから、解は1つのパラメータ ''k'' を用いて表すことができ、
:<math>\begin{align}
W &= 10366482k \\
B &= 7460514k \\
Y &= 4149387k \\
D &= 7358060k \\
w &= 7206360k \\
b &= 4893246k \\
y &= 5439213k \\
d &= 3515820k
\end{align}</math>
となる。それぞれは牛の頭数を表しているから、''k'' は正整数である。次に、第8の条件より、
:<math>2^2 \cdot 3 \cdot 11 \cdot 29 \cdot 4657 k = p^2</math>
であるから、ある正整数 ''y'' が存在して
:<math>k=3 \cdot 11 \cdot 29 \cdot 4657 y^2</math>
でなければならない。このとき、第9の条件より
:<math>3 \cdot 7 \cdot 11 \cdot 29 \cdot 353 \cdot 4657^2 y^2 = \frac{q(q+1)}{2}</math>
である。''x'' = 2''q'' + 1 とおけば、[[ペル方程式]]
:<math>x^2-410286423278424y^2=1\,</math>
の整数解を求めることに帰着される。

このペル方程式を解く部分が最も難しい。一般に、ペル方程式はその係数の大きさに比して、最小解が非常に大きくなる場合がある。[[連分数]]を用いた効率の良い方法が知られているものの、最小解の ''y'' の値は103266桁にも達するため、[[コンピューター]]の助けなくして解を求めることは事実上不可能である。現代では、[[パソコン]]を用いて解を求めることは易しく、牛の総数（の最小解）はおよそ
:<math>7.7602714 \times 10^{206544}</math>
である。

== 歴史 ==
この問題は、紀元前250年頃、アルキメデスが[[エラトステネス]]に宛てた手紙に書かれていたとされる{{Sfn|Stewart|2006|pp=67-78}}。1773年、ドイツの劇作家[[ゴットホルト・エフライム・レッシング]]が、[[ヴォルフェンビュッテル]]の図書館で発見して公表した。彼は、上記の式で ''k'' = 80 としたものに相当する解を与え、全ての条件を満たすとコメントしたが、それは誤りであって最後の2条件を満たさない{{Sfn|三田博雄|1980|pp=502-505}}{{Sfn|Stewart|2006|pp=67-78}}。

レッシングは、自分の発見した問題が本当にアルキメデスによるものかどうかは疑っていたが、古代において「牛の問題」（{{lang-la-short|problema bovinum}}）あるいは「アルキメデスの問題」({{lang-la-short|problema Archimedis}}）がしばしば難問として言及されていることもあり、アルキメデスの研究で著名な{{仮リンク|ヨハン・ルーズヴィー・ハイベア|en|Johan Ludvig Heiberg (historian)|label=ハイベア}}は、これがアルキメデスによるオリジナルの問題を正確に伝えていると考えた{{Sfn|Dorrie|1996|pp=3-5}}。

1880年、アムトールは初めて正しい解について言及し、それが206545桁であって、先頭の4桁が7760であることまで求めた{{Sfn|Stewart|2006|pp=67-78}}。解の全ての桁が初めて得られたのは1965年のことである{{R|Williams}}。そのために、当時の[[スーパーコンピュータ]]で7時間49分かかった{{Efn2|name="wei"}}。1981年には、206545桁の数字が47ページに印字されて公表された{{R|Nelson}}。このときの計算には[[Cray-1]] が用いられ、チェックも含めて約10分で計算が完了した{{Efn2|name="wei"}}。

1998年、ヴァルディは牛の総数の公式
:<math>\left\lceil\frac{p}{q}(x+y\sqrt{4729494})^{4658n}\right\rceil</math>
を与えた{{R|Vardi}}。ここに<math>\lceil \bullet \rceil</math>は[[床関数と天井関数#天井関数|天井関数]]で、''p'', ''q'', ''x'', ''y'' は次で与えられる定数である{{Efn2|数学的な注釈を付けるならば、<math>x+y\sqrt{4729494}</math> は、[[二次体]] <math>\mathbb{Q}(\sqrt{410286423278424})=\mathbb{Q}(\sqrt{4729494})</math> の基本単数である。}}。
:<math>\begin{align}
p &= 25194541 \\
q &= 184119152 \\
x &= 109931986732829734979866232821433543901088049 \\
y &= 50549485234315033074477819735540408986340
\end{align}</math>
また、''n'' は任意の正整数であり、''n'' = 1 とすれば最小解を得る。

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist2|refs=
<ref name="wei" group="注">MathWorld, Archimedes' Cattle Problem の項</ref>
}}
=== 出典 ===
{{Reflist|refs=
<ref name="Williams">
{{Cite journal
 |author1=H.C.Williams
 |author2=R.A.German
 |author3=C.R.Zarnke
 |title=Solution of the Cattle Problem of Archimedes
 |journal=Mathematics of Computation
 |volume=19
 |issue=92
 |pages=671-674
 |date=1965-10
 |doi=10.2307/2003954
 |ref=harv
}}</ref>
<ref name="Nelson">
{{Cite journal
 |author=H.L.Nelson
 |title=A solution to Archimedes' Cattle Problem
 |journal=Recreational Math
 |volume=13
 |pages=162-176
 |date=1981
 |ref=harv
}}</ref>
<ref name="Vardi">
{{Cite journal
 |author=Ilan Vardi
 |title=Archimedes' Cattle Problem
 |journal=The American Mathematical Monthly
 |volume=105
 |issue=4
 |pages=305-319
 |date=1998-04
 |doi=10.1080/00029890.1998.12004887
 |ref=harv
}}</ref>
}}

== 参考文献 ==
*{{Cite book|和書
 |author=田村松平責任編集
 |authorlink=田村松平
 |translator=[[三田博雄]]
 |title=ギリシアの科学
 |series=世界の名著
 |volume=9
 |publisher=[[中央公論新社]]
 |date=1980-03
 |isbn=978-4124006193
 |ref={{SfnRef|三田博雄|1980}}
}}
*{{Cite book|和書
 |last=Stewart
 |first=Ian Nicholas
 |authorlink=イアン・スチュアート (数学者)
 |translator=伊藤文英
 |title=パズルでめぐる奇妙な数学ワールド
 |publisher=[[早川書房]]
 |date=2006-01
 |isbn=978-4152087027
 |ref=harv
}}
*{{Cite book|和書
 |last=Dorrie
 |first=Heinrich
 |authorlink=ハインリヒ・デリー (数学者)
 |translator=[[根上生也]]
 |title=数と関数の問題
 |series=数学100の勝利
 |volume=1
 |publisher=[[シュプリンガー・フェアラーク東京]]
 |date=1996-07
 |isbn=978-4431706878
 |ref=harv
}}

== 関連項目 ==
* [[砂粒を数えるもの]]
* [[数の比較]]
* [[巨大数]]

== 外部リンク ==
* C. Rorres, [https://www.cs.drexel.edu/~crorres/Archimedes/Cattle/Statement.html "The Cattle Problem"] - 問題の原文、解の解説、ヴァルディのプレプリントへのリンクなど
* {{MathWorld|urlname=ArchimedesCattleProblem|title=Archimedes' Cattle Problem}}
* {{OEIS|A096151}}

{{デフォルトソート:あるきめてすのうしのもんたい}}
[[Category:古代ギリシアの数学]]
[[Category:ディオファントス方程式]]
[[Category:数学に関する記事]]
[[Category:アルキメデス]]
[[Category:数学のエポニム]]