■五角形による平面充填(その1)

 正五角形では平面充填できないが,一般の凸五角形では平面充填できるものが14種類知られている.たとえば,正六角形充填において,正六角形を3本の線で五角形に3等分したもの,・・・,14番目のものは1985年に発見された.1985年の時点で、凸五角形では平面を敷き詰める方法は14通り見つかっていたのであるが、その後は静寂が訪れた。これらは凸五角形の各辺と角度の特定の関係に依存して,14タイプに分類されているが,もし15番目が発見されれば平面充填法の世界を震撼させるだろう・・・.

 その可能性は除外できないと思われるのであるが,2015年に、実際に15番目の五角形平面充填が見つかった.ワシントン大学のマン教授たちは巧妙なコードを作製してコンピュータ探索を行ったのである。

===================================

2017年にはさらに多くのコーディングが行われ、フランスの数学者ミカエル・ラオが複数の五角形が頂点で接する371通りの方法を見つけて、そのすべてをチェック 、そして敷き詰められる方法が15通りしかないことを確認したのである。ラオの証明は正しいと信じられている。

===================================