掛谷宗一 ── 最小を問うたら、最小が消えた｜どんなに狭い庭でも、槍は一回転できる。仙台の大学食堂の雑談から生まれた問いが百年後に実解析の中心に届くまで。

掛谷宗一 ── 最小を問うたら、最小が消えた｜どんなに狭い庭でも、槍は一回転できる。仙台の大学食堂の雑談から生まれた問いが百年後に実解析の中心に届くまで。そして「武士は厠でも槍を振る」というあの有名な逸話は、本人のノートには一行も書かれていなかった。 1916年11月、仙台。東北帝国大学の食堂で、藤原松三郎が正三角形の内転形の模型を一同に見せていたとき、 総長の北条時敬が何気なく尋ねました。「この内転形が一回転するのに要する最小の場所は、この正三角形なのか」。 傍らにいた三十歳の助教授・掛谷宗一は、それを非常に興味ある質問だと感じ、その場で問いを一般化します。 掛谷が立てたのは凸図形に限った問いで、その意味では答えがありました ── 高さ1の正三角形です。 ところが同僚の窪田忠彦が「凸」という条件をひとつ外すと、デルトイドという一段小さい図形が現れます。 さらに1928年、ベシコビッチが階段に底が無いことを示しました ── 面積はいくらでも小さくでき、 最小そのものが存在しなくなります。ただし、長さ1の線分を連続的に回転させられる集合の面積は0にはできません。 下限は0、しかし0は達成されない ── 最小を問うたら、最小が消えたのです。 面積が消えた跡地に残った「太さ」の問いは掛谷予想と呼ばれ、2025年に三次元の場合の証明が公表されました。 2026年、ホン・ワンはこの仕事を含む業績でフィールズ賞を受けています。 数学者の人生と業績を追うドキュメンタリーチャンネル「数学史記」。 0:00 導入 1:07 食堂の一句から始まった問い 6:21 面積の階段を降りる ── そして底が消えた 16:20 語り継がれた由来と、ノートの由来 【注】 本編で「専門家の検証を経て受け入れられ」と述べましたが、三次元の掛谷予想の証明は2026年8月の時点でプレプリントのままで、査読付き雑誌への正式な掲載には至っていません。2026年1月の簡略化された証明も同様です。この長さの論文では珍しいことではありません。また、フィールズ賞を受けたのはホン・ワンで、共著者のジョシュア・ザールは受賞していません。 【BGM】 Angel's Dream - Aakash Gandhi（YouTube Audio Library） 【映像素材】 AI生成画像：Google Gemini 数式アニメーション：Manim Community（https://www.manim.community/） 【画像クレジット】 本編およびサムネイルの肖像画は、以下の肖像写真を参照として、AI（Google Gemini）で油絵風に生成しました（原著作者とライセンスは下記のとおり）。 Sōichi Kakeya, circa 1937.jpg by Unknown photographer, PUBLIC DOMAIN (https://creativecommons.org/publicdom...) via Wikimedia Commons https://commons.wikimedia.org/wiki/Fi... 【主要参考文献】 一学館『Math Story ── 掛谷問題 その1〜その5』(ichigaku.ac.jp) ── 本編の骨格をこの連載から得た。1916年(大正5年)11月23日の掛谷宗一の直筆研究ノート第10節『Smallest domain of revolution.』の原文全文 (藤原松三郎の模型、北条時敬の一句、掛谷による一般問題 D(X) の創作)、掛谷がノートの続きでルーローの三角形を挙げていること、藤原松三郎が高さ1の正三角形を指摘したこと、窪田忠彦がデルトイドに到達したこと、四つの図形の面積、Pál (1921) と Besicovitch (1928) の定理の言明、ペロンの木の構成法を、この連載から得た。掛谷のノートの原文はこの連載に引用されたものを通して参照しており、原本および複写には当たっていない。同連載は新井仁之の調査に基づく。 新井仁之『掛谷問題ショートコース ── WEB版現代数学入門講座 Vol.1』(araiweb.matrix.jp) ── 古典的な掛谷問題の言明が『凸図形の中で』という条件付きであること、掛谷・藤原・窪田の三者への帰属、デルトイドが半径比3対1のハイポサイクロイドであること、ベシコビッチの1919年と1928年の二つの定理の区別、掛谷集合の定義、デーヴィスの1971年の定理、そして掛谷予想を、この記事から得た。 新井仁之『掛谷問題のはじまり』数学セミナー 2002年8月号 pp.12-15 ── 掛谷の直筆研究ノートに基づいて掛谷問題誕生の経緯を初めて明らかにした論考であり、本編の1916年の場面はここに由来する。本文は未見のため、著者サイトに公開されている前書き部分によった。そこから、1999年に東京大学数理科学研究科の図書室で複写が見つかったこと、原本が統計数理研究所に所蔵されていること、大正5年11月23日から数日にわたる記述であること、武士が厠で槍を回転させる件が書かれていないこと、そして藤原松三郎・窪田忠彦・北条時敬が関与したことを得た。 ja.wikipedia『掛谷宗一』── 生没年月日、出生地、学歴と各年の経歴、受賞と栄典、掛谷の定理、統計数理研究所初代所長としての在任、および厠と槍の逸話とそれに対する疑義を、この記事から得た。2026年8月に取得した。 統計数理研究所『歴代所長の紹介（初代所長：掛谷 宗一）』(ism.ac.jp) ── 1944年6月から1947年1月の逝去まで初代所長を務め、創設期の基礎づくりに当たったこと、および東京帝国大学理学部での在任期間を、この記事から得た。 FMふくやま『郷土の偉人たち 第5回 掛谷宗一〔1886-1947〕』(fm777.co.jp) ── 出生地が現在の福山市坪生町であること、広島県第二中学校が現在の福山誠之館高校であること、在学中の特待生とモルレー博士記念数学賞、1912年に発表した代数方程式の根の限界の定理、業績が東北帝国大学時代に集中すること、そして『他人の模倣ではなく、常に自分で新しい問題を見つけ、自分の頭で考える』『ユーモアあふれる』という人物評と、着想が東北帝国大学の食堂であったことを、この記事から得た。 en.wikipedia『Kakeya set』── 掛谷針集合とベシコビッチ集合の区別、とくに面積が任意に小さい掛谷針集合と測度0のベシコビッチ集合は存在するが測度0の掛谷針集合は存在しないこと、ペロンの木の帰属、デーヴィスの定理、掛谷予想の定式化、および2025年の Wang–Zahl の結果を、この記事から得た。2026年8月に取得した。 Hong Wang, Joshua Zahl, 'Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions', arXiv:2502.17655 (2025年2月24日投稿) ── 本編ではアブストラクトの主定理『R³ のすべての掛谷集合はミンコフスキー次元とハウスドルフ次元がともに3である』と、2026年8月の時点で査読付き雑誌への掲載情報が付いていないことを参照した。127ページの本文には当たっていない。 University of British Columbia 数学科ニュース『Josh Zahl and Hong Wang Prove the Kakeya Conjecture in Three Dimensions』(2025年3月4日)、および New York University ニュース『Mathematicians Move the Needle on Decades-Old Problem』(2025年3月) ── 結果の位置づけと、それが掛谷の提起した問題に由来することを、この二つから得た。 Larry Guth, Hong Wang, Joshua Zahl, 'A streamlined proof of the Kakeya set conjecture in R^3', arXiv:2601.14411 (2026年1月20日投稿) ── 本編の「翌年には簡略化された証明も現れています」の根拠。アブストラクトと書誌情報のみを確認した。 plus.maths.org 'The Fields Medals 2026: Hong Wang' (2026年7月21日) および Quanta Magazine 'Hong Wang Wins 2026 Fields Medal, the Third Woman Ever' (2026年7月23日) ── 2026年の国際数学者会議でホン・ワンがフィールズ賞を受けたこと、対象が調和解析と幾何測度論の仕事であること、女性の受賞として史上三人目であること、所属が NYU クーラント研究所と IHÉS であることを、この二つから得た。 J. Pál, 'Ein Minimumproblem für Ovale', Mathematische Annalen 83 (1921), 311-320 ── 凸図形に限れば高さ1の正三角形が掛谷問題の解であることの原典。原論文には当たっておらず、上記の新井および一学館の連載を通して参照した。 R. O. Davies, 'Some remarks on the Kakeya problem', Proceedings of the Cambridge Philosophical Society 69 (1971), 417-421 (同誌は1975年・第77巻から Mathematical Proceedings of the Cambridge Philosophical Society に改称している) ── 平面の掛谷集合のハウスドルフ次元が2であることの原典。原論文には当たっておらず、上記の新井の記事を通して参照した。 #数学 #数学史 #数学者 #ドキュメンタリー #教育 #掛谷宗一 #掛谷問題 #掛谷予想 #ベシコビッチ #ペロンの木 #ハウスドルフ次元 #実解析