20 лет на то, чтобы доказать собственное доказательство

Не секрет, что современная математика далеко ушла от используемых каждый день фактов и понятий. Математика - наука точная, именно поэтому она требует доказательства даже самых распространенных и широко применяемых понятий. Например, откуда мы знаем, что во вновь придуманном пространстве прямая действительно является прямой?

Можно привести огромное количество элементарных фактов, которые могли бы широко использоваться, если бы были легко доказуемыми. Один из самых ярких фактов - это задача Кеплера об упаковки сфер. Как утверждал великий ученый прошлого, самая плотная упаковка сфер - это пирамида (грубо говоря, если мы складываем апельсины, то наибольшее число апельсинов мы сможем сложить в пирамиду, нежели в куб такого же объема).

К сожалению, ученый умер так и не доказав своего утверждения. Подробное математическое доказательство этого факта заняло целых 400 лет, и было наконец-то представлено Томасом К. Хальзом на суд широкой общественности. Представление состоялось 19 февраля на ежегодной встрече American Association for the Advancement of Science (AAAS).