Устный экзамен по математическому анализу.

ФИВТ,
первый семестр.

Никита Павличенко

1 февраля 2018 г.
Оглавление

1 Действительные числа 4
Действительные числа. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Аксиомы действительных чисел . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Теорема о существовании и единственности (точной) верхней (нижней) грани число-
вого множества, ограниченного сверху (снизу). . . . . . . . . . . . . . . . . . . . . 5
Счетность множества рациональных чисел, несчетность множества действительных
чисел. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Рациональные числа . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Действительные числа . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

2 Пределы последовательностей 7
Предел числовой последовательности. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Теорема Кантора о вложенных отрезках. . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Единственность предела. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Бесконечно малые и бесконечно большие последовательности и их свойства. . . . . . . 8
Свойства бесконечно малых последовательностей . . . . . . . . . . . . . . . . . . . 8
Свойства пределов, связанные с неравенствами. . . . . . . . . . . . . . . . . . . . . . . . 8
Арифметические операции со сходящимися последовательностями. . . . . . . . . . . . 9
Теорема Вейерштрасса о пределе монотонной ограниченной последовательности. . . . 10
Число e. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

3 Еще пределы. Подпоследовательности. 12

Подпоследовательности, частичные пределы. . . . . . . . . . . . . . . . . . . . . . . . . 12
Теорема Больцано–Вейерштрасса. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
Критерий Коши существования конечного предела последовательности. . . . . . . . . 12
Теорема о верхнем и нижнем пределах. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

4 Предел функции 14
Определения предела числовой функции одного переменного в терминах окрестностей
и в терминах последовательностей, их эквивалентность. . . . . . . . . . . . . . . . 14
Свойства пределов функции. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Критерий Коши существования конечного предела функции. . . . . . . . . . . . . . . . 15
Существование односторонних пределов у монотонных функций. . . . . . . . . . . . . . 16

5 Непрерывность в точке 17
Непрерывность функции в точке. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Свойства функций, непрерывных в точке. . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Односторонняя непрерывность. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Теорема о переходе к пределу под знаком непрерывной функции. . . . . . . . . . . . . 17
Непрерывность сложной функции. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

1
 Точки разрыва, их классификация. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Разрывы монотонных функций. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

6 Непрерывность на отрезке. 20
Свойства функций, непрерывных на отрезке — ограниченность, достижимость (точ-
ных) верхней и нижней граней. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Теорема о промежуточных значениях непрерывной функции. . . . . . . . . . . . . . . . 20
Равномерная непрерывность функции, непрерывной на отрезке. . . . . . . . . . . . . . 21
Теорема об обратной функции. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

7 Непрерывность элементарных функций. 23

Непрерывность элементарных функций. . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Определение и свойства показательной функции. . . . . . . . . . . . . . . . . . . . . . . 23
Замечательные пределы. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

8 Производная функции 26
Производная функции одного переменного. . . . . . . . . . . . . . . . . . . . . . . . . . 26
Односторонние производные. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
Непрерывность функции, имеющей производную. . . . . . . . . . . . . . . . . . . . . . . 26
Дифференцируемость функции в точке, дифференциал. . . . . . . . . . . . . . . . . . . 27
Геометрический смысл производной и дифференциала. . . . . . . . . . . . . . . . . . . 27
Геометрический смысл производной . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Геометрический смысл дифференциала . . . . . . . . . . . . . . . . . . . . . . . . . 27
Производная суммы, произведения и частного двух функций. . . . . . . . . . . . . . . 27
Производная сложной функции. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
Производная обратной функции. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Производные элементарных функций. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Инвариантность формы дифференциала относительно замены переменного. . . . . . . 31
Функции, заданные параметрически, их дифференцирование. . . . . . . . . . . . . . . . 31

9 Производные высших порядков 32

Производные высших порядков. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
Формула Лейбница для n-й производной произведения функций. . . . . . . . . . . . . . 32
Дифференциал второго порядка. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Отсутствие инвариантности его формы относительно замены переменного. . . . . . . . 33

10 Теоремы про производные и формула Тейлора 34

Теорема Ферма (необходимое условие существования локального экстремума). . . . . . 34
Теоремы о среднем Ролля, Лагранжа, Коши. . . . . . . . . . . . . . . . . . . . . . . . . 34
Формула Тейлора с остаточным членом в формах Пеано и Лагранжа. . . . . . . . . . . 35
Правило Лопиталя для раскрытия неопределенностей вида 00 . . . . . . . . . . . . . . . 36
Правило Лопиталя для раскрытия неопределенностей вида ∞ ∞
. . . . . . . . . . . . . . . 37
Теорема о промежуточных значениях производной (теорема Дарбу). . . . . . . . . . . 38

11 Исследования функций с помощью производных 39

Необходимые условия и достаточные условия монотонности, достаточные условия су-
ществования локального экстремума в терминах первой, второй и высших произ-
водных. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Необходимые условия и достаточные условия монотонности. . . . . . . . . . . . . 39
Достаточные условия существования локального экстремума. . . . . . . . . . . . . 40
Выпуклость, точки перегиба. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

2
Асимптоты. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

3
1 | Действительные числа

Действительные числа.
Определение: Множеством R действительных чисел называется множество, на ко-
тором определены операции сложения и умножения (является полем), а также отношение
порядка, для которого выполнены следующие 16 аксиом, и состоящее более, чем из одного
элемента.

Аксиомы действительных чисел

Свойства поля:

1. Коммутативность сложения: ∀x, y ∈ R → x + y = y + x.

2. Ассоциативность сложения: ∀x, y, z ∈ R → x + (y + z) = (x + y) + z.

3. Нулевой элемент: ∃0 ∈ R : ∀x ∈ R → x + 0 = x.

4. Обратный по сложению: ∀x ∈ R ∃(−x) : x + (−x) = 0.

5. Коммутативность по умножению: ∀x, y ∈ R → x · y = y · x.

6. Ассоциативность умножения: ∀x, y, z ∈ R → (x · y) · z = x · (y · z).

7. Единичный элемент: ∃1 ∈ R : ∀x ∈ R → x · 1 = x.

8. Обратный по умножению: ∀x ∈ R\{0} ∃ x1 ∈ R : x · 1

x
= 1.

9. Дистрибутивность: ∀x, y, z ∈ R → x · (y + z) = xy + xz.

Аксиомы отношения порядка:

1. ∀x ∈ R → x 6 x.

2. ∀x, y ∈ R → (x 6 y) ∨ (y 6 x).

3. ∀x, y ∈ R : (x 6 y) ∧ (y 6 x) → x = y.

4. Транзитивность: ∀x, y, z ∈ R : (x 6 y) ∧ (y 6 z) → x 6 z.

5. ∀x, y, z ∈ R : x 6 y → x + z 6 y + z.

6. x, y, z ∈ R : (x 6 y) ∧ (0 6 z) → x · z 6 y · z.

7. Аксиома непрерывности: если множество A ⊂ R лежит слева от B ⊂ R (∀a ∈ A ∀b ∈ B →

a 6 b), то ∃c ∈ R : ∀a ∈ A b ∈ B → (a 6 c) ∧ (c 6 b).

4
 Теорема о существовании и единственности (точной)
верхней (нижней) грани числового множества,
ограниченного сверху (снизу).
Определение: верхней (нижней) гранью множества A ⊂ R называется такое a, что
∀x ∈ A → x 6 a (x > a)

Определение: точной верхней (нижней) гранью множества A ⊂ R называется та-

кое a, что ∀x ∈ A → x 6 a (x > a) и ∀b < a → ∃c ∈ A : c > b (c < b). Обозначается sup A
(inf A).

Теорема: пусть множество A ⊂ R ограничено сверху (имеет верхнюю грань), тогда ∃!M ∈ R
такое, что M является точной верхней гранью множества A.

Доказательство: пусть B — множество верхних граней множества A. Тогда A лежит сле-

ва от B, и по аксиоме непрерывности c ∈ R : ∀a ∈ A ∀b ∈ B → a 6 c 6 b. Покажем, что c
является точной верхней гранью множества A. Так как ∀a ∈ A → a 6 c, то c — верхняя грань
A. То есть c ∈ B, а так как ∀b ∈ B → c 6 b, то c — минимальный элемент множества B. Значит
c — минимальная верхняя грань, значит c — точная верхняя грань. Докажем единственность.
Предположим противное, пусть ∃c1 , c2 — различные точные верхние грани множества A. То-
гда получится, что c1 , c2 — различные минимальные элементы множества B. Пусть c1 < c2 .
Иначе переобозначим их. Тогда получается, что c1 < c2 и c2 — не минимальный элемент B.
Противоречие.

Счетность множества рациональных чисел, несчетность

множества действительных чисел.
Рациональные числа
Теорема: множество рациональных чисел счетно.

Доказательство: построим биекцию между множествами натуральных и рациональных чи-

сел: заполняем всеми рациональными числами таким образом бесконечную таблицу.
Теперь начинаем строить функцию «зиг-загом» f (1) = 0, f (2) = 1, f (3) = 21 , f (4) = 13 , f (5) = − 21
и так далее.

5
 0 1 −1 2 −2 3 −3 4 …
1 1 3 3 5 5 7 7
− − − − …
2 2 2 2 2 2 2 2
1 1 2 2 5 5 7 7
− − − − …
3 3 3 3 3 3 3 3
1 1 3 3 5 5 7 7
− − − − …
4 4 4 4 4 4 4 4
1 1 2 2 3 3 4 4
− − − − …
5 5 5 5 5 5 5 5
… … … … … … … … …

Действительные числа
Теорема: множество действительных чисел несчетно.

Доказательство: сначала докажем, что множество точек, принадлежащих интервалу (−1; 1)

x
равномощно R. Это очень просто: убедимся, что функция f (x) = представляет из себя
1 − x2
биекцию между этими множествами.
Теперь покажем, что множество точек, принадлежащих интервалу (−1; 1) несчетно. Предполо-
жим, что оно счетно. Возьмем некую точку x1 , выберем подотрезок интервала, в который не
попадает x1 . Затем возьмем точку x2 , выберем подотрезок предыдущего выбранного отрезка,
в который не входит x2 . Так продолжим до бесконечности. По теореме о стягивающихся по-
дотрезках найдется точка ε, которая принадлежит всем таким подотрезкам (значит не была
занумерована, так как мы выбирали отрезки так, чтобы любая последующая занумерованная
точка в нем не лежала), но принадлежит интервалу (−1; 1). Противоречие. Теперь из предыду-
щего факта мы знаем, что раз множество точек, принадлежащих интервалу (−1; 1) несчетно,
то несчетно и R. Что и требовалось доказать.

6
2 | Пределы последовательностей

Предел числовой последовательности.

Определение: число A ∈ R называется конечным пределом последовательности {xn }, ес-
ли ∀ε > 0 ∃N (ε) ∈ N : ∀n > N (ε) → |xn − A| < ε. При этом говорят, что последовательность
сходится, а число A обозначается как lim xn .
n→∞

Важное замечание: несложно понять, что определение предела равносильно такому опреде-
лению: последовательность сходится тогда и только тогда, когда в любой ε-окрестности некото-
рого числа лежит бесконечное число членов последовательности, а вне нее конечное. Причем,
это число и есть предел. Это нетрудно понять: раз вне лежит конечное число членов после-
довательности, то, начиная с некоторого номера, все члены последовательности будут лежать
внутри ε-окрестности, что и совпадает с определением предела. (равносильность следует из
единственности предела, что докажем позже). В дальнейшем будем этим пользоваться.

Теперь дадим определение предела на R:

Определение: предел последовательности равен +∞, если ∀ε > 0 ∃N (ε) ∈ N : ∀n > N (ε) →
xn > 1ε .

Аналогично для −∞.

Теорема Кантора о вложенных отрезках.

Теорема: Для каждой системы вложенных отрезков [a1 ; b1 ] ⊃ [a2 ; b2 ]... ⊃ [an ; bn ]... существу-
ет точка c принадлежащая всем этим отрезкам, причем если длина этих отрезков стре-
мится к нулю ( lim (bn − an ) = 0), то такая точка единственна.
n→∞

Доказательство: Множество A = {a1 , a2 ...an } ограничено сверху, а множество B = {b1 , b2 ...bn }

