Вы находитесь на странице: 1из 12

Лекция 1.

Полезная информация.
Математические дисциплины в группах вашего института ведут
преподаватели кафедры Высшей математики 2.
Сайт кафедры: https://vm-2.mozello.com
Математический анализ – одна из основных математических дисциплин,
которая изучается на первом и втором курсах. В конце первого и второго
семестров, т.е. в первую и вторую экзаменационную сессии, по
математическому анализу проводится экзамен.
В течение каждого семестра по математическому анализу студенты
выполняют две контрольные работы и типовой расчет. Каждый студент
выполняет определенный вариант типового расчета в соответствии с
указаниями преподавателя, который ведет занятия в группе. Результаты
выполнения контрольных работ и типового расчета учитываются при сдаче
экзамена.
Задания типового расчета, темы контрольных работ, образец варианта
экзаменационного билета, теоретические вопросы для подготовки к экзамену,
рекомендуемая литература, а также задания для работы на семинарах и для
домашней работы имеются в учебном пособии Математический анализ 1
семестр, которое размещено на сайте кафедры.
Используемые условные обозначения.
∀ - квантор общности (для любого, для каждого)
∃ - квантор существования (существует, найдется)
∄ - не существует, не найдется
 - знак принадлежности. Например, запись x  A означает, что x
принадлежит A.
𝑥 ∉ 𝐴 – x не принадлежит A
B ⊂ A – B является подмножеством А
A ⇒ B – из утверждения А следует утверждение В
A ⇐ B – из утверждения В следует утверждение А
A ⇔ B – А и В равносильные утверждения (А верно тогда и только тогда, если
верно В, для выполнения А необходимо и достаточно выполнения В)
: – такой, что
x → a – x стремится к a или x ставится в соответствие a.

