С. Р.

Насыров

ИНТЕГРАЛ РИМАНА НА ОТРЕЗКЕ

И ЕГО ПРИЛОЖЕНИЯ

Казань – 2013
 УДК 517.1

Печатается по решению Учебно-методической комиссии

Института математики и механики им. Н. И. Лобачевского КФУ

Научный редактор
кандидат физико-математических наук, доцент Р. Н. Гумеров

Насыров С.Р. Интеграл Римана на отрезке и его приложения. – Ка-

зань: Казанский (Приволжский) федеральный университет, 2013. – 45 с.

В настоящем учебном пособии излагается теоретический матери-

ал, связанный с интегралом Римана на отрезке и его геометрическими
приложениями (вычисление площадей, объемов, длин кривых). Мате-
риал соответствует курсу «Математический анализ» для классических
университетов (первая половина 2-го семестра).

c Насыров С.Р., 2013

1 Определенный интеграл Римана на отрезке

1.1 Разбиение отрезка. Семейство промежуточных точек

Рассмотрим отрезок [a; b]. Разбиением τ отрезка [a; b] называется любое

множество точек
τ = {x0 , x1 , . . . , xn−1 , xn }
таких, что
a = x0 < x1 < . . . < xn−1 < xn = b.
Любое разбиение τ порождает разложение [a; b] на n отрезков 4k =
= [xk−1 , xk ], k = 1, n. Отрезок 4k назовем k -ым частичным сегментом
разбиения τ . Обозначим через 4xk = xk − xk−1 длину 4k . Диаметром
разбиения τ называется число

d(τ ) = max 4xk .

1≤k≤n

Рассмотрим два разбиения τ и τ 0 отрезка [a; b]. Разбиение τ 0 называется

измельчением разбиения τ , если τ является подмножеством τ 0 . Ясно,что
измельчение — это отношение порядка на множестве разбиений [a; b].

Лемма 1.1.1 (иерархичность). Для любого из двух разбиений τ 0 и τ 00

отрезка [a; b] существует разбиение τ , которое является измельчением
как τ 0 , так и τ 00 .

Доказательство. Достаточно взять τ = τ 0 ∪ τ 00 .

Рассмотрим любое разбиение τ отрезка [a; b]. Семейством проме-
жуточных точек Tτ , отвечающих разбиению

τ = {x0 , x1 , . . . , xn−1 , xn }

отрезка [a; b], называется семейство точек

Tτ = (ξk )1≤k≤n ,

удовлетворяющих условию: ξk ∈ [xk−1 , xk ], k = 1, n.

1.2 Интегральная сумма Римана функции f на [a; b].

Пусть f — некоторая числовая функция на [a; b]. Пусть τ =

{x0 , x1 , . . . , xn−1 , xn } — некоторое разбиение [a; b]: и Tτ = (ξk )1≤k≤n
— семейство промежуточных точек, отвечающих τ . Интеграль-
ной суммой для функции f , отвечающей разбиению τ и семейству
промежуточных точек Tτ , называется число
n
X
S(f, τ, Tτ ) = f (ξk )4xk .
k=1

1.3 Геометрический смысл интегральных сумм Римана

Пусть функция f непрерывна и положительна на [a; b]. Рассмотрим кри-

волинейную трапецию 4, ограниченную сверху графиком функции f ,
снизу — осью OX , а сбоку — прямыми x = a и x = b. Как приближен-
но вычислить ее площадь? Площадь S криволинейной трапеции равна
Pn
Sk , где Sk — площадь криволинейной трапеции, ограниченной снизу
k=1
осью OX , сверху — графиком функции f и с боков — прямыми x = xk−1
и x = xk . Заменим Sk на площадь прямоугольника, имеющего то же
основание, что и последняя трапеция, и высоту f (ξk ). Тогда получим
n
X n
X
S= Sk ≈ f (ξk )4xk = S(f, τ, Tτ ).
k=1 k=1

Таким образом, интегральная сумма Римана равна площади многоуголь-

ника со сторонами параллельными координатным осям, аппроксимирую-
щего (приближающего) криволинейную трапецию ∆.

y
6
y=f (x)

f (ξk ) r

r r r r r -
x
a xk−1ξk xk b
Рис. 1
1.4 Определение интеграла Римана на [a; b]

Число I ∈ R называется пределом интегральных сумм Римана при

d(τ ) → 0, если для любого ε > 0 существует δ > 0 такое, что для
любого разбиения τ с диаметром d(τ ), меньшим δ , и для любого семей-
ства промежуточных точек Tτ выполняется неравенство

|S(f, τ, Tτ ) − I| < ε.

Если существует предел

I = lim S(f, τ, Tτ ),
d(τ )→0

то число I называется интегралом Римана от функции f на отрезке [a; b]

Rb
и пишут I = a f (x)dx. При этом говорят, что функция f интегрируема
на [a; b] по Риману.
Число a называется нижним пределом интегрирования, b —
верхним пределом интегрирования, f называется подинтегральной
Rb
функцией, x — переменной интегрирования. Интеграл a f (x)dx зави-
сит от a, b и от f , но не зависит от x:
Z b Z b
f (x)dx = f (t)dt.
a a

Теорема 1.4.1 Постоянная функция f ≡ с интегрируема на [a; b] и

Z b
c dx = c(b − a).
a

Доказательство. Для любых τ и Tτ имеем f (ξk ) = c, k = 1, n.

Поэтому интегральная сумма
n
X n
X n
X
S(f, τ, Tτ ) = f (ξk )4xk = c 4xk = c 4xk = c(b − a)
k=1 k=1 k=1

не зависит ни от τ , ни от Tτ . Следовательно, ∃ lim S(f, τ, Tτ ) = c(b−a).

d(τ )→0
Итак, f ≡ c интегрируема и
Z b
f (x)dx = c(b − a).
a
Теорема 1.4.2 Число I является пределом интегральных сумм Рима-
на S(f, τ, Tτ ) при d(τ ) → 0 тогда и только тогда, когда для любой
последовательности {τn } и для любой последовательности {Tτn } та-
ких, что d(τn ) → 0, n → ∞, существует

lim S(f, τn , Tτn ) = I.

n→∞

Доказать самостоятельно (идея доказательства — как и в теореме

Гейне о пределе функции).

Теорема 1.4.3 (Необходимое условие интегрируемости). Если

функция f интегрируема по Риману на [a; b], то f ограничена на [a; b].

Доказательство. Пусть функция f интегрируема, но не ограничена

на [a; b]. Докажем, что такого быть не может. Рассмотрим любое разбие-
ние τ = {x0 , . . . , xn } и докажем, что существует семейство промежуточ-
ных точек Tτ такое, что

|S(f, τ, Tτ )| > M,

где M — любое наперед заданное число. Так как функция f не огра-

ничена на [a; b], существует k такое, что функция f не ограничена на
отрезке [xk−1 ; xk ]. Рассмотрим любое семейство Tτ = {ξ0 , . . . , ξn }. Обо-
значим x0 = ξk . Тогда интегральная сумма Римана
n
X
S(f, τ, Tτ ) = f (ξl )4xl = f (x0 )4xk + S 0 ,
l=1

где X
S0 = f (ξl )4xl .
1≤l≤n,l6=k

Фиксируем точки ξ1 , . . . , ξk−1 , ξk+1 , . . . , ξn . Так как функция f не

ограничена на [xk−1 ; xk ], то ∃x0 ∈ [xk−1 ; xk ]:

0 M + |S 0 |
|f (x )| > . (1)
4xk
Тогда можно оценить интегральную сумму:
нер-во 4
0 M + |S 0 |
0
(1)
|S(f, τ, Tτ )| ≥ |f (x )| |4xk | − |S | ≥ 4xk − |S 0 | = M.
4xk
Следовательно, не существует конечного предела lim S(f, τ, Tτ ) инте-
d(τ )→0
гральных сумм и функция f не интегрируема на [a; b], что противоречит
условию теоремы.
Пример ограниченной функции, не интегрируемой по Ри-
ману.
Рассмотрим функцию Дирихле

1, если x ∈ Q,
f (x) =
0, если x ∈
/ Q.
Рассмотрим любое разбиение τ = {x0 , x1 , . . . , xn−1 , xn } отрезка
[a; b]. Для любого k существуют такие точки ξk0 , ξk00 ∈ [xk−1 , xk ], что
ξk0 — рациональная точка, ξk00 — иррациональная. Пусть Tτ0 состоит из
точек ξ 0 k , Tτ00 — из точек ξk00 . Тогда
n
X n
X n
X
S(f, τ, Tτ0 ) = f (ξk0 )4xk = 4xk = b − a,
k=1 k=1 k=1

так как f (ξk0 ) = 1 для любого k ,

n
X n
X
S(f, τ, Tτ00 ) = f (ξk00 )4xk = 0,
k=1 k=1

так как f (ξk00 ) = 0 для любого k . Следовательно, можно указать после-

довательности τn и Tτ0n такие, что
S(f, τn , Tτ0n ) → b − a, d(τn ) → 0,
и другую последовательность Tτ00n такую,что
S(f, τn , Tτ00n ) → 0, d(τn ) → 0.
Итак, не существует предела интегральной сумм, поэтому функция f не
интегрируема на [a; b].

1.5 Интегральные суммы Дарбу

Пусть функция f является ограниченной на [a; b]. Тогда для любого се-
мейства τ = {x0 , x1 , . . . , xn−1 , xn } и для любого k = 1, n существуют
конечные числа
mk = inf f (x)
x∈[xk−1 ;xk ]
и
Mk = sup f (x).
x∈[xk−1 ;xk ]

Нижней и верхней интегральными суммами Дарбу функции f на

[a; b], отвечающими разбиению τ , называются числа
n
X
S∗ (f, τ ) = mk 4xk ,
k=1

n
X
∗
S (f, τ ) = Mk 4xk
k=1
Геометрический смысл интегральных сумм Дарбу — это площади
многоугольников, заштрихованных на рисунке.

y y
6 6
y=f (x) y=f (x)
Mk r

rmk

r r r r - r r r r -
a xk−1 xk b x a xk−1 xk b x

Рис. 2

1.6 Свойства интегральных сумм Дарбу.

