Гаусс, записывая доказательства, опустил немало подробностей, и математики не могли просто так поверить ему на слово. В 1837 г. французский математик Пьер Ванцель опубликовал полное доказательство гауссовой характеризации пригодных для геометрического построения правильных многоугольников и сделал вывод о невозможности трисекции произвольного угла при помощи линейки и циркуля. Он доказал также невозможность построения куба объемом вдвое больше данного (т. е. доказал неразрешимость еще одной древнегреческой задачи, известной как «задача об удвоении куба»).

Причина того, что задачи трисекции угла и удвоения куба оказались неразрешимыми, заключается в том, что задействованные в них длины фигурируют в неприводимых кубических уравнениях — уравнениях третьей степени. Раз 3 не является степенью двойки, это все решает. Однако этот метод, на первый взгляд, не работает для квадратуры круга, причем по достаточно интересным причинам. Круг единичного радиуса имеет площадь π, а сторона квадрата той же площади равна √π. Геометрические построения для квадратного корня существуют, как и построения для квадратов, так что квадратура круга, по существу, сводится к тому, чтобы взять отрезок длиной 1 и построить отрезок длиной π. Конечно, если π является решением неприводимого кубического уравнения — или любого другого неприводимого уравнения, чья степень не является степенью двойки, — то метод Ванцеля доказал бы, что квадратура круга невозможна.

Однако никто не слышал ни об одном алгебраическом уравнении, решением которого было бы в точности π, не говоря уж об уравнении степени, не являющейся степенью двойки. Приближенное значение 22/7 удовлетворяет уравнению 7x − 22 = 0, но на самом деле эта дробь немного больше π, так что это никак нам не поможет. Если бы можно было доказать, что такого уравнения не существует, — а многие подозревали, что так оно и есть, поскольку если бы уравнение существовало, то его бы нашли, — то из этого следовала бы и невозможность решения задачи квадратуры круга. К несчастью, никто не мог доказать, что такого уравнения не существует. Алгебраический статус π пребывал в состоянии неопределенности. В конце концов этот вопрос все же удалось решить, но при помощи методов, далеко выходящих за пределы не только геометрии, но и алгебры.

Чтобы разобраться в существе дела, нам придется начать с более простой концепции. В математике существует важное различие между числами, которые можно точно выразить при помощи дроби p/q, где p и q — целые числа, и числами, которые невозможно выразить таким образом. Первые называются рациональными (поскольку представляют собой отношение, т. е. ratio, целых чисел), а последние — иррациональными. Так, приближенное значение π(22/7) рационально. Существуют и более точные приближения; знаменитое 355/113 соответствует π до шестого знака после запятой. Однако известно, что никакая дробь не может выразить π точно; число π иррационально. Это свойство, о котором математики давно догадывались, первым доказал швейцарский математик Иоганн Генрих Ламберт в 1768 г. Его доказательство основано на хитрой формуле для функции тангенса в тригонометрии, где тангенс выражается в виде цепной (непрерывной) дроби — бесконечного множества обычных дробей. В 1873 г. Шарль Эрмит нашел более простое доказательство, основанное на аналитических формулах, которое доказало иррациональность не только π, но и π².