1
Числовая последовательность. Предел числовой последовательности.
Числовые множества.
Число – одно из основных понятий математики. Рассмотрим примеры
числовых множеств.
Числа 1,2,3,… называются натуральными. Множество натуральных чисел
обозначается ℕ.
Числа 0,1,-1,2,-2,… называются целыми. Множество целых чисел
обозначается ℤ (ℕ ⊂ ℤ).
𝑝
Числа, представимые в виде , где 𝑝 ∈ ℤ, 𝑞 ∈ ℕ называются
𝑞
рациональными. Множество рациональных чисел обозначается ℚ (ℤ ⊂ ℚ).
Рациональные числа могут быть представлены в виде конечных или
бесконечных периодических десятичных дробей, например,
2 4
= = 0,4
5 10
1
= 0,333 … = 0, (3)
3
2
= 0, (285714)
7
Наоборот, любую бесконечную периодическую десятичную дробь можно
записать в виде обыкновенной, пользуясь формулой для суммы бесконечно
убывающей геометрической прогрессии:
𝑏
𝑏 + 𝑏𝑞 + 𝑏𝑞2 + ⋯ = , |𝑞| < 1
1−𝑞
Например,
0,51 0,51 17
0, (51) = 0,51 + 0,51 ⋅ 10−2 + 0,51 ⋅ 10−4 + ⋯ = = =
1 − 0,01 0,99 33
Числа, представимые в виде бесконечных непериодических десятичных
дробей называются иррациональными. Таковы числа √2, −√3, √7 − 6 и т.д.
Совокупность всех рациональных и иррациональных чисел образует множество
действительных или вещественных чисел. Множество действительных чисел
обозначается ℝ (ℚ ⊂ ℝ).
Действительные числа упорядочены по величине, т.е. для любой пары
действительных чисел x и y имеет место одно и только одно из соотношений:
𝑥 < 𝑦, 𝑥 = 𝑦, 𝑥 > 𝑦
𝑥<𝑦
∀𝑥, 𝑦 ∈ ℝ ⟹ [𝑥 = 𝑦
𝑥>𝑦
Действительные числа можно изображать точками на числовой прямой.
Между действительными числами и точками числовой прямой существует
взаимно однозначное соответствие (рис. 1).

2
Важным является понятие модуля действительного числа:
−𝑥, 𝑥 < 0
|𝑥| = {
𝑥, 𝑥 ≥ 0
Модуль числа обладает следующими свойствами:
|−𝑥| = |𝑥|
|𝑥 + 𝑦| ≤ |𝑥| + |𝑦|
|𝑥𝑦| = |𝑥| ⋅ |𝑦|
|𝑥 − 𝑦| ≥ |𝑥| − |𝑦|
С геометрической точки зрения |𝑥| равен расстоянию от точки x на
числовой прямой до начала отсчета, т.е. до точки 0.
Окрестностью точки а на числовой прямой называется любой интервал
(𝛼, 𝛽), содержащий эту точку: 𝛼 < 𝑎 < 𝛽 (рис. 2).

Окрестностью точки а радиуса 𝜀 называется множество точек x числовой


прямой, таких что: |𝑥 − 𝑎| < 𝜀 (рис. 3)

Обозначается 𝑈𝜀 (𝑎) = {𝑥: |𝑥 − 𝑎| < 𝜀}.


Здесь мы использовали буквы 𝛼, 𝛽, 𝜀 греческого алфавита. Для
обозначения радиуса окрестности используется также буква 𝛿 греческого
алфавита.
Проколотой окрестностью точки а радиуса 𝜀 называется множество точек
х числовой прямой таких, что 0 < |𝑥 − 𝑎| < 𝜀 (рис. 4)

3
Обозначается 𝑈̇𝜀 (𝑎) = {𝑥: 0 < |𝑥 − 𝑎| < 𝜀}.
Числовая последовательность.
Определение. Числовой последовательностью называется пронумерованное
бесконечное множество действительных чисел (не обязательно различных),
расположенных в соответствии с возрастанием номеров: 𝑥1 , 𝑥2 , 𝑥3 , …
Последовательность с элементами 𝑥𝑛 будем обозначать {𝑥𝑛 }, 𝑛 = 1,2, …
Из школьного курса алгебры известны следующие примеры числовых
последовательностей:
арифметическая прогрессия, например, 1,3,5,7,…
геометрическая прогрессия, например, 1,2,4,8,…
Рассмотрим другие примеры числовых последовательностей:
1 1 1 1
𝑥𝑛 = ; 1, , , , …
𝑛 2 3 4
𝑥𝑛 = (−1)𝑛+1; 1, −1,1, −1,1, −1, …
1 + (−1)𝑛
𝑥𝑛 = ; 0,1,0,1, …
2
(−1)𝑛+1 1 1 1
𝑥𝑛 = ; 1, − , , − ,…
𝑛2 4 9 16
𝑛 1
𝑥𝑛 = 𝑛(−1) ; 1,2, , 4, …
3
Предел числовой последовательности.
Определение. Число а называется пределом числовой последовательности {𝑥𝑛 },
если, начиная с некоторого номера, 𝑥𝑛 отличается от а сколь угодно мало.
Уточним данное определение.
Определение. Число а называется пределом числовой последовательности {𝑥𝑛 },
если для любого положительного числа 𝜀 найдется такой номер 𝑛𝜀 , что для
любого номера 𝑛 > 𝑛𝜀 выполняется неравенство |𝑥𝑛 − 𝑎| < 𝜀.
Обозначается lim 𝑥𝑛 = 𝑎 или 𝑥𝑛 → 𝑎 при 𝑛 → ∞. Обозначение происходит от
𝑛→∞
латинского слова “limes”, означающего “предел”.
Если 𝑎 = lim 𝑥𝑛 , то говорят, что {𝑥𝑛 } сходится к а. Последовательность,
𝑛→∞
имеющая предел, называется сходящейся. В противном случае
последовательность называется расходящейся. Из приведенных примеров
последовательности
1 (−1)𝑛+1
𝑥𝑛 = и 𝑥𝑛 = – сходящиеся
𝑛 𝑛2

4
1+(−1)𝑛 𝑛
𝑥𝑛 = (−1)𝑛+1, 𝑥𝑛 = , 𝑥𝑛 = 𝑛(−1) – расходящиеся.
2

Сформулируем еще раз определение предела числовой


последовательности, пользуясь логической символикой:
𝑎 = lim 𝑥𝑛 если ∀𝜀 > 0 ∃𝑛𝜀 : ∀𝑛 > 𝑛𝜀 ⟹ |𝑥𝑛 − 𝑎| < 𝜀
𝑛→∞

Замечание. Запись 𝑛𝜀 означает, что выбор номера 𝑛𝜀 зависит, вообще говоря,


от 𝜀.
Замечание. Число а называется пределом числовой последовательности, если в
любой окрестности числа а содержатся почти все ее члены за исключением,
быть может, конечного числа членов (рис. 5).

1
Примеры. Пользуясь определением, доказать, что ∃ lim = 0.
𝑛→∞ 𝑛

Выберем произвольное 𝜀 > 0. По определению предела числовой


1
последовательности необходимо найти номер 𝑛𝜀 такой, что | − 0| < 𝜀
𝑛
∀𝑛 > 𝑛𝜀 . Заменим данное неравенство на равносильное:
1 1
<𝜀⟺𝑛>
𝑛 𝜀
1 1 1
Значит, в качестве 𝑛𝜀 можно взять [ ] + 1, где [ ] – целая часть числа .
𝜀 𝜀 𝜀

1
𝑛𝜀 = [ ] + 1
𝜀
Аналогично можно доказать, что
1 1 1
∃ lim = 0, ∃ lim = 0, ∃ lim = 0 ∀𝛼 > 0
𝑛→∞ 𝑛2 𝑛→∞ √𝑛 𝑛→∞ 𝑛𝛼

Докажем еще одно утверждение:


3𝑛 + 4 3
∃ lim =
𝑛→∞ 2𝑛 + 1 2
Рассмотрим разность между общим членом и пределом данной
последовательности:
3𝑛 + 4 3 6𝑛 + 8 − 6𝑛 − 3 5 5 5
| − |=| |= < <𝜀⟺𝑛>
2𝑛 + 1 2 2(2𝑛 + 1) 2(2𝑛 + 1) 4𝑛 4𝜀
Выберем

5
5
𝑛𝜀 = [ ]+1
4𝜀
3𝑛+4 3
Тогда ∀𝑛 > 𝑛𝜀 верно неравенство | − | < 𝜀, что согласно определению,
2𝑛+1 2
3𝑛+4 3
означает, что ∃ lim =
𝑛→∞ 2𝑛+1 2

Замечание. Сходящаяся числовая последовательность не может иметь более


одного предела.
Доказывается это утверждение от противного. Пусть последовательность имеет
два предела a и b и 𝑎 ≠ 𝑏. Тогда почти все члены последовательности должны
оказаться в окрестности числа а и в окрестности числа b, что невозможно, если
эти окрестности не имеют общих точек (рис. 6).

Приведем подробное доказательство.


Доказательство: будем рассуждать от противного. Пусть последовательность имеет два
|𝑏−𝑎|
предела a и b и 𝑎 ≠ 𝑏. Выберем 0 < 𝜀 < . Т.к. по предположению lim 𝑥𝑛 = 𝑎, то ∃𝑛1𝜀
2 𝑛→∞
такой, что ∀𝑛 > 𝑛1𝜀 выполняется неравенство |𝑥𝑛 − 𝑎| < 𝜀, т.е. что начиная с некоторого
номера 𝑛1𝜀 все члены последовательности находятся в окрестности 𝑈𝜀 (𝑎) = {𝑥: |𝑥 − 𝑎| < 𝜀}.
Поскольку lim 𝑥𝑛 = 𝑏, то ∃𝑛2𝜀 такой, что ∀𝑛 > 𝑛2𝜀 выполняется неравенство |𝑥𝑛 − 𝑏| < 𝜀,
𝑛→∞
т.е. что начиная с некоторого номера 𝑛2𝜀 все члены последовательности находятся в
окрестности 𝑈𝜀 (𝑏) = {𝑥: |𝑥 − 𝑏| < 𝜀}. Выберем из номеров 𝑛1𝜀 и 𝑛2𝜀 наибольший: 𝑛𝜀 =
max{𝑛1𝜀 , 𝑛2𝜀 }.
Тогда ∀𝑛 > 𝑛𝜀 верны включения: 𝑥𝑛 ∈ 𝑈𝜀 (𝑎) и 𝑥𝑛 ∈ 𝑈𝜀 (𝑏), что невозможно, поскольку
окрестности 𝑈𝜀 (𝑎) и 𝑈𝜀 (𝑏) не имеют общих точек (𝑈𝜀 (𝑎) ∩ 𝑈𝜀 (𝑏) = ∅) по построению.

Бесконечно малые, бесконечно большие и ограниченные


последовательности.
Определение. Последовательность {𝑥𝑛 } называется бесконечно малой (б/м),
если ∃ lim 𝑥𝑛 = 0.
𝑛→∞
1 (−1)𝑛+1
Примеры: 𝑥𝑛 = , 𝑥𝑛 =
𝑛 𝑛2

Определение. Последовательность {𝑥𝑛 } называется бесконечно большой (б/б),


если ∀𝑀 > 0 ∃𝑛𝑀 : ∀𝑛 > 𝑛𝑀 ⟹ |𝑥𝑛 | > 𝑀. Обозначается lim 𝑥𝑛 = ∞.
𝑛→∞

Примеры: 𝑥𝑛 = 𝑛2 , 𝑥𝑛 = 𝑛(−1)𝑛
Определение. Последовательность {𝑥𝑛 } называется ограниченной снизу, если
∃𝑀: 𝑥𝑛 > 𝑀 ∀𝑛.
Аналогично определяется последовательность, ограниченная сверху.

6
Определение. Последовательность {𝑥𝑛 } называется ограниченной, если
∃𝑀 > 0: |𝑥𝑛 | < 𝑀 ∀𝑛.
Примеры: 𝑥𝑛 = 2 − 3𝑛 – ограничена сверху
𝑛
𝑥𝑛 = 𝑛(−1) – ограничена снизу
𝜋𝑛
𝑥𝑛 = sin – ограничена
2

Причем:
lim (2 − 3𝑛 ) = −∞
𝑛→∞
𝑛
lim (𝑛(−1) ) − не существует
𝑛→∞
𝜋𝑛
lim sin − не существует
𝑛→∞ 2
Свойства бесконечно малых, бесконечно больших и ограниченных
последовательностей.
Утверждение. Любая сходящаяся последовательность ограничена.
Доказательство: Пусть дана сходящаяся последовательность {𝑥𝑛 } и пусть 𝑙𝑖𝑚 𝑥𝑛 = 𝑎.
𝑛→∞
Возьмем, например, 𝜀 = 1. Согласно определению предела последовательности, существует
такое n1, что ∀𝑛 ≥ 𝑛1 выполняется неравенство |𝑥𝑛 − 𝑎| < 1. Пусть d – наибольшее из чисел
1, |𝑥1 − 𝑎|, |𝑥2 − 𝑎|, … , |𝑥𝑛1−1 − 𝑎|. Тогда для всех n=1,2,… выполняется неравенство |𝑥𝑛 −
𝑎| ≤ 𝑑, т.е. для всех n 𝑎 − 𝑑 ≤ 𝑥𝑛 ≤ 𝑎 + 𝑑, что и означает ограниченность
последовательности.

Заметим, что обратное утверждение неверно. Для ограниченных


последовательностей справедлива теорема Больцано-Вейерштрасса, которую
пока приведем без доказательства. Предварительно дадим
Определение. Пусть {𝑥𝑛 } – последовательность. Рассмотрим строго
возрастающую последовательность натуральных чисел {𝑛𝑘 } такую, что 𝑛1 <
𝑛2 < 𝑛3 < ⋯ (𝑛𝑘 < 𝑛𝑙 при 𝑘 < 𝑙 ), 𝑛𝑘 ≥ 𝑘 ∀𝑘. Тогда последовательность {𝑥𝑛𝑘 }
называется подпоследовательность последовательности {𝑥𝑛 }.
Теорема (Больцано-Вейерштрасса). Из любой ограниченной
последовательности можно выделить сходящуюся подпоследовательность.
Бернард Больцано (1781-1848) – чешский математик и философ, один из
основоположников строгой теории действительных чисел.
Карл Теодор Вильгельм Вейерштрасс (1815-1897) – выдающийся немецкий
математик, уделял большое внимание логическому обоснованию
математического анализа. Его работы существенно обогатили математический
анализ, теорию специальных функций, вариационное исчисление,
дифференциальную геометрию и линейную алгебру.

7
1
Если 𝑥𝑛 – б/м последовательность (𝑥𝑛 ≠ 0), то – б/б
𝑥𝑛
последовательность.
1
Если 𝑥𝑛 – б/б последовательность, то – б/м последовательность.
𝑥𝑛

Произведение б/м и ограниченной последовательности есть б/м


последовательность.
Сумма двух б/м последовательностей есть б/м последовательность.
Примеры.
1
1) 𝑥𝑛 = 𝑛 – б/б последовательность, 𝑦𝑛 = – б/м последовательность.
𝑛
1 𝜋𝑛
2) 𝑥𝑛 = – б/м последовательность, 𝑦𝑛 = sin – ограниченная
𝑛 3
𝜋𝑛
sin 3
последовательность, 𝑥𝑛 ⋅ 𝑦𝑛 = – б/м последовательность.
𝑛
1 1 √𝑛+1−√𝑛
3) 𝑥𝑛 = , 𝑦𝑛 = – б/м последовательности, 𝑥𝑛 − 𝑦𝑛 = – б/м
√𝑛 √𝑛+1 √𝑛⋅√𝑛+1
последовательность.
Замечание. Разность двух б/б последовательностей, вообще говоря, не является
б/б. Например, 𝑥𝑛 = √𝑛 + 1, 𝑦𝑛 = √𝑛 – б/б,
1
𝑥𝑛 − 𝑦𝑛 = √𝑛 + 1 − √𝑛 = – б/м.
√𝑛+1+√𝑛

