アルキメデスの牛の問題

『牛の問題』（うしのもんだい、英: cattle problem、羅: problema bovinum）は、古代ギリシアの数学者アルキメデスが提示したとされる、ある条件を満たす牛の頭数を問う問題である。

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

問題

問題は「おお盟邦の友よ、ヘリオスの牛の群れを算（かぞ）え給え…」[1]で始まる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つの条件を与えた後に「これだけではまだなかなか知恵者の数にははいらない」[1]と述べ、さらに2つの条件を与える。

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

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

計算式

白の牡牛の頭数を W、白の牝牛の頭数を w とし、以下黒、黄、斑の牡牛と牝牛の頭数をそれぞれ B, b, Y, y, D, d とすると、アルキメデスの示した条件は以下の9つの数式で表される。

${\displaystyle {\begin{aligned}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{aligned}}}$

最後の2つの条件は、W + B が平方数であり、Y + D が三角数であることを示す。

解

最初の7つの条件は、連立一次方程式に過ぎないため、簡単に一般解が求まる。8つの未知数に対し、7つの独立した一次式があるから、解は1つのパラメータ k を用いて表すことができ、

${\displaystyle {\begin{aligned}W&=10366482k\\B&=7460514k\\Y&=4149387k\\D&=7358060k\\w&=7206360k\\b&=4893246k\\y&=5439213k\\d&=3515820k\end{aligned}}}$

となる。それぞれは牛の頭数を表しているから、k は正整数である。次に、第8の条件より、

${\displaystyle 2^{2}\cdot 3\cdot 11\cdot 29\cdot 4657k=p^{2}}$

であるから、ある正整数 y が存在して

${\displaystyle k=3\cdot 11\cdot 29\cdot 4657y^{2}}$

でなければならない。このとき、第9の条件より

${\displaystyle 3\cdot 7\cdot 11\cdot 29\cdot 353\cdot 4657^{2}y^{2}={\frac {q(q+1)}{2}}}$

である。x = 2q + 1 とおけば、ペル方程式

${\displaystyle x^{2}-410286423278424y^{2}=1\,}$

の整数解を求めることに帰着される。

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

${\displaystyle 7.7602714\times 10^{206544}}$

である。

歴史

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

レッシングは、自分の発見した問題が本当にアルキメデスによるものかどうかは疑っていたが、古代において「牛の問題」（羅: problema bovinum）あるいは「アルキメデスの問題」(羅: problema Archimedis）がしばしば難問として言及されていることもあり、アルキメデスの研究で著名なハイベア（英語版）は、これがアルキメデスによるオリジナルの問題を正確に伝えていると考えた[3]。

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

1998年、ヴァルディは牛の総数の公式

${\displaystyle \left\lceil {\frac {p}{q}}(x+y{\sqrt {4729494}})^{4658n}\right\rceil }$

を与えた[6]。ここに${\displaystyle \lceil \bullet \rceil }$は天井関数で、p, q, x, y は次で与えられる定数である[注 2]。

${\displaystyle {\begin{aligned}p&=25194541\\q&=184119152\\x&=109931986732829734979866232821433543901088049\\y&=50549485234315033074477819735540408986340\end{aligned}}}$

また、n は任意の正整数であり、n = 1 とすれば最小解を得る。

脚注

注釈

1. ^ MathWorld, Archimedes' Cattle Problem の項
2. 数学的な注釈を付けるならば、${\displaystyle x+y{\sqrt {4729494}}}$ は、二次体 ${\displaystyle \mathbb {Q} ({\sqrt {410286423278424}})=\mathbb {Q} ({\sqrt {4729494}})}$ の基本単数である。

出典

1. ^ 三田博雄 1980, pp. 502–505.
2. ^ Stewart 2006, pp. 67–78.
3. Dorrie 1996, pp. 3–5.
4. H.C.Williams; R.A.German; C.R.Zarnke (1965-10). “Solution of the Cattle Problem of Archimedes”. Mathematics of Computation 19 (92): 671-674. doi:10.2307/2003954. 
5. H.L.Nelson (1981). “A solution to Archimedes' Cattle Problem”. Recreational Math 13: 162-176. 
6. Ilan Vardi (1998-04). “Archimedes' Cattle Problem”. The American Mathematical Monthly 105 (4): 305-319. doi:10.1080/00029890.1998.12004887. 

参考文献

• 田村松平責任編集 著、三田博雄 訳『ギリシアの科学』 9巻、中央公論新社〈世界の名著〉、1980年3月。ISBN 978-4124006193。 
• Stewart, Ian Nicholas 著、伊藤文英 訳『パズルでめぐる奇妙な数学ワールド』早川書房、2006年1月。ISBN 978-4152087027。 
• Dorrie, Heinrich 著、根上生也 訳『数と関数の問題』 1巻、シュプリンガー・フェアラーク東京〈数学100の勝利〉、1996年7月。ISBN 978-4431706878。 

関連項目

• 砂粒を数えるもの
• 数の比較
• 巨大数

外部リンク

• C. Rorres, "The Cattle Problem" - 問題の原文、解の解説、ヴァルディのプレプリントへのリンクなど
• Weisstein, Eric W. "Archimedes' Cattle Problem". mathworld.wolfram.com (英語).
• オンライン整数列大辞典の数列 A096151