На основе геометрического ряда
∑rn
n≥1
в Средние века исследовали ряды степеней, в которых менялись местами основание и показатель степени, например:
∑nr
n≥1
Вскоре было замечено: если показатель степени r положительный, а n — целое число, сумма превращается в бесконечность. Когда показатель степени r отрицательный, получаются степени дробей, меньших единицы, то есть сумма
∑(1/n)r, где r больше единицы.
n≥1
Французский математик Николай Орезмский (1323— 1382) получил много результатов, исследуя ряды, и первым доказал, что гармонический ряд, то есть ряд, составленный из членов, обратных числам натурального ряда, для r = 1 является расходящимся. Следовательно, сумма большого числа членов стремится к бесконечности. В то время доказательства приводили в буквальном виде, описывая шаги, которые нужно сделать, но мы рассмотрим это искусное рассуждение, пользуясь более привычными символами. Орезмский сгруппировал члены, то есть у него был первый член, два следующих, четыре следующих, восемь следующих и так далее:
1/2+1/3+1/4+1/5+1/6+1/7+1/8+...+ = 1/2+(1/2+1/4)+(1/5+1/6+1/7+1/8)+...+ = 1/2+7/12+533/840+...
Так получается ряд дробей, каждая из которых больше 1 /2, то есть сумму ряда можно сделать больше любого указанного числа, просто взяв достаточное число членов ряда.
Индийский математик и астроном Мадхава из Сангамаграма (1350-1425) описал среди прочих бесконечных рядов ряды тригонометрических функций синуса и косинуса. Он также нашел ряд арктангенса:
arct x = x - x3/3 + x5/5 + x7/7 + ,,,
Через несколько лет шотландский математик Джеймс Грегори (1638-1675) первым в Европе открыл этот ряд, о нем узнал Лейбниц и воспользовался им для выведения первого ряда для числа π, недостатком которого было то, что он очень медленно приближается к истинному значению. Он известен как ряд Грегори — Лейбница, хотя другие авторы сегодня его называют рядом Мадхавы — Лейбница:
π/4 = 1 - 1/3 + 1/5 + 1/7 + ... + (-1)n/(2n+1) + ...
И Ньютон, и Лейбниц также вычисляли ряды степеней других тригонометрических функций.
Вычисление числа k было постоянным предметом поиска математиков всех времен. Это число определяется как отношение между длиной окружности и ее диаметром. Многие пытались найти наибольшее количество десятичных знаков данного числа, и одним из использованных методов был метод числовых рядов. Он подразумевает, что по мере того, как вычисляется больше членов, появляется большее количество точных знаков после запятой.
Ряды не всегда были суммами. Например, математик Франсуа Виет (1540-1603), один из создателей современной алгебры, представил первое бесконечное произведение, приближающееся к значению π, таким образом:
π = 2 • 2/√2 • 2/√(2+√2) • 2/√(2+√(2+√2)) • 2/√(2+√(2+√(2+√2)))
Сам Грегори, в свою очередь, пытаясь вычислить площадь круга, пришел к другому выражению для вычисления я:
π/2 = (2 • 2 • 4 • 4 • 6 • 6 • 8 • 8 ...)/(1 • 3 • 3 • 5 • 5 • 7 • 7 • 9 ...)
XVII век был временем популярности сумм бесконечных рядов степеней, которые служили для поиска квадратуры фигур, ограниченных различными типами кривых, то есть площади сегмента какой-либо кривой.
ЛЕЙБНИЦ И БЕСКОНЕЧНЫЕ РЯДЫ
Когда в 1672 году Лейбниц навестил Гюйгенса в Париже, он рассказал ему о методе, над которым работал. Он использовался для нахождения суммы членов бесконечных рядов чисел и состоял в том, чтобы учитывать разность между членами последовательности. Если у нас есть ряд членов a0<а1<а2<а3<... an, то возьмем разности b1= a1-a0; b2= а2-а1; b3= а3-а2; ..., и тогда нулевая сумма а0-а0 + а1 - а1 + а2 - а2 +...+ an-1 - an-1 + + an - an = а0 + b1 + b2 +...+ bn - an = 0, откуда следует, что сумма разностей равна:
b1 + b2 + b3 + ... + bn = an - a0
Лейбниц утверждал, что его метод разностей может быть применен для нахождения суммы любого ряда чисел, построенного в соответствии с правилом, и даже для бесконечных рядов — при условии, что они сходятся.
На той же встрече Гюйгенс задал Лейбницу задачу, которую он сам уже решил, чтобы тот проверил свой метод, — найти сумму чисел, обратных треугольным, то есть следующий ряд:
1 + 1/3 + 1/6 + 1/10 + ...
Лейбниц разделил на два каждый член, разложив дроби на разность двух:
1/2+1/6+1/12+1/20+...+1/2+(1/2-1/3)+(1/3-1/4)+(1/4-1/5)+...+1/2+1/2 = 1
следовательно, значение искомой суммы членов данного ряда составляет 2(1 + 1).
Также Лейбниц сформулировал то, что известно как теорема сходимости знакочередующихся рядов, то есть рядов, в которых чередуются складываемые и вычитаемые члены. В основном это выражение вида:
∞
∑(-1)n • an = a0 - a1 + a2 - a3 + a4 - ... при an ≥ 0.
n=0
Данный критерий впервые появился в письме, адресованном Иоганну Бернулли (1667-1748) в 1713 году.
Для многих математиков критерии сходимости, которыми они пользовались, были основаны на том, чтобы найти частичные суммы ряда членов, например п членов. Они пытались найти упрощенное выражение, связанное с гг, а затем изучить, что произойдет, если число членов возрастет до бесконечности. Но не все математики были согласны с данным подходом, поскольку появлялись так называемые логические парадоксы, то есть ряды, расходящиеся при одном методе, а при применении других методов — наоборот.
Один из главных парадоксов того времени был связан с нахождением суммы знакочередующегося ряда, в котором an = 1 для любого n. То есть речь идет о ряде:
∞
∑(-1)n = 1-1+1-1+1-1+1-1+...
n=1
Если взять четное число членов, частичная сумма равна 0, в то время как если взять нечетное число, частичная сумма равна 1. Лейбниц в итоге присвоил этой сумме значение 1/2.
Простое рассуждение для получения этого решения следующее:
5=1-1 + 1-1 + 1-1 + 1 -... = 1 - (1-1 + 1-1 + 1-1 +...) = 1-S,
откуда после упрощения получается 2S = 1, и, следовательно, искомая сумма равна S = 1/2.
