Законопроект обещал решить задачу, которую нельзя решить циркулем и линейкой
В 1897 году в законодательное собрание штата Индиана попал проект, связанный с попыткой «квадратуры круга» — построения квадрата той же площади, что и заданный круг, с помощью циркуля и линейки. Автор проекта, врач и математик-любитель Эдвард Гудвин, утверждал, что нашёл нужный способ. Законопроект должен был признать его выводы и разрешить преподавать их в штате.
Число 3,2 действительно фигурировало в проекте как значение π — отношения длины окружности к её диаметру. Но формулировки документа были запутанными: в нём встречались и другие значения, а 3,2 было лишь частью предполагаемого доказательства. Поэтому история о том, что законодатели просто постановили «π равно 3,2», — удобное, но упрощённое изложение.
Как вмешательство математика остановило проект
Законопроект прошёл Палату представителей Индианы и дошёл до сената штата. Там на него обратил внимание профессор математики Кларенс Уолдо, приехавший в законодательное собрание по другим делам. Он объяснил сенаторам, что утверждения Гудвина не выдерживают проверки. После этого сенат отложил проект, и законом он не стал.
Причина была не в том, что голосование не может менять математические определения: власти могут договориться, например, об единицах измерения. Но закон не способен сделать верным неверное доказательство. Кроме того, к концу XIX века было известно, что точную квадратуру круга циркулем и линейкой выполнить невозможно: π — не алгебраическое число, а такое построение требует числа, которое можно получить алгебраическим способом.
Эта история запомнилась не потому, что Индиана официально изменила геометрию, а потому, что законопроект почти прошёл без проверки. Чтобы остановить его, понадобился не новый закон, а человек, который заметил математическую ошибку и сумел объяснить её законодателям.