Свойства сходящихся последовательностей.


1. Пусть ∃ lim 𝑥𝑛 = 𝑎, ∃ lim 𝑦𝑛 = 𝑎 и пусть 𝑥𝑛 ≤ 𝑧𝑛 ≤ 𝑦𝑛 ∀𝑛 ∈ ℕ. Тогда
𝑛→∞ 𝑛→∞

∃ lim 𝑧𝑛 = 𝑎
𝑛→∞

2. Пусть ∃ lim 𝑥𝑛 = 𝑎, ∃ lim 𝑦𝑛 = 𝑏. Тогда


𝑛→∞ 𝑛→∞

∃ lim (𝑐1𝑥𝑛 + 𝑐2𝑦𝑛 ) = 𝑐1𝑎 + 𝑐2𝑏, ∀𝑐1, 𝑐2 ∈ ℝ


𝑛→∞

∃ lim 𝑥𝑛 𝑦𝑛 = 𝑎𝑏
𝑛→∞
𝑥𝑛 𝑎
∃ lim = , если 𝑏 ≠ 0
𝑛→∞ 𝑦𝑛 𝑏
Примеры. Пользуясь свойствами пределов, вычислить:
1.
7
5𝑛 + 7 ∞ 5+
lim = ( ) = lim 𝑛=5
𝑛→∞ 7𝑛 + 5 ∞ 𝑛→∞ 5 7
7+
𝑛