1. Для любых τ и Tτ выполняется неравенство:

S∗ (f, τ ) ≤ S(f, τ, Tτ ) ≤ S ∗ (f, τ ). (2)

Действительно, для любого ξk ∈ [xk−1 ; xk ]

mk ≤ f (ξk ) ≤ Mk .

Умножая это неравенство на 4xk и суммируя по k = 1, n, получим

неравенство (2).
2. Если τ 0 — измельчение τ , то

S∗ (f, τ 0 ) ≥ S∗ (f, τ ), S ∗ (f, τ 0 ) ≤ S ∗ (f, τ ).

 Достаточно доказать, что утверждение справедливо в случае, когда
τ 0 отличается от τ на одну точку x0 . Предположим, что x0 ∈ [xk−1 ; xk ].
Докажем первое неравенство (второе доказывается аналогично). Имеем
n
X
S∗ (f, τ ) = mi 4xi ,
i=1
n
X
0
S∗ (f, τ ) = mi 4xi + m0k (x0 − xk ) + m00k (xk − x0 ),
i=1,i6=k
где
m0k = inf f (x) ≥ mk ,
x∈[xk−1 ;x0 ]

m00k = inf f (x) ≥ mk ,

x∈[x0 ;xk ]

так как инфимумы берутся по более узким множествам, чем отрезок

[xk−1 ; x]. Значит,

S∗ (f, τ 0 ) − S∗ (f, τ ) = m0k (x0 − xk−1 ) + m00k (xk − x0 ) − mk (xk − xk−1 ) ≥

≥ mk (x0 − xk−1 ) + mk (xk − x0 ) − mk (xk − xk−1 ) = 0.

Свойство 2 доказано.
Пусть
Ω(f, τ ) = S ∗ (f, τ ) − S∗ (f, τ ).
Следствие. Если τ 0 есть измельчение τ , то

Ω(f, τ 0 ) ≤ Ω(f, τ ).

3. Пусть τ 0 и τ 00 — два разбиения отрезка [a; b]. Тогда

S∗ (f, τ 0 ) ≤ S ∗ (f, τ 00 ).

Пусть τ = τ 0 ∪ τ 00 — измельчение τ 0 и τ 00 . Тогда в силу свойства 2

S∗ (f, τ 0 ) ≤ S∗ (f, τ ) ≤ S ∗ (f, τ )≤S ∗ (f, τ 00 ).

4. Справедливы равенства:

S∗ (f, τ ) = inf S(f, τ, Tτ ), S ∗ (f, τ ) = sup S(f, τ, Tτ ).

Tτ Tτ

Доказательство очевидно.
 Обозначим
I∗ (f ) = sup S∗ (f, τ ),
τ
I (f ) = inf S ∗ (f, τ ).
∗
τ
∗
Числа I∗ (f ) и I (f ) иногда называют нижним и верхним интегралами
Дарбу функции f .
Ясно, что для любого τ

S∗ (f, τ ) ≤ I∗ (f ) ≤ I ∗ (f ) ≤ S ∗ (f, τ ), 0 ≤ I ∗ (f ) − I∗ (f ) ≤ Ω(f, τ ).

Лемма 1.6.1 (Дарбу). Существуют пределы нижних и верхних сумм

Дарбу:
lim S∗ (f, τ ) = I∗ (f ),
d(τ )→0

lim S ∗ (f, τ ) = I ∗ (f ).
d(τ )→0

Доказательство. Докажем существование первого предела (второй

рассматривается аналогично). Установим, что

∀ε > 0 ∃δ > 0 : ∀τ (d(τ ) < δ ⇒ |S∗ (f, τ ) − I∗ (f )| < ε).

Фиксируем ε > 0. Так как I∗ (f ) = sup S∗ (f, τ ), то существует разбиение

τ
τ = {x0 , x1 , . . . , xm } отрезка [a; b] такое, что
ε
0 ≤ I∗ (f ) − S∗ (f, τ ) < .
2
ε
Пусть K = sup |f (x)|. Докажем, что δ = 4mK является искомой
[a;b]
величиной. Рассмотрим любое разбиение τ такое, что d(τ ) < δ . Пусть
τ ∗ = τ ∪ τ . Разбиение τ ∗ отличается от τ на p точек: x
e1 , x
e2 , . . . , x
ep , где
p ≤ m (если τ и τ не имеют общих точек на [a; b], то p = m − 1). Пусть

τ1 = τ ∪ x
e1 , τ2 = τ1 ∪ x ep = τ ∗ .
e2 , . . . , τp = τp−1 ∪ x

Имеем

0≤S∗ (f, τ1 ) − S∗ (f, τ ) = m0k (x0 − xk−1 ) + m00k (xk − x0 ) − mk (xk − xk−1 ) ≤

≤ K(x0 − xk−1 ) + K(xk − x0 ) + K(xk − xk−1 ) = 2K4xk < 2Kδ.

Аналогично доказывается, что

0 ≤ S∗ (f, τ2 ) − S∗ (f, τ1 ) < 2Kδ,

0 ≤ S∗ (f, τ3 ) − S∗ (f, τ2 ) < 2Kδ,

.................................
0 ≤ S∗ (f, τ ∗ ) − S∗ (f, τp−1 ) < 2Kδ.
Суммируя, получим
ε ε
0 ≤ S∗ (f, τ ∗ ) − S∗ (f, τ ) < 2pKδ ≤ 2mK = .
4mK 2
Итак,
ε
0 ≤ S∗ (f, τ ∗ ) − S∗ (f, τ ) < . (3)
2
Далее, так как τ — измельчение τ , имеем S∗ (f, τ ∗ ) ≥ S∗ (f, τ ) и
∗

ε
0 ≤ I∗ (f ) − S∗ (f, τ ∗ ) ≤ I∗ (f ) − S∗ (f, τ ) < . (4)
2
Складывая (3) и (4), получим
ε ε
0 ≤ I∗ (f ) − S∗ (f, τ ) < + < ε.
2 2
Теорема 1.6.1 (критерий интегрируемости) Следующие четыре
условия равносильны:
1) функция f интегрируема по Риману на [a; b];
2) функция f ограничена на [a; b] и lim Ω(f, τ ) = 0;
d(τ )→0
3) функция f ограничена на [a; b] и для ∀ε > 0 ∃τ : Ω(f, τ ) < ε;
4) функция f ограничена на [a; b] и I∗ (f ) = I ∗ (f ).
При этом, если I∗ (f ) = I ∗ (f ), то
Z b
f (x) dx = I∗ (f ) = I ∗ (f ).
a

Доказательство. Схема доказательства: 1) ⇒ 2) ⇒ 3) ⇒ 4) ⇒ 1).

1) ⇒ 2). Пусть функция f интегрируема по Риману. Тогда f огра-
ничена на [a; b] и ∀ε > 0 ∃δ > 0: ∀τ с диаметром d(τ ) < δ и ∀Tτ
ε ε
I− ≤ S(f, τ, Tτ ) ≤ I + ,
3 3
 Rb
где I = I(f ) = a f (x) dx. Так как имеет место свойство 4), то, беря
нижнюю и верхнюю грани, то есть inf и sup , получим
Tτ Tτ

ε ε
I− ≤ S∗ (f, τ ) ≤ S ∗ (f, τ ) ≤ I +
3 3
Следовательно, 0 ≤ Ω(f, τ ) = S ∗ (f, τ ) − S∗ (f, τ ) ≤ 2ε
3 < ε. Итак,

∀ε > 0 ∃δ : ∀τ d(τ ) < δ ⇒ 0 ≤ Ω(f, τ ) < ε.

Следовательно, ∃ lim Ω(f, τ ) = 0.

d(τ )→0

2) ⇒ 3). Очевидно (снимается ограничение на диаметр).

3) ⇒ 4). Так как 0 ≤ I ∗ (f )−I∗ (f ) ≤ Ω(f, τ ) ∀τ , то фиксируем ε > 0
и подберем τ таким образом, что Ω(f, τ ) < ε. Тогда 0 ≤ I ∗ (f ) − I∗ (f ) ≤ ε
для любого ε > 0. Следовательно, I ∗ (f ) − I∗ (f ) = 0.
4) ⇒ 1). Пусть I ∗ (f ) = I∗ (f ) = I . Докажем,что f интегрируема на
Rb
[a; b] и a f (x)dx = I . Для любых τ и Tτ

S∗ (f, τ ) ≤ S(f, τ, Tτ ) ≤ S ∗ (f, τ ),

S∗ (f, τ ) ≤ I∗ (f ) = I = I ∗ (f ) ≤ S ∗ (f, τ ).
Вычитая эти два неравенства получим

|S(f, τ, Tτ ) − I| ≤ S ∗ (f, τ ) − S∗ (f, τ ) = Ω(f, τ )

В силу леммы Дарбу с использованием (4) получаем, что существует

lim Ω(f, τ ) = lim S ∗ (f, τ ) − lim S∗ (f, τ ) = I ∗ (f ) − I∗ (f ) = 0.

d(τ )→0 d(τ )→0 d(τ )→0

Итак, ∀ε > 0 ∃δ > 0 : ∀τ ∀Tτ

d(τ ) < δ ⇒ |S(f, τ, Tτ ) − I| < ε.

Rb
Это означает, что функция f интегрируема и a f (x) dx = I .
Как следствие получаем теорему Римана:

Теорема 1.6.2 Для того чтобы функция f была интегрируемой на [a; b]

необходимо и достаточно, чтобы функция f была ограниченной на [a; b]
и ∀ε > 0 ∃τ : Ω(f, τ ) < ε.
 Pn
Имеем Ω(f, τ ) = k=1 (Mk − mk )4xk Пусть функция f является
ограниченной на отрезке 4. Обозначим через ω4 (f ) = sup4 f − inf 4 f
колебание функции f на 4.

Теорема 1.6.3 Справедливы следующие утверждения.

