Рис. 167. Приближение окружности многоугольниками
правильного
-угольника, то имеют место неравенства
Более того, когда
возрастает, обе последовательности
приближаются монотонно к
и на каждом этапе мы получаем все меньшую ошибку в том приближении, которое
дают для числа
На стр. 163 мы получили выражение
содержащее
перекрывающихся квадратных корней. Эту формулу можно использовать для подсчета приближенного значения числа
.
Упражнения.
1) Найти приближенное значение
даваемое числами
.
2) Найти формулу
3) С помощью этой формулы вычислить
Зная величины
установить границы, между которыми должно лежать число
Что же это за число
Неравенство
дает на это полный ответ при развертывании последовательности вложенных интервалов, которые стягиваются к точке
. И все же этот ответ оставляет желать еще чего-то, поскольку он ничего не говорит о природе
как действительного числа: является ли оно рациональным или иррациональным, алгебраическим или трансцендентным? Как мы уже указывали на стр. 144, число
есть число трансцендентное, а следовательно, и иррациональное. В противоположность доказательству для
доказательство иррациональности
впервые данное Ламбертом (1728-1777), в достаточной мере трудно и здесь приведено не будет. Однако ряд сведений о числе
мы можем сообщить. Имея в виду, что целые числа являются существенной основой математики, мы можем задать вопрос: связывается ли число
сколько-нибудь просто и непосредственно с целыми числами? Десятичное разложение числа
хотя и вычисленное с несколькими сотнями знаков, не обнаруживает ни малейшей закономерности. Это и не удивительно: ведь
и число 10 не имеют между собой ничего общего. Однако Эйлер (XVIII в.) и другие нашли изящные
выражения, связывающие число
с целыми числами с помощью бесконечных рядов и произведений. Простейшей из таких формул является, вероятно, следующая:
выражающая
как предел при возрастающем
сумм
Эту формулу мы выведем в главе VIII. Вот другой бесконечный ряд, который может служить для вычисления
И еще одно удивительное выражение для
было открыто английским математиком Джоном Уоллисом (1616-1703). Его формула утверждает следующее:
В сокращенном виде она часто записывается так:
(выражения, подобные стоящему в правой части, называются бесконечными произведениями).
Доказательство последних двух формул можно найти в любом достаточно полном курсе анализа.