ケプラー予想
平面を等しい面積の区画に分けるとき、境界の長さが最小になるのは六方格子タイリングである。
証明はヘイルズによる。トゥエの定理と関連性がある。