1) Если 40 ⊂ 4, то ω40 (f ) ≤ ω4 (f ).
2) Если ∀x0 , x00 ∈ 4 выполняется неравенство |f (x0 ) − f (x00 )| ≤ δ ,
то ω4 (f ) ≤ δ .
3) Если ω4 (f ) ≤ δ , то для любых точек x0 , x00 ∈ 4 имеет место
неравенство |f (x0 ) − f (x00 )| ≤ δ .
4) Если |f (x)| ≤ k на 4, то ω4 (f ) ≤ 2k .
5) Если функция f является непрерывной на [a; b], то для любого
ε > 0 существует такое δ > 0, что для любого отрезка 4 ⊂ [a; b] с
длиной, меньшей δ , имеет место неравенство ω4 (f ) < ε.

Доказательство. 1) Если 40 ⊂ 4, то inf 40 f ≥ inf 4 f , sup40 f ≤

sup4 f , откуда следует нужное неравенство.
Утверждения 2) и 3) очевидны (нужно взять sup и inf ).
4) Если |f (x)| ≤ k , x ∈ 4, то ясно, что |sup4 f | ≤ k и |inf 4 f | ≤ k
⇒ ω4 (f ) ≤ |sup4 f | + |inf 4 f | ≤ 2k .
5) Функция f непрерывна на [a; b], поэтому по теореме Кантора f
равномерно непрерывна на [a; b], то есть ∀ε > 0 ∃δ > 0: ∀x1 , x2 ∈ [a; b]

|x1 − x2 | < δ ⇒ |f (x1 ) − f (x2 )| < ε.

Пусть длина l(4) отрезка 4 меньше 2δ . Так как функция f непрерывна

на 4, то по теореме Вейрштрасса существуют точки x1 , x2 ∈ 4 такие,
что
f (x1 ) = sup f (x), f (x2 ) = inf f (x).
4 4

δ
Имеем |x1 − x2 | ≤ l(4) ≤ 2 < δ , откуда

ω4 (f ) = f (x1 ) − f (x2 ) = |f (x1 ) − f (x2 )| < ε.

Теорема доказана.
n
P n
P
Отметим, что Ω(f, τ ) = (Mk − mk )4xk = ωk (f )4xk , где
k=1 k=1
ωk (f ) = ω4k (f ), 4k = [xk−1 ; xk ].
1.7 Классы интегрируемых функций. Теорема Лебега

Теорема 1.7.1 Если функция f непрерывна на отрезке [a; b], то функ-

ция f интегрируема на [a; b].

[[В силу пункта 5 предыдущей теоремы ∀ε > 0 ∃δ > 0 :

ε
l(4) < δ ⇒ ω4 (f ) < .
b−a
Рассмотрим любое разбиение τ отрезка [a; b] такое, что d(τ ) < δ . Тогда
ε
ωk (f ) < b−a . Значит
n n
X ε X
0 ≤ Ω(f, τ ) = ωk (f )4xk < 4xk = ε.
b−a
k=1 k=1

Следовательно, lim Ω(f, τ ) = 0. В силу критерия интегрируемости f

d(τ )→0
интегрируема.]]

Теорема 1.7.2 Любая монотонная на отрезке [a; b] функция f инте-

грируема на [a; b].

[[Пусть для определенности функция f монотонно возрастает. Мож-

но считать, что функция f 6≡ const. Тогда f (a) < f (b). В силу воз-
растания f (a) ≤ f (x) ≤ f (b), x ∈ [a; b], поэтому функция f является
ограниченной на отрезке [a; b]. Пусть τ — любое разбиение отрезка [a; b]
ε
такое, что d(τ ) < f (b)−f (a) , где ε — любое наперед заданное число, боль-
шее нуля. Если x ∈ [xk−1 ; xk ], то f (xk−1 ) ≤ f (x) ≤ f (xk ). Кроме того,
ε
4xk ≤ d(τ ) < f (b)−f (a) . Тогда

n
X n
X
0 ≤ Ω(f, τ ) = ωk (f )4xk ≤ [f (xk ) − f (xk−1 )]d(τ ) =
k=1 k=1

ε
= [f (b) − f (a)]d(τ ) < [f (b) − f (a)] = ε.]]
f (b) − f (a)
Пусть множество A ⊂ R.

Определение 1.7.1 Множество A называется множеством меры

нуль по Жордану, если для любого ε > 0 существует конечное покрытие
множества A отрезками, суммарная длина которых меньше ε.
Определение 1.7.2 Множество A называется множеством меры
нуль по Лебегу, если для любого ε > 0 существует не более чем счетное
покрытие A отрезками, суммарная длина которых меньше ε.

Замечание. Если A ⊂ ∪∞ k=1 [αk , βk ], то под суммарной длиной счет-

∞
P
ного числа отрезков, то есть бесконечной суммой (βk − αk ) понимается
k=1
n
P
предел lim (βk − αk ).
n→∞ k=1

Примеры. 1) Любое конечное множество есть множество меры

нуль по Жордану и по Лебегу. Если множество A = {y1 , y2 , . . . , yl }, то
покроем любую точку yj отрезком [αj , βj ] длины βj − αj < εl . Тогда
Pl
(βj − αj ) < ε.
j=1

2) Рассмотрим бесконечное множество

1 1 1
A = {0, 1, , , . . . , , . . .}.
2 3 n
Покажем, что множество A имеет меру нуль по Жордану, следовательно,
и по Лебегу (см. утверждение 1.7.1). Покроем точку 0 отрезком [− 4ε , 4ε ]
длины 2ε . Вне этого отрезка лежит конечное число точек из A. Следова-
тельно, A \ [− 4ε ; 4ε ] можно покрыть конечным числом отрезков суммарной
длины, меньшей 2ε . Поэтому множество A можно покрыть конечным чис-
лом отрезков, суммарной длины, меньшей 2ε .
Очевидно

Утверждение 1.7.1 Любое множество меры нуль по Жордану явля-

ется множеством меры нуль по Лебегу.

Обратное не верно! Это следует из следующего примера.

Пример. Любое счетное множество является множеством меры
нуль по Лебегу. Для любого ε > 0 покроем множество A не более чем
счетным числом отрезков с суммой длин, меньшей ε. Без ограничения
общности можно считать,что A = {x1 , x2 , . . . , xn , . . .}. Покроем точку xn
отрезком [αn ; βn ] длины βn − αn < 2εn . Тогда A ⊂ ∪∞ n=1 [αn , βn ] и
∞ ∞
X X ε
(βn − αn ) < n
= ε.
n=1 n=1
2
 В частности, множество Q ∩ [0; 1] является множеством меры нуль
