Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике. - Семихатов Алексей - Страница 19

19

Начав с последнего, заметим, что если x0 вообще что-нибудь будет означать, то хорошо бы добиться согласованности с теми правилами, которые у нас уже есть, потому что они являются прямым выражением здравого смысла. Возьмем во 2-м правиле n равным m. Тогда в правой части, как видно, получится x0. А в левой части будет xm: xm. Но когда число делится само на себя, получается единица.

2-е правило можно использовать и для того, чтобы придать смысл отрицательным степеням. Разделим 123 на 125. Согласно 2-му правилу, ответ должен быть равен 12?2. Но при этом он равен и (12?12?12)/(12?12?12?12?12), что после сокращения трех множителей 12 в числителе и знаменателе даст 1/122.

3-е правило наводит нас на мысль о том, что же должны означать дробные степени. Как можно поступить с величиной x1/3? Например, возвести ее в куб, тогда по 3-му правилу должно получиться просто x. Значит, x1/3 есть просто кубический корень из x. (Определение «кубического корня из x»: это число, куб которого равен x). 3-е правило теперь говорит нам, какой смысл имеет всякая дробная степень; x2/3 — это кубический корень из x, возведенный в квадрат (или, что одно и то же, кубический корень из x2).

Поскольку 12 — это 3?4, получаем, что 125 равно (3?4)?(3?4)?(3?4)?(3?4)?(3?4). Это можно переписать как (3?3?3?3?3)?(4?4?4?4?4). Короче говоря: 125 = 35?45. Такое верно и в общем случае:

А что насчет возведения x в иррациональную степень? Что могло бы означать 12v2, или 12?, или 12e? Здесь мы снова попадаем в царство анализа. Вспомним про ту последовательность из главы 1.vii, которая сходилась к v2. Она выглядела так: 1/1, 3/2, 7/5, 17/12, 41/29, 99/70, 239/169, 577/408, 1393/985, 3363/2378, … Продолжая эту последовательность достаточно далеко, можно подобраться к v2 сколь угодно близко. А из 6-го правила, которое говорит о значении всякой дробной степени, понятно, что же представляет собой число 12, возведенное в каждую из этих дробных степеней. Разумеется, число 121 равно просто 12, а 123/2 — это квадратный корень из 12 в кубе; 41,569219381…. Далее, 127/5 — это корень пятой степени из 12 в седьмой степени, что равно 32,423040924…. Таким же образом, 1217/12 равно 33,794038815…, 1241/29 равно 33,553590738…, 1299/70 равно 33,594688567… и т.д. Как мы видим, эти дробные степени числа 12 сходятся к некоторому числу — на самом деле к числу 33,588665890…. Поскольку сами дроби при этом сходятся к v2, очень похоже на правду, что 12v2 = 33,588665890….

Итак, задавшись положительным числом x, можно возводить его вообще в любую степень — положительную, отрицательную, дробную или иррациональную. При этом будут выполняться приведенные выше правила действий со степенями, поскольку мы ввели определения таким образом, чтобы именно это и гарантировать! На рисунке 5.1 показаны графики функций xa для различных чисел a в интервале от ?2 до 8. Отдельно отметим нулевую степень х0, представляющую собой горизонтальную прямую на высоте 1 над осью x — то, что математики называют «постоянной функцией» (а медсестры в реанимации называют «остановкой»). Для любого аргумента x значение этой функции равно 1. Стоит еще обратить внимание, как быстро возрастают целочисленные степени x2, x3, x8, а также — что имеет более прямую связь с главной темой этой книги — как медленно возрастают дробные положительные степени, такие как x0,5.

Возведение чисел в степени на первый взгляд выглядит похожим на умножение. Умножение сначала представляют как кратное сложение: 12?5 = 12 + 12 + 12 + 12 + 12, затем на следующем уровне сложности объясняется, что такое 12?51/2 где на самом деле содержится кое-что еще, кроме кратного умножения. Похожим образом обстоит дело и с возведением в степень. Определить 125 совсем легко, это кратное умножение: 12?12?12?12?12. Чтобы справиться с

, требуются дополнительные объяснения, подобные тем, что предложены в предыдущем разделе.

Как я уже говорил, математики обожают обращать выражения. Скажем, пусть задано выражение величины P через Q. Отлично, давайте посмотрим, можно ли выразить Q через P. И здесь аналогия между умножением и возведением в степень нарушается. Обратить умножение легко: если x = a?b, то a = x:b и b = x:a. Деление полностью решает проблему обращения умножения.

Аналогия нарушается, потому что a?b всегда и без единого исключения равно a?b, но, к сожалению, неверно (за исключением случайных совпадений), что ab = ba (единственный случай, когда это так для целочисленных степеней и не совпадающих a и b — это 24 = 42). Например, 102 есть 100, но 210 есть 1024. Поэтому, если мы собираемся обратить x = ab, то нам понадобятся две разные вещи: способ выразить a через x и b и, отдельно, способ выразить b через x и a. Первое — не проблема. Возведем обе части в степень 1/b и в соответствии с 3-м правилом получим a = x1/b (что согласно 6-му правилу означает, что a есть корень b-й степени из x). Но как же выразить b через x и а? Правила действий со степенями не дают здесь никаких подсказок.

Здесь-то и появляются логарифмы. Ответ таков: b есть логарифм x по основанию a. Это просто-напросто определение логарифма. Логарифм числа x по основанию a (обычно записываемый как loga x) определяется как такое число b, для которого верно равенство x = ab. Это дает целое семейство логарифмических функций: логарифм x по основанию 2, логарифм x по основанию 10 (который более старшие читатели могут припомнить в качестве облегчающего вычисления средства, — его проходили в старших классах школы примерно до 1980 года) и т.д. Можно было бы представить их все в виде графиков, как это сделано для графиков функций х0 на рисунке 5.1.

Я не буду этого делать, потому что мне глубоко безразличны все члены логарифмического семейства, кроме одного — логарифма по основанию e, где e — необычайно важное, хотя и иррациональное число 2,71828182845…. Логарифм по основанию e — единственный, который меня интересует, и единственный, которым мы будем пользоваться в этой книге. На самом деле я больше не буду говорить «логарифм по основанию e», а буду говорить просто «логарифм».[37] Так что же такое логарифм числа x? По данному выше определению, это такое число b, для которого делается верным равенство x = eb.