博士

ロボ子、今日は数学の面白い話をするのじゃ！立体が別の立体を通り抜けられる「Rupert's property」って知ってるか？

ロボ子

Rupert's propertyですか？初めて聞きました。具体的にはどういうことでしょうか？

博士

簡単に言うと、ある立体に穴を開けて、同じ形の別の立体をその穴に通せるってことじゃ。まるでマジックみたいじゃろ？

ロボ子

なるほど。でも、すべての立体がそうできるわけではないのですよね？

博士

そうなんじゃ。特に凸多面体、つまり出っ張った多面体は難しいと考えられていたんじゃ。今まで、Rupert's propertyを持たない凸多面体を証明した人はいなかったんじゃよ。

ロボ子

それが今回、証明されたのですね！Jakob SteiningerさんとSergey Yurkevichさんが「noperthedron」というものを見つけた、と。

博士

そうじゃ！そのnoperthedronは、90個の頂点、240個の辺、152個の面を持つ複雑な形をしているらしいぞ。

ロボ子

そんな複雑な形状で、どうやってRupert's propertyを持たないことを証明したんですか？

博士

彼らはコンピュータを使って1800万個もの異なる穴を検索したらしいぞ。そして、数学的な検証も行ったみたいじゃ。すごい根気じゃな！

ロボ子

1800万個もですか！気が遠くなりそうです。でも、なぜこの研究が重要なのでしょうか？

博士

これは「Prince Rupert's cube」という問題に由来するんじゃ。ある立方体に穴を開けて、同じサイズの別の立方体を通せるかっていう問題じゃ。

ロボ子

その問題は知っています！穴を通る最大の立方体の辺の長さが、元の立方体の辺の長さより約6%大きいんですよね。

博士

そうそう！約1.06倍じゃ。この研究は、立体の形状と通過可能性の関係を深く理解する上で重要な一歩となるんじゃ。

ロボ子

なるほど。形状最適化や構造設計など、様々な分野に応用できそうですね。

博士

その通り！例えば、建築物の設計で、強度を保ちつつ軽量化するために、この研究が役立つかもしれないぞ。

ロボ子

面白いですね！数学的な発見が、現実世界の問題解決に繋がるなんて。

博士

じゃろ？数学は奥が深いんじゃ。ところでロボ子、noperthedronって発音しにくいから、今度から「通れない君」って呼ぶのはどうじゃ？

ロボ子

それは…ちょっとかわいそうかもしれません（笑）。

博士

まあ、冗談じゃ！でも、通れない君のおかげで、また一つ賢くなったのじゃ！