по Лебегу. Но это множество не является множеством меры нуль по Жор-
дану, так как если
m
[
Q ∩ [0; 1] ⊂ [αk ; βk ],
k=1
Sm m
P
где m — конечное число, то [0; 1] ⊂ k=1 [αk ; βk ] и (βk − αk ) ≥ 1
k=1
(последнее доказать самим как упражнение).
Утверждение 1.7.2 Если A — множество меры нуль по Жордану (по
Лебегу), то любое подмножество B ⊂ A является множеством меры
нуль по Жордану (по Лебегу).
Утверждение 1.7.3 Если A1 , . . . , An — множества меры по Жордану
(по Лебегу), то их объединение A = ∪ni=1 Ai — множество меры нуль по
Жордану (по Лебегу).
[[Достаточно рассмотреть случай, когда n = 2. Если каждое из мно-
жеств A1 , A2 покрыть конечным (не более, чем счетным) множеством от-
резков с суммой длин, меньшей 2ε , то A покрывается конечным (не более,
чем счетным) множеством отрезков, суммарной длины, меньшей ε.]]
Следующая теорема является важнейшим инструментом для дока-
зательства теорем об интегрируемости функций на отрезке.
Теорема 1.7.3 (Лебег) Для того чтобы ограниченная функция f на
[a; b] была интегрируемой, необходимо и достаточно, чтобы множе-
ство точек разрыва функции f на отрезке [a; b] имело меру нуль по
Лебегу.
Доказательство будет дано позже в более общей ситуации при изу-
чении кратных интегралов Римана.

1.8 Свойства интеграла Римана

Теорема 1.8.1 (линейность интеграла) Если функции f и g интегри-

руемы на [a; b], α, β ∈ R, то линейная комбинация αf + βg тоже
интегрируема на [a; b] и
Z b Z b Z b
[αf (x) + βg(x)] dx = α f (x) dx + β g(x) dx. (5)
a a a
 [[Для любого разбиения τ и семейства промежуточных точек Tτ
имеем n
X
S(αf + βg, τ, Tτ ) = (αf (ξi ) + βg(ξi ))4xi =
i=1
n
X n
X
=α f (ξi )4xi + β g(ξi )4xi = αS(f, τ, Tτ ) + βS(g, τ, Tτ ).
i=1 i=1
Пусть d(τ ) → 0. Тогда αS(f, τ, Tτ )+βS(g, τ, Tτ ) стремится к выражению,
стоящему в правой части равенства (5). Следовательно, функция αf + βg
интегрируема на [a; b] и справедливо (5).]]
Теорема 1.8.2 Если функции f и g интегрируемы на [a; b], то произ-
ведение f g является интегрируемой функцией на [a; b].
[[Пусть Af — множество точек разрыва функции f , Ag — множе-
ство точек разрыва функции g , Af g — множество точек разрыва функции
f g . Тогда Af g ⊂ Af ∪ Ag (это следует из теоремы о непрерывности про-
изведения непрерывных функций). Функции f и g интегрируемы. По
теореме Лебега f и g ограничены и множества Af , Ag имеют меру нуль
по Лебегу. Тогда функция f g ограничена и множество Af g имеет меру
нуль по Лебегу, так как является подмножеством множества Af ∪ Ag ме-
ры нуль по Лебегу. Итак, f g ограничена и Af g имеет лебегову меру нуль.
По теореме Лебега произведение f g интегрируемо.]]
Теорема 1.8.3 Если функция f интегрируема на [a; b], то f интегри-
руема на любом отрезке [c; d] ⊂ [a; b].
[[Если функция f интегрируема на [a; b], то по теореме Лебега
функция f ограничена и множество точек разрыва Af функции f имеет
меру нуль по Лебегу. Пусть g = f |[c;d] , тогда функция g ограничена и
множество Ag точек разрыва функции g содержится в Af . Так как Af
— множество меры нуль по Лебегу, Ag — также множество меры нуль по
Лебегу. По теореме Лебега функция g интегрируема.]]
Теорема 1.8.4 (аддитивность интеграла как функции множества).
Пусть a < c < b и функция f интегрируема на [a; c] и [c; b]. Тогда
функция f интегрируема на [a; b] и
Z b Z c Z b
f (x) dx = f (x) dx + f (x) dx. (6)
a a c
 [[Пусть функция f интегрируема на [a; c] и [c; b]. Тогда функция
f ограничена на [a; c] и [c; b]. Следовательно, функция f ограничена на
всем отрезке [a; b]. Пусть A1 — множество точек разрыва функции f на
[a; c] и A2 — множество точек разрыва функции f на [c; b]. По теореме
Лебега A1 и A2 имеют лебегову меру нуль. Множество Af точек разрыва
функции f на [a; b] равно Af = A1 ∪ A2 , следовательно, имеет лебегову
меру нуль. Значит f интегрируема.
Rb
Подсчитаем интеграл a f (x)dx. Рассмотрим любую последователь-
ность {τn } разбиений отрезка [a; b] такую, что точка c является одной
из точек разбиения τn для любого n ≥ 1 и пусть d(τn ) → 0, n → ∞. Рас-
смотрим любую последовательность {Tτn } промежуточных точек. Любое
τn индуцирует (порождает) разбиения τn0 и τn00 отрезков [a; c] и [c; b], а
любое семейство промежуточных точек Tτn — семейства промежуточных
точек Tτn0 и Tτn00 отрезков [a; c] и [c; b]. Тогда интегральная сумма Римана

S(f, τn , Tτn ) = S(f, τn0 , Tτn0 ) + S(f, τn00 , Tτn00 ). (7)

Так как 0 ≤ d(τn0 ) ≤ d(τn ) → 0, 0 ≤ d(τn00 ) ≤ d(τn ) → 0, имеем

d(τn0 ), d(τn00 ) → 0, n → ∞ (по теореме о двух милиционерах). Переходя
в (7) к пределу при n → ∞ с учетом того, что функция f интегрируема
на отрезках [a; c], [c; b] и [a; b], получаем нужное равенство (6).]]

Теорема 1.8.5 Если функция f интегрируема на [a; b] и f ≥ 0 на [a; b],

то Z b
f (x) dx ≥ 0.
a

[[Имеем S(f, τn , Tτn ) = nk=1 f (ξk )4xk ≥ 0, так как f (ξk ) ≥ 0 по

P

условию теоремы, 4xk ≥ 0, 1 ≤ k ≤ n. Тогда

Z b
f (x)dx = lim S(f, τn , Tτn ) ≥ 0
a d(τ )→0

(предел неотрицательных чисел есть число неотрицательное).]]

Теорема 1.8.6 Если на [a; b] функция f интегрируема и неотрица-

тельна и существует точка c, которая является точкой непрерыв-
ности функции f , в которой f (c) > 0, то
Z b
f (x) dx > 0.
a
 [[Предположим, что точка c ∈ (a; b) (если c = a или c = b, то
доказательство аналогично). Так как f (c) > 0 и f (c) = limx→c f (x), су-
ществует отрезок [a0 ; b0 ], который содержит точку c и содержится в
(a; b), такой, что f (x) ≥ f (c) 0 0
2 , x ∈ [a , b ]. Тогда в силу теорем 1.8.1, 1.8.4
и 1.8.5 имеем
Z b Z a0 Z b0 Z b Z b0
f (x) = f (x) dx + f (x) dx + f (x) dx ≥ f (x) dx =
a a a0 b0 a0
Z b0   Z b0 Z b0
f (c) f (c) f (c) f (c) 0
= f (x) − dx + dx ≥ dx = (b − a0 ) > 0.]]
a0 2 a0 2 a0 2 2
Теорема 1.8.7 Пусть f и g интегрируемы на [a; b] и f ≥ g на [a; b].
Тогда Z b Z b
f (x) dx ≥ g(x) dx.
a a

[[Так как f − g ≥ 0 на [a; b], то в силу линейности интеграла f − g

интегрируема и по теореме 1.8.5
Z b Z b Z b
(f (x) − g(x)) dx = f (x) dx − g(x) dx ≥ 0,
a a a

что и требовалось доказать. ]]

Теорема 1.8.8 Если функция f интегрируема на [a; b], то |f (x)| ин-

тегрируема на [a; b] и
Z b Z b
f (x) dx ≤ |f (x)| dx.
a a

[[Функция f интегрируема на [a; b], поэтому функция f ограничена

на [a; b] и множество Af точек разрыва функции f имеет лебегову меру
нуль. Тогда |f (x)| тоже ограничена на [a; b], а множество A|f | точек раз-
рыва функции |f | является подмножеством множества Af (так как если
функция f непрерывна в некоторой точке x0 , то |f | тоже непрерывна в
точке x0 ). Множество Af имеет меру 0 по Лебегу и A|f | является под-
множеством Af , поэтому A|f | имеет меру 0 по Лебегу. По теореме Лебега
|f | интегрируема. Имеем −|f (x)| ≤ f (x) ≤ |f (x)|. Следовательно,
Z b Z b Z b
− |f (x)| dx ≤ f (x)dx ≤ |f (x)|dx,
a a a

откуда получаем нужное неравенство. ]]

1.9 Теоремы о среднем для интегралов

Теорема 1.9.1 Если m ≤ f (x) ≤ M и функция f интегрируема на

[a; b], то существует константа µ такая, что m ≤ µ ≤ M и
Z b
f (x) dx = µ(b − a).
a

Более того, если функция f непрерывна на [a; b], то существует такая

точка c ∈ [a; b], что
Z b
f (x) dx = f (c)(b − a).
a

[[Имеем
Z b Z b Z b
m(b − a) = m dx ≤ f (x) dx ≤ M dx = M (b − a).
a a a
Rb
Обозначим µ = a f (x) dx/(b − a), тогда m ≤ µ ≤ M и первое утвержде-
ние доказано.
Пусть функция f непрерывна на [a; b] и M = sup[a;b] f , m =
inf [a;b] f . Так как µ ∈ [m, M ], то по теореме Больцано-Коши о про-
межуточном значении ∃c ∈ [a; b] : f (c) = µ. Следовательно,f (c) =
Rb
a f (x) dx/(b − a), откуда следует второе утверждение теоремы.]]

Теорема 1.9.2 Пусть функции f и g интегрируемы на [a; b], g ≥ 0

и m ≤ f (x) ≤ M на [a; b]. Тогда существует константа µ ∈ [m, M ]
такая, что Z b Z b
f (x) g(x) dx = µ g(x) dx. (8)
a a
Более того, если функция f непрерывна на [a; b], то ∃c ∈ [a; b]:
Z b Z b
f (x) g(x) dx = f (c) g(x) dx. (9)
a a

(Теорема 1.9.1 получается из теоремы 1.9.2, если взять g(x) ≡ 1.)

[[Имеем m ≤ f (x) ≤ M . Следовательно, в силу неотрицательности
функции g , m g(x) ≤ f (x) g(x) ≤ M g(x), откуда
Z b Z b Z b
m g(x) dx ≤ f (x) g(x) dx ≤ M g(x) dx.
a a a
 Rb Rb
Если a g(x) dx = 0, то a f (x) g(x) dx = 0 и тогда формула (8) справед-
Rb Rb
лива для любого µ. Если a g(x) dx 6= 0, то a g(x) dx > 0 и тогда
Rb
f (x) g(x) dx
m ≤ aRb = µ ≤ M, (10)
a g(x) dx

откуда следует (8).

Если функция f непрерывна, то можно считать, что m = inf [a;b] f ,
Rb
M = sup[a;b] f . Если a g(x) dx = 0, то формула (9) справедлива для
Rb
любого c. Если a g(x) dx > 0, то в силу (10) и теоремы Больцано-Коши
существует c такое, что f (c) = µ, откуда следует (9).]]

1.10 Расширение понятия интеграла

Rb
До сих пор мы рассматривали a f (x) dx в случае, когда a < b. Можно
определить этот интеграл и в случае, когда a ≥ b. При a = b полагаем
Rb
a f (x) dx = 0, а если a > b, то полагаем
Z b Z a
f (x) dx = − f (x) dx.
a b

Если так определить интеграл, то для него остаются справедливыми боль-

шинство свойств обычного интеграла. В частности,
Z b Z c Z b
f (x) dx = f (x) dx + f (x) dx (∀a, b, c)
a a c

(доказать самостоятельно!).

2 Интеграл с переменным верхним пределом

Пусть функция f интегрируема на [a; b]. Тогда по теореме 1.7.1 функция
f интегрируема на [a; x] для любого x ∈ [a; b]. Рассмотрим функцию
Rx
F (x) = a f (t) dt. Эта функция называется интегралом с переменным
верхним пределом x.
2.1 Непрерывность интеграла с переменным верхним
пределом

Теорема 2.1.1 Пусть функция f интегрируема на [a; b]. Тогда инте-

Rx
грал с переменным верхним пределом F (x) = a f (t) dt является непре-
рывной функцией на отрезке [a; b].

[[Если функция f интегрируема [a; b], то она ограничена на [a; b].

Следовательно, K = supx∈[a;b] |f (x)| < +∞. Для любых x0 , x ∈ [a; b]
Z x Z x0
|F (x) − F (x0 )| = f (t) dt − f (t) dt
a a
Z x
= f (t) dt ≤ sup |f (t)| · |x − x0 | = K|x − x0 |.
x0 t∈[a;b]

Фиксируем ε > 0. Пусть δ = Kε . Тогда |x − x0 | < δ ⇒ |F (x) − F (x0 )| < ε

следовательно, функция F непрерывна в любой точке x0 ∈ [a; b].]]

2.2 Дифференцируемость интеграла с переменным верхним

пределом

Теорема 2.2.1 Пусть функция f непрерывна в точке x0 ∈ [a; b]. Тогда

Rx
функция F (x) = a f (t)dt дифференцируема в точке x0 и справедливо
равенство F 0 (x0 ) = f (x0 ).

[[Имеем
Rx R x0
F (x) − F (x0 ) f (t) dt − a f (t) dt − f (x0 )(x − x0 )
− f (x0 ) = a =
x − x0 x − x0
Rx Rx
−
Z x
x0 f (t) dt x0 f (x0 ) dt 1
= = (f (t) − f (x0 )) dt.
x − x0 x − x0 x0
Так как f непрерывна в точке x0 , то ∀ε > 0 ∃δ > 0: |t − x0 | < δ
⇒ |f (t) − f (x0 )| < ε.
Пусть |x − x0 | < δ . Тогда для любого t, лежащего между x0 и x,
выполняется неравенство |t−x0 | < δ ⇒ |f (t)−f (x0 )| < ε. Следовательно,
Z x
F (x) − F (x0 ) 1
0≤ − f (x0 ) ≤ (f (t) − f (x0 )) dt ≤
x − x0 |x − x0 | x0
 1
≤ sup |f (t) − f (x0 )| |x − x0 | ≤ ε.
|x − x0 |
Итак, ∃ limx→x0 F (x)−F
x−x0
(x0 )
= f (x0 ), то есть производная F 0 (x0 ) существует
и равна f (x0 ).]]

Следствие 2.2.1 Пусть функция f непрерывна на [a; b]. Тогда функция

Rx
F (x) = a f (t) dt дифференцируема на [a; b] и производная F 0 (x) = f (x)
на [a; b], то есть функция F — первообразная функции f .

2.3 Основная теорема интегрального исчисления

Теорема 2.3.1 Пусть функция f непрерывна на [a; b] и Φ — некоторая

первообразная функции f на [a; b]. Тогда
Z b
f (t) dt = Φ(b) − Φ(a)
a

(формула Ньютона-Лейбница).
Rx
[[Пусть функция f непрерывна на [a; b], тогда F (x) = a f (t)dt
является первообразной функции f . Следовательно, ∃C = const : ∀x ∈
Ra
[a; b] F (x) = Φ(x) + C . Имеем F (a) = a f (t)dt = 0. Следовательно,
Φ(a) + C = 0 ⇒ C = −Φ(a). Тогда F (x) = Φ(x) + C = Φ(x) − Φ(a).
Итак, Z b
f (t) dt = F (b) = Φ(b) − Φ(a).]]
a
Формула Ньютона-Лейбница иногда записывается в другом виде:
Z b
f (x) dx = Φ(x)|bx=a = Φ(x)|ba .
a

Еще один вид формулы Ньютона-Лейбница:

Z b
F 0 (t) dt = F (b) − F (a)
a
или Z b
F (b) = F (a) + F 0 (t) dt.
a
 Примеры.
1)
1 1
x3
Z
2 1 1
x dx = = −0= .
0 3 x=0 3 3
2)
1 Z 1 Z 1 
x+1−1
Z
x 1
dx = dx = 1− dx =
0 x+1 0 x+1 0 x+1
Z 1 Z 1
1
= dx − dx = (x − ln(x + 1)) |10 = 1 − ln 2.
0 0 x+1