8
2.
(𝑛 + 3)2 − (𝑛 + 2)2 (𝑛 + 3 − 𝑛 − 2)(𝑛 + 3 + 𝑛 + 2) 2𝑛 + 5
lim = lim = lim =
𝑛→∞ 6𝑛 + 7 𝑛→∞ 6𝑛 + 7 𝑛→∞ 6𝑛 + 7

5
∞ 2+𝑛 2 1
= ( ) = lim = =
∞ 𝑛→∞ 7 6 3
6+𝑛

3.
(𝑛 + 2)3 − (𝑛 + 1)3
lim =
𝑛→∞ 3𝑛2 + 4𝑛 + 8
(𝑛 + 2 − 𝑛 − 1)((𝑛 + 2)2 + (𝑛 + 2)(𝑛 + 1) + (𝑛 + 1)2)
= lim =
𝑛→∞ 3𝑛2 + 4𝑛 + 8
𝑛2 + 4𝑛 + 4 + 𝑛2 + 3𝑛 + 2 + 𝑛2 + 2𝑛 + 1 3𝑛2 + 9𝑛 + 7
= lim = lim 2 =
𝑛→∞ 3𝑛2 + 4𝑛 + 8 𝑛→∞ 3𝑛 + 4𝑛 + 8

9 7
∞ 3+ + 2 3
= ( ) = lim 𝑛 𝑛 = =1
∞ 4 8
3+ + 2 3
𝑛→∞
𝑛 𝑛
4.
𝑛2 + 3 𝑛2 + 2 (𝑛2 + 3)(𝑛 + 3) − (𝑛2 + 2)(𝑛 + 2)
lim ( − ) = (∞ − ∞) = lim =
𝑛→∞ 𝑛 + 2 𝑛+3 𝑛→∞ (𝑛 + 2)(𝑛 + 3)

