Ця стаття про нескінченні геометричні ряди. Для скінченних сум див. геометричну прогресію.
У математиці геометричний ряд — це ряд з постійним відношенням між послідовними членами. Наприклад, числовий ряд[en]
є геометричним, тому що кожен наступний член може бути отриманий з попереднього члена множенням на .
Геометричні ряди є одними з найпростіших прикладів нескінченних рядів з скінченними сумами, хоча не всі вони мають цю властивість. Історично геометричні ряди відігравали важливу роль у ранніх етапах розвитку числення, і вони продовжують займати центральне місце при досліджені збіжності рядів[en]. Геометричні ряди використовуються у всій математиці і вони мають важливе застосування у фізиці, інженерії, біології, економіці, інформатиці, теорії масового обслуговування та фінансах.
Знаменник Редагувати
Члени геометричного ряду утворюють геометричну прогресію, тобто відношення послідовних членів у ряді є постійним. Цей взаємозв'язок дозволяє представити геометричний ряд, використовуючи лише два значення: та ( - знаменник, а - перший член ряду). Наприклад, геометричний ряд у вступі
можна просто записати як
У наступній таблиці показано декілька геометричних рядів з різними першими членами та знаменниками:
Перший член, | Знаменник, | Приклади рядів |
---|---|---|
4 | 10 | |
9 | 1/3 | |
7 | 1/10 | |
3 | 1 | |
1 | −1/2 | |
3 | –1 |
Поведінка доданків залежить від знаменника :
Сума Редагувати
Сума геометричного ряду є скінченою, якщо абсолютне значення знаменника менше ; оскільки числа близькі до нуля, то вони стають нескінченно малими, що дозволяє обчислити суму, незважаючи на те, що ряд містить нескінченно багато доданків. Суму можна обчислити, використовуючи самоподібність рядів.
Приклад Редагувати
Розглянемо суму такого геометричного ряду:
Знаменник цього ряду . Якщо домножити цей ряд на знаменник, то початковий член стає , стає і так далі:
Новий ряд такий ж, як і оригінальний, за винятком того, що перший член відсутній. Віднявши новий ряд від початкового отримуємо
Подібний метод може бути використаний для обчислення будь-якого самоподібного виразу.
Формула Редагувати
При ,сума перших членів геометричного ряду дорівнює
де - перший член ряду, а - знаменник. Ми можемо отримати формулу для суми таким чином:
Оскільки прямує до нескінченності, то для збіжності ряду необхідно, щоб абсолютне значення було менше одиниці. Сума набуває вигляду
При отримуємо
ліва частина — це геометричний ряд із знаменником .
Формула також справедлива для комплексного , з відповідним обмеженням, що модуль знаменника строго менший за одиницю.
Доведення збіжності Редагувати
Ми можемо довести, що геометричний ряд є збіжним[en], використовуючи формулу суми для геометричної прогресії:
Оскільки і при .
Збіжність геометричних рядів можна також продемонструвати, переписавши ряд як еквівалентний телескопічний ряд. Розглянемо функцію
Зауважимо, що
Тоді
Якщо
то
Отже, збігається до
Застосування Редагувати
Періодичні десяткові дроби Редагувати
Періодичний десятковий дріб можна розглядати як геометричний ряд, знаменником якого є степінь числа . Наприклад,
Формула суми геометричного ряду може бути використана для перетворення десяткового дробу у звичайний дріб,
Формула виконується не тільки для однієї цифри, що повторюється, але й для групи цифр, що повторюються. Наприклад,
Зауважимо, що будь-який ряд періодичних десяткових дробів можна зручно спростити за допомогою наступного спостереження:
Тобто періодичний десятковий дріб з довжиною повторення дорівнює відношенню повторюваної частини (як ціле число) і .
Квадратура параболи Архімеда Редагувати
Архімед використав суму геометричного ряду для обчислення площі, обмеженої параболою та прямою лінією. Його метод полягав у тому, щоб розділити площу на нескінченну кількість трикутників.
Теорема Архімеда стверджує, що загальна площа під параболою становить площі синього трикутника.
Архімед визначив, що площа кожного зеленого трикутника дорівнює площі синього трикутника, площа кожного жовтого трикутника дорівнює площі зеленого трикутника і т.д.
Якщо припустити, що синій трикутник має площу , то загальна площа є нескінченною сумою.
Перший доданок представляє площу синього трикутника, другий доданок — площі двох зелених трикутників, третій доданок — площі чотирьох жовтих трикутників тощо. Після спрощення дробів отримуємо
Це геометричний ряд із знаменником , який можна представити у вигляді
Сума цього ряду
У цьому обчисленні використовується метод вичерпування, рання версія інтегрування. Використовуючи інтегральне числення, та сама площа може бути знайдена за допомогою визначеного інтеграла.
Фрактальна геометрія Редагувати
При вивченні фракталів геометричні ряди часто виникають при обчисленні периметрів, площ чи об'ємів самоподібних фігур.
Наприклад, площу всередині сніжинки Коха можна представити як об'єднання нескінченної кількості правильних трикутників (див. рисунок). Кожна сторона зеленого трикутника дорівнює довжини сторони великого синього трикутника, і тому його площа дорівнює площі синього трикутника. Аналогічно, площа кожного жовтого трикутника дорівнює площі зеленого трикутника і т.д. Якщо площа синього трикутник дорівнює одиниці, то загальна площа сніжинки дорівнює
Перший доданок цього ряду — площа синього трикутника, другий доданок — загальна площа трьох зелених трикутників, третій доданок — загальна площа дванадцяти жовтих трикутників і т.д. Якщо виключити перший доданок, то цей ряд є геометричним рядом із знаменником . Перший член цього геометричного ряду , тому
Таким чином, площа сніжинки Коха дорівнює площі основного трикутника.
Парадокси Зенона Редагувати
Збіжність геометричного ряду показує, що сума, що включає нескінченну кількість доданків, дійсно може бути скінченною, що дозволяє розв'язати багато парадоксів Зенона. Наприклад, парадокс дихотомії Зенона стверджує, що рух неможливий, оскільки можна розділити будь-який кінцевий шлях на нескінченну кількість кроків, де кожен крок вважається рівним половині відстані, що залишилася. Помилка Зенона полягає в припущенні, що сума нескінченного числа скінченних кроків не може бути скінченною. Це, звичайно, не так, про що свідчить збіжність геометричного ряду з .
Евклід Редагувати
Книга IX, твердження 35 трактату Евкліда Начала виражає часткову суму геометричного ряду через члени цього ряду, що є еквівалентним сучасній формулі.
Економіка Редагувати
В економіці геометричні ряди використовуються для представлення приведеної вартості ануїтету (грошової суми, яку потрібно виплачувати через рівні проміжки часу).
Наприклад, припустимо, що власнику ануїтету буде виплачуватися один раз на рік (в кінці року) нескінченну кількість разів, перпетуїтет[en]. Отримані на рік тепер коштують менше, ніж негайні , оскільки ніхто не може інвестувати гроші, поки не отримає їх. Зокрема, теперішня вартість на рік у майбутньому становить , де — річна процентна ставка.
Аналогічно, плата в розмірі через два роки в майбутньому має теперішню вартість (у квадраті, через втрату інтересу за два роки через неотримання грошей прямо зараз). Таким чином, поточна вартість отримання на рік за необмежений термін становить
що є нескінченним рядом:
Це геометричний ряд із знаменником . Його сума --- це перший доданок, поділений на (один мінус знаменник):
Наприклад, якщо річна процентна ставка становить (), тоді весь ануїтет має теперішню вартість .
Цей вид розрахунку використовується для обчислення річної процентної ставки[en] позики (наприклад, іпотечного кредиту). Він також може бути використаний для оцінки теперішньої вартості очікуваних дивідендів на акції або термінальної вартісті цінних паперів.
Геометричні степеневі ряди Редагувати
Формула геометричного ряду
може бути проінтерпретована як степеневий ряд в сенсі теореми Тейлора, що збігається при . Це можна використати, щоб отримати інші степеневі ряди. Наприклад,
Диференціюючи геометричний ряд, отримуємо
Аналогічно можна отримати наступні ряди:
і
Див. також Редагувати
- 0,(9)
- Асимптота
- Розбіжні геометричні ряди[en]
- Узагальнена гіпергеометрична функція[en]
- Геометрична прогресія
- Ряд Неймана
- Ознака д'Аламбера
- Радикальна ознака Коші
- Ряд (математика)
Геометричні ряди Редагувати
- Ряд Гранді
- 1 + 2 + 4 + 8 + ⋯[en]
- 1 − 2 + 4 − 8 + ⋯[en]
- 1/2 + 1/4 + 1/8 + 1/16 + ⋯[en]
- 1/2 − 1/4 + 1/8 − 1/16 + ⋯[en]
- 1/4 + 1/16 + 1/64 + 1/256 + ⋯[en]
Література Редагувати
- . Aleph0.clarku.edu. Архів оригіналу за 16 листопада 2011. Процитовано 1 серпня 2013.
- Taylor, Angus E. (1955). Advanced Calculus. Blaisdell. с. 603.
- Abramowitz, M. and Stegun, I. A. (Eds.). Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. New York: Dover, p. 10, 1972.
- Arfken, G. Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 278–279, 1985.
- Beyer, W. H. CRC Standard Mathematical Tables, 28th ed. Boca Raton, FL: CRC Press, p. 8, 1987.
- Courant, R. and Robbins, H. "The Geometric Progression." §1.2.3 in What Is Mathematics?: An Elementary Approach to Ideas and Methods, 2nd ed. Oxford, England: Oxford University Press, pp. 13–14, 1996.
- Pappas, T. "Perimeter, Area & the Infinite Series." The Joy of Mathematics. San Carlos, CA: Wide World Publ./Tetra, pp. 134–135, 1989.
- James Stewart (2002). Calculus, 5th ed., Brooks Cole. ISBN 978-0-534-39339-7
- Larson, Hostetler, and Edwards (2005). Calculus with Analytic Geometry, 8th ed., Houghton Mifflin Company. ISBN 978-0-618-50298-1
- Roger B. Nelsen (1997). Proofs without Words: Exercises in Visual Thinking, The Mathematical Association of America. ISBN 978-0-88385-700-7
- Andrews, George E. (1998). The geometric series in calculus. The American Mathematical Monthly (Mathematical Association of America) 105 (1): 36–40. JSTOR 2589524. doi:10.2307/2589524.
Історія і філософія Редагувати
- C. H. Edwards, Jr. (1994). The Historical Development of the Calculus, 3rd ed., Springer. ISBN 978-0-387-94313-8.
- Swain, Gordon and Thomas Dence (April 1998). Archimedes' Quadrature of the Parabola Revisited. Mathematics Magazine 71 (2): 123–30. JSTOR 2691014. doi:10.2307/2691014.
- Eli Maor (1991). To Infinity and Beyond: A Cultural History of the Infinite, Princeton University Press. ISBN 978-0-691-02511-7
- Morr Lazerowitz (2000). The Structure of Metaphysics (International Library of Philosophy), Routledge. ISBN 978-0-415-22526-7
Економіка Редагувати
- Carl P. Simon and Lawrence Blume (1994). Mathematics for Economists, W. W. Norton & Company. ISBN 978-0-393-95733-4
- Mike Rosser (2003). Basic Mathematics for Economists, 2nd ed., Routledge. ISBN 978-0-415-26784-7
Біологія Редагувати
- Edward Batschelet (1992). Introduction to Mathematics for Life Scientists, 3rd ed., Springer. ISBN 978-0-387-09648-3
- Richard F. Burton (1998). Biology by Numbers: An Encouragement to Quantitative Thinking, Cambridge University Press. ISBN 978-0-521-57698-7
Інформатика Редагувати
- John Rast Hubbard (2000). Schaum's Outline of Theory and Problems of Data Structures With Java, McGraw-Hill. ISBN 978-0-07-137870-3
Посилання Редагувати
- Hazewinkel, Michiel, ред. (2001). Geometric progression. Математична енциклопедія. Springer. ISBN 978-1-55608-010-4.
- Weisstein, Eric W. Geometric Series(англ.) на сайті Wolfram MathWorld.
- Geometric Series на PlanetMath.(англ.)
- Peppard, Kim. . West Texas A&M University. Архів оригіналу за 7 травня 2015. Процитовано 1 грудня 2015.
- Casselman, Bill. (Applet). Архів оригіналу за 29 вересня 2007.
- "Geometric Series" [ 18 лютого 2010 у Wayback Machine.] by Michael Schreiber, Wolfram Demonstrations Project, 2007.