ограничено снизу. Пусть α = sup A, а β = inf B. Так как ∀n ∈ N : an 6 bn ⇒ α 6 β.
Из этого следует, что множество точек отрезка [α, β] 6= ∅, причем все эти точки принадле-
жат каждому из отрезков. Это значит, что существование хотя бы одной такой точки c мы
доказали. Теперь докажем единственность при длинах отрезков, стремящихся к 0. Пусть су-
ществуют две такие точки c, c0 , причем c < c0 , тогда ∀n ∈ N : c0 − c 6 bn − an . Но по опреде-
лению предела ∀ε > 0 ∃N (ε) ∈ N : ∀n > N (ε) → bn − an < ε. Возьмем ε = 12 (c0 − c), тогда
∃n ∈ N → c0 − c 6 bn − an < 21 (c0 − c). Противоречие.

Замечание: это всё только для отрезков, для открытых интервалов может не выполнять-
ся.

7
 Единственность предела.
Теорема: у числовой последовательности может быть не более одного предела.

Доказательство: пусть последовательность {xn } имеет два предела A и B. Пусть A < B.

По определению предела ∀ε > 0 ∃N (ε) ∈ N : ∀n > N (ε) → |xn − A| < ε. Возьмем ε = A+B 2
. Тогда
по определению начиная с некоторого номера все члены последовательности будут лежать в
Uε (A), но это значит, что они лежат левее B − ε, а значит не лежат в Uε (B), что противоречит
определению предела для B. Противоречие.

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

последовательности и их свойства.
Определение: Последовательность {an } называется бесконечно малой, если:

lim an = 0 (2.1)
n→∞

То же самое, только в кванторах:

∀ε > 0 ∃N (ε) : ∀n > N (ε) → |an | < ε (2.2)

Свойства бесконечно малых последовательностей

1. Алгебраическая сумма конечного числа бесконечно малых последовательностей есть бес-
конечно малая последовательность;
2. Произведение бесконечно малой последовательности на ограниченную последовательность
является бесконечно малой последовательностью.

Доказательство:
1. Пусть есть две бесконечно малые последовательности {αn } и {βn } тогда для ∀ε > 0
∃N1 (ε), N2 (ε) : ∀n > N1 (ε), N2 (ε) → |αn | < 2ε , |βn | < 2ε ⇒ |αn ± βn | 6 |αn | + |βn | < 2ε + 2ε = ε
⇒ {αn ± βn } - бесконечно малая последовательность.
2. Пусть {αn } — ограниченная последовательность, а {βn } — бесконечно малая. По опреде-
лению ограниченной: ∃C > 0 : ∀n ∈ N → |αn | < C, а по определению бесконечно малой
∀ε > 0 ∃N (ε) : ∀n > N (ε) → |βn | < Cε . Отсюда ∀n > N (ε) → |αn βn | = |αn | · |βn | < Cε C = ε
⇒ {αn βn } — бесконечно малая последовательность.

Свойства пределов, связанные с неравенствами.

Теорема: Сходящаяся последовательность ограничена. Обратное неверно.

Доказательство: Пусть lim xn = a, тогда рассмотрим некоторую Uε (a), например, при ε = 1.

n→∞
Тогда, так как a — предел последовательности, в Uε (a) находится бесконечное количество чле-
нов последовательности, а вне нее — конечное. Возьмем из этого конечного множества, объ-
единенного с a + ε и a − ε максимальный элемент — это будет верхняя грань и минимальный

8
— это будет нижняя грань. Значит последовательность ограничена. Теперь контрпример для
ограниченной последовательности: {xn } = (−1)n эта последовательность ограничена −1 и 1, но
не имеет предела.

Приведем три свойства пределов с неравенствами:

1. Теорема о двух милиционерах. Начиная с некоторого номера an 6 bn 6 cc , lim an = lim cn = a ⇒
n→∞ n→∞
∃ lim bn = a, a ∈ R.
n→∞
Докажем: ∀ε > 0 ∃N (ε) : ∀n > N (ε) → |an − a| < ε, |cn − a| < ε. При этом из неравенства
между последовательностями an − a 6 bn − a 6 cn − a ⇒ |bn − a| 6 max(|an − a|, |cn − a|) < ε
2. lim an = a, a < b ⇒ ∃N (b) ∈ N : ∀n > N (b) → an < b
n→∞
Докажем: возьмем N (ε = a+b2
) тогда по определению предела: ∀n > N (ε) → an < ε < b.
Если b = +∞, то ε = a + 1.
3. lim an = a, an 6 b ⇒ a 6 b. Аналогично для >.
n→∞
Докажем: заметим, что b — верхняя грань последовательности an . Теперь нам понадобит-
ся утверждение, что предел последовательности не больше её точной верхней грани. Это
вроде как очевидное утверждение, но на всякий случай я приведу его строгое доказатель-
ство. Пусть a — предел последовательности.
Рассмотрим два случая:
(a) a меньше точной верхней грани. В этом случае все хорошо и так.
(b) остается только вариант, когда a > точной верхней грани. Тогда докажем, что a это
и есть точная верхняя грань. Заметим, что тогда первое свойство точной верхней
верхней грани выполняется по предположению (если a > sup{an }, то любой член
последовательности меньше или равен a), а второе свойство выполняется по опреде-
лению предела: ∀ε > 0∃N (ε) ∈ N : ∀n > N (ε) → a − ε < an ⇒ ∃n ∈ N → a − ε < an .
Значит, если у последовательности есть предел, значит он не больше её точной (а значит
и любой другой, в том числе и b) верхней грани.

Арифметические операции со сходящимися

последовательностями.
Теорема: Если lim xn = a, lim yn = b, то:
n→∞ n→∞

1. lim (xn + yn ) = a + b;
n→∞

2. lim (xn yn ) = ab;

n→∞

xn a
3. lim = при условии, что yn 6= 0(n ∈ N) и b 6= 0.
n→∞ yn b
Лемма: Пусть lim xn = a, тогда {α} = {xn − a} — бесконечно малая последовательность.
n→∞
Это прямо следует из определения предела (см. выражение в модуле): ∀ε > 0 ∃N (ε) ∈ N : ∀n >
N (ε) → |xn − a| < ε.

Пусть lim xn = a, lim yn = b. Тогда xn = a + αn , yn = b + βn , где {αn }, {βn } — бесконечно малые

n→∞ n→∞
последовательности. Будем пользоваться уже доказанными в билете 4 свойствами бесконечно
малых последовательностей.

9
 1. xn + yn = a + b + αn + βn , так как {αn + βn } — бесконечно малая последовательность,
xn + yn → a + b, при n → ∞.

2. xn yn = ab + aβn + bαn + αn βn . Так как {aβn }, {bαn }, {αn βn } — бесконечно малые последова-
тельности {aβn + bαn + αn βn } — бесконечно малая последовательность. Отсюда xn yn → ab,
при n → ∞.
xn a xn a
3. Сначала докажем, что { − } — бесконечно малая последовательность. − =
yn b yn b
(a + αn )b − (b + βn )a a 1
= = (αn − βn ) . Видим, что {(αn − ab βn ) y1n } — бесконечно малая
byn b yn
последовательность. Теперь раз { xynn − ab } — бесконечно малая последовательность, xynn → ab
при n → ∞.

Теорема Вейерштрасса о пределе монотонной

ограниченной последовательности.
Теорема (Вейштрасса): Если последовательность {xn } ограничена сверху (снизу) и моно-
тонно возрастает (убывает), то она имеет предел равный sup{xn } (inf{xn }).

Доказательство: Ограничимся доказательством для возрастающей последовательности, для

убывающей аналогично. По определению sup{xn } ∀ε > 0 ∃N (ε) ∈ N → xN (ε) > sup{xn } − ε, а
по определению возрастающей последовательности ∀n > N (ε) : xn > xN (ε) ⇒ xn > sup{xn } − ε.
Объеденив эти два выражения, получаем, что sup{xn } является пределом последовательности.

Число e.
Определение: Числом e называется предел последовательности {(1 + n1 )n } при n → ∞.
Докажем, что эта последовательность сходится. Для этого докажем, что она ограничена сверху
и монотонно возрастает, а затем воспользуемся теоремой Вейштрасса.
 n
1
xn = 1 + (2.3)
n

Воспользуемся формулой бинома Ньютона: xn = 1 + Cn1 n1 + Cn2 n12 + ... + Cnk n1k + ... + n1n . Зная что
такое Cnk , запишем xn в следующем виде:
n     
X 1 1 2 k−1
xn = 1 + 1− 1− ... 1 − ; (2.4)
k=1
k! n n n

тогда
n+1     
X 1 1 2 k−1
xn+1 =1+ 1− 1− ... 1 − ; (2.5)
k=1
k! n+1 n+1 n+1
Заметим, что все слагаемые в суммах (5) и (6) положительны, причем каждое слагаемое суммы
(5) меньше соответствующего слагаемого суммы(6), так как 1 − m n
< 1 − n+1m
, а само число
слагаемых в сумме (6) на одно больше, чем в сумме (5), следовательно xn < xn+1 для всех n ∈ N,
а значит последовательность монотонно возрастает. Теперь ограниченность сверху. Заметим,
n
что в сумме (5) k!1 умножается на числа, меньшие 1. Значит xn < 1 + 1
P
k!
. Легко убедиться, что
k=1

10
 1 1
k! > 2k−1 , а значит k!
< 2k−1
. Воспользуемся формулой для суммы геометрической прогрессии
n
1 1−( 21 )n 1
Следовательно, xn = (1 + n1 )n < 3. Отсюда,
P
и получим xn < 1 + 2k−1
=1+ 1− 21
=3− 2n−1
.
k=1
по теореме Вейштрасса, у последовательности существует предел. Этот предел будем называть
и обозначать буквой e:  n
1
lim 1 + = e. (2.6)
n→∞ n

11
3 | Еще пределы. Подпоследовательности.

Подпоследовательности, частичные пределы.

Определение: Пусть задана последовательность {xn }. Рассмотрим строго возрастаю-
щую последовательность натуральных чисел {nk }. Тогда последовательность {xnk } на-
зывается подпоследовательностью последовательности {xn }.

Определение: Если некоторая подпоследовательность {xnk } последовательности {xn } име-

ет предел на R, то этот предел называется частичным пределом последовательности
{xn }.

Теорема Больцано–Вейерштрасса.
Теорема: у любой ограниченной последовательности можно выделить сходящуюся подпосле-
довательность. (Любая ограниченная последовательность имеет частичный предел).

Доказательство: если последовательность ограничена, то все ее члены лежат в некотором

отрезке [a, b]. Разделим отрезок [a, b] пополам, в хотя бы одной из половин отрезка лежит бес-
конечное число членов последовательности, обозначим эту половину [a1 , b1 ]. Для отрезка [a1 , b1 ]
повторим эту операцию и так далее. Получим систему стягивающихся отрезков [a; b] ⊃ [a1 ; b1 ] ⊃
[a2 ; b2 ]... ⊃ [an ; bn ].... По теореме Кантора о стягивающихся отрезках существует число c, при-
надлежащее всем этим отрезкам. Так как длина отрезков стремится к 0, то ∀ε > 0 ∃n ∈ N →
an > c − ε. Значит в любой Uε (c) лежит бесконечно много членов последовательности, а значит
c — частичный предел последовательности.

Критерий Коши существования конечного предела

последовательности.
Определение: Последовательность {xn } называют фундаментальной, если она удовле-
творяет условию Коши:

∀ε > 0 ∃N (ε) ∈ (N ) : ∀n, m > N (ε) → |xn − xm | < ε (3.1)

Лемма: фундаментальная последовательность ограничена.

Доказательство: возьмем ε = 1. Тогда ∃n0 ∈ N : ∀n, m > n0 → |xn − xm | < 1 и, в част-

ности, |xn − xn0 | < 1. Так как |xn | = |(xn − xn0 ) + xn0 | 6 |xn0 | + |xn − xn0 | < |xn0 | + 1 для всех
n > n0 , то при всех n ∈ N справедливо |xn | < C, где C = max(|x1 |, ..., |xn0 |, |xn0 | + 1). Значит
{xn } — ограниченная последовательность.

12
Теорема (критерий Коши): для того, чтобы последовательность имела предел в R, необ-
ходимо и достаточно, чтобы она была фундаментальной.

Доказательство:

1. Необходимость. Пусть {xn } имеет конечный предел a. Тогда по определению предела

∀ε > 0 ∃N (ε) ∈ (N ) : ∀k > N (ε) → |xk − a| < 2ε . Используем неравенство с модулями:
|xn − xm | = |(xn − a) − (xm − a)| 6 |xn − a| + |xm − a| < 2ε + 2ε = ε. Доказано.

2. Достаточность Пусть {xn } — фундаментальная последовательность. По определению:

