Сергей Бобров - ВОЛШЕБНЫЙ ДВУРОГ

— А все-таки есть одна вещь, которую мне очень трудно усвоить! — вздохнул Илюша. — Как это так можно чем-нибудь пренебрегать в математике?

— Чем можно пренебрегать, а чем нельзя, мы узнаем первоначально, разумеется, из опыта. Замечательный физик и мыслитель девятнадцатого века Больцман утверждал, рас—

— 319 —

суждая о вопросах, близких к тем, о которых мы сейчас говорим, что не логика решает в конце концов, правильна ли данная система размышлений или неправильна. Решает этот вопрос дело, то есть наша человеческая повседневная деятельность. «То, что ведет нас к верному делу, — говорил Больцман, — то и есть истина». И если бы мы с помощью данных рассуждений не могли достигнуть некоторых неоспоримых практических результатов, то никогда и не могли бы установить, как же, наконец, следует рассуждать — так или иначе. Если я путем такого процесса бесконечного уменьшения слагаемых кружков получаю правильное решение, то, следовательно, и способ мой правилен.

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

Конечно, затем нужно обсудить теоретически, обосновать и осмыслить все эти операции. Очевидно, что можно так обращаться с конусом только в том случае, если есть возможность убедиться, что этим путем я действительно могу приблизиться к некоторому пределу. И вот так-то, перерешав бесчисленное множество таких задач, люди и научились складывать бесконечно малые величины и узнали постепенно их свойства. Ничего нет удивительного в том, что человек, который никогда не имел дела с бесконечно малыми, не знает, как с ними обращаться. Что же касается понятия предела, то тут вот что можно сказать для выяснения. Ясно, что периметр вписанного многоугольника, если мы будем последовательно удваивать число его сторон, должен безгранично приближаться к длине окружности. Стать больше ее он не может, ибо ведь он вписанный, а не описанный, но, увеличиваясь, он все тесней и тесней приближается к ней по мере новых удвоений его сторон. Отсюда мы можем прийти к определению длины окружности как предела периметров вписанных многоугольников, если мы безгранично удваиваем число их сторон. С другой стороны, и периметр описанного многоугольника при бесконечном удвоении числа сторон также будет стремиться, уменьшаясь, к тому же пределу, то есть к длине окружности. Стать меньше ее он не может, так как он описанный, а не вписанный. Длина окружности лежит всегда между периметром описанного и периметром вписанного

— 320 —

многоугольников. Она меньше первого и больше второго. И оба стремятся к ней. Поэтому можно проверять одно приближенное решение при помощи другого и установить границы, между которыми лежит искомая величина, наподобие того, как Архимед установил, что правильное значение корня квадратного из трех лежит между двумя неправильными дробями.

265/153 и 1351/780

(если взять корень из трех с точностью до семи десятичных знаков, то есть до одной десятимиллионной, то первая дробь дает значение корня из трех с недостатком в 247 десятимиллионных, а вторая с избытком в пять десятимиллионных). Архимед, кстати, при вычислении длины окружности пользовался вписанным и описанным многоугольниками с девяноста шестью сторонами. Однако это касается уже самого вычисления, и там, разумеется, ты волен остановиться на таком приближении, которое кажется нужным. А выкладки дают способ вычисления. А какая нужна точность в каждом данном случае — это уже дело твое. Повторим теперь еще раз знакомый нам из древности пример убывающей геометрической прогрессии. Пусть ее первый член будет равен единице, а знаменатель — половине. Тогда предел, к которому стремится ее сумма, будет равен двум целым. И это очень легко заметить. Вот эта прогрессия:

Теперь запишем последовательные суммы:

— 321 —

Но

откуда ясно, что каждый следующий член этого ряда сумм будет все ближе и ближе к двойке.

— Да-да! — сказал Илюша. — Вот как раз именно так мы с Радиксом делили яблочко в Схолии Двенадцатой. Я сразу сейчас вспомнил.

— Вот именно. Однако самый процесс разыскания пределов отнюдь не так-то прост, и в нем очень легко ошибиться.

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

1 — 1 + 1 — 1 + 1 — 1 + 1 — 1 + 1 — …

Попробуем вычислить сумму такого ряда. Если я напишу ряд в таком виде:

S = (1 — 1) + (1 — 1) + (1 — 1) + (1 — 1) + (1 — 1) + …

то очевидно, что сумма его равняется нулю. Однако стоит его изобразить иначе:

S = 1 — (1 — 1) + (1 — 1) + (1 — 1) + (1 — 1) + (1 — 1) + …

и получится в сумме не нуль, а единица! Но я могу придумать еще одно начертание:

S = 1 — ( 1 — 1 + 1 — 1 + 1 -…),

и тогда сумма S будет, очевидно,

S = 1 — S .

— 322 —

Получающееся уравнение, как ты видишь, решить нетрудно, но в таком случае сумма равняется уже и не единице и не нулю, а просто половине! Из ряда подобных «вычислений» можно заключить, что о сумме такого ряда говорить в том же смысле, в каком мы говорим о сумме конечного числа членов, невозможно. Математики бились с этим рядом очень долго, пока не убедились наконец, что прежде чем говорить о сумме бесконечного ряда, надо сперва точно определить, что следует понимать под этими словами. В данном случае то общее определение, согласно которому мы под суммой бесконечного ряда

1 + 1/2 + 1/4 + 1/8 + 1/16 + 1/32 + …

понимали рассмотренный выше предел, то есть двойку, нам совершенно не подходит, так как последовательные суммы нового ряда попеременно равны то единице, то нулю, и ни к какому пределу не стремятся.

Надо найти площадь АВСО . Сумма площадей прямоугольников, начерченных сплошными линиями, будет меньше искомой площади; эта же сумма с добавлением площадей пунктирных прямоугольников будет больше искомой площади. Но если число прямоугольников бесконечно увеличивать, то основания их станут бесконечно малыми и как сумма «входящих», так и сумма «охватывающих» прямоугольников будут обе бесконечно приближаться к искомой площади и в пределе будут ей равны.