𝑛3 + 3𝑛2 + 3𝑛 + 9 − 𝑛3 − 2𝑛2 − 2𝑛 − 4 𝑛2 + 𝑛 + 5
= lim = lim =
𝑛→∞ (𝑛 + 2)(𝑛 + 3) 𝑛→∞ (𝑛 + 2)(𝑛 + 3)

1 5
∞ 1+ + 2
𝑛 𝑛
= ( ) = lim =1
∞ 𝑛→∞ 2 3
(1 + ) (1 + )
𝑛 𝑛
5.

(√𝑛 + 5 − √𝑛)(√𝑛 + 5 + √𝑛)


lim (√𝑛 + 5 − √𝑛) = (∞ − ∞) = lim =
𝑛→∞ 𝑛→∞ √𝑛 + 5 + √𝑛
5
= lim =0
𝑛→∞ √𝑛 + 5 + √𝑛
6.
7𝑛 + 9
lim (√4𝑛2 + 7𝑛 + 9 − 2𝑛) = (∞ − ∞) = lim =
𝑛→∞ 𝑛→∞ √4𝑛2 + 7𝑛 + 9 + 2𝑛

9
9
∞ 7+ 7
= ( ) = lim 𝑛 =
∞ 𝑛→∞ 4
√4 + 7 + 92 + 2
𝑛 𝑛
7.
10𝑛
lim (√9𝑛2 + 5𝑛 − √9𝑛2 − 5𝑛) = (∞ − ∞) = lim =
𝑛→∞ 𝑛→∞ √9𝑛2 + 5𝑛 + √9𝑛2 − 5𝑛
∞ 10 10 5
= ( ) = lim = =
∞ 𝑛→∞ 6 3
√9 + 5 + √9 − 5
𝑛 𝑛
8.
3
lim ( √𝑛3 + 4𝑛2 − 𝑛) = (∞ − ∞) =
𝑛→∞

