Простая одержимость: Бернхард Риман и величайшая нерешенная проблема в математике - [26]
Итак, задавшись положительным числом x, можно возводить его вообще в любую степень — положительную, отрицательную, дробную или иррациональную. При этом будут выполняться приведенные выше правила действий со степенями, поскольку мы ввели определения таким образом, чтобы именно это и гарантировать! На рисунке 5.1 показаны графики функций x>a для различных чисел a в интервале от −2 до 8. Отдельно отметим нулевую степень х>0, представляющую собой горизонтальную прямую на высоте 1 над осью x — то, что математики называют «постоянной функцией» (а медсестры в реанимации называют «остановкой»). Для любого аргумента x значение этой функции равно 1. Стоит еще обратить внимание, как быстро возрастают целочисленные степени x>2, x>3, x>8, а также — что имеет более прямую связь с главной темой этой книги — как медленно возрастают дробные положительные степени, такие как x>0,5.
Рисунок 5.1. Степенные функции x>a для различных чисел a.
Возведение чисел в степени на первый взгляд выглядит похожим на умножение. Умножение сначала представляют как кратное сложение: 12×5 = 12 + 12 + 12 + 12 + 12, затем на следующем уровне сложности объясняется, что такое 12×5>1/>2 где на самом деле содержится кое-что еще, кроме кратного умножения. Похожим образом обстоит дело и с возведением в степень. Определить 12>5 совсем легко, это кратное умножение: 12×12×12×12×12. Чтобы справиться с
Как я уже говорил, математики обожают обращать выражения. Скажем, пусть задано выражение величины P через Q. Отлично, давайте посмотрим, можно ли выразить Q через P. И здесь аналогия между умножением и возведением в степень нарушается. Обратить умножение легко: если x = a×b, то a = x:b и b = x:a. Деление полностью решает проблему обращения умножения.
Аналогия нарушается, потому что a×b всегда и без единого исключения равно a×b, но, к сожалению, неверно (за исключением случайных совпадений), что a>b = b>a (единственный случай, когда это так для целочисленных степеней и не совпадающих a и b — это 2>4 = 4>2). Например, 10>2 есть 100, но 2>10 есть 1024. Поэтому, если мы собираемся обратить x = a>b, то нам понадобятся две разные вещи: способ выразить a через x и b и, отдельно, способ выразить b через x и a. Первое — не проблема. Возведем обе части в степень >1/>b и в соответствии с 3-м правилом получим a = x>1/b (что согласно 6-му правилу означает, что a есть корень b-й степени из x). Но как же выразить b через x и а? Правила действий со степенями не дают здесь никаких подсказок.
Здесь-то и появляются логарифмы. Ответ таков: b есть логарифм x по основанию a. Это просто-напросто определение логарифма. Логарифм числа x по основанию a (обычно записываемый как log>a x) определяется как такое число b, для которого верно равенство x = a>b. Это дает целое семейство логарифмических функций: логарифм x по основанию 2, логарифм x по основанию 10 (который более старшие читатели могут припомнить в качестве облегчающего вычисления средства, — его проходили в старших классах школы примерно до 1980 года) и т.д. Можно было бы представить их все в виде графиков, как это сделано для графиков функций х>0 на рисунке 5.1.
Я не буду этого делать, потому что мне глубоко безразличны все члены логарифмического семейства, кроме одного — логарифма по основанию e, где e — необычайно важное, хотя и иррациональное число 2,71828182845…. Логарифм по основанию e — единственный, который меня интересует, и единственный, которым мы будем пользоваться в этой книге. На самом деле я больше не буду говорить «логарифм по основанию e», а буду говорить просто «логарифм».[37] Так что же такое логарифм числа x? По данному выше определению, это такое число b, для которого делается верным равенство x = e>b.
Поскольку ln x — это такое число b, для которого верно равенство x = e>b, ясно, что x = e>ln x. Это равенство — просто записанное математически определение того, что такое ln x. Но в дальнейшем оно будет играть такую важную роль, что мы сделаем из него правило.
x = e>ln x.
Это верно для любого положительного числах. Например, ln 7 есть 1,945910… по той причине, что (с точностью до шести знаков после запятой) 7 = 2,718281>1,945910. Отрицательные числа не имеют логарифмов (хотя это еще одна вещь, по поводу которой я оставляю за собой право потом передумать). И нуль также не имеет логарифма. Не существует такой степени, в которую можно было бы возвести в, чтобы получить отрицательный или нулевой результат. Область определения логарифма составляют все положительные числа.
