ソディの6球連鎖
ソディの6球連鎖（ソディのろくきゅうれんさ、英: Soddy's hexlet）とは、イギリスの化学者フレデリック・ソディが1937年に学術雑誌ネイチャーに発表した[1]、幾何学の定理に現れるネックレス状の球の連鎖である。6球連鎖の定理の主張によれば、外球 O0に内接し、かつ互いに接している2つの核球 O1, O2があるとき、O0に内接し、O1, O2と外接し、隣同士が外接する球の連鎖数は常に6となる。また、連鎖する6球 S1, …, S6の半径をr1, …, r6とする場合、それらは
- [math]\frac{1}{r_1}+\frac{1}{r_4}=\frac{1}{r_2}+\frac{1}{r_5}=\frac{1}{r_3}+\frac{1}{r_6}[/math]
という関係を満たす[2]。なお、同じ内容がそれより110年以上も前の1822年に日本の算額の問題として取り上げられ、解かれている[2]。
定理の証明
反転の性質
定理の証明には、球に関して鏡像を取る反転を用いるのが易しい。一般に、中心 O、半径 Rの球に関する反転では、点 Pの写る先は、半直線 OP上の点であって、OP×OP'=R2を満たす点 P'である。この定義では、球の中心 Oの写る先が決められないが、便宜上、仮想的な無限遠点とOが互いに写りあうものとすれば、反転は1対1の写像であり、逆写像は自分自身である。
6球連鎖の定理を示すには、いくつかの反転の性質に着目しておく必要がある。まず、球は反転によってやはり球となる。ただし、Oを通る球は平面となる。反転は1対1の写像であるから、接する2球は反転しても接している。ただし、Oで接する2球は、反転すると平行な2平面となる。平面は「半径が無限大の球」であり、平行な2平面は「無限遠点で接する」と解釈すれば、平面を特別扱いする必要はない。
反転による証明
2つの核球 O1とO2の接点を中心とする適当な半径（例えば1）の球に関する反転を考える。まず、2つの核球は平行な2平面 O'1, O'2となる（図2では緑色）。外球 O0および連鎖球 S1, …, Sxは、O1, O2の両方と接するから、反転するとO'1, O'2に接し、2平面間の距離を直径とする同一半径の球 O'0, S'1, …, S'xとなる。互いに接する関係を考慮すると、O0'（図2の青球）を中心とし、S1', …, Sx'に周りを囲まれた状態となることが分かる。これよりxは6しかあり得ず、元の連鎖数も6ということになる。また、反転によって球の半径がどのように変化するかを調べることにより、冒頭の関係式も示せる。
6球連鎖の性質
この証明により、6球連鎖を具体的に得る方法も分かる。反転世界における6球を与え、それを反転させれば元の世界の6球連鎖を得る。反転世界における6球の配置により、異なる6球連鎖が得られる。つまり、1組の外球と核球2つに対して「ソディの6球連鎖」の条件を満たす解は無数に存在し、連鎖球の1つを任意に与えれば、残りの5球はただ一通りに定まる。
連鎖する6球の軌跡はデュパンのサイクライドとなる。デュパンのサイクライドは1803年にガスパール・モンジュの弟子シャルル・デュパンが発表したものであり[3]、ソディの6球連鎖定理より早い。
ソディの6球の中心は同一平面上にあり、その平面での断面は、シュタイナーの円鎖となる（ただしシュタイナーの円鎖は6以外でも作図可能）。
- Cyclide.png
デュパンのサイクライド
- Steiner chain animation opt.gif
シュタイナーの円鎖
算額
円や多角形、球や多面体が接する図形についての解析は、和算家の最も得意とする分野のひとつであり、西洋とは独立に、しばしば先に発見を成し遂げている。6球連鎖に関する算額は、文政5年（1822年）に、内田五観門下の入澤新太郎博篤によって相模国の寒川神社に奉納された。この算額は現存しないが、内田の算額集『古今算鑑』（天保3年（1832年））に収録されており、それを元に復元された算額が寒川神社方徳資料館に保管されている[4]。
入澤の算額は3題から成り、そのひとつが6球連鎖に関するもので「外球の直径が30寸、核球の直径がそれぞれ10寸と6寸、連鎖球のひとつの直径が5寸であるとき、残りの球の直径を問う」というものであった。答は順に15寸、10寸、3寸7分5厘、2寸5分、2寸と11分の8寸となる[5]。
解答では、球の直径を計算する方法が記されており、現代的な記法では以下のような公式が与えられていると見なせる。外球の直径を、核球、連鎖球の直径で割った比率をそれぞれa1, a2, c1, …, c6とする。c2, …, c6をa1, a2, c1で表したい。
- [math]K=\sqrt{3\left( a_1 a_2+a_2 c_1+c_1 a_1- \left( \frac{a_1+a_2+c_1+1}{2} \right)^2 \right)}[/math]
とおくと、
- [math]\begin{align} c_2&=(a_1+a_2+c_1-1)/2-K \\ c_3&=(3a_1+3a_2-c_1-3)/2-K \\ c_4&=2a_1+2a_2-c_1-2 \\ c_5&=(3a_1+3a_2-c_1-3)/2+K \\ c_6&=(a_1+a_2+c_1-1)/2+K \end{align} [/math]
が成り立つ。これより、c1+c4=c2+c5=c3+c6であるから、再び冒頭の関係式を得る。
脚注
- ↑ Soddy 1937
- ↑ 2.0 2.1 日経サイエンス 算額問題8の答え
- ↑ O'Connor & Robertson 2000
- ↑ 『和算の事典』p. 443.
- ↑ 『神奈川県算額集』p. 21-24.
参考文献
- Coxeter, HSM (1952), “Interlocked rings of spheres”, Scripta Mathematica 18: 113–121
- Fukagawa, H; Rothman, T (2008), Sacred Mathematics: Japanese Temple Geometry, Princeton University Press, ISBN 978-0-691-12745-3
- 深川英俊・トニー・ロスマン 『聖なる数学：算額 世界が注目する江戸文化としての和算』 森北出版、2010年4月。ISBN 978-4-627-01761-0。
- O'Connor, John J.; Robertson, Edmund F. (2000), “Pierre Charles François Dupin”, MacTutor History of Mathematics archive
- Ogilvy, C.S. (1990), Excursions in Geometry, Dover, ISBN 9780486265308
- Soddy, Frederick (1937), “The bowl of integers and the hexlet”, Nature (London) 139: 77–79, doi:10.1038/139077a0.
- Rothman, T (1998), “Japanese Temple Geometry”, Scientific American 278: 85–91
- 『和算の事典』 山司勝紀・西田知己編、佐藤健一監修、朝倉書店、2009年11月。ISBN 978-4-254-11122-4。
- 天野宏 『神奈川県算額集』 天野宏、1992年12月、限定版。
関連項目
外部リンク
- Weisstein, Eric W. “Hexlet”. MathWorld（英語）. Template:Cite webの呼び出しエラー：引数 accessdate は必須です。
- B. Allanson. “Animation of Soddy's hexlet”. . 2010-2-28閲覧. - パラメータを入力して立体図でこの問題を検討することができる。
- Japanese Temple Geometry - SANGAKU PROBLEM 0.の動画1は2つの核球が同径で外球の中央にある場合、動画2は偏心している場合、動画4は核球が同径で無い場合、動画3は核球が同径で無く偏心している場合の解。
- 寒川神社方徳資料館保管算額
- 東北大学和算資料データベース - 「古今算鑑」で検索すると、原典の画像ファイルを見ることができる。