3 3 2 3
( √𝑛3 + 4𝑛2 − 𝑛) (( √𝑛3 + 4𝑛2 ) + 𝑛 √𝑛3 + 4𝑛2 + 𝑛2 )
= lim 2 =
𝑛→∞ 3 3
( √𝑛3 + 4𝑛2 ) + 𝑛 √𝑛3 + 4𝑛2 + 𝑛2
4𝑛2∞
= lim 2 =( )=
𝑛→∞ 3 3 3
( √𝑛 + 4𝑛2 ) + 𝑛 √𝑛3 + 4𝑛2 + 𝑛2 ∞

4 4
= lim 2 =
𝑛→∞ 3 4 3 4 3
( √1 + ) + √1 + + 1
𝑛 𝑛

9.
sin 2𝑛
3𝑛2 + 𝑛 sin 2𝑛 ∞ 3+
lim 2 = ( ) = lim 𝑛 =3
𝑛→∞ 2𝑛 + 𝑛 sin 3𝑛 ∞ 𝑛→∞ sin 3𝑛 2
2+
𝑛
10.
1 + 3𝑛 − 2
1 + 4 + 7 + ⋯ + (3𝑛 − 2) 3𝑛 𝑛 3𝑛
lim ( − ) = lim ( 2 − )=
𝑛→∞ 𝑛+1 2 𝑛→∞ 𝑛+1 2

