Эйлер. Математический анализ - страница 8
— Σ (сигма): Эйлер выбрал эту букву для обозначения суммы последовательности чисел, подчиняющейся какому-либо правилу, которое записывается над или под символом. В общем случае сумма элементов х, где i — "счетчик" слагаемых, идущих от m до n, записывается так:
Σ>i=m>nx>i = x>m + x>m+1 + x>m+2 + ... + x>n-1 + x>n.
Сигма — греческий аналог буквы "с", с которой начинается слово "сумма", поэтому ее использование кажется вполне логичным. В течение жизни Эйлер вычислил сотни таких последовательностей, многие из которых были бесконечными. При n = ∞ последовательность называется рядом. Возможно, самая знаменитая в своей простоте последовательность Эйлера — это последовательность из Базельской задачи, которую он вычислил в 1735 году, на пике своего математического творчества (мы поговорим о ней подробней в следующей главе):
Σ>n=1>∞1/n>2 = π>2/6.
Никто не ожидал, что в сумме этой последовательности будет задействовано число π, и его появление внесло настоящую неразбериху в умы ученых.
— Заглавные и строчные буквы: в любом треугольнике стороны обозначаются строчными буквами, а соответствующие углы — теми же буквами, но заглавными (рисунок 1).
РИС. 1
РИС . 2
РИС 3
Аналогичным образом буквами R и г обозначаются соответственно радиусы описанной (рисунок 2) и вписанной окружностей (рисунок 3).
— Использование первых букв алфавита (обычно строчных) — а, b, с, d — для обозначения известных величин в уравнениях, и последних — х, у, z, v — для неизвестных величин.
— Сокращенные латинские формы sin, cos, tang, cot, sec и cosec Эйлер впервые использовал в 1748 году в своей книге "Введение в анализ бесконечно малых" для обозначения тригонометрических функций. Затем они были адаптированы к разным языкам, хотя сейчас фактически универсальным является их английский вариант: sin х, cos х, tan х (в русской традиции tg x), cot х (или ctg х), sec х и cosec х.
— Обозначение для конечных разностей: это вычислительный инструмент, немного похожий на производные. Он не использует понятие предела и так называемые бесконечно малые. Конечные разности встречаются уже у Ньютона (1642-1727), Джеймса Грегори (1638-1675) и Колина Маклорена (1698-1746) и позволяют вычислять неизвестные многочлены на основе их значений, а также интерполировать и изучать последовательности и ряды. Изобретение компьютеров сделало их еще полезнее. Эйлер посвятил много сил изучению конечных разностей. Их обозначения, которые сегодня встречаются в книгах, принадлежат ему. В самом простом случае для последовательности {u>i} разность двух соседних членов будет обозначаться ∆:
∆u>k = u>k+1 - u>k.
Последующие конечные разности (второго порядка ∆>2, третьего порядка ∆>3, четвертого порядка ∆>4 и так далее) определяются, исходя из разностей первого порядка с помощью рекурсии, то есть каждая использует предыдущую:
∆>pu>k = ∆(∆>p-1u>k).
Таким образом строго определяются конечные разности любого порядка — ∆, ∆>2, ∆>3,... — и с ними можно работать.
В серии работ, начатых еще в Базеле, Эйлер открыл формулу комплексных чисел, впоследствии ставшую знаменитой. Он использовал ее для нахождения значения математической категории, до той поры неизвестной, — отрицательных логарифмов. Как мы уже сказали, для обозначения мнимой единицы, √-1, Эйлер использовал символ i.
С этого момента подразумевается, что если в арифметической формуле есть i, то
i= √-1.
Во время работы в Базеле Эйлер открыл формулу
e>xi = cos x + isin x
и преобразовал ее так, как только он, великий жонглер символами, был способен. Из этого простого выражения, известного как формула Эйлера, которое связывает комплексные числа с тригонометрией, в последующие столетия произошла, как мы увидим в главе 3, большая часть математического анализа.
Во времена Эйлера пользовались большой популярностью логарифмы — инструмент вычисления, открытый в XVI веке. Однако их потенциал оставался невостребованным вплоть
до появления работ швейцарского ученого. Представим их определение: если а положительное число, называемое основанием, N также положительное число и верно равенство