ケプラーの法則
ケプラーの法則（ケプラーのほうそく）は、1609年から約1619年にかけてヨハネス・ケプラーによって発表された惑星の運動に関する法則である。
ヨハネス・ケプラー
ケプラーはまた、球を敷き詰めたときに、面心立方格子が最密になると予想した。
この予想はケプラー予想と呼ばれ、規則正しく敷き詰める場合に関してはカール・フリードリヒ・ガウスによって早々に証明されたが、
不規則な敷き詰め方に関しては、400年もの間未解決の問題であった。ケプラー予想は1998年に、トーマス・C・ヘイルズによって、コンピュータを駆使して解決された。