Существуют такие математические задачи, которые на первый взгляд кажутся вопросами с подвохом. Вы читаете условие, замираете, думаете: «Подождите, здесь что-то не так», — начинаете искать ответ и понимаете, что это вовсе не шутка. Просто оказывается, что решение сильно зависит от того, кого именно вы спрашиваете и какую цель этот человек преследует.
Три примера ниже наглядно иллюстрируют эту странную математическую реальность. Ни один из этих случаев не является нерешенной загадкой, но ни у одного из них нет и единственного «чистого» ответа.
1. Чему равно 0⁰?
Если вы зададите вопрос о том, чему равно 0⁰, студенту, изучающему математический анализ, он ответит, что это неопределенность. Специалист по комбинаторике уверенно скажет, что это единица. Программист же может выдать либо единицу, либо ошибку в зависимости от того, на каком языке написан его код.
Аргументы в пользу единицы довольно интуитивны. Когда вы возводите любое число в нулевую степень, вы вычисляете то, что математики называют «пустым произведением» — вы перемножаете ноль копий чего-либо. Давняя традиция гласит, что пустое произведение равно единице, точно так же, как пустая сумма равна нулю. Таким образом, ноль в нулевой степени превращается в элегантную единицу.
Однако затем в спор вступает матанализ. Если рассматривать это выражение как предел, то результат целиком зависит от того, как именно вы приближаетесь к нулю:
- предел x⁰ при x → 0 равен 1;
- предел 0^x при x → 0 равен 0;
- при определённых построениях предел можно заставить стремиться к любому положительному числу.
Самое интересное здесь то, что одно и то же выражение может быть одновременно и единицей, и чем-то неопределенным. Оба ответа верны, просто каждый — в своем контексте. Комбинаторика и матанализ фактически задают разные вопросы, используя одни и те же символы. Одни изучают дискретные операции, другие — поведение непрерывных функций. Нотация просто маскирует это различие.
Есть место, где 0⁰ = 1 абсолютно необходимо: биномиальная теорема
(1 + x)ⁿ = Σ C(n,k) · xᵏ требует, чтобы первый член работал при x = 0. Этот член — C(n,0) · 0⁰. Если 0⁰ ≠ 1, теорема «развалится» даже в простейшем случае. Поэтому математики выбирают 1, понимая, что это выбор, — чтобы не нарушить целостность остальной математики.
2. Корень нулевой степени
Этот вопрос обсуждают реже, но он, пожалуй, еще более странный. Квадратный корень числа — это число в степени 1/2. Кубический корень — число в степени 1/3. Тогда «нулевой корень» должен быть числом в степени 1/0.
Мало того что делить на ноль нельзя, так еще и смысл такой операции ускользает от понимания.
n-й корень из x — это число y, такое что yⁿ = x. Тогда нулевой корень из x — это число y, такое что y⁰ = x. Но y⁰ = 1 для любого ненулевого y, поэтому уравнение превращается в 1 = x.
- Если x ≠ 1, решения нет. Нулевого корня просто не существует.
- Если x = 1, любое ненулевое число удовлетворяет уравнению. Каждое число.
Суть в том, что корни работают, потому что возведение в n-ю степень — однозначная функция: каждый вход даёт уникальный выход, и это можно обратить. Но нулевая степень разрушает эту однозначность: она «схлопывает» все ненулевые числа в 1. Вся информация теряется — невозможно обратить операцию, которая уничтожает нужные данные.
Нулевой корень не даёт «неправильный» или «мало» ответов. Он либо не даёт ответа, либо даёт все возможные ответы. Это не число — это вопрос, который ломает саму структуру, необходимую для ответа.
3. Факториал мнимой единицы
Чтобы понять этот пример, сначала нужно признать, что вопрос вообще имеет смысл — а это неочевидно.
Факториалы определены для положительных целых чисел: 5! = 120, 10! = 3,6 млн. Числа растут быстро. Но i — мнимая единица, квадратный корень из −1, — не является положительным целым. Что может означать i!?
Оказывается, математики создали гамма-функцию — интеграл, который:
- даёт те же результаты, что и факториал, для положительных целых;
- работает на всей комплексной плоскости.
Поэтому можно подставить i в гамма-функцию и получить число. Результат будет комплексным (имеет действительную и мнимую части), но его модуль (расстояние от нуля) можно выразить явно.
Формула:
|i!|² = π / sinh(π).
Поскольку sinh(π) ≈ 11,55, отношение равно примерно 0,272, а квадратный корень из него — около 0,5216.
Таким образом, |i!| ≈ 0,52 — действительное число между 0 и 1.
Только вдумайтесь: обычные факториалы растут с невероятной скоростью, превращаясь в огромные величины. И при этом факториал мнимой единицы по модулю оказывается меньше единицы. Он даже меньше факториала единицы. Мнимый входной параметр «прижимает» результат к нулю, уводя его ниже того порога, который доступен обычным числам. И в этом расчете внезапно всплывают число Эйлера и число Пи, хотя никто специально их туда не приглашал. Они просто проявляются сами собой, потому что так устроена математика.
А sinh(π) включает e^π и e^−π — число Эйлера и π, сплетённые вместе, — и всё это возникло из вопроса о факториале мнимой единицы. Никто не закладывал это специально — так просто получилось, потому что математика этого требует.
Что общего у этих загадок
Все эти примеры объединяет одна природа: они возникают, когда мы берем операцию, идеально работающую в привычной среде, и пробуем применить её на самой границе возможного.
В случае с нулем в нулевой степени мы сталкиваемся с конфликтом двух определений. В ситуации с корнем нулевой степени мы пытаемся восстановить информацию, которая была уничтожена функцией. А в случае с факториалом мнимой единицы мы обнаруживаем, что за привычным обрывом никакой пропасти нет — там продолжается стройная математическая реальность. Ученые, которые нашли эти решения, не искали странностей ради забавы. Они просто следовали логике определений и смотрели, к чему это приведет. Эти ответы не были придуманы — они были обнаружены.
Удалось ли вам прочувствовать, как на границах привычного математика начинает вести себя почти как магия? Какой из этих трех парадоксов кажется вам наиболее противоречащим здравому смыслу?