Признак Сапогова — признак сходимости числового ряда , предложенный Николаем Александровичем Сапоговым .
Пусть
(
b
n
)
{\displaystyle (b_{n})}
есть монотонно возрастающая последовательность положительных чисел , тогда ряд
∑
n
=
1
∞
(
1
−
b
n
b
n
+
1
)
{\displaystyle \sum _{n=1}^{\infty }\left(1-{\frac {b_{n}}{b_{n+1}}}\right)}
,
равно как и ряд
∑
n
=
1
∞
(
b
n
+
1
b
n
−
1
)
{\displaystyle \sum _{n=1}^{\infty }\left({\frac {b_{n+1}}{b_{n}}}-1\right)}
сходится, если последовательность ограничена
(
b
n
)
{\displaystyle (b_{n})}
и расходится, если
(
b
n
)
{\displaystyle (b_{n})}
— не ограничена.
Рассмотрим следующее бесконечное произведение
∏
n
=
1
∞
b
n
+
1
b
n
=
∏
n
=
1
∞
γ
n
{\displaystyle \prod _{n=1}^{\infty }{\frac {b_{n+1}}{b_{n}}}=\prod _{n=1}^{\infty }{\gamma _{n}}}
с общим членом
γ
n
=
b
n
+
1
b
n
⩾
1
{\displaystyle \gamma _{n}={\frac {b_{n+1}}{b_{n}}}\geqslant 1}
.
С одной стороны, частичное произведение равняется
∏
n
=
1
m
b
n
+
1
b
n
=
1
b
1
⋅
b
m
+
1
{\displaystyle \prod _{n=1}^{m}{\frac {b_{n+1}}{b_{n}}}={\frac {1}{b_{1}}}\cdot b_{m+1}}
, так что по определению данное бесконечное произведение сходится тогда и только тогда, когда сходится (т. е. ограничена) последовательность
(
b
n
)
{\displaystyle (b_{n})}
.
С другой стороны, для сходимости этого бесконечного произведения необходимо и достаточно, чтобы сходился ряд
∑
n
=
1
∞
(
ln
(
b
n
+
1
b
n
)
)
{\displaystyle \sum _{n=1}^{\infty }\left(\ln \left({\frac {b_{n+1}}{b_{n}}}\right)\right)}
с неотрицательным членом
δ
n
=
ln
(
b
n
+
1
b
n
)
⩾
0
{\displaystyle \delta _{n}=\ln \left({\frac {b_{n+1}}{b_{n}}}\right)\geqslant 0}
.
При этом
δ
n
=
ln
(
b
n
+
1
b
n
)
=
ln
(
1
+
b
n
+
1
b
n
−
1
)
∼
(
b
n
+
1
b
n
−
1
)
=
(
b
n
+
1
−
b
n
b
n
)
∼
(
b
n
+
1
−
b
n
b
n
+
1
)
=
(
1
−
b
n
b
n
+
1
)
{\displaystyle \delta _{n}=\ln \left({\frac {b_{n+1}}{b_{n}}}\right)=\ln \left(1+{\frac {b_{n+1}}{b_{n}}}-1\right)\sim \left({\frac {b_{n+1}}{b_{n}}}-1\right)=\left({\frac {b_{n+1}-b_{n}}{b_{n}}}\right)\sim \left({\frac {b_{n+1}-b_{n}}{b_{n+1}}}\right)=\left(1-{\frac {b_{n}}{b_{n+1}}}\right)}
и в соответствии с признаком сравнения в предельной форме ряды
∑
n
=
1
∞
(
1
−
b
n
b
n
+
1
)
{\displaystyle \sum _{n=1}^{\infty }\left(1-{\frac {b_{n}}{b_{n+1}}}\right)}
,
∑
n
=
1
∞
(
b
n
+
1
b
n
−
1
)
{\displaystyle \sum _{n=1}^{\infty }\left({\frac {b_{n+1}}{b_{n}}}-1\right)}
, бесконечное произведение
∏
n
=
1
∞
b
n
+
1
b
n
{\displaystyle \prod _{n=1}^{\infty }{\frac {b_{n+1}}{b_{n}}}}
и числовая последовательность
(
b
n
)
{\displaystyle (b_{n})}
все вместе либо сходятся, либо расходятся.
Для всех рядов
∑
n
=
1
∞
a
n
{\displaystyle \sum _{n=1}^{\infty }a_{n}}
Для знакоположительных рядов Для знакочередующихся рядов Для рядов вида
∑
n
=
1
∞
a
n
b
n
{\displaystyle \sum _{n=1}^{\infty }a_{n}b_{n}}
Для функциональных рядов Для рядов Фурье