2.4 Замена переменных в определенном интеграле

Теорема 2.4.1 Пусть функция f непрерывна на [a; b], функция ϕ

непрерывно дифференцируема на [α; β], ϕ([α, β]) = [a; b] и ϕ(α) = a,
ϕ(β) = b. Тогда
Z b Z β
f (x) dx = f (ϕ(t)) ϕ0 (t) dt.
a α

[[Оба интеграла существуют, так как подинтегральные функции яв-

ляются непрерывными. Пусть Φ — первообразная функции f на [a; b],
то есть Φ0 (x) = f (x) на [a; b]. Тогда

(Φ(ϕ(t)))0 = Φ0 (ϕ(t)) ϕ0 (t) = f (ϕ(t))ϕ0 (t)

на [α, β]. По формуле Ньютона-Лейбница

Z β
f (ϕ(t)) ϕ0 (t) dt = Φ(ϕ(t))|βt=α =
α
Z b
= Φ(ϕ(β)) − Φ(ϕ(α)) = Φ(x)|bx=a = f (x) dx.]]
a
Итак, для замены переменных следует произвести 3 операции:
1) замена функции, то есть f (x) → f (ϕ(t));
2) замена дифференциала, то есть dx → ϕ0 (t) dt;
3) замена пределов интегрирования.
Пример. Вычислить
Z 1p
1 − x2 dx.
0
Сделаем замену переменных x = sin t, тогда dx = cos t dt. Если x = 0,
то t = 0; если x = 1, то t = π2 . Значит,
Z π/2 p Z π/2
1 π/2
Z
2 2
I= 1 − sin t cos t dt = cos t dt = (1 + cos 2t) dt =
0 0 2 0
  π/2    
1 sin 2t 1 π sin π 1 sin 0 π
= t+ = + − 0+ = .
2 2 0 2 2 2 2 2 4

2.5 Интегрирование по частям в определенном интеграле

Теорема 2.5.1 Пусть функции f и g непрерывно дифференцируемы на

отрезке [a; b]. Тогда
Z b Z b
0 b
f (x) g (x) dx = f (x) g(x)|a − f 0 (x) g(x) dx.
a a

[[Интегралы существуют, так как подинтегральные функции непре-

рывны. Имеем (f g)0 = f 0 g + f g 0 ⇒ f g 0 = (f g)0 − f 0 g . Следовательно,
Z b Z b Z b
f (x) g 0 (x) dx = (f (x) g(x))0 dx − f 0 (x) g(x) dx =
a a a
Z b
=f (x) g(x)|ba − f 0 (x) g(x) dx.]]
a
Пример.
Z 2 Z 2
ln x dx = ln x · x|21 − x(ln x)0 dx = x ln x|21 − x|21 = 2 ln 2 − 3.
1 1

2.6 Формула Тейлора с остаточным членом в интегральной

форме

Напомним вид формулы Тейлора:

0 f 00 (a) 2 f (n) (a)

f (x) = f (a)+f (a)(x−a)+ (x−a) +. . .+ (x−a)n +rn (x), (11)
2! n!
где rn (x) — остаточный член.

Теорема 2.6.1 Пусть функция дифференцируема f (n + 1) раз на [c; d]

и точка a ∈ [c; d]. Тогда ∀x ∈ [c, d] справедлива формула Тейлора (11),
где остаток
1 x
Z
rn (x) = (x − t)n f (n+1) (t) dt. (12)
n! a
 [[Доказательство по индукции. При n = 0 равенство
Z x
f (x) = f (a) + f 0 (t) dt
a

справедливо (формула Ньютона-Лейбница). Предположим, что формула

(11) с остатком (12) справедлива при n = k , то есть
k x
f (j) (a)
Z
X
j 1
f (x) = (x − a) + (x − t)k f (k+1) (t) dt. (13)
j=0
j! k! a

Имеем
Z x Z x
1 k (k+1) 1
(x − t) f (t) dt = − f (k+1) (t) d((x − t)k+1 ) =
k! a (k + 1)! a
Z x
1 (k+1) k+1 x 1
=− f (t)(x − t) |t=a + (x − t)k+1 f (k+2) (t) dt =
(k + 1)! (k + 1)! a
Z x
1 (k+1) k+1 1
= f (a)(x−a) + (x−t)k+1 f (k+2) (t) dt, k ≤ n−1.
(k + 1)! (k + 1)! a
Из последнего равенства и равенства ((13)) следует, что
k+1 (j) Z x
X f (a) 1
f (x) = (x − a)j + (x − t)k+1 f (k+2) (t) dt.
j=0
j! (k + 1)! a

3 Применения определенного интеграла

3.1 Площадь плоской фигуры

Пусть B — многоугольник в R2 . Нетрудно определить его площадь P (B).

Сначала определим площадь треугольника. Если треугольник прямо-
угольный, то по определению его площадь равна половине произведе-
ния катетов. Произвольный треугольник является объединением двух
прямоугольных, поэтому его площадь равна сумме площадей этих пря-
моугольных треугольников. Наконец, произвольный многоугольник B
можно разбить на конечное число треугольников T1 , T2 , . . . , Tm , и его
площадь по определению равна P (B) = m
P
k=1 P (Tk ).
Теперь перейдем к определению площади (меры Жордана) произ-
вольного ограниченного множества A ⊂ R2 .
 Рассмотрим два числа:

P∗ (A) = sup P (B),

B⊂A

Рис. 3

P ∗ (A) = inf P (B).

B⊃A

B
A

Рис. 4

Здесь B — многоугольники, которые содержатся в A или, наоборот,

содержат A (рис. 3 и 4). Числа P∗ (A) и P ∗ (A) называют внутренней и
внешней мерой Жодрана множества A.
Если P∗ (A) = P ∗ (A), то говорят, что множество A измеримо (по
Жордану) и его площадь (мера Жордана)

P (A) = P∗ (A) = P ∗ (A).

Мера P обладает свойствами:

1) P (A) ≥ 0 для любого измеримого A;
2) если множества A1 , . . . , An измеримы и попарно не пересекаются, то
объединение A = ∪ni=1 Ai измеримо и
n
X
P (A) = P (Ai );
i=1

3) любой многоугольник B измерим и его мера P (B), определенная по

формуле P (B) = P∗ (B) = P ∗ (B) совпадает с площадью.
Пример. Рассмотрим круговой сектор S радиуса R с центральным
углом α. Утверждается, что он измерим и его мера P (S) = 12 αR2 .
α
Разобьем S на n секторов S1 , . . . , Sn одинакового раствора n. Рас-
смотрим сектор Sj (рис. 5). Имеем

4OAB ⊂ Sj ⊂ 4OCD,
1 2 α
OA = OB = R =⇒ P (4OAB) = R sin .
2 n
Кроме того,
R 1 2 sin αn
OC = OD = =⇒ P (4OCD) = R ,
cos β 2 cos2 β
где β = α/(2n).
A D

B
β
O

Рис. 5
Таким образом,
n n α
1 α 2 sin n
X X1
2 ∗
R sin ≤ P∗ (S) ≤ P (S) ≤ R 2β
,
j=1
2 n j=1
2 cos
 1 2 α ∗ 1 R2 n sin αn
