ソディの6球連鎖

ソディの6球連鎖（ソディのろくきゅうれんさ、英: Soddy's hexlet）とは、イギリスの化学者フレデリック・ソディが1936年に学術雑誌ネイチャーに発表した、幾何学の定理に現れるネックレス状の球の連鎖である。6球連鎖の定理の主張によれば、外球 O0に内接し、かつ互いに接している2つの核球 O1, O2があるとき、O0に内接し、O1, O2と外接し、隣同士が外接する球の連鎖数は常に6となる。また、連鎖する6球 S1, …, S6の半径をr1, …, r6とする場合、それらは 1 r 1 + 1 r 4 = 1 r 2 + 1 r 5 = 1 r 3 + 1 r 6 {\displaystyle {\frac {1}{r_{1}}}+{\frac {1}{r_{4}}}={\frac {1}{r_{2}}}+{\frac {1}{r_{5}}}={\frac {1}{r_{3}}}+{\frac {1}{r_{6}}}} という関係を満たす。なお、同じ内容がそれより110年以上も前の1822年に、日本の入澤新太郎博篤によって既に算額の問題として取り上げられ解かれた。この算額は相模国（神奈川県）の寒川神社に奉納され、現在は復元された算額が寒川神社の方徳資料館に保管されている。 定理の証明には、球に関して鏡像を取る反転を用いるのが易しい。一般に、中心 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球連鎖が得られる。つまり、1組の外球と核球2つに対して「ソディの6球連鎖」の条件を満たす解は無数に存在し、連鎖球の1つを任意に与えれば、残りの5球はただ一通りに定まる。 連鎖する6球の軌跡はデュパンのサイクライド（英語版）となる。デュパンのサイクライドは1803年にガスパール・モンジュの弟子シャルル・デュパン（英語版）が発表したものであり、ソディの6球連鎖定理より早い。 ソディの6球の中心は同一平面上にあり、その平面での断面は、シュタイナーの円鎖となる（ただしシュタイナーの円鎖は6以外でも作図可能）。 デュパンのサイクライド シュタイナーの円鎖 円や多角形、球や多面体が接する図形についての解析は、和算家の最も得意とする分野のひとつであり、西洋とは独立に、しばしば先に発見を成し遂げている。6球連鎖に関する算額は、文政5年（1822年）に、内田五観門下の入澤新太郎博篤によって相模国の寒川神社に奉納された。この算額は現存しないが、内田の算額集『古今算鑑』（天保3年（1832年））に収録されており、それを元に復元された算額が寒川神社方徳資料館に保管されている。 入澤の算額は3題から成り、そのひとつが6球連鎖に関するもので「外球の直径が30寸、核球の直径がそれぞれ10寸と6寸、連鎖球のひとつの直径が5寸であるとき、残りの球の直径を問う」というものであった。答は順に15寸、10寸、3寸7分5厘、2寸5分、2寸と11分の8寸となる。 解答では、球の直径を計算する方法が記されており、現代的な記法では以下のような公式が与えられていると見なせる。外球の直径を、核球、連鎖球の直径で割った比率をそれぞれa1, a2, c1, …, c6とする。c2, …, c6をa1, a2, c1で表したい。 K = 3 ( a 1 a 2 + a 2 c 1 + c 1 a 1 − ( a 1 + a 2 + c 1 + 1 2 ) 2 ) {\displaystyle 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)}}} とおくと、 c 2 = ( a 1 + a 2 + c 1 − 1 ) / 2 − K c 3 = ( 3 a 1 + 3 a 2 − c 1 − 3 ) / 2 − K c 4 = 2 a 1 + 2 a 2 − c 1 − 2 c 5 = ( 3 a 1 + 3 a 2 − c 1 − 3 ) / 2 + K c 6 = ( a 1 + a 2 + c 1 − 1 ) / 2 + K {\displaystyle {\begin{aligned}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{aligned}}} が成り立つ。これより、c1+c4=c2+c5=c3+c6であるから、再び冒頭の関係式を得る。 [脚注の使い方] ^ Soddy 1937 ^ a b Rothman & 深川 1998, Rothman & 深川 2010, 算額問題8の答え ^ 方徳資料館保管算額 ^ O'Connor & Robertson 2000 ^ 山司 & 西田 2009, p. 443. ^ 天野 1992, pp. 21–24. 天野宏『神奈川県算額集』（限定版）天野宏、1992年12月。  五輪教一「今月の表紙の図形／六球連鎖」『数学セミナー』通巻 706号(2020年8月号)、日本評論社、2020年7月、49頁。  山司勝紀・西田知己編 編『和算の事典』佐藤健一監修、朝倉書店、2009年11月。ISBN 978-4-254-11122-4。http://www.asakura.co.jp/books/isbn/978-4-254-11122-4/。  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。http://www.morikita.co.jp/shoshi/ISBN978-4-627-01761-0.html。  O'Connor, John J.; Robertson, Edmund F. (2000), “Pierre Charles François Dupin”, MacTutor History of Mathematics archive, http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Dupin.html  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, doi:10.1038/scientificamerican0598-84  Tony Rothman、深川英俊「算額に見る江戸時代の幾何学」『日経サイエンス』第28巻(7号)1998年7月号、日本経済新聞社、1998年5月25日、62-70頁。  Tony Rothman、深川英俊「算額に見る江戸時代の幾何学」『別冊日経サイエンス』第169号、日経サイエンス、2010年2月、92-100頁。  算額 デカルトの円定理 反転幾何学 Weisstein, Eric W. "Hexlet". mathworld.wolfram.com (英語). B. Allanson. “Animation of Soddy's hexlet”. 2010年2月28日閲覧。 - パラメータを入力して立体図でこの問題を検討することができる。 Japanese Temple Geometry - ウェイバックマシン（2019年3月19日アーカイブ分） - SANGAKU PROBLEM 0.の動画1は2つの核球が同径で外球の中央にある場合、動画2は偏心している場合、動画4は核球が同径で無い場合、動画3は核球が同径で無く偏心している場合の解。 寒川神社方徳資料館保管算額 - ウェイバックマシン（2016年8月26日アーカイブ分） 『古今算鑑（ここんさんかん）』 - 京都大学理学研究科数学教室 『古今算鑑（ここんさんかん）』 - デジタルアーカイブ福井 東北大学和算資料データベース - 「古今算鑑」で検索すると、原典の画像ファイルを見ることができる。