(3𝑛 − 1)𝑛 3𝑛 3𝑛2 − 𝑛 − 3𝑛2 − 3𝑛


= lim ( − ) = (∞ − ∞) = lim =
𝑛→∞ 2(𝑛 + 1) 2 𝑛→∞ 2(𝑛 + 1)
−4𝑛 −2𝑛
= lim = lim = −2
𝑛→∞ 2(𝑛 + 1) 𝑛→∞ 𝑛 + 1

Введем понятие n! (читается “n факториал”)


𝑛! = 1 ⋅ 2 ⋅ 3 ⋅ … ⋅ (𝑛 − 1) ⋅ 𝑛

10
В частности, 1! = 1,
2! = 1 ⋅ 2 = 2,
3! = 1 ⋅ 2 ⋅ 3 = 6,
4! = 1 ⋅ 2 ⋅ 3 ⋅ 4 = 24
и т.д. В качестве соглашения принято, что 0! = 1.
(𝑛 + 1)! = 1 ⋅ 2 ⋅ 3 ⋅ … 𝑛 ⋅ (𝑛 + 1) = 𝑛! ⋅ (𝑛 + 1)
11.
(𝑛 + 2)! + (𝑛 + 1)! (𝑛 + 1)! ⋅ (𝑛 + 2) + (𝑛 + 1)!
lim = lim =
𝑛→∞ (𝑛 + 2)! 𝑛→∞ (𝑛 + 1)! ⋅ (𝑛 + 2)
(𝑛 + 1)! ⋅ (𝑛 + 2 + 1) 𝑛+3
= lim = lim =1
𝑛→∞ (𝑛 + 1)! ⋅ (𝑛 + 2) 𝑛→∞ 𝑛 + 2

12.
(𝑛 + 2)! − (𝑛 + 1)! (𝑛 + 1)! ⋅ (𝑛 + 2) − (𝑛 + 1)!
lim = lim =
𝑛→∞ (𝑛 + 3)! − 𝑛 (𝑛 + 2)! 𝑛→∞ (𝑛 + 2)! ⋅ (𝑛 + 3) − 𝑛(𝑛 + 2)!

(𝑛 + 1)! (𝑛 + 2 − 1) (𝑛 + 1) 1
= lim = lim =
𝑛→∞ (𝑛 + 2)! (𝑛 + 3 − 𝑛) 𝑛→∞ 3(𝑛 + 2) 3
Дополнение к лекции 1.
Лемма (о вложенных отрезках). Пусть в ℝ дана система вложенных отрезков
{[𝑎𝑛 , 𝑏𝑛 ]} так что ∀𝑛 ∈ ℕ [𝑎𝑛 , 𝑏𝑛 ] ⊂ ℝ и [𝑎𝑛+1, 𝑏𝑛+1] ⊂ [𝑎𝑛 , 𝑏𝑛 ]. Тогда
+∞