R n sin ≤ P∗ (S) ≤ P (S) ≤ .
2 n 2 cos2 β
При n → ∞, n sin αn → α (первый замечательный предел), откуда
1 1
αR2 ≤ P∗ (S) ≤ P ∗ (S) ≤ αR2 .
2 2
Следовательно, S измерим и P (S) = 21 αR2 .

Лемма 3.1.1 (критерий измеримости). Ограниченное в R2 множе-

ство A измеримо ⇔ ∀ε > 0 ∃ измеримые множества B , C : B ⊂
A ⊂ C и P (C) − P (B) < ε.

[[ «⇒» Пусть A измеримо, тогда P (A) = P∗ (A) = P ∗ (A). В силу свойства

точной верхней грани для любого ε > 0 существует многоугольник C :
A ⊂ C и P (C) < P ∗ (A) + 2ε . Аналогично существует многоугольник B :
B ⊂ A и P (B) > P∗ (A) − 2ε . Вычитая два этих неравенства и используя
равенство P∗ (A) = P ∗ (A), получим P (C) − P (B) < ε.
«⇐». Пусть существуют измеримые множества B , C такие, что
B ⊂ A ⊂ C и P (C) − P (B) < ε. Так как B ⊂ A, имеем

P (B) = P∗ (B) ≤ P∗ (A) ≤ P ∗ (A) ≤ P ∗ (C) = P (C).

Следовательно, 0 ≤ P ∗ (A) − P∗ (A) ≤ P (C) − P (B) < ε ∀ε > 0. Поэтому

P ∗ (A) − P∗ (A) = 0, то есть A измеримо.]]

3.2 Площадь криволинейной трапеции

Пусть f непрерывна на [a; b] и f ≥ 0. Рассмотрим множество

Af0 = {(x, y) ∈ R2 | a ≤ x ≤ b, 0 ≤ y ≤ f },

т. е. криволинейную трапецию. Докажем, что Af0 измерима и

Z b
P (Af0 ) = f (x) dx.
a

Рассмотрим любое разбиение τ = {x0 , x1 , . . . , xn } отрезка [a; b] и

соответствующие ему интегральные суммы Дарбу
n
X n
X
∗
S∗ (f, τ ) = mk 4xk , S (f, τ ) = Mk 4xk .
k=1 k=1
Сумма S∗ равна площади многоугольника B , содержащегося в Af0 , а S ∗
— площадь многоугольника C , который содержит Af0 . Так как f непре-
рывна, то f интегрируема на [a; b] и по критерию интегрируемости

∀ε > 0 ∃τ : P (C) − P (B) = S ∗ (f, τ ) − S∗ (f, τ ) < ε.

Таким образом, существуют измеримые B и C такие, что B ⊂ Af0 ⊂ C

и P (C) − P (B) < ε. Следовательно, Af0 измерима. Очевидно, что

S∗ (f, τ ) = P (B) ≤ P (Af0 ) ≤ P (C) = S ∗ (f, τ ).

Переходя в этом неравенстве к пределу при d(τ ) → 0, получаем

Z b Z b
f
f (x) dx ≤ P (A0 ) ≤ f (x) dx.
a a
Rb
Значит, P (Af0 ) = a f (x) dx.

3.3 Площадь криволинейного сектора

Рассмотрим криволинейный сектор

Sf = {(r, ϕ) | α ≤ ϕ ≤ β, r ≤ f (ϕ)},

где f (ϕ) — некоторая непрерывная неотрицательная функция на [α; β].

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

1 β 2
Z
P (Sf ) = f (ϕ) dϕ.
2 α
Рассмотрим любое разбиение τ = {α = ϕ0 , ϕ1 , . . . , ϕn = β} отрезка
[α, β]. Пусть
rk = inf f (ϕ),
ϕk−1 ≤ϕ≤ϕk

Rk = sup f (ϕ),
ϕk−1 ≤ϕ≤ϕk

k = 1, n. Заменяя каждый из криволинейных секторов

(k)
Sf = {(r, ϕ) | ϕk−1 ≤ ϕ ≤ ϕk , r ≤ f (ϕ)}

на круговой сектор

{(r, ϕ) | r ≤ rk , ϕk−1 ≤ ϕ ≤ ϕk },
(рис. 6) получаем веерообразную фигуру B ⊂ Sf , площадь которой равна
n
X 1
P (B) = rk2 4ϕk .
2
k=1

(k)
Заменяя криволинейные секторы Sf на круговые

{(r, ϕ) | 0 ≤ r ≤ Rk , ϕk−1 ≤ ϕ ≤ ϕk },

получаем веерообразную фигуру C , которая содержит Sf , площадь ко-

торой
n
X 1 2
P (C) = R 4ϕk .
2 k
k=1

Sfk

O
Рис. 6

Но
P (B) = S∗ ((1/2)f 2 (ϕ), τ ),
P (C) = S ∗ ((1/2)f 2 (ϕ), τ ).
Функция (1/2)f 2 (ϕ) непрерывна, следовательно, она интегрируема на
[α; β]. Поэтому существует τ такое, что

S ∗ ((1/2)f 2 (ϕ), τ ) − S∗ ((1/2)f 2 (ϕ), τ ) < ε,

для любого наперед заданного ε > 0. Так как B и C являются объеди-

нениями круговых секторов, B и C измеримы,

B ⊂ Sf ⊂ C =⇒ P (C) − P (B) < ε.

Следовательно, по критерию измеримости Sf измеримо. Так как

S∗ (f 2 (ϕ)/2, τ ) = P (B) ≤ P (Sf ) ≤ P (C) = S ∗ (f 2 (ϕ)/2, τ ),

то при d(τ ) → 0 получаем

Z β Z β
1 2 1 2
f (ϕ) dϕ ≤ P (Sf ) ≤ f (ϕ) dϕ,
α 2 α 2
откуда Z β
1
P (Sf ) = f 2 (ϕ) dϕ.
2 α

3.4 Измеримость множеств в R3 . Объем

Определим теперь объем V множеств в трехмерном пространстве. Сна-

чала рассмотрим треугольную пирамиду, одно из боковых ребер которой
имеет длину H и перпендикулярно основанию. Тогда по определению ее
объем равен (1/3)H ·Σ, где Σ — площадь основания пирамиды. Исходя из
этого, мы можем определить объем V (M ) произвольного многогранника
M в R3 , разбивая его на подобные пирамиды.
Пусть теперь A — ограниченное множество в R3 . Определим два
числа:
V∗ (A) = sup V (M ),
M ⊂A
∗
V (A) = inf V (M ),
M ⊃A
где супремум и инфимум M берутся по многогранникам, лежащим в A
и содержащим A соответственно.
Если V∗ (A) = V ∗ (A), то говорят, что множество A является изме-
римым и его объем равен

V (A) =: V∗ (A) = V ∗ (A).

Почти очевидна

Лемма 3.4.1 Если D измеримо в R2 , то D × [a; b] измеримо в R3 и

V (D × [a; b]) = P (D)(b − a).

Теперь найдем формулу для вычисления объема множества через

площади его сечений.
 Предположим, что A — множество в R3 , обладающее свойствами:
1) его проекция на ось OX совпадает с отрезком [a; b];
2) для любого x0 ∈ [a; b] обозначим через Ax0 сечение A плоскостью
{x = x0 }, спроектированное на плоскость yOz :
Ax0 = {(y, z) ∈ R2 | (x0 , y, z) ∈ A};
требуется чтобы Ax0 было измеримым для любого x0 ∈ [a; b];
3) для любых x1 , x2 ∈ [a; b] либо Ax1 ⊂ Ax2 , либо Ax2 ⊂ Ax1 ;
4) площадь P (Ax ) является непрерывной функцией от x на [a; b].
Теорема 3.4.1 При выполнении условий 1) – 4) множество A измери-
мо в R3 и Z b
V (A) = P (Ax ) dx.
a

[[Рассмотрим любое разбиение τ отрезка [a; b]: τ = {x0 , x1 , . . . , xn }.

Разобьем A на n частей плоскостями {x = xk }. Пусть
inf P (Ax ) = αk , sup P (Ax ) = βk .
xk−1 ≤x≤xk xk−1 ≤x≤xk

z6

xr k−1
y

 q
r
xk

=
x
Рис. 7

В силу непрерывности функции P (Ax ) существуют точки xk и xk

такие, что P (xk ) = αk и P (xk ) = βk . Из условия 3) следует, что Axk ⊂
Ax ⊂ Axk для любого x ∈ [xk−1 , xk ].
 Заменим множество

Ak := A ∩ {(x, y, z) | xk−1 ≤ x ≤ xk }

на множество Ak = Axk × [xk−1 , xk ]. Тогда Ak ⊂ Ak и

B ≡ ∪nk=1 Ak ⊂ ∪nk=1 Ak = A.

Аналогично
A ⊂ C = ∪nk=1 Ak ,
где Ak = Axk × [xk−1 , xk ]. Множества B и C измеримы (в силу лем-
мы 3.4.1) и
n
X n
X n
X
V (B) = V (Ak ) = P (Axk )(xk − xk−1 ) = P (Axk )∆xk .
k=1 k=1 k=1

Аналогично n
X
V (C) = P (Axk )4xk .
k=1
Обозначим f (x) = P (Ax ). Тогда
n
X
V (B) = f (xk )4xk = S∗ (f, τ ),
k=1
n
X
V (C) = f (xk )4xk = S ∗ (f, τ ).
k=1
Так как f непрерывна по условию 4), f интегрируема и ∀ε > 0 ∃τ :
S ∗ (f, τ ) − S∗ (f, τ ) < ε, то есть существуют измеримые B и C такие, что
B ⊂ A, A ⊂ C и V (C) − V (B) < ε. Как и в плоском случае, отсюда
следует, что A измеримо. Далее,

S∗ (f, τ ) = V (B) ≤ V (A) ≤ V (C) = S ∗ (f, τ ).

При d(τ ) → 0 получаем, что

Z b Z b
f (x) dx ≤ V (A) ≤ f (x) dx,
a a
то есть Z b Z b
V (A) = f (x) dx = P (Ax ) dx.
a a
3.5 Объем тела вращения

Рассмотрим на плоскости непрерывную неотрицательную функцию y =

