Рассмотрим доказательство этой формулы из обычного учебника по геометрии за 9 класс.

В двух словах план доказательства таков: вписываем в окружность правильные многоугольники (или описываем их вокруг окружности — на результат это не повлияет). При увеличении количества сторон периметр многоугольника будет все меньше отличаться от длины окружности.

Доказываем, что длина окружности пропорциональна радиусу. Осталось найти коэффициент пропорциональности, современное обозначение для которого ввел Эйлер: π — это первая буква в греческом слове περιφερεια — периферия, что означает “окружность”.

В давние времена, более двух тысяч лет назад, Архимед посчитал периметр 96-угольника, поделил на диаметр вписанной окружности и получил известное приближение
, которым мы с успехом пользуемся в бытовых вычислениях и по сей день. Впрочем, в Древнем Египте за 1500 лет до Архимеда использовали хорошее приближение для числа пи:

Математический папирус Ахмеса (также известен как папирус Ринда по имени его первого владельца):

Это древнеегипетское учебное руководство по арифметике и геометрии (1985—1795 гг. до н. э.), переписанное писцом по имени Ахмес на свиток папируса высотой 32 см и шириной более 5 метров. Папирус Ахмеса включает условия и решения 84 задач и является наиболее полным египетским задачником, дошедшим до наших дней. Папирус Ахмеса показывает, что древние египтяне с лёгкостью справлялись с измерением площади треугольника и относительно точно определяли приближение числа пи, тогда как на всём Древнем Ближнем Востоке оно считалось равным трём. При этом древние египтяне ещё не знали таблицу умножения и все вычисления были крайне громоздкими.

А почему, собственно, не измерить π с помощью веревочки, линейки или прибора поточнее? Древний грек нам гордо ответил бы: «Возиться с приборами — это дело раба, привычного к ручному труду, а свободному человеку приличествует полагаться лишь на силу ума». Вот как, оказывается, рабовладельческий образ мысли проявляется даже в такой отвлеченной науке, как математика.

Школьный учебник — не научная монография, поэтому доказательство не очень строгое. Пропущен важный шаг. Для того, чтобы показать это, сохраним общую идею, но немного изменим процедуру — опишем квадрат вокруг окружности. Для определенности возьмем окружность диаметра 1, тогда периметр квадрата 4. Теперь удалим “лишние” уголки квадрата, сделав тем самым линию ближе к окружности:

Периметр полученной фигуры по прежнему равен 4.

Продолжая убирать уголки, получим зубчатую линию, длина которой равна 4, и которая с каждым шагом приближается к окружности, а значит, π равно 4:1 = 4. Архимед ошибался?

Кажется, что фигура, которая получается из квадрата, будет в точности повторять круг: ведь все отрезки, из которых состоит фигура, будут находиться сколь угодно близко к окружности. Несмотря на это, фигура кругом никогда не станет, потому что сколь малыми бы ни были её элементы, они представляют собой «угловатую» ломаную линию, периметр которой не меняется.

Данное «доказательство» представляет собой софизм, который заставляет внимательнее отнестись и к доказательству из учебника.

Еще один пример. Длина кривой не обязана иметь предел: увеличивая частоту колебаний, можно получить кривую сколь угодно большой длины.

Итак, предельный переход в доказательстве должен быть обоснован, так как далеко не всегда геометрическая “близость” двух кривых в пределе означает равенство их длин.

Обратимся к учебникам 60-х годов прошлого века, по которым учились нынешние академики и профессора.

Легендарный учебник по геометрии А.П.Киселева, 8 — 9 класс, Киев, 1966 год:

Раздел о вычислении длины окружности начинается с введения нового понятия — понятия о пределе, “имеющего исключительно большое значение во всей математике”.

Как получилось, что этот параграф убрали из программы школьного курса? уму не постижимо. Сумма бесконечной геометрической прогрессии — есть, начала анализа и понятие производной — есть, а операции предельного перехода нет: сократили. Товарищи-составители школьной программы, верните, пожалуйста, эту тему в наши учебники: предельный переход — одна из основных математических операций, такая же как сложение, умножение, вычитание, деление и возведение в степень.

Всего пять страниц в учебнике Киселева занимает параграф о том, что такое предел, почему не всегда этот предел существует и доказательство теоремы о том, что монотонно возрастающая и ограниченная сверху последовательность имеет определенный предел… и разрозненные главы обретают целостность, вывод формулы длины окружности из карточного домика, готового в любую секунду рухнуть под пытливым взглядом ученика, превращается в строгое доказательство.

Следует отметить, что сейчас учебники в старших классах многоуровневые, и включают материал для обычных детей и для тех, кто занимается предметом углубленно. Упомяните о теореме Вейерштрасса хотя бы в профильном учебнике, чтобы не выдавать за доказательство то, что доказательством не является.

Ссылки по теме:

• А. П. Киселев, Н. Рыбкин. Геометрия. Учебник и сборник задач для 8 — 9 класса, издание пятое. Под редакцией проф. Н. А. Глаголева. Киев, 1966 г. — с. 80 — 93
• А. П. Киселев. Геометрия (планиметрия, стереометрия), Москва, 2004 г — переиздание учебника, вышедшего в 1892 г — с. 177 — 190
• А. Г. Мерзляк и др. Геометрия, учебник для 9-го класса, Харьков, 2009 г (не полный) — с. 63 — 67
• Ю. Н. Макарычев, Н. Г. Миндюк. Дополнительные главы к школьному учебнику, Москва, 1997 г — с. 181 — 196
• Е. С. Кочетков, Е. С. Кочеткова. Алгебра и элементарные функции 9 класс, Москва, 1969 г — с. 289 — 316 — очень понятное и подробное изложение, закономерно перетекающее в рассмотрение арифметической и геометрической прогрессий.
• Папирус Ахмеса — Википедия