Ряд — в математиці, це операція додавання нескінченної кількості величин, послідовно одна за одною, починаючи із заданої величини.
Для кожного ряду зазвичай розглядають послідовності часткових сум (ряду) та елементів (ряду).
Розглядаються числові ряди двох видів:
Важливіше питання дослідження числових рядів — це збіжність числових рядів.
Числові ряди застосовуються як система наближень до чисел.
Узагальненням поняття ряду є поняття подвійного ряду[ru].
Тривалий час, думка про те, що така потенційно нескінченна сума може мати скінченний результат, математиками і філософами розглядалася як парадокс. Цей парадокс було вирішено з виникненням поняття границі під час 19-го століття. Парадокс Зенона про Ахілла та черепаху ілюструє цю контрінтуїтивну властивість скінченних рядів: Ахілл біжить услід за черепахою, але коли він наздоганяє черепаху на початку гонки, вона вже досягає другої позиції; коли він досягає другої позиції черепахи, вона буде вже на третій позиції, і так далі. Зенон розрахував, що Ахілл ніколи не зможе досягнути черепаху, і що таким робом такого моменту не існує. Зенон розділив цю гонку на нескінченно велику кількість частин гонки, кожна з яких займає скінченну частину часу, так, що загальний час, за який Ахілл добіжить до черепахи, заданий рядом. Вирішенням цього парадоксу є те, що, хоча ряд має нескінченно велику кількість елементів, він має скінченну суму, яка і є тим часом, за який Ахілл наздожене та впіймає черепаху.
У сучасній термінології, будь-яка (впорядкована) нескінченна послідовність
з термів (що можуть бути числами, функціями, або будь-чого, що може додаватися) визначає ряд, який є операцією додавання
між собою. Аби підкреслити те, що існує нескінченна кількість термів, ряд може називатися нескінченним рядом. Такий ряд записується у вигляді такого математичного виразу:
.
Загалом поняття ряду виникло з поняття кільця, що часто є полем
дійсних чисел або полем
комплексних чисел. У такому разі множина всіх рядів сама собою є кільцем (або навіть асоціативною алгеброю), у якій операція додавання визначає додавання рядів поелементно, терм за термом, а множення є операцією добутку Коші●.
Нехай
— послідовність; розглянемо також послідовність
кожен елемент якої є n-тою частковою сумою членів початкової послідовності
![{\displaystyle s_{n}=a_{1}+a_{2}+\cdots +a_{n}=\sum _{i=1}^{n}a_{i}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8Poqa5ote5nte4zjK0yto4aqwPyjw2ytCPzNBBajo2age2zDCNyteP)
Рядом називається сукупність цих двох послідовностей. Позначається:
![{\displaystyle \sum _{i=1}^{\infty }a_{i}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9DotGPaDnFyja4ztwNzjhCzqdAzNrBytm3nqs0ntiOoDBCzghBoDeQ)
Тоді, за визначенням:
- Числовий ряд збігається, якщо збігається послідовність його часткових сум;
- Числовий ряд розбігається, якщо розбігається послідовність його часткових сум;
- Числовий ряд збігається абсолютно, якщо збігається ряд з модулів його членів.
Якщо числовий ряд збігається, то границя
послідовності його часткових сум має назву суми ряду:
![{\displaystyle S=\sum _{i=1}^{\infty }a_{i},}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO84oDFCagnFnqoPaNrDotnAatGPatvByqrEotC4ngdFoqiOzDiQataN)
- Теорема 01
Якщо числовий ряд
![{\displaystyle \sum _{n=1}^{\infty }a_{n}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9AoAoNa2e5aqsPnqeQzqwQztaQntKNnta1ztGOa2oNoNm3yjePaNGP)
збігається, то кінцевий член ряду
, ![{\displaystyle n\rightarrow \infty }](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO85zNmOnDm0nDdCags1oDG4z2e5yqnFnqrAnAeQoNvDnAw4aDoNnqrB)
Доведення.
Дійсно, оскільки
,
та
,
, то
,
.
- Теорема 02
Якщо числовий ряд
![{\displaystyle \sum _{n=1}^{\infty }a_{n}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9AoAoNa2e5aqsPnqeQzqwQztaQntKNnta1ztGOa2oNoNm3yjePaNGP)
збігається, то залишок ряду
, ![{\displaystyle n\rightarrow \infty }](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO85zNmOnDm0nDdCags1oDG4z2e5yqnFnqrAnAeQoNvDnAw4aDoNnqrB)
Доведення.
Розглянемо
,
.
Теореми 01 та 02 дають необхідні умови збіжності ряду (1).
Для того щоб ряд (1) збігався, необхідно і достатньо, щоб
.
Цей критерій являє собою критерій Коші для числовой послідовності
.
Ряд з дійсних чисел збігається абсолютно тоді й тільки тоді, коли збігаються обидва ряди: ряд з додатних його членів і ряд з від'ємних членів.
Нехай задано два збіжні ряди
та
. Тоді:
- Їхньою сумою називається ряд
і його сама рівна
.
- Їхнім добутком за Коші називається ряд
, де ![{\displaystyle c_{n}=\sum _{k=0}^{n}a_{k}b_{n-k}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8OoNvEaNm5yqrFate0yjBBoAeOajoQyjdDytGPnjzEnDo3zDzEoAi2)
Якщо обидва ряди збігаються абсолютно, то добуток рядів збігається.
Приклад 01.
Ряди
![{\displaystyle 1+1+1+\cdots +1+\cdots }](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO82aDwQnqsNzNm4yjs3nAzBa2e1oAa2nqnBotsNntKNnqa1aDmOo2o5)
![{\displaystyle 1-1+1-\cdots +(-1)^{n+1}+\cdots }](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO82nDKNyjrBzNJEz2i0aNa1oDaPatC0nqi4yqe0aDBFaNoOoDs0oDw2)
є розбіжними згідно з теоремою 01. Дійсно,
,
у випадку ряду (1) та
у випадку ряду (2).
Приклад 02.
Доведемо, що
Дійсно, для
.
Отже,
,
.
- Геометричний ряд — це такий ряд, ц якому кожен наступний елемент утворений множенням попереднього на стале число (що зветься сталим відношенням ряду). Наприклад:
![{\displaystyle 1+{1 \over 2}+{1 \over 4}+{1 \over 8}+{1 \over 16}+\cdots =\sum _{n=0}^{\infty }{1 \over 2^{n}}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8OytlFo2vEoDhCzjs2oAeOnjmNz2dAaDGNoNm1ajlBotiNytrEaqa4)
- Загалом геометричний ряд
![{\displaystyle \sum _{n=0}^{\infty }z^{n}={\frac {1}{1-z}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Doqi4nAe1yte1zDJFotdFotlBoAvFaNhCaArDztBDyghBztnEzqdB)
- збігається тоді й тільки тоді, коли
.
![{\displaystyle 3+{5 \over 2}+{7 \over 4}+{9 \over 8}+{11 \over 16}+\cdots =\sum _{n=0}^{\infty }{(3+2n) \over 2^{n}}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8QaqvAzDvFzNrEoNzBoDzAztvAyja3oAvAzDKNyteQygw0aDhFzAs4)
![{\displaystyle 1+{1 \over 2}+{1 \over 3}+{1 \over 4}+{1 \over 5}+\cdots =\sum _{n=1}^{\infty }{1 \over n}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8OaDrFzgnCzjlAnjrCotFCzDvDzge1oNzEaNmNo2o0zNmPzNnFngnB)
- Гармонічні ряди є розбіжними, оскільки за теоремою 02
.
- Знакозмінний ряд — це ряд, у якому елементи можуть змінювати свій знак. У таких рядах доданки є як додатні, так і від'ємні. Наприклад:
(знакозмінний гармонічний ряд)
і
![{\displaystyle -1+{\frac {1}{3}}-{\frac {1}{5}}+{\frac {1}{7}}-{\frac {1}{9}}+\cdots =\sum _{n=1}^{\infty }{\frac {\left(-1\right)^{n}}{2n-1}}=-{\frac {\pi }{4}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO80nDrBaDGNoNlAaNBByjzDoAwOoNC3ajCPyjiPa2o1oqoNotaOzAzD)
- Узагальнений гармонічний ряд або p-ряд:
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{p}}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8Pzge3aDe1zDrAnti1njC3oNm5nqdEzAw2zNi3nDBFoNmOntm4nDwQ)
- збігається, коли p > 1, і є розбіжним, коли p ≤ 1. Функція відносно p, що є сумою цього ряду є дзета-функцією Рімана.
![{\displaystyle \sum _{n=1}^{\infty }(b_{n}-b_{n+1})}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Eaja3aArDz2wNaAe5atvAoNiNnDePoDG2ngvBoNGOaghEzjo1aqzF)
- збігається, якщо послідовність bn збігається до границі L, притому як n прямує до нескінченності. Значення ряду тоді дорівнюватиме b1 − L.
Апроксимація числа π за допомогою ряду
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+\cdots ={\frac {\pi ^{2}}{6}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO83oNs4zNBCoNw1nti0ngvCntJCzNhEoNi3oNGPnDhAygzEaNe3aDwP)
![{\displaystyle \sum _{n=1}^{\infty }{\frac {(-1)^{n+1}(4)}{2n-1}}={\frac {4}{1}}-{\frac {4}{3}}+{\frac {4}{5}}-{\frac {4}{7}}+{\frac {4}{9}}-{\frac {4}{11}}+{\frac {4}{13}}-\cdots =\pi }](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO84zqe3ajJDajGOajFAnAoPaNw2zAi5ygw2aAa3atC1oAnAzDGQyjnB)
![{\displaystyle \sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}=\ln 2}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8PzAoNytrFzDrDajs3njoQajsPzDe1oDzAoNvEygzBytvAztKPaDs1)
![{\displaystyle \sum _{n=0}^{\infty }{\frac {1}{(2n+1)(2n+2)}}=\ln 2}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO82ytJBa2s0ztdDatG0yqrDoNm0yts1ytePnqoOothEzjhAotw4zAaN)
![{\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(n+1)(n+2)}}=2\ln(2)-1}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO80nts4zDw2zgi5zAhAytePnAiNnqdDyte3yga2ajvBotGNa2o0nqs3)
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n(4n^{2}-1)}}=2\ln(2)-1}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9DataNyjC4zAo0zgaPoDwNzjlBajwPotCNnte3zAo0z2e5aDdEaNe0)
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{2^{n}n}}=\ln 2}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9Dyqo1yqdFyjlDnjzFyqa5z2e1nDG2oNwOztmQyji1otw4oNoQatrA)
![{\displaystyle \sum _{n=1}^{\infty }\left({\frac {1}{3^{n}}}+{\frac {1}{4^{n}}}\right){\frac {1}{n}}=\ln 2}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8PaAi1zDKOaDo4zghEnDsOaDa4njFEz2sNoNi0otlEoqiPoNBCnDo5)
![{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{2n(2n-1)}}=\ln 2}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8NnjlEnDePoqePnjaNz2vCoqs1atdDztdBzqs4zti0o2w5aArDatnE)
![{\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{n!}}=1-{\frac {1}{1!}}+{\frac {1}{2!}}-{\frac {1}{3!}}+\cdots ={\frac {1}{e}}}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9EzqdEzDK0zAi1zDlBzgw4ygsQztC1nAw0otvEngwNa2zEzqdAo2i2)
![{\displaystyle \sum _{n=0}^{\infty }{\frac {1}{n!}}={\frac {1}{0!}}+{\frac {1}{1!}}+{\frac {1}{2!}}+{\frac {1}{3!}}+{\frac {1}{4!}}+\cdots =e}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9FnDs0aDKPygzAoNlFnjs2zDvAoNGQz2a3a2i0nDK4oDzBzDK0njrF)