Укрощение бесконечности. История математики от первых чисел до теории хаоса

где 2, 6, 24, 120 и т. д. являются факториалами – произведениями последовательности целых чисел (например, 120 = 1 × 2 × 3 × 4 × 5). Эвристически Эйлер уже выводил эту формулу, теперь же Вейерштрасс получил ее логическим путем. В очередной раз использовав страницы из книги Эйлера, он сумел преобразовать тригонометрические функции в экспоненциальные, определив:

cos θ = ¹/₂ (eⁱ

^θ + e^–iθ),

sin θ = ¹

/_2i (e^iθ –

e^–iθ).

Все стандартные свойства этих функций вытекают из их выражений в виде степенного ряда. Вы даже можете определить π и доказать, что eⁱ

^π = –1, как утверждал Эйлер. И из этого, в свою очередь, вытекает, что комплексные логарифмы ведут себя именно так, как описывал Эйлер. Всё это наполнилось смыслом. Комплексный анализ перестал быть загадочным продолжением вещественного анализа: он превратился в самостоятельный серьезный предмет. На поверку вышло, что подчас работать в комплексной области даже проще, чтобы выразить в конце вещественный результат.

По Вейерштрассу, все эти достижения были лишь началом – первым этапом грандиозной программы. Но главное – были получены правильные основания. Теперь математики могли без опасений продолжать строить всё более сложное здание нового раздела науки.

Вейерштрасса отличал поразительно светлый ум, открывавший ему путь в самых сложных хитросплетениях пределов, производных и интегралов. И он не сбивался с выбранного курса. Также он заранее видел потенциально трудные места. Одна из его самых удивительных теорем доказывала, что существует функция f(x) от действительной переменной x, непрерывная в любой точке, но не дифференцируемая ни в одной точке. Графиком такой функции является непрерывная кривая, но ее изгибы так прихотливы, что мы не можем провести ни одну касательную к ней. Его предшественники не верили в такую возможность, современники недоумевали, к чему ведет такая теорема. А его последователи развили теорему в самую захватывающую новую теорию ХХ в. – теорию фракталов.

Но об этом мы поговорим позже.