Геаметры́чная прагрэ́сія — паслядоўнасць лікаў b1, b2, b3, … (членаў прагрэсіі), кожны з якіх атрымліваецца з папярэдняга дамнажэннем на пастаянны лік q ≠ 0 (назо́ўнік прагрэсіі)[1][2].
b
n
=
b
n − 1
q ,
2 , 3 , … .
{\displaystyle b_{n}=b_{n-1}q,\qquad n=2,3,\dots .}
Сума ўсіх членаў геаметрычнай прагрэсіі (су́ма бяско́нцай геаметры́чнай прагрэ́сіі) называецца геаметры́чным ра́дам. Часта геаметрычным радам называюць і канечную суму некалькіх першых членаў геаметрычнай прагрэсіі.
Такім чынам, любая геаметрычная паслядоўнасць выглядае на ўзор
a , a q , a
q
2
, a
q
3
, a
q
4
, … ,
{\displaystyle a,\ aq,\ aq^{2},\ aq^{3},\ aq^{4},\ \dots ,}
дзе a — першы член геаметрычнай прагрэсіі, q ≠ 0 - назоўнік геаметрычнай прагрэсіі.
У такіх абазначэннях геаметрычны рад мае выгляд:
a + a q + a
q
2
a
q
3
a
q
4
… .
{\displaystyle a+aq+aq^{2}+aq^{3}+aq^{4}+\dots .}
n-ы член геаметрычнай прагрэсіі можна вылічыць па формуле:
b
n
=
b
1
q
n − 1
{\displaystyle b_{n}=b_{1}q^{n-1}\quad }
Калі
b
1
0
{\displaystyle b_{1}>0}
і
q
1
{\displaystyle q>1}
, прагрэсія з’яўляецца нарастаючай паслядоўнасцю, калі
0 < q < 1
{\displaystyle 0<q<1}
, — спадаючай паслядоўнасцю, а пры
q < 0
{\displaystyle q<0}
— знакачаргавальнай[2].
Сваю назву прагрэсія атрымала дзякуючы сваёй адме́тнай уласці́васці:
|
b
n
|
=
b
n − 1
b
n + 1
,
{\displaystyle |b_{n}|={\sqrt {b_{n-1}b_{n+1}}},}
гэта значыць, кожны член роўны сярэдняму геаметрычнаму сваіх суседзяў.
Доказ Няхай
w
n
=
log
p
b
n
{\displaystyle w_{n}=\log _{p}b_{n}\ }
. Тады для любога n > 1
w
n − 1
w
n + 1
2
=
log
p
b
n − 1
log
p
b
n + 1
2
=
log
p
b
1
q
n − 2
log
p
b
1
q
n
2
=
log
p
(
b
1
2
q
2 n − 2
)
2
=
2 ⋅
log
p
b
1
q
n − 1
2
=
log
p
b
n
=
w
n
{\displaystyle {\frac {w_{n-1}+w_{n+1}}{2}}={\frac {\log _{p}b_{n-1}+\log _{p}b_{n+1}}{2}}={\frac {\log _{p}b_{1}q^{n-2}+\log _{p}b_{1}q^{n}}{2}}={\frac {\log _{p}(b_{1}^{2}q^{2n-2})}{2}}={\frac {2\cdot \log _{p}b_{1}q^{n-1}}{2}}=\log _{p}b_{n}=w_{n}}
Атрыманая роўнасць ёсць адметнай уласцівасцю арыфметычнай прагрэсіі.
b
n
2
=
b
n − i
b
n + i
,
0 ≤ i < n
{\displaystyle b_{n}^{2}=b_{n-i}b_{n+i},\qquad 0\leq i<n}
Доказ
b
n
2
=
b
n
b
n
=
b
1
q
n − 1
b
1
q
n − 1
=
b
1
q
n − 1 − i
b
1
q
n − 1 + i
=
b
n − i
b
n + i
{\displaystyle b_{n}^{2}=b_{n}b_{n}=b_{1}q^{n-1}b_{1}q^{n-1}=b_{1}q^{n-1-i}b_{1}q^{n-1+i}=b_{n-i}b_{n+i}}
P
n
= (
b
1
⋅
b
n
)
n 2
{\displaystyle P_{n}=(b_{1}\cdot b_{n})^{\frac {n}{2}}}
Доказ
P
n
=
∏
1
n
b
i
=
∏
1
n
b
1
q
i − 1
=
b
1
n
∏
1
n
q
i − 1
=
b
1
n 2
b
1
n 2
q
n ( 0 + ( n − 1 ) )
2
= (
b
1
b
1
q
n − 1
)
n 2
= (
b
1
b
n
)
n 2
{\displaystyle P_{n}=\prod _{i=1}^{n}b_{i}=\prod _{i=1}^{n}b_{1}q^{i-1}=b_{1}^{n}\prod _{i=1}^{n}q^{i-1}=b_{1}^{\frac {n}{2}}b_{1}^{\frac {n}{2}}q^{\frac {n(0+(n-1))}{2}}=(b_{1}b_{1}q^{n-1})^{\frac {n}{2}}=(b_{1}b_{n})^{\frac {n}{2}}}
P
k , n
=
P
n
P
k − 1
{\displaystyle P_{k,n}={\frac {P_{n}}{P_{k-1}}}}
Доказ
P
k , n
=
∏
k
n
b
i
=
∏
1
n
b
i
∏
1
k − 1
b
j
=
P
n
P
k − 1
{\displaystyle P_{k,n}=\prod _{i=k}^{n}b_{i}={\frac {\prod _{i=1}^{n}b_{i}}{\prod _{j=1}^{k-1}b_{j}}}={\frac {P_{n}}{P_{k-1}}}}
S
n
=
∑
1
n
b
i
=
{
b
1
1 −
q
n
1 − q
,
q ≠ 1 ,
n
b
1
,
{\displaystyle S_{n}=\sum _{i=1}^{n}b_{i}={\begin{cases}b_{1}{\frac {1-q^{n}}{1-q}},&q\neq 1,\nb_{1},&q=1.\end{cases}}}
Доказ
S
n
=
∑
1
n
b
1
q
i − 1
=
b
1
∑
2
n
b
1
q
i − 1
=
b
1
q
∑
2
n
b
1
q
i − 2
=
b
1
q
∑
1
n − 1
b
1
q
i − 1
=
b
1
q
∑
1
n
b
1
q
i − 1
−
b
1
q
n
= q
S
n
b
1
( 1 −
q
n
)
{\displaystyle S_{n}=\sum _{i=1}^{n}b_{1}q^{i-1}=b_{1}+\sum _{i=2}^{n}b_{1}q^{i-1}=b_{1}+q\sum _{i=2}^{n}b_{1}q^{i-2}=b_{1}+q\sum _{i=1}^{n-1}b_{1}q^{i-1}=b_{1}+q\sum _{i=1}^{n}b_{1}q^{i-1}-b_{1}q^{n}=qS_{n}+b_{1}(1-q^{n})}
Адсюль вынікае
( 1 − q )
S
n
=
b
1
( 1 −
q
n
) .
{\displaystyle (1-q)S_{n}=b_{1}(1-q^{n}).}
1 :
S
1
=
∑
1
1
b
i
=
b
1
=
b
1
1 −
q
1
1 − q
{\displaystyle n=1:S_{1}=\sum _{i=1}^{1}b_{i}=b_{1}=b_{1}{\frac {1-q^{1}}{1-q}}}
n → n + 1 :
S
n + 1
=
∑
1
n + 1
b
i
=
∑
1
n
b
i
b
n + 1
=
b
1
1 −
q
n
1 − q
b
1
q
n
=
b
1
(
1 −
q
n
1 − q
q
n
)
=
b
1
(
1 −
q
n
q
n
−
q
n + 1
1 − q
)
=
b
1
1 −
q
n + 1
1 − q
{\displaystyle n\rightarrow n+1:S_{n+1}=\sum _{i=1}^{n+1}b_{i}=\sum _{i=1}^{n}b_{i}+b_{n+1}=b_{1}{\frac {1-q^{n}}{1-q}}+b_{1}q^{n}=b_{1}\left({\frac {1-q^{n}}{1-q}}+q^{n}\right)=b_{1}\left({\frac {1-q^{n}+q^{n}-q^{n+1}}{1-q}}\right)=b_{1}{\frac {1-q^{n+1}}{1-q}}}
Геаметры́чны ра́д — такі бясконцы рад, дзель паслядоўных членаў якога ёсць сталая велічыня. Часам геаметрычны рад яшчэ называюць сумай бясконцай геаметрычнай прагрэсіі. У агульным выпадку, геаметрычны рад можна прадставіць у выглядзе:
a + a q + a
q
2
a
q
3
a
q
4
…
{\displaystyle a+aq+aq^{2}+aq^{3}+aq^{4}+\dots }
або
∑
0
∞
a
q
k
.
{\displaystyle \sum _{k=0}^{\infty }aq^{k}.}
Геаметрычны рад збягаецца, калі і толькі калі |q| < 1. Суму рада азначаюць як граніцу паслядоўнасці яго частковых сум S**n:
∑
0
∞
a
q
k
=
lim
n → ∞
∑
0
n
a
q
k
=
lim
n → ∞
a
1 −
q
n
1 − q
.
{\displaystyle \sum _{k=0}^{\infty }aq^{k}=\lim _{n\to \infty }\sum _{k=0}^{n}aq^{k}=\lim _{n\to \infty }a{\frac {1-q^{n}}{1-q}}.}
А раз |q| < 1, то велічыня q**n імкнецца да нуля пры неабмежаваным нарастанні n. Адсюль атрымліваем, што сума геаметрычнага рада раўняецца:
a + a q + a
q
2
a
q
3
a
q
4
a
1 − q
.
{\displaystyle a+aq+aq^{2}+aq^{3}+aq^{4}+\dots ={\frac {a}{1-q}}.}
Калі ж |q| ≥ 1, геаметрычны рад разбягаецца.
Гл. таксама: Дзесятковы дроб Геаметрычныя рады маюць адно цікавае дастасаванне. Так, любы перыядычны дзесятковы дроб, па сутнасці, ёсць запіс пэўнага геаметрычнага рада. Справядліва наступная тэарэма:
|
Такім чынам, узнікае задача пераводу перыядычнага дзесятковага дробу ў звычайны.
Прыклады:
0
,
0
,
7 + 0
,
7
1 10
7
(
1 10
)
2
7
(
1 10
)
3
7 10
1 −
1 10
=
7 9
{\displaystyle 0{,}(7)=0{,}77777\dots =0{,}7+0{,}07+0{,}007+\dots =7{\frac {1}{10}}+7\left({\frac {1}{10}}\right)^{2}+7\left({\frac {1}{10}}\right)^{3}+\dots ={\frac {\frac {7}{10}}{1-{\frac {1}{10}}}}={\frac {7}{9}}}
0
,
0
,
9 + 0
,
9
1 10
9
(
1 10
)
2
9
(
1 10
)
3
9 10
1 −
1 10
=
9 9
= 1
{\displaystyle 0{,}(9)=0{,}99999\dots =0{,}9+0{,}09+0{,}009+\dots =9{\frac {1}{10}}+9\left({\frac {1}{10}}\right)^{2}+9\left({\frac {1}{10}}\right)^{3}+\dots ={\frac {\frac {9}{10}}{1-{\frac {1}{10}}}}={\frac {9}{9}}=1}
0
,
143
1 1000
143
(
1 1000
)
2
143
(
1 1000
)
3
143 1000
1 −
1 1000
=
143 999
{\displaystyle 0{,}(143)=0{,}143143\dots =0{,}143+0{,}000143+0{,}000000143+\dots =143{\frac {1}{1000}}+143\left({\frac {1}{1000}}\right)^{2}+143\left({\frac {1}{1000}}\right)^{3}+\dots ={\frac {\frac {143}{1000}}{1-{\frac {1}{1000}}}}={\frac {143}{999}}}
0
,
0
,
85 100
3 1000
3 1000
⋅
1 10
3 1000
(
1 10
)
2
17 20
3 1000
1 −
1 10
=
17 20
1 300
=
64 75
{\displaystyle 0{,}85(3)=0{,}85333\dots =0{,}85+0{,}003+0{,}0003+\dots ={\frac {85}{100}}+{\frac {3}{1000}}+{\frac {3}{1000}}\cdot {\frac {1}{10}}+{\frac {3}{1000}}\left({\frac {1}{10}}\right)^{2}+\dots ={\frac {17}{20}}+{\frac {\frac {3}{1000}}{1-{\frac {1}{10}}}}={\frac {17}{20}}+{\frac {1}{300}}={\frac {64}{75}}}
{\displaystyle \pi ,\pi ,\pi ,\pi }
— геаметрычная прагрэсія з назоўнікам 1.