f (x), a ≤ x ≤ b. Телом вращения назовем тело, которое получается
вращением криволинейной трапеции
Af = {(x, y) | a ≤ x ≤ b, 0 ≤ y ≤ f (x)}
вокруг оси Ox (рис. 8).
Тело вращения Ff измеримо и его объем равен
Z b
V (Ff ) = π f 2 (x) dx.
a
[[Множество Ff удовлетворяет условиям 1) – 4), так как его сече-
ние плоскостью {x = const} есть круг радиуса f (x) с центром в начале
координат, его площадь πf 2 (x) — непрерывная функция от x. Следова-
тельно, Z b Z b
2
V (Ff ) = πf (x) dx = π f 2 (x) dx.]]
a a

y 6

y = f (x)

b a
s r -
x

Рис. 8

Примеры. 1) Площадь эллипса. Рассмотрим эллипс E , граница

которого задана уравнением
x2 y 2
+ = 1.
a2 b 2
Пусть E1 — его часть, лежащая в первом квадранте. В силу симметрии
эллипса имеем P (E) = 4P (E1 ). Так как x, y ≥ 0 в первом квадранте,
y2 x2 a2 − x 2 bp 2
2
= 1 − 2
= 2
⇒ y = a − x2 , 0 ≤ x ≤ a.
b a a a
 Ra √
Таким образом, P (E) = 4 0 ab a2 − x2 dx. Делая замену переменных x =
= a sin t (dx = a cos t dt), получаем
4b π/2 p 2
Z Z π/2
P (E) = 2
a − a2 sin t a cos t dt = 4ab cos2 t dt =
a 0 0
Z π/2   π/2
sin 2t
= 2ab (1 + cos 2t) dt = 2ab t + = πab.
0 2 0
2) Объем эллипсоида. Пусть граница эллипсоида задается уравне-
нием
x2 y 2 z 2
+ + = 1.
a2 b 2 c 2
Сечение эллипсоида плоскостью x = const — эллипс с границей
y2 z2 x2
+ =1− 2
b2 c 2 a
или r
y2 z2 x2
+ = 1, k = 1 − .
(bk)2 (ck)2 a2
Площадь этого эллипса равна
x2
 
P = π · bk · ck = πbc 1 − 2 .
a
Следовательно,
a
x2
Z  
4
V = πbc 1 − 2 dx = πabc.
−a a 3

3.6 Кривые на плоскости.

Путём на плоскости R2 назовем любое непрерывное отображение

f : [a; b] → R2 ,

то есть
f (t) = (x(t), y(t)), a ≤ t ≤ b,
где x(t) и y(t) — непрерывные функции.
Два пути f : [a; b] → R2 и g : [c, d] → R2 назовем эквива-
лентными, если существует непрерывное строго монотонное отображение
ϕ : [a; b] → [c; d] такое, что g ◦ ϕ = f . Это отношение на множестве пу-
тей действительно является отношением эквивалентности (имеют место
рефлексивность, транзитивность, симметричность). Кривой в R2 называ-
ется класс эквивалентности путей. Если путь f принадлежит кривой C ,
то будем говорить, что f — это параметризация кривой C .
Например, если C — это окружность {x2 + y 2 = 1}, обходимая
однократно из точки (1, 0), то

x = cos t, y = sin t, 0 ≤ t ≤ 2π,

одна из ее параметризаций. Существуют и другие параметризации, напри-

мер, x = cos 2t, y = sin 2t, 0 ≤ t ≤ π2 (одна часть пути), x = cos(t + π2 ),
y = sin(t + π2 ), π2 ≤ t ≤ 3π
2 (другая часть пути).
Если в определении эквивалентности потребовать, чтобы ϕ было
строго возрастающим, то соответствующий класс эквивалентности назы-
вается ориентированной кривой. Для ориентированных кривых можно
определить начальную и конечную точки: (x(a), y(a)) — начальная точка,
(x(b), y(b)) — конечная точка. Если начальная и конечная точки совпа-
дают, то кривая называется замкнутой, если нет, то — разомкнутой.
Разомкнутая кривая называется простой, если для любой параметри-
зации f : [a; b] → R2 отображение f является инъективным. Кривая
C называется гладкой (класса C 1 ), если существует ее параметризация
(x(t), y(t)), a ≤ t ≤ b, такая, что функции x(t) и y(t) являются непре-
рывно дифференцируемыми.

3.7 Длина плоской кривой

Рассмотрим любую кривую C на R2 с параметризацией (x(t), y(t)),

a ≤ t ≤ b.
An
Γτ

C
A1

A0
Рис. 9

Рассмотрим любое разбиение τ = {t0 , t1 , . . . , tn } отрезка [a; b].

Пусть Ak = (x(tk ), y(tk )), k = 0, n. Пусть Γτ — ломаная с вершинами A0 ,
A1 , . . . , An , вписанная в кривую. Всегда существует конечный или беско-
нечный supτ l(Γτ ). Если этот супремум конечен, то говорят, что кривая
спрямляема и ее длина
l(C) = sup l(Γτ ).
τ

3.8 Вычисление длины гладкой кривой

Теорема 3.8.1 Пусть C — гладкая кривая на плоскости с параметри-

зацией (x(t), y(t)), a ≤ t ≤ b, где x, y — непрерывно дифференцируемые
функции. Пусть

m1 = inf |x0 (t)|, m2 = inf |y 0 (t)|,

[a;b] [a;b]

M1 = sup |x0 (t)|, M2 = sup |y 0 (t)|.

[a;b] [a;b]

Утверждается, что кривая C спрямляема и

q q
m1 + m2 (b − a) ≤ l(C) ≤ M12 + M22 (b − a).
2 2 (14)

[[Рассмотрим любое разбиение τ отрезка [a; b]: τ = {t0 , t1 , . . . , tn }.

Пусть Ak = (x(tk ), y(tk )). Вычислим длину k -го звена ломаной

Γτ = A0 A
\ 1 . . . Ak .

Имеем по формуле Лагранжа

p
|Ak−1 Ak | = (x(tk ) − x(tk−1 ))2 + (y(tk ) − y(tk−1 ))2 =
p p
= (x (ξk )) (4tk ) + (y (ηk )) (4tk ) = (x0 (ξk ))2 + (y 0 (ηk ))2 4tk ,
0 2 2 0 2 2

где ξk , ηk ∈ (tk−1 ; tk ) — промежуточные точки. Следовательно, длина

k -го звена удовлетворяет неравенству
q q
m1 + m2 4tk ≤ |Ak−1 Ak | ≤ M12 + M22 4tk .
2 2

Суммируя эти неравенства по k = 1, n, получим:

q q
m1 + m2 (b − a) ≤ l(Γτ ) ≤ M12 + M22 (b − a).
2 2

Следовательно, l(C) = supτ l(Γτ ) < +∞ и справедлива оценка (14).]]

Пусть C — гладкая кривая, (x(t), y(t)), a ≤ t ≤ b, — ее глад-
кая параметризация. Для любого t ∈ [a; b] кривая с начальной точкой
(x(a), y(a)) и конечной точкой (x(t), y(t)) является гладкой, следователь-
но, спрямляемой; ее длину обозначим через s(t). Нетрудно проверить,
что s(t) является монотонно возрастающей функцией. Если s(t) — стро-
го монотонно возрастающая, то существует обратная функция t = t(s),
где 0 ≤ s ≤ l , l — длина кривой C , и тогда существует параметризация
(x(t(s)), y(t(s))), 0 ≤ s ≤ l , называемая натуральной параметризацией,
а параметр s называется натуральным параметром.
Теорема 3.8.2 Если C — гладкая кривая, (x(t), y(t)), a ≤ t ≤ b — ее
гладкая параметризация, то длина дуги s = s(t) непрерывно дифферен-
цируема и
ds p 0
= (x (t))2 + (y 0 (t))2 .
dt
[[Рассмотрим любую точку t ∈ [a; b] и пусть 4t — приращение t
такое, что t + 4t ∈ [a; b]. Рассмотрим случай, когда 4t > 0 (случай
4t < 0 рассматривается аналогично). Тогда, согласно теореме 3.8.1, 4s,
то есть длина кривой между точками (x(t), y(t)) и (x(t + 4t), y(t + 4t)),
оценивается следующим образом:
q q
m1 + m2 4t ≤ 4s ≤ M12 + M22 4t,
2 2 (15)
где
m1 = inf |x0 (t)|, m1 = inf |y 0 (t)|,
[t;t+4t] [t;t+4t]

M1 = sup |x0 (t)|, M2 = sup |y 0 (t)|.

[t;t+4t] [t;t+4t]
Так как x0 (t), y 0 (t) — непрерывные функции, по теореме Вейер-
штрасса существуют точки c1 , c2 , c3 , c4 ∈ [t; t + 4t] такие, что
m1 = |x0 (c1 )|, m2 = |y 0 (c2 )|, M1 = |x0 (c3 )|, M2 = |y 0 (c4 )|.
При 4t → 0 получаем ci → t, i = 1, 4. Поэтому m1 , M1 → |x0 (t)|, m2 ,
M2 → |y 0 (t)|. Деля все части неравенства (15) на 4t и устремляя 4t
к нулю, с использованием теоремы о двух милиционерах получаем, что
существует предел
4s p 0
lim = (x (t))2 + (y 0 (t))2 .
4t→0 4t

Итак, s0 (t) существует и равняется

0
p
s (t) = (x0 (t))2 + (y 0 (t))2 ,
что и требовалось доказать.]]
Теорема 3.8.3 Если C — гладкая кривая, (x(t), y(t)), a ≤ t ≤ b, — ее
гладкая параметризация, то
Z bp
l(C) = (x0 (t))2 + (y 0 (t))2 dt.
a

[[Поскольку s(a) = 0, s(b) = l(C) (s — длина дуги), имеем

Z b Z bp
0
l(C) = s(b) − s(a)= s (t)dt = (x0 (t))2 + (y 0 (t))2 dt.]]
a a

3.9 Частные случаи задания кривой

1) Пусть кривая задается в декартовой системе координат уравнением