∀ε > 0 ∃N (ε) ∈ N : ∀n, m > N (ε) → |xn − xm | < 2ε . Так как по лемме последовательность
ограничена, по теореме Больцано-Вейштрасса она имеет сходящуюся подпоследователь-
ность {xnk }. lim xnk = a. Покажем, что a является пределом исходной последовательно-
n→∞
сти. По определению предела: ∀ε > 0 ∃k(ε) ∈ N : ∀k > k(ε) → |xnk − a| < 2ε . Пусть
N0 (ε) = max(N (ε), k(ε)). Зафиксируем номер (nk > N0 (ε). Тогда при m = nk и при всех
n > N0 (ε) выполняется |xn −xnk | < 2ε . Отсюда следует, что при всех n > N0 (ε) справедливо
|xn − a| = |(xn − xnk ) + (xnk − a)| 6 |xn − xnk | + |xnk − a| < 2ε + 2ε = ε ⇒ lim xn = a.
n→∞

Теорема о верхнем и нижнем пределах.

Определение: Пусть L — множество всех частичных пределов последовательности {xn }.
Тогда sup L и inf L называются верхним и нижним пределом последовательности {xn } и
обозначаются соответственно lim xn и lim xn .
n→∞ n→∞

Теорема: У любой последовательности существуют верхний и нижний пределы в R.

Доказательство (для верхнего): Рассмотрим такое множество X = {x : x ∈ R, правее

X лежит бесконечно много членов последовательности}. Рассмотрим два случая:

1. X = ∅. Тогда в любой окрестности −∞ лежит бесконечно много элементов последова-

тельности, значит lim an = −∞, следовательно последовательность имеет только один
n→∞
частичный предел, равный −∞, значит lim an = −∞.
n→∞

2. X 6= ∅. Тогда в R ∃b = sup X, причем −∞ < b 6 +∞. Покажем, что b = lim an . Возьмем

n→∞
произвольное ε > 0 и некоторую точку b0 ∈ Uε (b), b0 < b. Тогда по определению точной
верхней грани ∃x0 (ε) ∈ X : b(ε) < x0 (ε) 6 b. Это значит, что правее b0 (ε) лежит бесконечно
много членов последовательности. При этом правее b лежит конечное число элементов
последовательности. Значит, Uε (b) содержит бесконечно много элементов последователь-
ности при произвольном ε > 0. Значит b — частичный предел. Теперь покажем, что это
наибольший частичный предел. Предположим, что это не так. Тогда ∃b∗ > b. Рассмотрим
∗
ε = b 2−b : Uε (b∗ ) содержит бесконечное число членов последовательности, а это значит,
что правее b лежит бесконечно много членов последовательности. Противоречие. Значит
b = lim an .
n→∞

13
4 | Предел функции

Определения предела числовой функции одного

переменного в терминах окрестностей и в терминах
последовательностей, их эквивалентность.
1. Определение (по Коши): Число A называется пределом функции f (x) в точке a, если
эта функция определена в некоторой проколотой окрестности U̇δ0 (a) и

∀ε > 0 ∃δ > 0 : ∀x ∈ U̇δ (a) → f (x) ∈ Uε (A). (4.1)

2. Определение (по Гейне): Число A называется пределом функции f (x) в точке a, если
эта функция определена в некоторой проколотой окрестности U̇δ0 (a) и

∀{xn } : ( lim xn = a, ∀n ∈ N : xn ∈ U̇δ0 (a)) → lim f (xn ) = A (4.2)

n→∞ n→∞

Теорема: Определения предела функции в точке по Коши и по Гейне эквиваленты.

Доказательство:
1. Пусть A предел функции f (x) в точке a по Коши. Тогда возьмем любую последователь-
ность {xn }, сходящуюся к a, все члены которой лежат в некоторой проколотой окрестности
точки a. Тогда начиная с некоторого номера все элементы последовательности будут по-
падать в U̇δ (a), а по определению по Коши, f (xn ) будут попадать в Uε (A). Значит в Uε (A)
лежит бесконечное число элементов последовательности {f (xn )}. Значит {f (xn )} сходится
к A.

2. Предположим, что если число A необязательно является пределом функции f (x) в точке
a по Гейне, то оно не является пределом по Коши. Тогда ∃ε0 > 0 : ∀δ ∈ (0, δ0 ] ∃x(δ) ∈
U̇δ (a) : |f (x(δ)) − A| > ε0 . Возьмем δ = δn0 , n ∈ N и последовательность xn = x( δn0 ). Тогда
из предыдущего выражения для любого n ∈ N выполняются неравенства
δ0
0 < |xn − a| < , (4.3)
n
|f (xn ) − A| > ε0 . (4.4)
Из (8) следует, что lim xn = a и xn ∈ U̇δ (a) при всехn ∈ N, а из (9) получаем, что A не
n→∞
является пределом последовательности {f (xn )}, что противоречит определению предела
по Гейне. Противоречие. Значит, если число A является пределом функции f (x) в точке
a по Гейне, то оно является пределом функции в точке a по Коши.
Значит определения предела функции в точке по Коши и по Гейне эквивалентны.

14
 Свойства пределов функции.
Теорема: пусть функции f и g определены в некоторой U̇δ0 (x0 ), δ0 > 0, x0 ∈ R. Пусть извест-
но, что lim f (x) = a ∈ R, lim g(x) = b ∈ R, тогда
x→x0 x→x0

1. lim |f (x)| = |a|.

x→x0

2. lim f (x) + g(x) = a + b.

x→x0

3. lim f (x) − g(x) = a − b.

x→x0

4. lim f (x) · g(x) = ab.

x→x0

f (x) a
5. Если b 6= 0, то ∃δ1 : ∀x ∈ U̇δ1 (x0 ) → g(x) 6= 0 и lim = .
x→x0 g(x) b
Доказательство: пусть {xk } — произвольная последовательность Гейне в точке x0 ⇒
f (xk ) → a(k → ∞) ⇒ |f (xk )| = |a| ⇒ lim |f (x)| = |a|. Остальные пункты доказываются анало-
x→x0
гично.

Теорема: пусть ∃δ > 0 : ∀x ∈ U̇δ (x0 ) → f (x) 6 g(x). Пусть ∃ lim f (x) = a ∈ R, ∃ lim g(x) = b ∈ R.
x→x0 x→x0
Тогда a 6 b.

Доказательство: рассмотрим некоторую последовательность Гейне, сходящуюся к x0 . Для

нее будет выполнено f (xk ) 6 g(xk ). По определению предела, {f (xk )} сходится к a, {g(xk )}
сходится к b. Воспользуемся свойствами предела последовательности и перейдем к пределу
функции. Отсюда будет следовать то, что и требовалось доказать.

Теорема: пусть ∃δ > 0 : ∀x ∈ U̇δ (x0 ) → f (x) 6 g(x) 6 h(x). Пусть предел lim f (x) = lim h(x) = a ∈ R.
x→x0 x→x0
Тогда lim g(x) = a.
x→x0

Доказательство: аналогично предыдущей теореме рассмотрим некоторую последовательность,

сходящуюся к x0 , и воспользуемся определением предела по Гейне и свойствами предела по-
следовательности. После этого перейдем по тому же определению предела по Гейне к пределу
функции.

Критерий Коши существования конечного предела

функции.
Определение: если функция f (x) определена в некоторой проколотой окрестности точки a
и
∀ε > 0 ∃δ(ε) > 0 : ∀x0 , x00 ∈ U̇δ (a) → |f (x0 ) − f (x00 )| < ε, (4.5)
то говорят, что она удовлетворяет условию Коши в точке a.

Лемма: Пусть ∃δ > 0 : U̇δ (a) ⊂ D(f ). Тогда для некоторых {xn } и {e
xn }, таких что lim xn = a,
n→∞
lim x en ∈ U̇δ (a) при всех n ∈ N, если lim f (xn ) = A и lim f (e
en = a и xn , x xn ) = A,
e то A
e = A.
n→∞ n→∞ n→∞

15
Доказательство: Пусть {yk } = {x1 , x
e1 , x2 , x en , ...}. Заметим, что lim yk = a и ∀k ∈
e2 , ..., xn , x
k→∞
N : yk ∈ U̇δ (a). Тогда по условию леммы lim f (yk ) = A0 . Заметим, что {f (xn )} и {f (e
xn )} яв-
k→∞
ляются подпоследовательностями сходящейся подпоследовательности {f (yk )}. Поэтому A =
A0 , A
e = A0 ⇒ A = A.
e

Теорема: Для того, чтобы существовал конечный предел функции f (x) в точке x = a, необ-
ходимо и достаточно, чтобы эта функция удовлетворяла в точке a условию Коши.

Доказательство:
1. Необходимость. Пусть lim f (x) = A; тогда ∀ε > 0 ∃δ > 0 : ∀x ∈ U̇δ (a) → |f (x) − A| < 2ε .
x→a
Если x0 , x00 — любые точки из множества U̇δ (a), то из предыдущего условия следует, что
|f (x0 ) − f (x00 )| = |(f (x0 ) − A) − (f (x00 ) − A)| 6 |f (x0 ) − A| + |f (x00 ) − A| < 2ε + 2ε = ε

2. Достаточность. Докажем, что если ∃δ : U̇δ (a) ⊂ D(f ) и выполняется условие теоре-
мы, то существует предел функции f в точке a. Воспользуемся определением предела по
Гейне. Пусть {xn } — произвольная последовательность такая, что ∀n ∈ N : xn ∈ U̇δ (a) и
lim xn = a. Докажем, что {f (xn )} имеет конечный предел, не зависящий от выбора по-
n→∞
следовательности {xn }. Если выполняется условие теоремы, то ∀ε > 0 ∃δ = δ(ε) : ∀x0 , x00 ∈
U̇δ (a) → |f (x0 ) − f (x00 )| < ε. Пусть nδ такое, что ∀n > nδ → |xn − a| < δ. Такое nδ най-
дется в силу определения предела последовательности {xn }. Тогда ∀n, m > nδ → xn , xm ∈
U̇δ (a) и |f (xn ) − f (xm )| < ε. (Последнее по условию теоремы). Отсюда следует, что после-
довательность {f (xn )} фундаментальна, значит имеет конечный предел. В силу леммы
этот предел не зависит от {xn }. Следовательно, f (x) имеет конечный предел в точке a.

Существование односторонних пределов у монотонных

функций.
Определение : число A1 называют пределом слева функции f (x) в точке a и обозначают
lim f (x), если ∀ε > 0 ∃δ > 0 : ∀x ∈ (a − δ, a) → |f (x) − A1 | < ε.
x→a−0

Определение : число A2 называют пределом справа функции f (x) в точке a и обозна-

чают lim f (x), если ∀ε > 0 ∃δ > 0 : ∀x ∈ (a, a + δ) → |f (x) − A2 | < ε.
x→a+0

Теорема: если функция f определена и является монотонной на отрезке [a, b], то в каж-
дой точке x0 ∈ (a, b) эта функция имеет конечные пределы слева и справа, а в точках a и b
— соответственно правый и левый пределы.

Доказательство: Пусть f возрастает на отрезке [a, b]. Зафиксируем точку x0 ∈ (a, b]. Тогда:
∀x ∈ [a, x0 ] → f (x) 6 f (x0 ). Множество значений функции f (x) на промежутке [a, x0 огра-
ничено, значит по теореме о точной верхней грани ∃ sup (f (x)) = M, M 6 f (x0 ). Согласно
a6x<x0
определению точной верхней грани, выполняются следующие условия:
1. ∀x ∈ [a, x0 ) → f (x0 ) 6 M ,

2. ∀ε > 0 ∃xε = xε (ε) ∈ [a, x0 ) : M − ε < f (xε ).

Обозначим δ = x0 − xε , δ > 0. Имеем ∀ε > 0 ∃δ = x0 − xε > 0 : ∀x ∈ (x0 − δ, x0 ) → |M − f (x)| < ε.
Аналогично для предела справа.

16
5 | Непрерывность в точке

Непрерывность функции в точке.

Определение: Функция f называется непрерывной в точке a, если выполнены следующие
условия:
1. ∃δ > 0 : Uδ (a) ⊂ D(f );

2. существует lim f (x) = A;

x→a

3. A = f (a).

Свойства функций, непрерывных в точке.

Теорема: если функция f непрерывна в точке a, то она ограничена в некоторой окрестности
точка a, т.е.
∃δ > 0 ∃C > 0 : ∀x ∈ Uδ (a) → |f (x)| 6 C. (5.1)
Доказательство: так как функция имеет предел A в точке a, то по определению предела мож-
но взять любую окрестность A и для нее найдется окрестность точки a такая, что все значения
в этой окрестности будут лежать в окрестности точки A, а значит в этой окрестности функция
ограничена.

Теорема: если функции f и g непрерывны в точке a, то функции f + g, f · g, f /g (при условии

g(a) 6= 0) непрерывны в точке a.

Доказательство: доказательство явно следует из определения непрерывности и свойств пре-

делов.

Односторонняя непрерывность.
Определение: пусть функция f определена на [x0 , x + δ0 ). Функция f называется непре-
рывной справа в точке x0 , если существует предел справа в точке x0 и он равен значению
функции в этой точке. Аналогично для непрерывной слева.

Теорема о переходе к пределу под знаком непрерывной

функции.
Теорема: пусть функция x = ϕ(t) определена в некоторой окрестности точки t0 и имеет
lim ϕ(t), равный x0 . Пусть точка x0 = ϕ(t0 ) принадлежит области определения функции
t→t0

17
y = f (x) и f (x) непрерывна в точке x0 . Тогда существует lim f (ϕ(t)), и
t→t0
 
lim f (ϕ(t)) = f lim ϕ(t) = f (x0 ). (5.2)
t→t0 t→t0

Доказательство: возьмем какое-нибудь ε > 0. Так как f (x) непрерывна в точке x0 , то ∃σ >
0 : |x − x0 | < σ ⇒ |f (x) − f (x0 )| < ε. Так как существует lim ϕ(t) = x0 , то для σ ∃δ > 0 : 0 <
t→t0
|t − t0 | < δ ⇒ |ϕ(t) − x0 | < σ. Таким образом, для любого ε > 0 мы нашли такое δ > 0, что из
0 < |t − t0 | < δ ⇒ |f (x) − f (x0 )| = |f (ϕ(t)) − lim ϕ(t)| < ε, что означает существование предела
t→t0  
lim f (ϕ(t)) и равенство этого предела по величине f (x0 ) = f lim ϕ(t) .
t→t0 t→t0

Непрерывность сложной функции.

Теорема: Пусть функция ϕ(t) непрерывна в точке t0 и функция f (x) непрерывна в точке
x0 = ϕ(t0 ). Тогда функция f (ϕ(t)) непрерывна в точке t0 .

Доказательство:
1. ∀ε > 0, ∃δ > 0 : (∀x : |x − x0 | < δ) → |f (x) − f (x0 )| < ε;

2. ∀δ > 0, ∃η > 0 : (∀t : |t − t0 | < η) → |ϕ(t) − ϕ(t0 )| < δ

Отсюда ∀ε > 0 ∃η > 0 : (∀t : |t − t0 | < η) → |f (ϕ(t)) − f (ϕ(t0 ))| < ε. Значит f (ϕ(t)) непрерывна
в точке t0 .

Точки разрыва, их классификация.

Определение: пусть f определена в некоторой U̇δ0 (x0 ).
1. Если ∃ конечный lim f (x), но f (x0 ) не определена или lim f (x) 6= f (x0 ), то x0 называется
x→x0 x→x0
точкой устранимого разрыва.

2. Если существуют конечные пределы слева и справа в точке x0 , но они различны, то x0

называется точкой разрыва первого рода.

3. Если хотя бы один из односторонних пределов в точке x0 не существует или бесконечен,

то точка x0 называется точкой разрыва второго рода.

Разрывы монотонных функций.

Теорема: пусть функция f определена и монотонна на интервале (x0 , x1 ). Тогда на этом
интервале у нее могут быть точки разрыва только первого рода.

Доказательство: рассмотрим какую-то точку a интервала (x0 , x1 ). Рассмотрим какую-нибудь

возрастающую последовательность {xn } такую, что lim xn = a. Перейдем к последовательно-
n→∞
сти значений функций {f (xn )}. Она монотонна и ограничена (значением f (a)), а значит имеет
предел. Таким образом в каждой точке функция f имеет предел слева, аналогично доказыва-
ется, что она в каждой точке имеет предел справа. Значит точек разрыва второго рода точ-
но нет. Теперь докажем, что нет точек устранимого разрыва. Пусть есть точка b, такая, что

18
f (b) = c 6= lim f (x) = d. Пусть c > d, а f возрастает. Тогда рассмотрим окрестность значений
x→b
функции в d U c−d (d). Заметим, что по определению предела есть некоторая окрестность точ-
2
ки b, в которой все значения функции лежат в U c−d (d), а значит, что справа от b есть точки,
2
значение в которых меньше c. Противоречие, так как f — монотонно возрастающая функция.
Для остальных случаев аналогично.

19
6 | Непрерывность на отрезке.

Определение: Функция называется непрерывной на отрезке [a, b], если она непрерывна в
каждой точке интервала (a, b).

Свойства функций, непрерывных на отрезке —

ограниченность, достижимость (точных) верхней и нижней
граней.
Первая теорема Вейштрасса: пусть f (x) непрерывна на [a, b], то она ограничена на нём.

Доказательство: пусть f (x) неограничена. ∀n ∈ N ∃xn ∈ [a, b], такая что |f (xn )| > n. По теоре-
ме Больцано-Вейштрасса из последовательности {xn } можно выделить сходящуюся подпосле-
довательность {xnk }, имеющую конечный предел x0 ∈ R, т.е. lim xnk = x0 , причем a 6 x0 6 b,
n→∞
тогда в силу непрерывности f (x) имеем, что lim f (xnk ) = f (x0 ), что невозможно, так как из
n→∞
|f (xn )| ≥ n следует, что lim f (xnk ) = ∞, поэтому f (x) - ограничена на [a, b].
n→∞

Вторая теорема Вейштрасса: если f (x) непрерывна на [a, b], то она достигает своего мак-
симального и минимального значения.

Доказательство: пусть M = supf , причем по первой теореме Вейштрасса M ∈ R. Пусть M

[a,b]
не достигается, т.е. ∀x ∈ [a, b] f (x) < M . Рассмотрим вспомогательную функцию ξ(x) = M −f1 (x) ,
которая определена и непрерывна на [a, b], так как M − f (x) 6= 0 ∀x ∈ [a, b], по первой теореме
Вейштрасса она ограничена, пусть ξ(x) 6 γ ∀x ∈ [a, b], γ ∈ R, γ > 0, тогда M − f (x) > γ1 , или
f (x) 6 M − γ1 ∀x ∈ [a, b], получаем, что M − γ1 тоже точная верхняя грань, чего быть не может,
тогда ∃x0 ∈ [a, b] : f (x0 ) = M , аналогично доказывается для точной нижней грани.

Теорема о промежуточных значениях непрерывной

функции.
Теорема Больцано-Коши: если f (x) непрерывна на [a, b] и f (x1 ) = c, f (x2 ) = d; x1 , x2 ∈
[a, b], c < d, то ∀ψ ∈ (c, d) ∃γ ∈ [x1 , x2 ] : f (γ) = ψ.

Доказательство: рассмотрим вспомогательную функцию g(x), непрерывную на [a, b]. Пусть

на концах отрезка она принимает значения разных знаков (g(a) · g(b) < 0), тогда ∃c ∈ [a, b]
: g(c) = 0. Рассмотрим значение функции в точке x0 = a+b 2
. Возможно 3 варианта: если
g(x0 ) = 0, то существование c доказано(c = x0 ), если g(x0 ) 6= 0. Пусть, не умаляя общно-
сти, g(x0 ) < 0, тогда рассмотрим отрезок [a, x0 ] и его середину. Тогда либо через конечное

20
число шагов получим, что середина α некоторого отрезка [ai , bi ] удовлетворяет g(α) = 0, ли-
бо через бесконечное количество операций получим бесконечную последовательность стяги-
вающихся отрезков ∆1 ⊃ ∆2 ⊃ ∆3 ⊃ ... ⊃ ∆n , тогда по теореме Кантора ∃!Λ, принадле-
жащая всем отрезкам. Левый конец отрезков an → Λ, правый конец bn → Λ, по условию
g(an ) · g(bn ) < 0 → g 2 (Λ) 6 0 → g(Λ) = 0. Для основной теоремы ∀ψ рассмотрим вспомога-
тельную функцию hψ (x) = f (x) − ψ, по доказанному выше ∃γ : h(γ) = 0, или f (γ) = ψ. Что и
требовалось доказать.

Равномерная непрерывность функции, непрерывной на

отрезке.
Определение: функция f (x) называется равномерно непрерывной на множестве X, если

∀x0 ∈ X ∀ε > 0 ∃δ > 0 : ∀x ∈ X (|x − x0 | < δ → |f (x) − f (x0 )| < ε). (6.1)

Теорема об обратной функции.

Определение: функция g : Y → X является обратной к функции f : X → Y , если выполне-
ны следующие тождества:

• ∀y ∈ Y выполняется равенство: f (g(y)) = y,

• ∀x ∈ X выполняется равенство: g(f (x)) = x.

Теорема: Если функция f (x) непрерывна и строго монотонна на отрезке [a; b], то ∃g(y),
обратная к f (x), которая определена и строго монотонна(монотонность g(y) совпадает с
монотонностью f (x)) на отрезке [min(f (a), f (b)); max(f (a), f (b))].

Доказательство:

1. Определение: Пусть задано множество I и функция f (x), тогда будем считать, что:
f (I) = {f (x) : ∀x ∈ I}

2. Лемма 1: Если f (x) непрерывна на I, то f (I) = [inf f (x); supf (x)]

I I
Доказательство: Пусть y1 < y2 , {y1 , y2 } ∈ f (I), тогда ∃x1 , ∃x2 , x1 < x2 : {x1 , x2 } ∈
I, такие что {f (x1 ), f (x2 )} = {y1 , y2 }. По теореме Больцано-Коши ∀y0 ∈ [y1 ; y2 ] ∃x0 ∈
[x1 ; x2 ] : f (x0 ) = y0 → [y1 ; y2 ] ∈ f (I), поэтому f ([a, b]) = [inf f (x); supf (x)], тогда f (I) =
[a,b] [a,b]
[inf f (x); supf (x)]. Что и требовалось доказать.
I I

Докажем, что обратная функция существует: заметим, что f — биекция (∀x ∈ [a, b]
∃!y ∈ f ([a, b]) : f (x) = y и ∀y ∈ f ([a, b]) ∃!x ∈ [a, b]), то f −1 тоже биекция, положим,
что g(y) = f −1 . Существование обратной функции доказано.

Пусть f (x) строго возрастает, докажем, что g(y) строго возрастает. Предположим, что
это не так, тогда ∃p, q ; p < q ∈ f ([a, b]) : g(p) > g(q), тогда f (g(p)) > f (g(q)) → p > q,
противоречие, поэтому g(y) — строго возрастает, аналогично, если f (x) строго убывает,
то g(y) строго убывает.

21
Докажем, что обратная функция непрерывна. Пусть g(y) разрывна в некоторой точке
y0 , тогда так как g(y) определена на f ([a, b]), то разрыв может быть только первого ро-
да. Если точка y0 - точка разрыва 1 рода, то хотя бы один из односторонних пределов
будет отличаться от значения функции в точке разрыва. Пусть для простоты a левый
односторонний предел и g(x) строго возрастает, тогда g(y0 ) 6= a. Пусть a < g(y0 ), тогда
∃x0 ∈ (a, g(y0 )) : ∀p ∈ f ([a, b]) g(p) 6= x0 , но т.к. (a, g(y0 )) ⊆ [a, b] f (x0 ) ∈ f ([a, b]) получили
противоречие, если a > g(y0 ), то рассмотрим δ окрестность точки y0 : (y0 − δ, y0 ), тогда
существует такая δ, что ∀y ∈ (y0 − δ, y0 ) g(y) ∈ (a − ε, a), где ε = a−g(y 2
0)
, тогда получаем,
что для некоторого y ∈ (y0 −δ, y0 ) , y < y0 имеем, что g(y) > g(y0 ), получаем противоречие,
так как g(x) строго возрастает, аналогично доказываем, и при строгом убывании g(x) и
для правого предела.

22
7 | Непрерывность элементарных функций.

Непрерывность элементарных функций.

Теорема: функции sin x и cos x непрерывны на R.

Доказательство: зафиксируем любую точку x0 ∈ R.

x − x0 x + x0 x − x0 π
sin x − sin x0 = 2 sin cos ⇒ | sin x − sin x0 | 6 2 sin | | < |x − x0 |, 0 < |x − x0 | <
2 2 2 2
отсюда
lim sin x = sin x0
x→x0

Значит, sin x — непрерывна во всех x ∈ R. Непрерывность cos x следует из cos x = sin( π2 − x).
Теорема доказана.

Определение и свойства показательной функции.

Теорема-определение: пусть a > 0, x ∈ R, тогда ∀{qn } ⊂ Q, такой, что lim qn = x, по-
n→∞
следовательность {aqn } сходится и ее предел не зависит от выбора {qn } при фиксированных
a, x. Этот предел обозначается как ax . Таким образом определяется степень с действи-
тельным показателем.

Доказательство:
aqn − aqm = aqm (aqn −qm − 1) (7.1)
Т.к. последовательность {qn } сходится, а значит она ограничена, следовательно

∃M ∈ N : ∀n ∈ N → |qn | 6 M. (7.2)

Для определенности пусть a > 1. Тогда

|aqn − aqm | 6 aM |aqn −qm − 1|. (7.3)

Фиксируем ∀ε > 0. Тогда

1
∃N (ε) ∈ N : 1 − ε < a− N (ε) < 1 + ε. (7.4)
Т.к. qn → x, то
1 e (ε) → |qn − qm | < 1
∃N
e (ε) : ∀n > N
e (ε) → |qn − x| < ⇒ ∀n, m > N (7.5)
2N (ε) N (ε)
(по неравенству треугольника). А это означает, что
1 1 1 1
− < qn − qm < ⇒ 1 − ε < a− N (ε) < aqn −qm < a N (ε) < 1 + ε. (7.6)
N (ε) N (ε)

23
отсюда

∀ε > 0 ∃N
e (ε) : ∀n > N e (ε) → |aqn − aqm − 1| < ε ⇒ |aqn − aqm − 1| < ε · aM = ε1 . (7.7)
e (ε), ∀m > N

Отсюда {aqn } — фундаментальная последовательность. По критерию Коши она сходится. Ее

предел не зависит от {qn }, т.к. если предположить, что ∃{qn } ⊂ Q → x и ∃{qn0 } ⊂ Q → x, такие,
0 0
что {aqn } → A, {aqn } → B, то составим последовательность {qek }, такую, что {aqn } и {aqn } —
ее подпоследовательность. Тогда A и B — ее частичные пределы. Но {aqek }, как уже было до-
казано, сходится, а значит ее частичные пределы равны, т.е. A = B. Что и требовалось доказать.

Свойства степеней с действительным показателем:

1. ax+y = ax · ay ;

2. (a · b)x = ax · bx ;

3. ∀a > 1, x > 0 → ax > 1;

4. ∀a > 1 ax строго возрастает на R, а если a ∈ (0; 1), то строго убывает;

5. ∀α > 0 функция f (x) = xα строго возрастает на [0; +∞). Если α < 0, то убывает.

Доказательства следуют из соответствующих свойств степеней с рациональным показателем

(просто переходим к пределу).

Замечательные пределы.
Первый замечательный предел:
sin x
lim = 1. (7.8)
x→0 x
Доказательство:
π x 1
∀x ∈ (0; ) sin x < x < tg x ⇒ 1 < < .
2 sin x cos x
Заметим, что это верно ∀x : 0 < |x| < π2 . Мы знаем, что cos x — непрерывная функция, поэтому
при x → 0 cos x → 1, отсюда cos1 x → 1 при x → 0. Значит, по теореме о двух милиционерах,
x
sin x
→ 1. Но sinx x = 1x , а по теореме о пределе частного правая часть стремится к единице.
sin x
Что и требовалось доказать.

Лемма:
1
lim (1 + x) x = e (7.9)
x→+0

Доказательство: воспользуемся определением предела функции по Гейне. Пусть {xk } : xk →

0, ∀k ∈ N xk > 0. Требуется доказать, что
1
lim (1 + xk ) xk = e. (7.10)
k→∞

Т.к. xk → 0,
1
∃K0 : ∀k > K0 → xk < 1 ⇒ ∀k > K0 >1
xk
 
Определим nk = x1k . Тогда
∀k > K0 → nk ∈ N

24
 1
nk 6 < nk + 1
xk
1
Обозначим ak = (1 + x) x . Тогда следует
 nk  nk +1
1 1 1 1
6 xk 6 ⇒ 1+ 6 ak 6 1 + (7.11)
nk + 1 nk nk + 1 nk
 n  n
1 1
Так как e = 1 + n , то ∀ε > 0 ∃N (ε) : ∀n > N (ε) → 1 + n ∈ Uε (e).
1
Так как xk → 0, xk > 0 ⇒ xk
→ +∞ ⇒ nk → +∞ ⇒ ∃K(ε) : ∀k > K(ε) → nk > N (ε). Отсюда
можно сказать, что
 nk  nk
1 1
∀k > K(ε) → 1 + ∈ Uε (e) ⇒ 1 + → e (k → ∞).
nk nk

Рассмотрим правую часть (7.11):

 nk +1  nk  
1 1 1
1+ = 1+ · 1+
nk nk nk
Левый сомножитель стремится к e, правый к единице, значит все произведение стремится к e.
Аналогично для левой части. По теореме о двух милиционерах ak стремится к e при k → ∞.
Что и требовалось доказать.

Лемма:
1
lim (1 + x) x = e (7.12)
x→−0

Воспользуемся определением предела по Гейне. Пусть xk → 0, ∀k ∈ Nxk < 0. Так как xk → 0,

то
∃K0 : ∀k > K0 → xk > −1. (7.13)
Тогда при k > K0 определим yk из условия (1 + xk )(1 + yk ) = 1. То есть
1 −xk
yk = −1= > 0 при k > K0 (7.14)
1 + xk 1 + xk
1
yk → 0 (k → ∞) → (1 + yk ) yk → e. Требуется доказать:
1
(1 + xk ) xk → e. (7.15)

Из уравнения выше
  x1  − 1+y k
−yk 1 1 k 1 yk 1+ y1 1
xk = ⇒ (1 + xk ) xk = = = (1 + yk ) k = (1 + yk ) yk · (1 + yk )
1 + yk 1 + yk 1 + yk
Первый сомножитель, как известно, стремится к e, второй стремится к 1. Что и требовалось
доказать.

Второй замечательный предел:

1
lim (1 + x) x = e (7.16)
x→0

Он явным образом следует из двух лемм выше.

25
8 | Производная функции

Производная функции одного переменного.

Определение: пусть функция f определена в Uδ (x0 ). Производной функции f в точке x0
называется
f (x) − f (x0 )
f 0 (x) = lim (8.1)
x→x0 x − x0
если ∆x = x − x0 , то
f (x0 + ∆x) − f (x0 ) ∆f
f 0 (x) = lim = , (8.2)
∆x→0 ∆x ∆x
где ∆f = f (x) − f (x0 ).

Односторонние производные.
Определение:
1. Пусть f определена на (x0 ; x0 + δ) и пусть ∃ lim f (x) = A ∈ R. Тогда
x→x0 +0

f (x) − A
f+0 (x0 ) = lim (8.3)
x→x0 +0 x − x0

2. Пусть f определена на (x0 ; x0 + δ) и пусть ∃ lim f (x) = A ∈ R. Тогда

x→x0 −0

f (x) − A
f−0 (x0 ) = lim (8.4)
x→x0 −0 x − x0

Непрерывность функции, имеющей производную.

Теорема: если функция f дифференцируема в точке x0 , то она непрерывна в точке x0 . Об-
ратное неверно.

Доказательство: пусть f дифференцируема в точке x0 . То есть ∃A ∈ R : f (x0 + A) − f (x0 ) =

A · ∆x + o(∆x), ∆x → 0. Отсюда

o(∆x)
f (x0 + A) − f (x0 ) = A · ∆x + · ∆x (8.5)
∆x
Первое слагаемое стремится к нулю, второе тоже, а значит, что f (x0 + A) → f (x0 ) при ∆x → 0.
Это означает, что функция непрерывна в точке x0 . Обратное неверно, приведем контрпример.
Рассмотрим функцию f (x) = |x| в точке x0 = 0. Эта функция непрерывна в точке x0 , но не
дифференцируема.

26
 Дифференцируемость функции в точке, дифференциал.
Определение: Функция f называется дифференцируемой в точке x0 , если f определена в
некоторой Uδ (x0 ) и
∃A ∈ R : ∆f = A∆x + o(∆x), ∆x → 0. (8.6)
Теорема: f дифференцируема в точке x0 ⇐⇒ ∃f 0 (x0 ) ∈ R.
∆f −A·∆x
Доказательство: f дифференцируема в точке x0 ⇐⇒ ∃A ∈ R : ∆x
→ 0(∆x → 0) ⇐⇒
∃A ∈ R∃A ∈ R : ∆f
∆x
→ A(∆x → 0) ⇐⇒ ∃A = f 0 (x0 ) ∈ R.

Определение: пусть f дифференцируема в точке x0 . Дифференциалом функции f в точке

x0 называется линейная относительно ∆x функция

df (x0 ) = f 0 (x0 ) · ∆x. (8.7)

Определение: дифференциалом независимой переменной называется приращение этой

переменной:
dx = ∆x = x − x0 . (8.8)

Геометрический смысл производной и дифференциала.

Геометрический смысл производной
Определение: пусть k(x) — угловой коэффициент хорды графика функции y = f (x), проходя-
щей через точки M0 (x0 , y0 ) и Mx (x, y). Если существует k = lim k(x) (конечный или равный
x→x0
±∞), то прямая с угловым коэффициентом k, проходящая через точку M0 называется ка-
сательной к графику в точке M0 .

f (x) − f (x0 )
Так как lim k(x) = lim = f 0 (x0 ), то существование касательной равносильно су-
x→x0 x→x0 x − x0
ществованию производной f 0 (x0 ), причем k = f 0 (x0 ). В общем виде уравнение касательной
записывается как y = f (x0 ) + f 0 (x0 )(x − x0 ).

Геометрический смысл дифференциала

Теорема: пусть функция f дифференцируема в точке x0 . Тогда df (x0 ) — приращение ордина-
ты касательной:
df (x0 ) = ∆yкас . (8.9)
Доказательство:
yкас (x) = f 0 (x0 ) · (x − x0 ) + f (x0 ) (8.10)
∆yкас = yкас (x0 + ∆x) − yкас (x0 ) = f 0 (x0 ) · ∆x. (8.11)

Производная суммы, произведения и частного двух

функций.
Теорема: пусть существует конечная производная функции f в точке x0 f 0 (x0 ) ∈ R и функ-
ции g в точке x0 g 0 (x0 ) ∈ R. Тогда существуют

27
 1. (f + g)0 (x0 ) = f 0 (x0 ) + g 0 (x0 );

2. (f · g)(x0 ) = f 0 (x0 ) · g(x0 ) + f (x0 ) · g 0 (x0 );

f 0 (x0 )·g(x0 )−f (x0 )·g 0 (x0 )
3. если дополнительно g(x0 ) 6= 0, то fg (x0 ) =


g 2 (x0 )
.

Доказательство: сначала докажем пункт 3. Обозначим

∆f = f (x0 + ∆x) − f (x0 ) (8.12)

∆g = g(x0 + ∆x) − g(x0 ) (8.13)

f f (x0 + ∆x) f (x0 ) f f (x0 ) + ∆f f (x0 ) g(x0 ) · ∆f − f (x0 ) · ∆g
∆ = − .⇒∆ = − = (8.14)
g g(x0 + ∆x) g(x0 ) g g(x0 ) + ∆g g(x0 ) g(x0 ) · (g(x0 ) + ∆g)
Отсюда
∆ fg g(x0 ) · ∆f
∆x
∆g
− f (x0 ) · ∆x
= (8.15)
∆x g 2 (x0 ) + g(x0 ) · ∆g
∆g стремится к нулю, и при ∆x → 0 получаем то, что и требовалось доказать. Пункты 1 и 2
доказываются аналогично.

Производная сложной функции.

Теорема: пусть функция y(x) дифференцируема в точке x0 , а функция z(y) дифференцируема
в точке y0 = y(x0 ). Тогда сложная функция ϕ(x) = z(y(x)) дифференцируема в точке x0 и
ϕ0 (x0 ) = z 0 (y0 ) · y 0 (x0 ).

Доказательство:
ϕ(x) − ϕ(x0 ) ϕ(x) − ϕ(x0 ) y(x) − y(x0 )
= · (8.16)
x − x0 y(x) − y(x0 ) x − x0
Идея состоит в том, что первая дробь будет стремиться к z 0 (y0 ), а вторая к y 0 (x0 ) при x → x0 .
Но знаменатель первой дроби может равняться нулю. Чтобы это обойти, введем функцию
(
z(y)−z(y0 )
y−y0
, y 6= y0
F (y) = 0
(8.17)
z (y0 ), y = y0

По определению производной, функция F (y) непрерывна в точке y0 . Потому что предел этой
функции при y → y0 равен значению при y = y0 . Если y 6= y0

z(y) − z(y0 )
F (y(x)) · (y(x) − y0 ) = · (y(x) − y0 ) = z(y) − z(y0 ) = ϕ(x) − ϕ(x0 ). (8.18)
y − y0
Если y = y0
F (y(x)) · (y(x) − y0 ) = 0 = z(y(x)) − z(y0 ) = ϕ(x) − ϕ(x0 ). (8.19)
Получаем, что в любом случае

ϕ(x) − ϕ(x0 ) y(x) − y(x0 )

= F (y(x)) · (8.20)
x − x0 x − x0
y(x)−y(x0 )
При x → x0 F (y(x)) — непрерывная функция и F (y(x)) → F (y(x0 )) = z 0 (y0 ), а x−x0
→ y 0 (x0 ).
Что и требовалось доказать.

28
 Производная обратной функции.
Теорема: пусть функция y(x) определена, строго монотонна и непрерывна в некоторой Uδ (x0 )
и пусть ∃y 0 (x0 ) ∈ R, y 0 (x0 ) 6= 0. Тогда обратная функция x(y) будет дифференцируема в точке
y0 = y(x0 ) и x0 (y0 ) = y0 (x
1
0)
= y0 1(x) .

Доказательство:
x(y) − x(y0 )
x0 (y0 ) = lim (8.21)
y→y0 y − y0
x(y) − x(y0 ) x(y) − x(y0 )
= = F (x(y)), (8.22)
y − y0 y(x(y)) − y0
x−x0
где F (x) = y(x)−y0
. По теореме о непрерывности обратной функции lim x(y0 ) = x0 .
y→y0

1 1
F (x) = ⇒ lim F (x) = . (8.23)
y(x)−y0 x→x0 y 0 (x 0)
x−x0

∀y 6= y0 → x(y) = x(y0 ) = x0 так как x(y) — строго монотонная функция. Тогда применяем
теорему о пределе сложной функции:
1
lim F (x(y)) = lim F (x) = . (8.24)
y→y0 x→x0 y 0 (x 0)

Следовательно, мы доказали существование производной и нашли чему она равна. Теорема

доказана.

Производные элементарных функций.

Таблица производных элементарных функций:

1. C 0 = 0;

2. (ax )0 = ax · ln a, a > 0, x ∈ R;

3. (loga x)0 = 1
x ln a
, a > 0, a 6= 0, x > 0;

4. (xα )0 = αxα−1 , α ∈ R, x > 0;

5. (sin x)0 = cos x, x ∈ R;

6. (cos x)0 = − sin x, x ∈ R;

7. (tg x)0 = 1
cos2 x
;

8. (ctg x)0 = − sin12 x ;

9. (arcsin x)0 = √ 1
1−x2
;

10. (arccos x)0 = − √1−x

1
2;

11. (arctg x)0 = 1

1+x2
;

12. (arcctg x)0 = − 1+x

1
2;

29
 13. (sh x)0 = ch x;

14. (ch x)0 = sh x;

15. (th x)0 = 1

ch2 x
;

16. (cth x)0 = − sh12 x .

Доказательство:

1. f (x) = C ⇒ ∆f = 0 ⇒ f 0 = 0;

2. (ax )0 = (eln ax )0 = eln ax (ln ax)0 = ax ln a;

3. По теореме об обратной функции (loga x)0 = 1

(ay )0
= 1
ay ln a
, где y = lna x, то есть (loga x)0 =
1
x ln a
;

4. при x > 0: (xα )0 = (eln xα )0 = eln xα (ln xα)0 = αxα /x = αxα−1 ;

5. воспользуемся равенством sin(x + ∆x) − sin x = 2 cos(x + 12 ∆x) sin( 12 ∆x), первым замеча-
тельным пределом и непрерывностью косинуса:

0 sin(x + ∆x) − sin x 1 sin( 12 ∆x)

(sin x) = lim = lim cos(x + ∆x) 1 = cos x; (8.25)
∆x→0 ∆x ∆x→0 2 2
∆x

6. cos x = sin( π2 − x) дальше производная сложной функции;

7. просто производная частного;

8. просто производная частного;

9. обратная функция аналогично логарифму;

10. используем arccos x + arcsin x = π2 ;

11. обратная функция аналогично логарифму;

12. используем arctg x + arcctg x = π2 ;

13. просто определение sh x и дальше правила дифференцирования;

14. просто определение ch x и дальше правила дифференцирования;

15. просто определение th x и дальше правила дифференцирования;

16. просто определение cth x и дальше правила дифференцирования.

30
 Инвариантность формы дифференциала относительно
замены переменного.
Теорема: пусть функция y(x) дифференцируема в точке x0 , а функция z(y) дифференцируема
в точке y0 = y(x0 ). Тогда дифференциал сложной функции z = ϕ(x) = z(y(x)) в точке x0 и
дифференциал простой функции z = z(y) в точке y0 могут быть записаны в инвариантной
(одинаковой) форме:
dz = z 0 (y0 ) · dy, (8.26)
где если z = z(y(x)) — сложная функция, то dy = y 0 (x) · dx — дифференциал функции y(x) в
точке x0 , а если z = z(y) — простая функция, тогда dy = y −y0 — приращение (дифференциал)
независимой переменной.

Доказательство: в случае z = z(y) — простая функция (8.26) следует из определения диффе-

ренциала. Пусть z = z(y(x)) = ϕ(x) — сложная функция. Тогда

dz = dϕ(x0 ) = ϕ0 (x0 ) · dx = z 0 (y0 ) · y 0 (x0 ) · dx = z 0 (y0 ) · dy. (8.27)

Функции, заданные параметрически, их

дифференцирование.
Определение: пусть на множестве T ⊂ R заданы функции x = x(t) и y = y(t), причем
x(t) имеет обратную функцию t(x). Тогда ye(x) = y(t(x)) называется функцией, заданной
параметрически следующей системой двух уравнений:
(
x = x(t)
(8.28)
y = y(t)

Если выполнены условия теоремы об обратной функции, то

1
t0 (x) = , t = t(x) (8.29)
x0 (t)

а если выполнены еще и условия теоремы о производной сложной функции, то

y 0 (t)
ye0 (x) = y 0 (t) · t0 (x) = , t = t(x). (8.30)
x0 (t)

То есть
yt0
yx0 = (8.31)
x0t

31
9 | Производные высших порядков

Производные высших порядков.

Определение: производная нулевого порядка — это сама функция, производная первого по-
рядка f (1) (x) = f 0 (x) была определена ранее. Если функция f (n) (x) определена в Uδ (x), то
f (n+1) (x) = (f (n) )0 (x).

Формула Лейбница для n-й производной произведения

функций.
Теорема: пусть существуют производные функций u(x) и v(x) в точке x порядка n. Тогда
существует
n
X
(u(x)v(x))(n) = Cnk u(k) (x)v (n−k) (x). (9.1)
k=0

Доказательство: докажем по индукции. Для n = 1 верно. Пусть верно для n = s, покажем,

что тогда верно и для n = s + 1:
n
X
(u(x)v(x))(n+1 = ((u(x)v(x))(n) )0 = Cnk (u(k) (x)v (n−k) (x))0 =
k=0

n
X n
X
= Cnk u(n−k+1) v (k) + Cnk u(n−k) v (k+1)
k=0 k=0

Во второй формуле произведем сдвиг индекса, то есть заменим k на m−1. Вторая сумма примет
вид
n+1
X n+1
X
m−1 (n−m+1) (m)
Cn u v = Cnk−1 u(n−k+1) v (k)
m=1 k=1

Тут вернули обратно индекс k, потому что без разницы какой буквой обозначать индекс сум-
мирования. Теперь воспользуемся соотношением

Cnk + ck−1
n
k
= Cn+1 (9.2)

Тогда окончательно получим

Cnk + ck−1
n
k
= Cn+1 (9.3)
n+1
X
0 k
(uv) = Cn+1 u(n+1−k) v (k) (9.4)
k=0

Формула Лейбница доказана.

32
 Дифференциал второго порядка.
Определение: дифференциал первого порядка d1 f (x) = df (x) был определен ранее. Пусть в
некоторой Uδ (x0 ) существует дифференциал n-го порядка функции f : dn f (x). Дифференци-
алом порядка n + 1 называется дифференциал первого порядка от дифференциала порядка n:
dn+1 f (x) = d(dn f (x)).

Отсутствие инвариантности его формы относительно

замены переменного.
Пусть заданы дважды дифференцируемые функции y(x) и z(y). Найдем второй дифференциал
сложной функции z = ϕ(x) = z(y(x)). В силу инвариантности формы первого дифференци-
ала dϕ(x) = z 0 (y(x))dy(x). По правилу вычисления дифференциала произведения d2 ϕ(x) =
d(z 0 (y(x))) · dy(x) + z 0 (y(x)) · d(dy(x)) = z 00 (y(x))(dy(x))2 + z 0 (y(x))d2 y(x). Итак для сложной
функции z = z(y(x)):
d2 z = z 00 (y(x))(dy(x))2 + z 0 (y(x))d2 y(x), (9.5)
в то время как для простой функции z = z(y):

d2 z = z 00 (y)(dy)2 . (9.6)

Таким образом, формулы для вторых дифференциалов сложной и простой функции не совпа-
дают. То же относится и к дифференциалам порядка n > 2.

33
10 | Теоремы про производные и форму-
ла Тейлора

Теорема Ферма (необходимое условие существования

локального экстремума).
Определение: пусть задана функция f : X → R.
1. Точка x0 ∈ X называется точкой локального минимума функции f , если
∃δ > 0 : ∀x ∈ Uδ ∩ X → f (x0 ) 6 f (x). (10.1)

2. Точка x0 ∈ X называется точкой локального максимума функции f , если

∃δ > 0 : ∀x ∈ Uδ ∩ X → f (x0 ) > f (x). (10.2)

3. Точка x0 ∈ X называется точкой локального экстремума функции f , если x0 явля-

ется точкой локального максимума или локального минимума.
Теорема Ферма: пусть функция f определена на (a, b) и x0 ∈ (a, b) — точка локального
экстремума функции f . Тогда если f дифференцируема в точке x0 , то f 0 (x0 ) = 0.

Доказательство: пусть для определенности x0 — точка локального минимума функции f .

Определим δ0 = min{b − x0 , x0 − a}. Тогда ∃δ ∈ (0, δ0 ) : ∀x ∈ Uδ (x0 )f (x0 ) 6 f (x). Поэтому для
f (x) − f (x0 )
x ∈ (x0 , x0 + δ) верно f+0 (x0 ) = lim > 0. Аналогично f−0 (x0 ) 6 0. Если существует
x→x0 +0 x − x0
f 0 (x), то f 0 (x) = f−0 (x0 ) = f+0 (x0 ), а значит f 0 (x0 ) = 0. Что и требовалось доказать.

Теоремы о среднем Ролля, Лагранжа, Коши.

Теорема Ролля: пусть функция f непрерывна на [a, b] и дифференцируема на (a, b) и пусть
f (a) = f (b). Тогда ∃ξ ∈ (a, b) : f 0 (ξ) = 0.

Доказательство: по теореме Вейштрасса ∃m = min f (x) и ∃M = max f (x). Если m = M ,

x∈[a,b] x∈[a,b]
то f — константа, берем любую точку, получаем требуемое. Если m 6= M , то либо m < f (a),
либо f (a) < M . Рассмотрим, например, случай m < f (a). По определению минимума ∃ξ ∈
[a, b] : f (ξ) < f (a) = f (b). Следовательно, ξ ∈ (a, b) и по теореме Ферма f 0 (ξ) = 0.

Теорема Коши: пусть функции f и g непрерывны на [a, b] и дифференцируемы на (a, b). Пусть
∀x ∈ (a, b) → g 0 (x) 6= 0. Тогда
f 0 (ξ) f (b) − f (a)
∃ξ ∈ (a, b) : 0 = . (10.3)
g (x) g(b) − g(a)

34
Доказательство: из теоремы Ролля и условия ∀x ∈ (a, b) → g 0 (x) 6= 0 следует, что g(b) 6= g(a).
Рассмотрим функцию ϕ(x) = f (x)−kg(x), где коэффициент k определим из условия ϕ(a) = ϕ(b):
f (b) − kg(b) = f (a) − kg(a), то есть k = fg(b)−g(a)
(b)−f (a)
. По теореме Ролля ∃ξ ∈ (a, b) : ϕ(ξ) = 0, то есть
f 0 (ξ) f (b)−f (a)
f 0 (ξ) − kg 0 (ξ) = 0. Отсюда g 0 (ξ)
=k= g(b)−g(a)
.

Теорема Лагранжа: пусть функция f непрерывна на [a, b] и дифференцируема на (a, b). То-
гда существует точка ξ ∈ (a, b), для которой справедлива формула конечных приращений
Лагранжа:
f (b) − f (a) = f 0 (ξ)(b − a) (10.4)
Доказательство: просто применим теорему Коши для функций f (x) и g(x) = x.

Формула Тейлора с остаточным членом в формах Пеано и

Лагранжа.
Определение: пусть существует конечная n-я производная функции f в точке x0 . Тогда
n
X f (k) (x0 )
Pn (x) = (x − x0 )k (10.5)
k=0
k!

называется многочленом Тейлора функции f в точке x0 .;

rn (x) = f (x) − Pn (x) (10.6)

называется остаточным членом в формуле Тейлора:

n
X f (k) (x0 )
f (x) = (x − x0 )k + rn (x). (10.7)
k=0
k!

Лемма: пусть ∃f (n) (x0 ), ∃f 0 в U̇ (x0 ). Тогда в U̇ (x0 ) (rn (f, x))0 = rn−1 (f 0 , x).

Доказательство:
n
!0 n
0
X f (k) (x0 ) 0
X f (k) (x0 )
(rn (f, x)) = f (x) − (x − x0 ) k
= f (x) − (x − x0 )k−1 = rn−1 (f 0 , x). (10.8)
k=0
k! k=1
(k − 1)!

Теорема (формула Тейлора с остаточным членом в форме Пеано): пусть n ∈ N и

∃f (n) (x0 ). Тогда справедлива формула Тейлора, в которой rn (f, x) = o((x − x0 )n ) при x → x0 .

Доказательство: будем проводить доказательство по индукции. При n = 1 утверждение тео-

ремы верно. В самом деле, в этом случае f дифференцируема в точке x0 . Следовательно,

f (x) − f (x0 ) = f 0 (x0 )(x − x0 ) + o(x − x0 ), x → x0 , (10.9)

что совпадает с утверждением теоремы.

Предположим, что утверждение теоремы верно при n − 1. Покажем, что оно верно и в приве-
денной форме. Используя теорему Лагранжа о конечных приращениях и лемму, имеем (считая
для определенности x > x0 )

rn (f, x) = rn (f, x) − rn (f, x0 ) = rn−1 (f 0 , ξ)(x − x0 ), (10.10)

35
где x0 < ξ < x.
По предположению индукции rn−1 (f 0 , ξ) = o((ξ − x0 )n−1 ) = o((x − x0 )n−1 ) при x → x0 . Следова-
тельно,
rn (f, ξ) = o((x − x0 )n ) при x → x0 . (10.11)
Что и требовалось доказать.

Теорема (формула Тейлора с остаточным членом в форме Лагранжа): пусть x > x0

(x < x0 ), n ∈ N, f (n) непрерывна на отрезке [x0 , x] ([x, x0 ]), ∃f (n+1) на интервале (x0 , x) ((x, x0 )).
Тогда справедлива формула Тейлора, в которой
f (n+1) (x0 + θ(x − x0 )) f (n+1) (ξ)
rn (f, x) = (x − x0 )n+1 = (x − x0 )n+1 , (10.12)
(n + 1)! (n + 1)!
где 0 < θ < 1.

Доказательство: доказательство будем проводить по индукции, считая x > x0 . При n = 0

теорема утверждает, что при некотором θ ∈ (0, 1)
f (x) = f (x0 ) + f 0 (x0 + θ(x − x0 ))(x − x0 ). (10.13)
Это утверждение верно, так как оно совпадает с формулой конечных приращений Лагранжа.
Предположим верно при n − 1 > 0, покажем, что верно и в приведенном виде. Используя
теорему Коши о среднем и лемму имеем (считая для определенности x > x0 )
rn (f, x) rn (f, x) − rn (f, x0 ) rn−1 (f 0 , ξ) (f 0 )(n) (η) f (n+1) (η)
= = = = , (10.14)
(x − x0 )n+1 (x − x0 )n+1 − (x0 − x0 )n+1 (n + 1)(ξ − x0 )n (n + 1)n! (n + 1)!
где x0 < η < ξ < x, а предпоследнее равенство написано в силу предположения индукции.
Теорема доказана.

Правило Лопиталя для раскрытия неопределенностей вида

0
0.
Теорема: пусть функции f (x) и g(x) дифференцируемы на интервале (a, b),
lim f (x) = 0,
x→a+0

lim g(x) = 0,
x→a+0
и
∀x ∈ (a, b) → g 0 (x) 6= 0.
Пусть
f 0 (x)
lim = C ∈ R.
b (10.15)
x→a+0 g 0 (x)

Тогда существует
f (x) f 0 (x)
lim = lim 0 . (10.16)
x→a+0 g(x) x→a+0 g (x)

Доказательство: доопределим функции f (x) и g(x) в точке a, полагая f (a) = g(a) = 0. Тогда
функции f и g будут непрерывны на [a, b). По теореме Коши о среднем
f (x) f (x) − f (a) f 0 (ξ)
∀x ∈ (a, b)ξ = ξ ∈ (a, x) : = = 0 . (10.17)
g(x) g(x) − g(a) g (ξ)

36
Так как lim ξ(x) = a и ξ(x) 6= a, то по теореме о замене переменной при предельном переходе
x→a+0
f 0 (ξ(x)) f 0 (ξ) f (x)
lim 0 = lim 0 = C, следовательно, lim = C.
x→a+0 g (ξ(x)) x→a+0 g (ξ) x→a+0 g(x)

Правило Лопиталя для раскрытия неопределенностей вида

∞
∞.
Теорема: пусть функции f (x) и g(x) дифференцируемы на интервале (a, b),

lim f (x) = ∞,
x→a+0

lim g(x) = ∞,
x→a+0
и
∀x ∈ (a, b) → g 0 (x) 6= 0.
Пусть
f 0 (x)
lim = C ∈ R. (10.18)
x→a+0 g 0 (x)

Тогда существует
f (x) f 0 (x)
lim = lim 0 . (10.19)
x→a+0 g(x) x→a+0 g (x)

f 0 (x)
Доказательство: зафиксируем произвольное ε > 0. Так как lim = C, то
x→a+0 g 0 (x)

f 0 (ξ) ε
∃aε ∈ (a, b) : ∀ξ ∈ (a, aε ) → 0 −C < . (10.20)
g (ξ) 2

В силу теоремы Коши о среднем для любого x ∈ (a, aε ) существует число ξ ∈ (x, aε ) такое, что
f (x)−f (aε ) 0 (ξ)

g(x)−g(aε )
= fg0 (ξ) . Для любого x ∈ (a, aε ) обозначим

f (x) − f (aε )
H(x) = . (10.21)
g(x) − g(aε )

Тогда в силу соотношения (10.20) имеем

ε
∀x ∈ (a, aε ) → |H(x) − C| < . (10.22)
2
Покажем, что  
f (x)
lim H(x) − = 0. (10.23)
x→a+0 g(x)
Действительно,

1 − g(a ε)
  !
f (x) g(x) − g(aε ) f (x) g(x)
H(x) − = H(x) 1 − = H(x) 1 − . (10.24)
g(x) f (x) − f (aε ) g(x) 1 − ff (aε
(x)

Из соотношения (10.22) следует, что функция H(x) ограничена. Поскольку lim f (x) = ∞ и
x→a+0
f (aε ) g(aε )
lim g(x) = ∞, то lim = 0 и lim = 0. Следовательно,
x→a+0 x→a+0 f (x) x→a+0 g(x)

37
  
1 − g(aε )/g(x)
lim 1 − = 0. Поэтому функция H(x) − fg(x)
(x)
при x → a + 0 является беско-
x→a+0 1 − f (aε )/f (x)
нечно малой как произведение ограниченной функции на бесконечно малую. Таким образом из
соотношения (10.23) следует существование числа e aε ∈ (a, aε ), такого, что

f (x) ε
∀x ∈ (a, e
aε ) → H(x) − < . (10.25)
g(x) 2

Отсюда из соотношения (10.22) получаем

f (x)
∀x ∈ (a, e
aε ) → − C < ε. (10.26)
g(x)

f (x)
Поэтому существует предел lim = C.
x→a+0 g(x)

Теорема о промежуточных значениях производной

(теорема Дарбу).
Теорема: пусть функция f (x) дифференцируема на [x1 , x2 ], A = f 0 (x1 ), B = f 0 (x2 ). Тогда

∀D ∈ [A, B]∃d ∈ [x1 , x2 ] : D = f 0 (d). (10.27)

Доказательство: Для определенности положим A < B, обратный случай доказывается ана-

логично. Рассмотрим вспомогательную функцию g(x) = f (x) − Dx. Тогда g 0 (x) = f 0 (x) − D.
D ∈ [A, B] ⇒ g 0 (x1 ) < 0, g 0 (x2 ) > 0. По определению производной

g(x1 + ∆x) − g(x1 )

g 0 (x1 ) = lim . (10.28)
∆x→0 ∆x
При ∆x > 0 g(x1 + ∆x) < g(x1 ). Аналогично рассмотрим g 0 (x2 ): при ∆x < 0 g(x2 + ∆x) < g(x2 ).
Функция g(x) — дифференцируема, а значит непрерывна на [x1 , x2 ], поэтому на этом отрезке
существуют минимальное и максимальное значения функции. Из двух предыдущих неравенств
следует, что минимальное значение достигается не в граничной точке. Пусть оно достигается в
точке d ∈ (x1 , x2 ), тогда по теореме Ферма в этой точке g 0 (d) = 0. Значит f 0 (d) = g 0 (d) + D = D.

38
11 | Исследования функций с помощью про-
изводных

Необходимые условия и достаточные условия

монотонности, достаточные условия существования
локального экстремума в терминах первой, второй и
высших производных.
Необходимые условия и достаточные условия монотонности.
Теорема (критерий возрастания (убывания) дифференцируемой функции на интер-
вале): для того, чтобы дифференцируемая на интервале (a, b) функция f (x) была возраста-
ющей на этом интервале, необходимо и достаточно, чтобы выполнялось условие
f 0 (x) > 0 при всех x ∈ (a, b). (11.1)
Аналогично, условие
f 0 (x) 6 0 при всех x ∈ (a, b). (11.2)
является необходимым и достаточным для убывания дифференцируемой функции f (x) на ин-
тервале (a, b).

Доказательство: ограничимся доказательством теоремы для случая возрастающей функции.

1. Необходимость. Пусть x0 — произвольна точка интервала (a, b). Из определения возрас-
тающей функции следует, что
∀x ∈ (a, b) : x > x0 → f (x) > f (x0 ),
∀x ∈ (a, b) : x < x0 → f (x) 6 f (x0 ),
Следовательно, если x ∈ (a, b) и x 6= x0 , то выполняется неравенство
f (x) − f (x0 )
> 0. (11.3)
x − x0
Так как левая часть имеет при x → x0 предел, равный f 0 (x0 ), то из этого неравенства по
свойству сохранения знака нестрогого неравенства при предельном переходе получаем
f 0 (x0 ) > 0 для любого x0 ∈ (a, b). (11.4)

2. Достаточность. Пусть выполняется условие (11.1) и пусть x1 , x2 — произвольные точки

интервала (a, b), причем x1 < x2 . Применяя к функции f (x) на отрезке [x1 , x2 ] теорему
Лагранжа, получаем
f (x2 ) − f (x1 ) = f 0 (ξ)(x2 − x1 ),

39
 где f 0 (ξ) > 0, так как ξ ∈ (a, b). Отсюда следует, что

∀x1 , x2 ∈ (a, b) : x2 > x1 → f (x2 ) > f (x1 ). (11.5)

Это означает, что функция f (x) является возрастающей на интервале (a, b).

Аналогично, с помощью формулы конечных приращений Лагранжа, доказывается для строго

монотонной функции.

Достаточные условия существования локального экстремума.

Необходимые условия
Определение: точки, в которых производная данной функции равна нулю, называют ста-
ционарными точками этой функции.

Определение: точки, в которых данная функция непрерывна, а ее производная либо рав-

на нулю либо не существует, называется критическими точками функции.

Необходимые условия экстремума функции легко получить из теоремы Ферма. Согласно этой
теореме точки локального экстремума функции f (x) следует искать среди тех точек области
ее определения, в которых производная этой функции либо равна нулю, либо не существует, то
есть в ее критических точках.

Достаточные условия
Определение: назовем x0 точкой строгого максимума функции f (x), если

∃δ > 0 : ∀x ∈ U̇δ (x0 ) → f (x) < f (x0 ). (11.6)

Аналогично, x0 называют точкой строгого минимума функции f (x), если

∃δ > 0 : ∀x ∈ U̇δ (x0 ) → f (x) > f (x0 ). (11.7)

Теорема (первое достаточное условие строгого экстремума): пусть функция f (x) диф-
ференцируема в некоторой окрестности точка x0 , кроме быть может, самой точки x0 и
непрерывна в точке x0 . Тогда

1. если f 0 (x) меняет знак с минуса на плюс при переходе через точку x0 , то есть суще-
ствует δ > 0 такое, что

∀x ∈ (x0 − δ, x0 ) → f 0 (x) < 0, (11.8)

∀x ∈ (x0 , x0 + δ) → f 0 (x) > 0, (11.9)

то x0 — точка строгого минимума функции f;

2. если f 0 (x) меняет знак с плюса на минус при переходе через точку x0 , то x0 — точка
строгого максимума функции f .

Доказательство: пусть функция f 0 (x) меняет знак с минуса на плюс при переходе через
точку x0 , тогда выполняется условия (11.8) и (11.9).
Если x — произвольная точка на интервале (x, x0 ) и непрерывна на отрезке [x, x0 ]. По теореме
Лагранжа
f (x) − f (x0 ) = f 0 (ξ)(x − x0 ),

40
где f 0 (ξ) < 0, так как x0 − δ < x < ξ < x0 и x − x0 < 0. Отсюда следует, что

∀x ∈ (x0 − δ, x0 ) → f (x) > f (x0 ). (11.10)

Аналогично, применяя теорему Лагранжа к функции f (x) на отрезке [x0 , x], где x0 < x < x0 +δ,
получаем, что
∀x ∈ (x0 , x0 + δ) → f (x) > f (x0 ). (11.11)
Из этих двух условий следует утверждение (11.7). Это означает, что x0 — точка строгого ми-
нимума функции f (x). Аналогично рассматривается случай строгого максимума.

Теорема (второе достаточное условие строгого экстремума): пусть x0 — стационарная

точка функции f (x), т.е.
f 0 (x0 ) = 0, (11.12)
и пусть существует f 00 (x0 ).
Тогда:
1. если f 00 (x0 ) > 0, то x0 — точка строгого минимума функции f (x);

2. если f 00 (x0 ) < 0, то x0 — точка строгого максимума функции f (x).

Доказательство: если f 00 (x0 ) > 0, то функция f 0 (x) является возрастающей в точке x0 , то
есть существует δ > 0 такое, что

∀x ∈ (x0 − δ, x0 ) → f 0 (x) < f 0 (x0 ) = 0,

∀x ∈ (x0 , x0 + δ) → f 0 (x) > f 0 (x0 ) = 0,

откуда следует, что f 0 (x) меняет знак с минуса на плюс при переходе через точку x0 . Согласно
предыдущей теореме точка x0 — точка строгого минимума функции f (x). Аналогично рассмат-
ривается случай f 00 (x0 ) < 0.

Теорема (третье достаточное условие строгого экстремума): пусть существует f (n) (x0 ),
где n > 2, и выполняются условия

f 0 (x0 ) = f 00 (x0 ) = ... = f (n−1) (x0 ) = 0, (11.13)

f (n) (x0 ) 6= 0. (11.14)

Тогда:

1. если n — четное число, то x0 — точка экстремума функции f (x), а именно точка стро-
гого максимума в случае f (n) (x0 ) < 0 и точка строгого минимума в случае f (n) (x0 ) > 0;

2. если n — нечетное число, то x0 не является точкой экстремума функции f (x).

Доказательство: используя локальную формулу Тейлора для функции f (x) в окрестности
точки x0 и условия (11.13), получаем

f (n) (x0 )
f (x) − f (x0 ) = (x − x0 )n + o((x − x0 )n ). (11.15)
n!
Из условия (18) следует, что равенство (19) можно записать в виде

f (n) (x0 )
f (x) − f (x0 ) = (x − x0 )n (1 + α(x)), (11.16)
n!
41
где α(x) = o(1) → 0 при x → x0 , так как C0 ((x − x0 )n ) = o((x − x0 )n ) при C 6= 0 (C = const).
Поэтому ∃δ > 0 : ∀x ∈ U̇δ (x0 ) → |α(x)| < 21 , откуда следует, что
˙ )δ (x0 ).
1 + α(x) > 0 для x ∈ (U (11.17)

Из равенства (11.16) в силу условия (11.17) получаем

sign(f (x) − f (x0 )) = sign(f (n) (x0 )(x − x0 )n ) ∀x ∈ U̇δ (x0 ) (11.18)

1. Пусть n — нечетное число (n = 2k), тогда

∀x ∈ U̇δ (x0 ) → (x − x0 )n = (x − x0 )2k > 0,

из равенства (11.18) получаем

sign(f (x) − f (x0 )) = sign f (n) (x0 ).

Если f (n) (x0 ) > 0, то для x ∈ U̇δ (x0 ) выполняется равенство

f (x) − f (x0 ) > 0.

Это означает, что x0 — точка строгого минимума функции f (x). Аналогично, если f (n) (x0 ) >
0, то
f (x) − f (x0 ) < 0 для ∀x ∈ U̇δ (x0 ).
То есть x0 — точка локального максимума функции f (x).
2. Пусть n = 2k + 1, тогда из формулы (11.18) следует, что разность f (x) − f (x0 ) меняет
знак при переходе через точку x0 , так как функция (x − x0 )2k+1 меняет знак при переходе
через точку x0 . Это означает, что x0 не является точкой экстремума функции f (x).

Выпуклость, точки перегиба.

Определение: непрерывная функция y = f (x) называется выпуклой вверх на отрезке [a, b],
если для любых точек x1 и x2 отрезка [a, b] выполняется неравенство
 
x1 + x2 f (x1 ) + f (x2 )
f > . (11.19)
2 2
Аналогично, непрерывная функция y = f (x) называется выпуклой вниз на отрезке [a, b],
если для любых точек x1 и x2 отрезка [a, b] выполняется неравенство
 
x1 + x2 f (x1 ) + f (x2 )
f 6 . (11.20)
2 2
Теорема (достаточные условия выпуклости): пусть f 0 (x) существует на отрезке [a, b],
а f 00 (x) — на интервале (a, b). Тогда:
1. если
f 00 (x) > 0 при всех x ∈ (a, b), (11.21)
то функция y = f (x) выпукла вниз на отрезке [a, b];
2. если
f 00 (x) > 0 при всех x ∈ (a, b), (11.22)
то функция y = f (x) строго выпукла вниз на отрезке [a, b].

42
Аналогично для выпуклой вверх.

Доказательство: ограничимся доказательством только для первого случая. Нужно доказать,

что для любых точек x1 , x2 отрезка [a, b] выполняется условие выпуклости вниз. Пусть, напри-
мер, x1 < x2 (при x1 = x2 условие точно выполняется). Обозначим x0 = x1 +x 2
2
, x2 − x1 = 2h,
тогда x2 − x0 = x0 − x1 = h, откуда x1 = x0 − h, x2 = x0 + h. Применяя к функции f (x) на
отрезках [x1 , x0 ] и [x0 , x2 ] формулу Тейлора с остаточным членом в форме Лагранжа при n = 2,
получаем
f 00 (ξ1 ) 2
f (x1 ) = f (x0 − h) = f (x0 ) − f 0 (x0 )h + h , x0 − h < ξ1 < x0 ,
2!
0 f 00 (ξ2 ) 2
f (x2 ) = f (x0 + h) = f (x0 ) + f (x0 )h + h , x0 − h < ξ2 < x0 ,
2!
Складывая эти равенства, находим
h2 00
f (x1 ) + f (x2 ) = f (x0 ) + (f (ξ1 ) + f 00 (ξ2 )).
2
Так как ξ1 ∈ (a, b), ξ2 ∈ (a, b), то в силу условия (11.21) f 00 (ξ) > 0, f 00 (ξ2 ) > 0, и из равенства
(27) следует неравенство f (x1 ) + f (x2 ) > 2f (x0 ), равносильное условию выпуклости вниз.

Определение: пусть функция f (x) непрерывна в точке x0 и имеет в этой точке либо конеч-
ную, либо бесконечную производную (f 0 (x) = +∞ или f 0 (x0 ) = −∞). Тогда если эта функция
при переходе через точку x0 меняет направление выпуклости, то есть существует δ > 0
такое, что на одном месте из интервалов (x0 − δ, x0 ), (x0 , x0 + δ) она выпукла вверх, а на
другом выпукла вниз, то x0 называют точкой перегиба функции f (x), а точку (x0 , f (x0 ))
— точкой перегиба графика функции y = f (x).

Теорема: если точка x0 — точка перегиба функции f (x) и если функция f (x) имеет в неко-
торой окрестности точки x0 вторую производную, непрерывную в точке x0 , то

f 00 (x) = 0. (11.23)

Доказательство: пусть f 00 (x) 6= 0. Тогда в силу непрерывности функции f 00 (x) в точке x0

∃δ > 0 : ∀x ∈ Uδ (x0 ) → sign f 00 (x) = sign f 00 (x0 ),

то есть f 00 (x) > 0 или f 00 (x) < 0 для любого x ∈ Uδ (x0 ).

По предыдущей теореме функция f (x) либо строго выпукла вниз на интервале Uδ (x0 ), либо
строго выпукла вверх на интервале Uδ (x0 ). Но тогда x0 не является точкой перегиба. Следова-
тельно, должно выполняться условие (11.23).

Теорема (первое достаточное условие наличия точки перегиба): если функция f непре-
рывна в точке x0 , имеет в этой точке конечную или бесконечную производную и если функция
f 00 (x) меняет знак при переходе через точку x0 , то x0 — точка перегиба функции f (x).

Доказательство: пусть, например, функция f 00 (x) меняет знак с минуса на плюс при переходе
через точку x0 (в точке x0 вторая производная может и не существовать). Это означает, что
существует δ > 0 такое, что на интервале ∆1 = (x0 − δ, x0 ) выполняется неравенство f 00 (x) < 0,
что на интервале ∆x2 = (x0 , x0 + δ) — неравенство f 00 (x) > 0. Тогда по теореме о достаточных
условиях выпуклости f (x) выпукла вверх на интервале ∆1 и выпукла вниз на интервале ∆2 .
Следовательно, точка x0 удовлетворяет всем условиям, указанным в определении точки пере-
гиба.

43
Теорема (второе достаточное условие наличия точки перегиба): если f (2) (x0 ) = 0,
f (3) 6= 0, то x0 — точка перегиба функции f (x).

Доказательство: так как f (3) (x0 ) 6= 0, то функция f (2) (x) либо строго возрастает, либо строго
убывает в точке x0 . По условию f (2) (x0 ) = 0 и поэтому f (2) имеет разные знаки на интервалах
(x0 − δ, x0 ) и (x0 , x0 + δ) при некотором δ > 0 откуда, используя прошлую теорему, заключаем,
что x0 — точка перегиба функции f (x).

Асимптоты.
Определение: если выполнено хотя бы одно из условий
1. lim f (x) = ∞,
x→x0 −0

2. lim f (x) = ∞,
x→x0 +0

то прямую x = x0 называют вертикальной асимптотой графика функции y = f (x).

Определение: прямую
y = kx + b
называют асимптотой (невертикальной асимптотой) графика функции y = f (x)
при x → ∞, если
lim (f (x) − (kx + b)) = 0. (11.24)
x→+∞

Теорема: для того чтобы прямая y = kx + b была асимптотой графика функции y = f (x)
при x → +∞, необходимо и достаточно, чтобы существовали конечные пределы
f (x)
lim = k, (11.25)
x→+∞ x

lim (f (x) − kx) = b. (11.26)

x→+∞

Доказательство:
1. Необходимость. Если прямая y = kx + b — асимптота графика функции y = f (x), при
x → +∞, то выполняется условие асимптоты или равносильное ему условие

f (x) = kx + b + α(x), α(x), α → 0 при x → +∞. (11.27)

Разделив обе части равенства на x получим

f (x) b α(x)
=k+ + ,
x x x
откуда следует, что существует предел (11.25). Из равенства (11.27) получаем

f (x) − kx = b + α(x),

где α(x) → 0 при x → +∞, откуда следует, что существует предел (11.26).
2. Достаточность. Если существуют конечные пределы (11.25) и (11.26), то f (x)−(kx+b) =
α(x), где α(x) → 0 при x → +∞, то есть выполняется условие асимптоты. Это означает,
что прямая y = kx + b — асимптоты графика функции y = f (x).

44