⋂ [𝑎𝑛 , 𝑏𝑛 ] ≠ ∅
𝑛=1

т.е. что существует хотя бы одно 𝑐 ∈ ℝ такое, что 𝑐 ∈ [𝑎𝑛 , 𝑏𝑛 ] ∀𝑛 ∈ ℕ.


Если, кроме того, длины отрезков стремятся к нулю, т.е. ∃ lim (𝑏𝑛 − 𝑎𝑛 ) = 0,
𝑛→∞
то такое c единственно.
Доказательство:
1. Существование. Воспользуемся теоремой отделимости: пусть 𝐴 ⊂ ℝ и 𝐵 ⊂ ℝ, причем 𝐴 ≠
∅ и 𝐵 ≠ ∅ , а также 𝑎 < 𝑏 ∀𝑎 ∈ 𝐴 и ∀𝑏 ∈ 𝐵. Тогда найдется такое 𝑐 ∈ ℝ, что 𝑎 ≤ 𝑐 ≤ 𝑏 ∀𝑎 ∈
𝐴 и ∀𝑏 ∈ 𝐵.
Пусть 𝐴 = {𝑎 ∈ ℝ: 𝑎 = 𝑎𝑛 , 𝑛 ∈ ℕ} ≠ ∅ (т.е. А – множество левых концов отрезков [𝑎𝑛 , 𝑏𝑛 ] и
оно не пусто) и 𝐵 = {𝑏 ∈ ℝ: 𝑏 = 𝑏𝑛 , 𝑛 ∈ ℕ} ≠ ∅. Пусть 𝑛 ≤ 𝑚, тогда 𝑎𝑛 ≤ 𝑎𝑚 < 𝑏𝑚 ⇒ 𝑎𝑛 <
𝑏𝑚 , а при 𝑛 > 𝑚 𝑎𝑛 < 𝑏𝑛 ≤ 𝑏𝑚 ⇒ 𝑎𝑛 < 𝑏𝑚 . Итак, 𝑎𝑛 < 𝑏𝑚 ∀𝑛, 𝑚 ∈ ℕ.
Таким образом, 𝐴 ⊂ ℝ, 𝐴 ≠ ∅, 𝐵 ⊂ ℝ, 𝐵 ⊂ ℝ и 𝑎 < 𝑏 ∀𝑎 ∈ 𝐴 и ∀𝑏 ∈ 𝐵. В силу теоремы
отделимости, существует 𝑐 ∈ ℝ такое, что 𝑎𝑛 ≤ 𝑐 ≤ 𝑏𝑚 ∀𝑛, 𝑚 ∈ ℕ, в частности, 𝑎𝑛 ≤ 𝑐 ≤
𝑏𝑛 ∀𝑛 ∈ ℕ, а это и означает, что 𝑐 ∈ [𝑎𝑛 , 𝑏𝑛 ] ∀𝑛 ∈ ℕ.

11
2. Единственность. Предположим противное, т.е. что ∃ 𝑐1 , 𝑐2 ∈ ℝ, 𝑐1 < 𝑐2 такие, что 𝑐1 , 𝑐2 ∈
[𝑎𝑛 , 𝑏𝑛 ] ∀𝑛 ∈ ℕ. Тогда 𝑎𝑛 ≤ 𝑐1 < 𝑐2 ≤ 𝑏𝑛 ∀𝑛 ∈ ℕ, а значит 𝑏𝑛 − 𝑎𝑛 ≥ 𝑐2 − 𝑐1 > 0 ∀𝑛 ∈
ℕ, что противоречит условию lim (𝑏𝑛 − 𝑎𝑛 ) = 0. Лемма доказана.
𝑛→∞

12