y = f (x), a ≤ x ≤ b. Тогда x = t, y = f (t), a ≤ t ≤ b — параметризация.
Если функция f непрерывно дифференцируема, то
ds p
= 1 + (f 0 (t))2
dt
и Z bp
l(C) = 1 + (f 0 (t))2 dt.
a
2) Пусть кривая С задана в полярной системе координат: r = r(ϕ),
α ≤ ϕ ≤ β . Тогда кривую можно параметризовать следующим обра-
зом: x = r(ϕ) cos ϕ, y = r(ϕ) sin ϕ, α ≤ ϕ ≤ β . Если r(ϕ) непрерывно
дифференцируемая функция,то
ds p 0
= (x (ϕ))2 + (y 0 (ϕ))2 =
dϕ
p
= (r0 (ϕ) cos ϕ − r(ϕ) sin ϕ)2 + (r0 (ϕ) sin ϕ + r(ϕ) cos ϕ)2 =
p
= (r0 (ϕ))2 + (r(ϕ))2 ,
откуда Z β p
l(C) = (r0 (ϕ))2 + (r(ϕ))2 dϕ.
α

Упражнение. В случае ϕ = ϕ(r) вывести самостоятельно форму-

лу для вычисления длины кривой.
3.10 Площадь поверхности вращения

Пусть y = f (x), a ≤ x ≤ b — непрерывная функция, f ≥ 0. Если мы

будем вращать график функции f вокруг оси OX , то получим некоторую
поверхность. Вычислим ее площадь.
Напомним одну формулу из школьной геометрии. Рассмотрим усе-
ченный конус с радиусами оснований R и r и образующей l . Площадь
его боковой поверхности Sбок = π(R + r)l .

Теорема 3.10.1 Если функция f непрерывно дифференцируема, то пло-

щадь поверхности вращения графика функции f вокруг оси OX равна
Z b p
S = 2π f (x) 1 + (f 0 (x))2 dx.
a

Сначала докажем лемму об интегральных суммах, записанных по

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

Лемма 3.10.1 Пусть функция f интегрируема на [a; b], g непрерывна

на [a; b]. Тогда для ∀ε > 0 ∃δ > 0: ∀τ и ∀ Tτ0 = (ξ1 , . . . , ξn ), Tτ00 =
= (η1 , . . . , ηn ) выполняется условие: из того, что d(τ ) < δ следует, что
n
X Z b
f (ξk )g(ηk )4xk − f (x) g(x) dx < ε.
k=1 a

[[Доказательство. Функция f интегрируема, следовательно, ограни-

чена, то есть ∃ M > 0: |f (x)| ≤ M , x ∈ [a; b]. Кроме того, множество
точек разрыва функции f имеет меру нуль по Лебегу. Тогда произведе-
ние f g также ограничено и множество точек разрыва у f g также име-
ет меру нуль по Лебегу. Отсюда вытекает, что ∀ε > 0 ∃δ1 > 0: ∀τ ,
∀Tτ0 = {ξ1 , . . . , ξn } из того, что d(τ ) < δ1 вытекает неравенство
n Z b
X ε
f (ξk )g(ξk )4xk − f (x) g(x) < . (16)
a 2
k=1

Так как функция g непрерывна, по теореме Кантора функция g является

равномерно непрерывной, то есть ∀ε > 0 ∃δ2 > 0 : ∀x1 , x2 ∈ [a; b]
ε
|x1 − x2 | < δ2 ⇒ |g(x1 ) − g(x2 )| < .
2M (b − a)
 Пусть δ = min(δ1 , δ2 ), d(τ ) < δ и

Tτ0 = {ξ1 , . . . , ξn }, Tτ00 = {η1 , . . . , ηn }.

Тогда имеет место неравенство (16). С другой стороны,

ε
|ξk − ηk | ≤ 4xk ≤ d(τ ) < δ2 ⇒ |g(ξk ) − g(ηk )| < .
2M (b − a)
Поэтому
n
X n
X
f (ξk )g(ηk )4xk − f (ξk )g(ξk )4xk =
k=1 k=1
n n
X нер-во 4 X
= f (ξk )(g(ξk ) − g(ηk ))4xk ≤ |f (ξk )| |g(ξk ) − g(ηk )|4xk <
k=1 k=1
n
X ε ε
< M 4xk = . (17)
2M (b − a) 2
k=1
Из (16), (17) и неравенства треугольника следует нужное неравенство.]]
[[Доказательство теоремы. Рассмотрим любое разбиение τ отрез-
ка [a; b]. Плоскости {x = xk } разбивают поверхность вращения на n
частей. Заменим k -ую часть боковой поверхностью усеченного конуса,
получающегося вращением отрезка Ak−1 Ak вокруг оси OX , где точка
Ak = (xk , f (xk )), k = 0, n. Сумма площадей боковых поверхностей усе-
ченных конусов равна
n
X
π(f (xk−1 ) + f (xk ))|Ak−1 Ak | =
k=1

n
X p
= π(f (xk−1 ) + f (xk )) (xk − xk−1 )2 + (f (xk ) − f (xk−1 ))2 =
k=1
Xn p
=π (f (xk−1 ) + f (xk )) (xk − xk−1 )2 + (f 0 (ηk ))2 (xk − xk−1 )2 =
k=1
n
X p n
X p
=π 0 2
f (xk−1 ) 1 + (f (ηk )) 4xk + π f (xk ) 1 + (f 0 (ηk ))2 4xk ,
k=1 k=1
где ηk ∈ [xk−1 , xk ]. Здесь мы использовали формулу конечных прираще-
ний Лагранжа.
 Применяя к первой сумме лемму 3.10.1 с функцией g(x) =
p
1 + (f 0 (x))2 и семействами промежуточных точек ξk = xk−1 , ηk = ηk ,
получим, что эта сумма стремится к величине
Z b p
π f (x) 1 + (f 0 (x))2 dx.
a

Аналогично вторая сумма имеет тот же предел, только в качестве точек

ξk берутся точки xk . Итак, предел сумм площадей боковых поверхностей
усеченных конусов, вписанных в поверхность вращения, равен
Z b p
S = 2π f (x) 1 + (f 0 (x))2 dx.
a

Замечание. Если s — длина дуги кривой y = f (x), a ≤ x ≤ b,

p
то 1 + (f 0 (x))2 dx = ds, поэтому справедлива следующая формула для
площади поверхности вращения:
Z L
S = 2π y(s)ds.
0

Можно доказать справедливость этой формулы для любой поверх-

ности, получающейся вращением любой кусочно-гладкой кривой.
Пример. Площадь поверхности сферы. Сфера получается враще-
√
нием полуокружности y = R2 − x2 , |x| ≤ R. Параметризуем по-
луокружность: x = r cos t, y = r sin t, 0 ≤ t ≤ π . Имеем ds =
p
(x0 (t))2 + (y 0 (t))2 dt = R dt, откуда
Z π
S = 2π R sin tR dt = 2πR2 (− cos t)|π0 = 4πR2 .
0

Задача. Вычислить площадь поверхности тора.

Список литературы
[1] Никольский С.М. Курс математического анализа, изд. 6-е., стер. –
Москва: Физматлит, 2001. – 591 с.

[2] Зорич В.А. Математический анализ, ч. I, – изд 4-е, испр. – М.:

МЦНМО, 2002. – 657 с.

[3] Шерстнев А.Н. Конспект лекций по математическому анализу, изд.

4-е. – Казань: КГУ, 2005. – 373 с.

[4] Кудрявцев Л.Д. Математический анализ, т. 1. – М.: Высшая школа,

1973. – 614 с.

[5] Фихтенгольц Г.М. Курс дифференциального и интегрального исчис-

ления, т. 1, изд. 8-е. – Москва: Физматлит, 2003. – 679 с.

[6] Демидович Б.П. Сборник задач по математическому анализу: учеб-

ное пособие для вузов. – Москва: АСТ, 2010. – 558 с.

[7] Гелбаум Б., Олмстед Дж. Контрпримеры в анализе. – М.: Мир, 1967.
– 251 с.
Содержание
1 Определенный интеграл Римана на отрезке 3
1.1 Разбиение отрезка. Семейство промежуточных точек . . . 3
1.2 Интегральная сумма Римана функции f на [a; b]. . . . . . 4
1.3 Геометрический смысл интегральных сумм Римана . . . . 4
1.4 Определение интеграла Римана на [a; b] . . . . . . . . . . . 5
1.5 Интегральные суммы Дарбу . . . . . . . . . . . . . . . . . 7
1.6 Свойства интегральных сумм Дарбу. . . . . . . . . . . . . . 8
1.7 Классы интегрируемых функций. Теорема Лебега . . . . . 14
1.8 Свойства интеграла Римана . . . . . . . . . . . . . . . . . . 16
1.9 Теоремы о среднем для интегралов . . . . . . . . . . . . . . 20
1.10 Расширение понятия интеграла . . . . . . . . . . . . . . . . 21

2 Интеграл с переменным верхним пределом 21

2.1 Непрерывность интеграла с переменным верхним
пределом . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2 Дифференцируемость интеграла с переменным верхним
пределом . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3 Основная теорема интегрального исчисления . . . . . . . . 23
2.4 Замена переменных в определенном интеграле . . . . . . . 24
2.5 Интегрирование по частям в определенном интеграле . . . 25
2.6 Формула Тейлора с остаточным членом в интегральной форме 25

3 Применения определенного интеграла 26

3.1 Площадь плоской фигуры . . . . . . . . . . . . . . . . . . . 26
3.2 Площадь криволинейной трапеции . . . . . . . . . . . . . . 29
3.3 Площадь криволинейного сектора . . . . . . . . . . . . . . 30
3.4 Измеримость множеств в R3 . Объем . . . . . . . . . . . . . 32
3.5 Объем тела вращения . . . . . . . . . . . . . . . . . . . . . 35
3.6 Кривые на плоскости. . . . . . . . . . . . . . . . . . . . . . 36
3.7 Длина плоской кривой . . . . . . . . . . . . . . . . . . . . . 37
3.8 Вычисление длины гладкой кривой . . . . . . . . . . . . . 38
3.9 Частные случаи задания кривой . . . . . . . . . . . . . . . 40
3.10 Площадь поверхности вращения . . . . . . . . . . . . . . . 41