21日目の記事はみずすまし(nosiika)さんの「正方形+正方形=正方形の話」です。
中学生のときに見つけたピタゴラス数(3,4,5)(5,12,13)(7,24,25)(9,40,41)…にあんな性質があったなんて…!
イントロダクション
今回、私が紹介するのは「
この問題、知らない方はちょっと考えてみてください。
名前にあるとおり、日本の数学者、掛谷宗一(1886 - 1947)が1916年の11月にこの問題を考え([2]より)、1917年に提出した問題です。そして、2016年12月にこの事実を知った私はこう思ったのです。
うおお!100周年だぁ!!
書きたいなぁと思った問題が100周年だなんて、こんな偶然あるんですね。掛谷問題に関する解説は解析・応用解析オープンレクチャーズ 企画・制作 新井仁之をはじめとする多くの記事がありますが、(勝手に)100周年記念を祝いたいので、他のサイトでは見れないほどのGIF動画盛りだくさんで解説していきます!記事の後半では「ルベーグ測度」「論法による表現」「ハウスドルフ次元」などといった少々難しい言葉が出てきますが、適当に読み飛ばして画像だけでも見て楽しんで頂けたらと思います。
いろんな図形を考えてみる
この問題をみて最初に思いつく図形は「直径1の円」ですね。
\begin{equation*}
\dfrac{\pi}{4}\approx 0.7854
\end{equation*}です(半径1/2だからね)。これが最小のような気もしますが、もっと効率のいい回転を考えればさらに小さくできそうな気もします。
ここで、掛谷先生が閃きます。「ルーローの三角形」が面積最小ではないか?と。
\begin{equation*}
\dfrac{\pi-\sqrt{3}}{2} \approx 0.7048
\end{equation*}であり、直径1の円の面積よりも小さくなりました。
しかし、掛谷先生の同僚の藤原松三郎(1881 - 1946)と窪田忠彦(1885 - 1952)が、より面積が小さい図形があることを指摘します。それは「高さ1の正三角形」です。
\begin{equation*}
\dfrac{1}{\sqrt{3}} \approx 0.5774
\end{equation*}
であり、確かに小さいです。ここまでが1916年11月の話のようです。そして、その5年後の1921年、ハンガリーの数学者J. Pál(1881 – 1946)が「凸集合*2に限れば、高さ1の正三角形が面積最小である」ことを証明しました。
これでひとまず解決したのですが、凸という条件を外したとき、もっと面積を小さくできるのか?という疑問も出てきますね。実はできるんです。窪田先生が「デルトイド」という内サイクロイドの内部領域でも線分を一回転できることを発見しました。
面積の求め方は割愛しますが、面積は
\begin{equation*}
\dfrac{\pi}{8} \approx 0.3853
\end{equation*}
です。ついに直径1の円の面積の半分まで小さくなっちゃいました。
これが最小なのでしょうか。いや、もしかしたらもっと面積を小さくできるかもしれない・・・!そう思ったコロちゃんぬ(1990 -)が100年の時を経て挑戦します。
長さ1の線分の端点を半径Rの円周上に置いて走らせたときの図形を考えます。そしてとすれば面積がいくらでも小さくなるだろうと思いました。早速面積を求めます。
\begin{align*}
\pi R^2 - \pi r^2 &= \pi R^2 - \pi\left(R^2-\frac{1}{4}\right)\\
&= \dfrac{\pi}{4}.
\end{align*}( ´・ω・`)・・・あれ??Rが消えちゃった。
どんなにビヨンビヨン伸ばしても面積変わらないのね。これはこれで面白い結果(今考えると当たり前)ですが、「直径1の円」と同じ面積なので振り出しに戻ってしまいました。少し落ち込んだので、ここまでに紹介した図形を鑑賞して、心を癒すことにします。
なんか、洗濯機の中を無心で眺めている気分。あれ好きなんです。
なお、これらの図形はこちらのリンクでも遊べます。
Kakeya problem | Desmos
ドラッグして動かすこともできますので、重ねて面積を比較してみてください。
ベシコヴィッチによる結果
一方その頃、ロシアの数学者A. S. Besicovitch(ベシコヴィッチ, 1891 – 1970)は掛谷問題とは無関係に次の定理を証明しました。
(このような集合をBesicovitch集合 (掛谷集合)という)
用語をざっくり説明します。「2次元ルベーグ測度」というのは2次元空間内の集合の「面積」を測る関数のことです*3。つまり、\[m_2(K)=「図形Kの面積」\]を表します。これで定理が読めるようになったと思います。つまり、Besicovitchは任意の角度の長さ1の線分を含んでいながら、面積ゼロの集合を構成したのです!マジかよ!直感に反しすぎ!
ただ、注意してほしいのは「連続的に1回転できる」とは言っていないので、Besicovitch集合が掛谷問題の解にはなっていません。ですが、ちょっと工夫することで掛谷問題が解決できることを後にBesicovitchが証明しました。
要するに、Besicovitchは長さ1の線分を連続的に1回転できる図形の面積は、(0にはできないが)いくらでも小さく作れることを証明したのです!マジかよ!
長さ1の線分を1回転できて面積ほぼ0の図形・・・一体どんな図形なのか気になりますよね。それではご覧ください!こちらです!
( ´・ω・`)・・・??
「ちょっと意味がわからない・・・」「一体どうやって回すんだ・・・?」という反応がほとんどだと思います。この図形は「ベシコヴィッチモンスター」と呼ばれる部分と「モンスターの爪」という部分でできていますので順番に説明しますね。
ベシコヴィッチモンスター
ベシコヴィッチモンスター(ペロンの木とも言われます)は、定理1および定理2の証明に使う図形であり、先ほどの図のこの部分です。
ベシコヴィッチモンスターは、高さ1の正三角形ABCから作ることができます。まず、底辺を等分に分割します。とりあえず、等分で考えます。(画像は[5]より引用・編集)
として、左から偶数番目をだけ平行移動します。すると個(図では4個)の図形ができます。
次も同じように左から偶数番目の図形を平行移動します。今度は個(図では2個)の図形ができます。
これを繰り返して1個の図形になるまで繰り返します。
この図形は三角形を次々と重ねて構成されているので、直感的に面積が小さくなっていることが分かります。直感的説明では許せない方のために一応書きますが、この操作によってできた図形をとおくと、
\begin{align*}
m_2(\Psi_n(\triangle{\rm ABC})) &\le\left(\alpha^{2n}+2(1-\alpha)^2\sum_{k=0}^{n-1}\alpha^{2k}\right)m_2(\triangle{\rm ABC})\\
&\le\left(\alpha^{2n}+2(1-\alpha)^2\sum_{k=0}^{\infty}\alpha^{2k}\right)m_2(\triangle{\rm ABC})\\
&=\dfrac{1}{\sqrt{3}}\left(\alpha^{2n}+2(1-\alpha)^2\frac{1}{1-\alpha^2}\right)\\
&=\dfrac{1}{\sqrt{3}}\left(\alpha^{2n}+\frac{2(1-\alpha)}{1+\alpha}\right)\\
&<\dfrac{1}{\sqrt{3}}\left(\alpha^{2n}+2(1-\alpha)\right)
\end{align*}という不等式が得られます(一行目の不等式がポイントなのですが、は土台の正三角形の面積を表し、の部分はモンスターの腕の面積を上手く評価しています)。よって非常に1に近いをとり、死ぬほど大きい自然数を選ぶことでを小さくできることが分かります。詳しい解説は、新井仁之[3]の13章を参照してください。また、ミュンヘン大学(LMU)の卒論と思われる文献(英語)ですが
http://www.mathematik.uni-muenchen.de/~lerdos/Stud/furtner.pdf
の1. Kakeya setsのセクションで読むこともできます。
また、新井仁之[3]のアニメーション集の中のペロンの木 2 (Perron tree)で、分割をより細かくしたベシコヴィッチモンスターを見ることができます。
モンスターの爪(仮の名)
この部分には特に名前が無かったので「モンスターの爪」と私が今名付けました*4。この図形は、長さ1の線分を、いくらでも小さい面積で、連続的に平行移動させることができます。
例えば、下図の線分をオレンジの地点に移動させたいとしましょう。
素直に平行移動させると、長方形になりますが、いくらでも小さい面積でいけます。思いつくでしょうか?
正解はこちら。
~モンスターの爪~
線分を回してみよう
もう一度あの図形を見直してみましょう。
この図形はまず、めちゃくちゃ細かく分割して作った「ベシコヴィッチモンスター」を3つ用意して、ずつ回転させたものを合体させます。これは回転分の任意の角度を含んでいますが、ところどころ連続的に動かせません。そこで、「モンスターの爪」を生やすと平行線が生まれるので、これを角度を小さくしてつなげます(見やすいように平行線をつなげる線を点線で表しました)。厳密には扇形の部分も図に示すべきなのですが、心の目で見てください。
これが線分が回転できるカラクリとなっています。
では、実際にこの図形のなかで線分を回してみましょう。複雑すぎてGIFアニメーションは作れなかったので、代わりにこちらの動画をご覧ください。
Mathologer, The Kakeya needle problem (the squeegee approach)
(9:46ごろから12:00ごろまで)
いや~アメイジングだね。
定理2を厳密に証明
念のため、「ベシコヴィッチモンスター」と「モンスターの爪」を用いることで、定理2を厳密に証明します。-論法を習いたての大学生などには丁度いい指の運動になるのではないかと思います。
証明 任意にをとる.このとき,十分1に近いと十分大きいをとることでベシコヴィッチモンスターの面積を未満にできる.この図形をおよび回転したものの合併を取ると,その面積は未満である.この3つベシコヴィッチモンスターの腕の2辺を延長すると,組の平行線ができるので,その個数だけモンスターの爪を作れる.このとき,十分小さい角度をとることで,爪の面積の総和を未満にできる.このようにしてできた図形をとおくと,
\begin{equation*}
m_2(K)<\dfrac{\varepsilon}{2}+\dfrac{\varepsilon}{2}=\varepsilon
\end{equation*}
であり,これが求める集合である.■
掛谷問題のその後
驚きの結果で掛谷問題は解決されました。しかし、Besicovitchの考えた図形は面積を小さくしようとすればするほど、平行線の部分が長くなり、無駄に場所をとる図形になってしまいます。「もっと狭い領域内で作れないか?」「単連結*5のときはデルトイドが面積最小なのか?」という疑問も出てきます。この疑問については次のF. Cunningham[4]の結果が面白いです。
単連結のときは今のところ
\begin{equation*}
\dfrac{\pi}{108}\approx 0.02908
\end{equation*}の近くまで小さくでき、しかも半径1の円に収められるようですね。オープンアクセスだったので論文をざっくり読んでみましたが、こんな感じの図形を考えるそうです。
また、定理1のような性質をもつ集合は次元に関して一般化して定義できます。
このd次元掛谷集合に関しては、今でも未解決なことばかりです。例えば、次の未解決問題は興味深いです。
「次元」と聞くと、線は1次元、平面は2次元、立体は3次元のようなイメージをすると思います。複雑な図形を考えると、平面よりは厚みがあるけれど、立体ほどではない、言わば「2.5次元」と言いたくなるような図形が現れることがあります(フラクタル幾何という分野では特に)。「ハウスドルフ次元」はそのような図形に対してしっかり意味を与える概念だと思ってください(厳密な定義は毎度おなじみWikipediaでHausdorff dimension - Wikipedia)。
定理1で構成する(2次元)Besicovitch集合も複雑ですが、ハウスドルフ次元は2であることが分かっています(Roy O. Davies, 1971)。しかし、3次元以上になると途端に難しくなってしまうのです。なお掛谷予想は、解析学の多くの未解決問題と関連していること(「未解決の○○が証明できれば、掛谷予想は正しい」という主張)がJ. BourgainやT. Tao*7らによって証明されています。
まとめ
一番最初に考えた掛谷問題に戻り、その解答を条件別にまとめましょう。
図形の条件 | 結果 |
---|---|
凸集合 | 高さ1の正三角形(面積は) |
単連結 | 任意のに対して, よりも面積を小さくできる. |
一般の集合 | 任意のよりも面積を小さくできる. |
単連結の場合だけ部分的な解答です。単連結の場合もいくらでも面積を小さくできるという文言がどこかのサイトに書いてあったのですが、真偽は不明です。分かったら後で追記します。
おまけ
掛谷問題の着想に至った経緯に関する面白いエピソードがあります。
矢野健太郎「ゆかいな数学者たち」によると、矢野先生がこの問題の着想について尋ねたところ、
「武士たるもの、常に刀を帯びるものであり、便所に入る時でさえ刀を帯びていた。便所で応戦することになったとき、刀を振り回せるような便所の最低限の広さとは何か、ということから思いついた。」
と答えたそうです*8。
武士の皆様および掛谷先生、こちらの物件なんかはいかがでしょうか?
「キラキラ輝くクリスマスにぴったりの、オーバーワークの数学の話」
です。題名ですでに面白いからずるい。
あ、そういえばもうすぐクリスマス。ブログにもクリスマス感あふれる画像を貼っておきましょうか。
長文にお付き合いいただきありがとうございました。
thank Q for rEaDing.φ(・▽・ )
参考文献
[1] 新井仁之, 掛谷問題と実解析, 2002.(閲覧日: 2016年12月21日)
[2] 新井仁之, 解析・応用解析オープンレクチャーズ 企画・制作 新井仁之, 2009.(閲覧日: 2016年12月21日)
[3] 新井仁之, ルベーグ積分講義 ルベーグ積分と面積0の不思議な図形たち, 日本評論社, 2003.
[4] F. Cunningham, The Kakeya problem for simply connected and for star-shaped sets, The American Mathematical Monthly, 1971.
*1:後半で触れますが、解析学における未解決問題の方の掛谷問題(掛谷予想)と区別して、「掛谷針問題」とも呼ばれます。
*2:へこんでいない図形のことです。例えば、「●」「■」「▲」は凸ですが、「★」は凸ではないです。
*3:ちなみに、1次元ルベーグ測度は数直線内の集合の「長さ」を、3次元ルベーグ測度は3次元空間の集合の「体積」を測る関数を表します。厳密な定義は「測度論」や「ルベーグ積分論」の本を参照してください。
*4:「モンスターの指」と5分悩みました。
*5:穴の無い図形だと思ってくれればOKです。
*6:この主張のことを「掛谷問題」と呼ぶこともあります。
*7:そういえば今月、 テレンス・タオ ルベーグ積分入門 が出ましたね。