Доказательство. Пусть . Выберем , например . На интервале и в точке x1 степенной ряд сходится абсолютно, так как этот интервал лежит внутри интервала сходимости. Тогда (точно так же, как в доказательстве теоремы Абеля оценим ,
где (не зависит от ).
Тогда в области степенной ряд будет сходиться равномерно по признаку Вейерштрасса (члены ряда мажорируются членами бесконечно убывающей геометрической прогрессии).
Следствие.Внутри интервала сходимости справедливы теоремы о непрерывности суммы ряда, о почленном интегрировании и дифференцировании ряда.
Теорема.При почленном дифференцировании и интегрировании степенного ряда его радиус сходимости не меняется.
Доказательство. Рассмотрим ряд из модулей членов степенного ряда (это – знакоположительный числовой ряд в конкретной точке) и определим радиус сходимости по признаку Даламбера.
.
Продифференцируем почленно степенной ряд , перейдем к ряду из модулей и найдем радиус сходимости по признаку Даламбера.
.
Таким образом, при почленном дифференцировании радиус сходимости степенного ряда не меняется. Он не меняется и при почленном интегрировании, иначе он изменился бы при почленном дифференцировании.