Квадратура круга

Когда, во второй половине XVII века, открыто было исчисление бесконечно малых, эта отрасль высшей математики нашла более быстрые и удобные приемы вычисления ? нежели те, которыми располагает элементарная математика. Открыты были весьма важные для теории соотношения между числом ? и другими математическими величинами. Наконец, выявлены были замечательные особенности числа ?, бросившие новый свет на старинную задачу о квадратуре круга.

До настоящего времени известно 707 цифр в числе ?. Они были вычислены в 1874 г. английским математиком Шенксом. Это «самое длинное ?» изображено под потолком зала математических развлечений Дома Занимательной Науки в Ленинграде, вдоль четырех стен помещения.

Завершение поисков

Каким бы путем ни приступать к задаче о квадратуре круга, она приводит к необходимости построить отрезок x , удовлетворяющий уравнению

х 2=?R 2;

иначе говоря, задача приводит к построению формулы

. Чтобы установить, выполнимо ли это построение, нужно выяснить, какие вообще выражения могут быть построены циркулем и линейкой. В высшей математике (в той ее отрасли, которая называется аналитической геометрией) доказывается, что циркулем и линейкой могут быть построены только такие выражения, в состав которых входят действия сложения, вычитания, умножения, деления, извлечения квадратного корня и никакие другие; при этом число перечисленных операций не должно быть бесконечно велико. Тем же условиям должны удовлетворять и числа, входящие в формулу: если они но даны прямо, они должны получаться в результате только перечисленных действий.

Так, например, следующая формула

может быть построена (это — сторона правильного описанного десятиугольника). Напротив, простая на вид формула удвоения куба

не может быть построена.

Обращаясь к формуле квадратуры круга,

, мы видим, что она заключает только действия умножения и извлечения квадратного корня, т. е. операции, позволяющие выполнить построение. Однако, в формулу входит число ?, и надо установить, допускает ли формула, содержащая это число, выполнение построения. Немецкий математик Ламберт доказал в 1766 г., что число ? принадлежит к роду чисел, называемых несоизмеримыми (или иррациональными); такие числа не могут быть точно выражены конечным рядом цифр. Среди не-математиков распространено мнение, что неразрешимость квадратуры круга обусловлена несоизмеримостью числа ?, так как нельзя будто бы построить число, выражающееся бесконечным рядом цифр. Это обоснование неправильно. Существует такой род несоизмеримых чисел, которые могут быть построены. В качестве примеров укажем числа