Читать книгу - "Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике - Джон Дербишир"

Если сложить первые 10 из этих членов, то получим −1,001829104 + 0,006925270i. Если сложить первые 20 чисел, то результат будет равен −0,9999999999243491 − 0,000000000528919i. Вполне определенным образом сумма сходится к −1. Вещественная часть приближается к −1, а мнимая исчезает.

Можно ли и логарифмическую функцию продолжить на комплексные числа? Да. И получится, разумеется, в точности функция, обратная к показательной. Если e^z = w, то z = ln w. К сожалению, как и в случае квадратных корней, если мы не соблюдем меры предосторожности, мы тут же попадем в зыбучие пески многозначных функций. Это происходит из-за того, что в комплексном мире показательная функция иногда принимает одно и то же значение при различных аргументах. Например, куб числа −1, в соответствии с правилом знаков, есть −1; так что возведение в куб обеих частей равенства e^πi = −1 дает e^3πi = −1; таким образом, аргументы πi и 3πi дают одно и то же значение функции, равное −1, подобно тому как −2 и +2 дают при возведении в квадрат одно и то же значение 4. Тогда что же такое ln (−1)? Это πi? Или же 3πi?

Это πi. Чтобы не наживать лишних неприятностей, ограничим мнимую часть значений функции отрезком от −π (не включая) до π (включая). Тогда для всякого ненулевого комплексного числа имеется его логарифм, причем ln (−1) = πi. На самом деле, если использовать обозначения, введенные в главе 11.v, то ln z = ln |z| + iΦ(z), где Φ(z), разумеется, измеряется в радианах. В таблице 13.3 показан «моментальный снимок» логарифмической функции с точностью до шести знаков после запятой. Аргументы здесь изменяются «по умножению» (каждая строка получается умножением 1 + i на предыдущую строку), а значения функции — «по сложению» (всякий раз прибавляется 0,346574 + 0,785398i).