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

ТЕОРЕМА.

Необходимое условие интегрируемости


Если функция интегрируема на отрезке  a, b  , то она на нем ограничена
b

ДОКАЗАТЕЛЬСТВО: Пусть функция интегрируема на  a, b  , тогда  f  x  dx . По определению


a
n
интеграла   0  : T :      i    f    x  I
i 1
i i  .
n
I     f  i  xi  I   .
i 1

Допустим, что функция неограниченна на  a, b  , т.е. неограниченна на некотором x . Пусть I  –


часть суммы, не относящаяся к данному отрезку:
n

 f    x
i 1
i i  f     x  I  ;

I  I     f     x  I  I    .
В силу неограниченности функции всегда можно выбрать такое   , что
f     x  max  I  I    , I  I     .
Получили противоречие, что и доказывает утверждение теоремы. ч.т.д.

ПРИМЕР функции, ограниченной на отрезке  a, b  , но неинтегрируемой на нем.


Функция Дирихле:
 1, x  ¤ ,
f  x    a, b  .
 0, x  ¡ \ ¤ ;
I  xi , i  b  a ; i  ¤ ;
I  xi , i  0 ; i ¡ \ ¤ ;
 lim  ; таким образом, функция Дирихле не интегрируема по Риману.

§3. Верхние и нижние суммы Дарбу


Пусть функция f ( x ) ограничена на отрезке  a; b  ; ее разбиение T x0 , x1 ,..., xn ;
M i  sup  f ( x), x  [ xi 1 , xi ] ;
mi  inf{ f ( x), x  [ xi 1 , xi ]};
 i  0 M i    f ( x )  M i ;
n
S (T )   M i xi – верхняя интегральная сумма Дарбу;
i 1
n
s (T )   mi xi – нижняя интегральная сумма Дарбу.
i 1

Очевидно s (T )  S (T ) .

Геометрический смысл.
Интеграл от интегрируемой по сегменту  a; b  функции y  f ( x) равен числу, которое следует
принимать за площадь соответствующей криволинейной трапеции. К этому числу будут
стремиться верхние и нижние суммы при стремлении диаметра разбиений к нулю. Поэтому для
интегрируемости функции необходимо и достаточно, чтобы разность между верхними и нижними
суммами стремилась к нулю.
Свойства:
1.  разбиения T отрезка  a, b  S (T ) является точной верхней гранью, а s (T ) – точной нижней
гранью множества всех интегральных сумм.
ДОКАЗАТЕЛЬСТВО:
1) Для S (T ) :
n
S (T )   M i xi , т.е. i  [ xi 1 , xi ] ;
i 1


Mi   f (i )  M i ; умножим на xi ;
ba
S (T )    I ( xi , i )  S (T ) . Это означает, что S (T ) является точной верхней гранью.
2) Для s (T ) :
n
s (T )   mi xi , т.е. i  [ xi 1 , xi ] ;
i 1


mi  f (i )  mi  ; умножим на xi ;
ba
s (T )  I ( xi , i )  s(T )   . Это означает, что s (T ) является точной нижней гранью.

2. Пусть разбиение T  является продолжением разбиения T отрезка  a, b  , тогда справедливы


оценки:
S (T )  S (T );
т.е. при измельчении разбиения S (T ) может только уменьшиться, а s (T ) только
s (T )  s(T );
увеличиться.
ДОКАЗАТЕЛЬСТВО:
1) S (T )  S (T ) :
Пусть разбиение T  получается из разбиения T добавлением одной новой точки x   xk 1 , xk  ,
тогда в выражении для S слагаемое M k xk заменится на M k  x  xk 1   M k  xk  x  , где
M k  sup f  x  , M k  sup f  x  . Точная верхняя грань функции на части сегмента не
x x , x 
k 1 x x , x 
k

превосходит точной верхней грани на всем сегменте  M k  M k , M k  M k и


M k  x  xk 1   M k  xk  x   M k   x  xk 1    xk  x    M k xk  при измельчении разбиения S (T )
может только уменьшиться.
2) s (T )  s (T ) :
mk xk заменится на mk  x  xk 1   mk  xk  x  , где mk  xinf f  x  , mk  inf f  x  , тогда
 xk 1 , x  x x , xk 

mk xk  mk   x  xk 1    xk  x    mk  x  xk 1   mk  xk  x   при измельчении разбиения s (T )


может только увеличиться.
ч.т.д.
3. ∀ разбиений T  и T  отрезка  a, b  справедливо s (T )  S (T ) .
ДОКАЗАТЕЛЬСТВО: рассмотрим разбиение T , которое является продолжением разбиенийT  и
T  . По свойству 2 имеем:
s (T )  s (T )  S (T )  S (T ) ч.т.д.

4. Множество S (T ) для функции f для всевозможных разбиений отрезка  a, b  ограничено снизу,


а множество s (T ) – сверху.
ДОКАЗАТЕЛЬСТВО очевидно.

Опр. Число I : sup( s (T )) называется нижним интегралом Дарбу от функции f ( x) ;


Число I : inf( S (T )) называется верхним интегралом Дарбу от функции f ( x ) .
 1, x  ¤ ,
Пример: f  x     a, b 
 0, x  ¡ \ ¤ ;
∀ разбиения T
s(T )  0 , I  b  a,
S (T )  1(b  a ) , I  0.

5. I  I

§4. Критерий интегрируемости ограниченной функции

ТЕОРЕМА 1. Ограниченная функция f интегрируема тогда и только тогда, когда


  0  : T :     S  s   .
ДОКАЗАТЕЛЬСТВО:
1) Необходимость. f [a; b] . Рассмотрим разбиение T с узлами x0 , x1 ,..., xn

I ( xi , i )  I  ;
4
 
I   I ( xi , i )  I  ;
4 4
Таким образом:
 
I sSI ;
4 4
   
0  S  s  I    I     .
4  4 2
2) Достаточность.   0  : T :     S  s  
sI I S;
0 I  I  S s ;
I I I;
s  I ( xi , i )  S ;
s  I  S  ( S  s )  I ( xi , i )  I  S  s ;
I ( xi , i )  I  S  s   .
Означает, что функция является интегрируемой по Риману на отрезке  a, b  . ч.т.д.

Опр. Число   M  m , где M  sup


[ a ;b ]
f ( x) , m  inf f ( x ) , называется колебанием функции на отрезке
[ a ;b ]

 a, b  .
  sup  f ( x)  f ( x) , x, x  [a; b] . (Без доказательства).

Рассмотрим  a; b  , разбиение T ,  xi 1 , xi  , i  M i  mi ;
n n n n
S  s   M i xi   mi xi    M i  mi  xi   i xi ;
i 1 i 1 i 1 i 1
Таким образом, критерий имеет вид:
n
f   a; b     0   0 : T :      i xi   .
i 1

Опр. Система множеств    называется покрытием множества X , если каждый элемент X


принадлежит хотя бы одному множеству    .
Множество X   a; b  называется множеством меры нуль  mesX  0  , если   0 ∃ такое
 n

покрытие множества X отрезками  ak ; bk  такими, что lim
n  

 b
k 1
k  ak     .

ПРИМЕР.

a α β b

x0

Пусть       . Это означает, что точка является множеством меры нуль.
2

ТЕОРЕМА 2. Критерий Лебега.


Функция интегрируема на отрезке  a, b  тогда и только тогда, когда множество точек разрыва
функции имеет меру нуль.
Без доказательства.

§5. Классы интегрируемых функций

1. Интегрируемость непрерывной функции.


ТЕОРЕМА 1. Функция, непрерывная на отрезке  a, b  , интегрируема на нем.
ДОКАЗАТЕЛЬСТВО:
1) Функция непрерывна ⇒нет точек разрыва ⇒ по критерию 2 интегрируема;
2) По теореме 1 §4:
Рассмотрим отрезок  a, b  , разбиение T . По теореме Кантора функция, непрерывная на отрезке,
является равномерно непрерывной:

  0   0 x, x : x  x    f ( x)  f ( x)  .
ba
На каждом i-ом частичном отрезке функция непрерывна ⇒ по теореме Вейерштрасса достигает на
нем наибольшего и наименьшего значений.
M i  f ( x) ;
mi  f ( x) ;
x, x   xi 1 ; xi  ;
Пусть указанное разбиение T обладает свойством    , таким образом:

i  M i  mi  f ( x)  f ( x)  ; умножим на xi ;
ba
n
 n
i 1
i xi 
b  a i 1
 xi   ;
Значит по теореме 1 §4 функция является интегрируемой. ч.т.д.

2. Интегрируемость некоторых разрывных функций.


ТЕОРЕМА 2. Ограниченная на отрезке  a, b  функция, имеющая лишь конечное число точек
разрыва, интегрируема на этом отрезке.
ДОКАЗАТЕЛЬСТВО: следствие критерия Лебега.

ПРИМЕР.

  1 1 
 1, x   2n ; 2n  1  ;
  
f ( x)   0, x  0;

 1, x  
1 1 
; .
  2n  1 2n  2 
  
Рассмотрим интервал   ;   ; x0    ; .
 4 4
  
Пусть p точек разрыва не принадлежат интервалу   ; .
 4 4

Покроем интервалом :
4p
p
   
 4p  4 ;
i 1
  .
2 4
Таким образом, множество точек разрыва функции является множеством меры 0 ⇒ она
интегрируема на отрезке  0;1 .

3. Интегрируемость монотонных, ограниченных функций.


ТЕОРЕМА 3. Если функция f ( x) монотонна и ограничена на отрезке  a, b  , то она интегрируема
на этом отрезке.
ДОКАЗАТЕЛЬСТВО: Рассмотрим неубывающую функцию и разбиение отрезка  a, b  ,    ,
тогда:
i  M i  mi  f ( xi )  f ( xi 1 ) ; умножим на xi ;
n n n

 i xi    f  xi   f  xi 1   xi    f  xi   f  xi 1      f  b   f  a    
i 1 i 1 i 1
ч.т.д.

§6. Основные свойства интегрируемых функций


a

1.  f ( x)dx : 0 ;
a
b a

2. Если a  b , то  f ( x)dx   f ( x)dx ;


a b
b b

3.  Cf ( x)dx  C  f ( x)dx ;
a a

ДОКАЗАТЕЛЬСТВО очевидно.
4. Если f , g   a; b  , то f  g    a; b  и
b b b b

  f  g  dx :   f  x   g  x   dx   f  x  dx   g  x  dx ;
a a a a

ДОКАЗАТЕЛЬСТВО очевидно.
5. Если f , g   a; b  , то f g    a; b  ;
Без доказательства.
ЗАМЕЧАНИЕ. Если f   a; b  , то f    a; b  . Обратное неверно.
2

 1, x  ¤ ,
ПРИМЕР. f  x   
 1, x  ¡ \ ¤ ;
f 2    a; b  ; f    a; b  .
6. Если f   a; b  , а  c; d    a; b  , то f    c; d  .
n
ДОКАЗАТЕЛЬСТВО: f   a; b   T ,      i xi   .
i 1

Выберем на отрезке  c; d  разбиение T  :    .


Пусть разбиение T является продолжением разбиения T  , тогда
n n

  x    x
i i i i   , таким образом, f    c; d  . ч.т.д.
i 1 i 1
b c b

7. Если f   a; b  , а c   a; b  , то  f  x  dx   f  x  dx   f  x  dx .
a a c

ДОКАЗАТЕЛЬСТВО: для  a; c  ,  c; b  T  и T  являются разбиениями.


I1  xi , i  , I 2  xi , i  ; получаем разбиение всего отрезка  a; b  .
T   T   T ; I1  xi , i   I 2  xi , i   I  xi , i  ;
Переходя к пределам при   0 :
b c b

 f  x  dx   f  x  dx   f  x  dx . ч.т.д.
a a c

8. Если f   a; c  , f   c; b  , тогда f   a; b  и
c b b

 f  x  dx   f  x  dx   f  x  dx .
a c a

Без доказательства.
b

9. Если f ( x) определена и неотрицательна на отрезке  a; b  и f   a; b  , то  f  x  dx  0 .


a

ДОКАЗАТЕЛЬСТВО очевидно.
b b

10.Если f , g   a; b  и x f  x   g  x  , тогда  f  x  dx   g  x  dx .
a a

ДОКАЗАТЕЛЬСТВО:
Рассмотрим разность g  x   f  x   0 , тогда по свойствам 9,3,4:
b b

 f  x  dx   g  x  dx .
a a
ч.т.д.

11.Если f   a; b  и удовлетворяет неравенству m  f  x   M , то


b
m  b  a    f  x  dx  M  b  a  .
a

ДОКАЗАТЕЛЬСТВО: пусть g  x   M , тогда по свойству 10 доказано. ч.т.д.


b

12.Если f ( x) непрерывна, неотрицательна и  0 , то  f  x  dx  0 .


a

ДОКАЗАТЕЛЬСТВО: т.к. f ( x)  0 , то x0 : f  x0   2k  0 .


По свойствам непрерывной функции имеем:    ;   : x    ;   f  x   0, f  k   k .
Рассмотрим интеграл:
b   b  b

 f  x  dx   kdx   f  x  dx   f  x  dx  k        f  x  dx   f  x  dx  0
14 2 43 a . ч.т.д.
a  a 
0 14 2 43 14 
2 43
0 0
b

13.Если f ( x) непрерывна, неотрицательна на отрезке  a; b  и  f  x  dx  0 , то f ( x)  0 .


a

ДОКАЗАТЕЛЬСТВО: следствие свойства 12.


b b

14.Если f   a; b  , то f    a; b  и выполняется  f  x  dx   f  x  dx .
a a

Без доказательства.
15.Если f , g   a; b  , x   a; b  : m  f  x   M и g  x   0 , то
b b b
m  g  x  dx   f  x  g  x  dx  M  g  x  dx .
a a a

ДОКАЗАТЕЛЬСТВО очевидно.
16. Первая теорема о среднем.
Если f   a; b  , m  f  x   M , где m  inf f  x  , M  sup f  x  , тогда
b
   m; M  :  f  x  dx    b  a  .
a
b

ДОКАЗАТЕЛЬСТВО: по ранее доказанному свойству m  b  a    f  x  dx  M  b  a  ;


a
b b
1 1
 f  x  dx  M . Пусть   f  x  dx , доказано.
b  a a
m ч.т.д.
ba a
СЛЕДСТВИЕ. Если функция f ( x ) непрерывна на отрезке  a; b  и m  f  x   M , то
b
   a; b  :  f  x  dx  f     b  a  .
a

ДОКАЗАТЕЛЬСТВО очевидно.
17.Если f , g   a; b  , x g  x   0 и m  inf f  x  , M  sup f  x  , тогда
b b
   m; M  :  f  x  g  x  dx    g  x  dx .
a a

ДОКАЗАТЕЛЬСТВО: по определению точных верхней и нижней граней:


m  f  x   M ; умножим на g  x  ;
mg  x   f  x  g  x   Mg  x  . По свойствам 3 и 5 эти функции интегрируемы, тогда:
b b b

 mg  x  dx   f  x  g  x  dx   Mg  x  dx ;
a a a
b b b
m  g  x  dx   f  x  g  x  dx  M  g  x  dx .
a a a

Могут представиться 2 случая:


b b b b

1)  g  x  dx  0 , тогда
a

a
f  x  g  x  dx  0 , и формула 
a
f  x  g  x  dx    g  x  dx справедлива
a

 ;
b b

2)  g  x  dx  0 , тогда, поделив неравенства на число  g  x  dx , получим:


a a
b b

 f  x  g  x  dx  f  x  g  x  dx
m a
b
 M ; тогда   a
b . ч.т.д.
 g  x  dx
a
 g  x  dx
a

СЛЕДСТВИЕ. Если функция f ( x ) непрерывна, f , g   a; b  , x g  x   0 и


b b

m  inf f  x  , M  sup f  x  , тогда    a; b  :  f  x  g  x  dx  f     g  x  dx .


a a

ДОКАЗАТЕЛЬСТВО очевидно.
18. Вторая теорема о среднем.
Если f , g   a; b  , g  x  монотонна, тогда
b  b
   a; b  :  f  x  g  x  dx  g  a   f  x  dx  g  b   f  x  dx .
a a 

Без доказательства.
a a

19.Если f ( x) четная и f   a; a  , то  f  x  dx  2 f  x  dx .


a 0

ДОКАЗАТЕЛЬСТВО:
a 0 a a a a a

 f  x  dx   f  x  dx   f  x  dx    f  x  dx   f  x  dx   f   x  d   x    f  x  dx 
a a 0 0 0 0 0
a a a
  f  x  dx   f  x  dx  2  f  x  dx . ч.т.д.
0 0 0
a

20.Если f ( x) нечетная и f  a; a , то  f  x  dx  0 .


a

ДОКАЗАТЕЛЬСТВО:
a 0 a a a a a

 f  x  dx   f  x  dx   f  x  dx    f  x  dx   f  x  dx   f   x  d   x    f  x  dx 
a a 0 0 0 0 0
a a
   f  x  dx   f  x  dx  0 . ч.т.д.
0 0
b  k b

21.Если f ( x) периодическая с периодом  , тогда  f  x  dx   f  x  dx


a  k a

ДОКАЗАТЕЛЬСТВО:
Рассмотрим функцию f ( x ) на отрезке  a; b  и ее интегральную сумму:
n
I  xi , i    f  i  xi ;
i 1

рассмотрим отрезок  a  k ; b  k  :
n n
I  xi , i    f  i  k  xi   f  i  xi . Т.к. функция периодическая, то xi не изменятся. Тогда
i 1 i 1
b  k b

 f  x  dx   f  x  dx .
a  k a
ч.т.д.

§7. Основная формула интегрального исчисления


Пусть функция f :  a; b   ¡ , f   a; b  , c   a; b  .
x

Опр. Функция F  x    f  t  dt называется интегралом с переменным верхним пределом, x   a; b  .


c

ТЕОРЕМА 1. Если f   a; b  , а F – интеграл с переменным верхним пределом, то функция F


непрерывна.
ДОКАЗАТЕЛЬСТВО:
Т.к. f   a; b  , то она ограничена на нем, т.е. M  0 : x   a; b  f  x   M .
Докажем непрерывность F в точке x0 справа:
  0   0 : x : x  x0    f  x   f  x0   
x x0 x c x

Рассмотрим F  x   F  x0    f  t  dt   f  t  dt   f  t  dt   f  t  dt   f  t  dt 
c c c x0 x0
x x

  f  t  dt  M  dt  M  x  x   M    ;
x0 x0
0 0 
M
. ч.т.д.

ТЕОРЕМА 2. Основная теорема интегрального исчисления


Если f   a; b  , то F дифференцируема в каждой точке x0 непрерывности подынтегральной
функции F  x0   f  x0  .
ДОКАЗАТЕЛЬСТВО:
Пусть точка x0   a; b  – точка непрерывности функции f ( x ) .
f  £  x0     0   0 : x : x  x0    f  x   f  x0    .
Функция дифференцируема в точке тогда и только тогда, когда существует конечная производная в
этой точке. Рассмотрим:
F  x   F  x0  1
x
1
x
1
x
 f  x0      0   f  x0  
x  x0 x0 x  x0 x0 x  x0 x0
f t dt  f x  f t dt 
x  x0

1
x
sgn  x  x0  x
1
x

x  x0 x0
  f  t   f  x   dt 
0
x  x0 
x0
f  t   f  x0  dt 
x  x0 x0
 dt   .

Таким образом, показано существование конечной производной F  x0  , где x0 – точка


непрерывности f ( x) .
ч.т.д.
ФОРМУЛА НЬЮТОНА-ЛЕЙБНИЦА
ТЕОРЕМА. Если f ( x) непрерывна на отрезке  a; b  , F – произвольная первообразная f ( x) на
 a; b , то справедлива формула:
b

 f  x  dx  F  b   F  a   F  x 
b

a
a

ДОКАЗАТЕЛЬСТВО: Из предыдущих теорем следует, что для непрерывной функции f ( x)


интеграл с переменным верхним пределом является одной из первообразных f ( x ) . Таким
образом, любая первообразная f ( x) может быть представлена в виде:
x
  x    f  t  dt  C ;
a
a
x  a ,   a    f  t  dt  C  C    a  ;
a
b b

x  b ,   b    f  t  dt    a     b     a    f  x  dx ч.т.д.
a a

ПРИМЕР. sin xdx   cos x 2   cos   cos 0  1 .


2

0 0
2

§8. Основные методы интегрирования


1. Метод замены переменной
ТЕОРЕМА. Пусть функция f ( x ) непрерывна на отрезке  a; b  , функция  :   ;     a; b 
непрерывна, дифференцируема и      a,      b , тогда справедливо:
b 

 f  x  dx   f    t      t  dt
a 

ДОКАЗАТЕЛЬСТВО аналогично соответствующей теореме из предыдущей темы.


a  x  a sin t x  a : a  a sin t ; t    
2
 2 
ПРИМЕР.  a  x dx    a 2 cos 2 t a cos tdt 
2 2

a
 dx  a cos tdt x   a : a  a sin t ; t     
 2 2
  
 2 a .
2 2 2
1 
 2  a cos tdt  a   1  cos 2t  dt  a  t  sin 2t  
2 2 2 2

0 0  2  0 2
2. Формула интегрирования по частям
Пусть u и v – непрерывно дифференцируемые функции на отрезке  a; b  , тогда справедливо:
b b

 udv  uv   vdu .
b
a
a a
 
2
xu
 v  sin x  
2
  
ПРИМЕР. 
0
x cos xdx  
 dv  cos xdx du  dx 
  x sin x 0 2   sin xdx  2  cos x
0
0
2

2
1.
sin x

 tgtdt
 0 tg  sin x  cos x tg  sin x  tg  sin x 
lim 0
   lim  lim cos3 x  lim 1
x 0 tgx
 0  x 0 sin  tgx  1 x 0
sin  tgx  x 0 sin  tgx 

0
sin tdt
cos 2 x

ГЕОМЕТРИЧЕСКИЕ ПРИЛОЖЕНИЯ ОПРЕДЕЛЕННОГО ИНТЕГРАЛА


§1. Длина кривой
1. Плоская кривая
Опр. Пусть функции  ,  £   ;   , тогда плоской кривой называется множество точек плоскости,
которое задается уравнением:
 x    t
 *  ; ,
 y    t 
t – параметр кривой, (*) – параметрические уравнения кривой.
 x  t ,
Если y  f  x  , то 
 y  f  t  .
Заметим, что параметрические уравнения задаются не единственным образом. В качестве функции
f может быть строго монотонная функция какого-то параметра s .
Опр. Кривая называется простой, если t1  t2    t1  ,  t2       t2  ,  t2   .
Мы будем рассматривать такие кривые, для которых найдется разбиение, на котором кривая
является простой.
Опр. Кривая называется простой замкнутой кривой, если      ,           ,     и
    ;   данная кривая является простой в промежутках   ;   ,   ;   .
Пусть l – простая кривая. Выберем разбиение T отрезка   ;   .
  t0  t1  ...  tn   .
Пусть точки M 0 , M 1 ,..., M n – точки кривой, соответствующие точкам t0 , t1 ,..., tn . Полученная
ломанная M 0 M 1...M n называется ломанной, вписанной в кривую l и соответствующей разбиению
T.
Длина ломанной L , соответствующей разбиению T :
n
L T       t     t       t    t  
2 2
i i 1 i i 1
i 1

Опр. Кривая l называется спрямляемой, если множество  L  T   длин ломанных, соответствующих


всевозможным разбиениям T ограничено, и длина кривой l : sup l  T 
ТЕОРЕМА. Пусть разбиение T * является продолжением разбиения T , тогда l  T   l  T  .
*

ДОКАЗАТЕЛЬСТВО:
Рассмотрим разбиение T * , полученное из разбиения T добавлением одной точки C : tC   tk 1 ; tk  .
Т.к. M k 1C  CM k  M k 1M k ч.т.д.

ТЕОРЕМА. Пусть функции  , непрерывно дифференцируемы на отрезке  a; b  , тогда кривая,


 x    t 
задаваемая уравнениями:  ; t    ;   , является спрямляемой, и ее длина может быть
 y    t 

    t       t   dt  ** .
2 2
вычислена по формуле: l  

ДОКАЗАТЕЛЬСТВО: Докажем сначала, что кривая является спрямляемой.


Рассмотрим произвольное разбиение T отрезка   ;   точками t0 , t1 ,..., tn . Т.к.   t  ,  t 
непрерывно дифференцируемы, то по теореме Лангранжа имеем, что для любого частичного
отрезка  ti 1 , ti  найдутся точки  i, i:
  ti     ti 1       i  ti ;
  ti    ti 1       i ti ;
n n
lT      t     t       t    t          t         t 
2 2 2 2
i i 1 i i 1 i i i i 
i 1 i 1
n
   2   i   2   i ti 
i 1

т.к.  , непрерывно дифференцируемы, то функции  ,  непрерывны на отрезке   ;   ⇒


ограничены на нем, т.е. M  0   t   M ,   t   M ;
n
  M 2  M 2 ti  M 2      .
i 1

Таким образом, мы получили, что множество  L  T   ограничено, а значит кривая спрямляемая.


Докажем  ** :
Заметим, что интеграл существует, т.к. функции  ,  непрерывны ⇒ подынтегральная функция
непрерывна, а значит интегрируема на отрезке   ;   .

   t      t  
2 2
I :  dt ;

Оценим разность l  I   l  l  T     l  T   I  ti , i     I  ti , i   I  ;
т.к. l – длина кривой L , тогда по определению точной верхней грани существует такое разбиение

T * , что 0  l  l  T   .
*

3
По условию теоремы производная   непрерывна, а значит интегрируема. Т.к. существует I , то
для любого разбиения T%отрезка   ;   такого, что %  и при любом выборе точек % i , имеем:


I  t%
i , i   I  , где I  t%
i , i  – интегральная сумма функций    t       t  
2 2
% % , соответствующая
3
разбиению T%и выбору точек % i.


Т.к.   интегрируема, то по критерию интегрируемости функции на отрезке S T% s T%  , где
3
   
   
S T%, s T% – верхняя и нижняя суммы Дарбу функции   .
Зафиксируем разбиение T%и рассмотрим разбиение T , являющееся продолжением разбиений T%и
T*:

0  l  l  T   , а т.к. T является продолжением T%, то    , тогда, т.к. функция интегрируема,
3
будет верна следующая оценка:
 
I  ti , i   I  ; S  T   s  T   . Имеем:
3 3
2
lI   l  T   I  ti ,%
i ;
3
n

i 
l  T   I  ti ,%                              
2 2 2 2
i i ti  i i ti 
i 1

n     i     i      i      i  n     i     i      i      i  ti


 ti   
    i      i 
                             
2 2 2 2
i 1
i i  i i
i 1

n n

      i     i  ti    M i  mi  ti  S  T   s  T   .
i 1 i 1 3
Таким образом, l  I    формула  ** доказана. ч.т.д.
ЗАМЕЧАНИЕ 1. Если кривая L является графиком непрерывной дифференцируемой функции
y  f  x  , то ее длина может быть вычислена по формуле:
b
l   1   f   x   dx
2

ЗАМЕЧАНИЕ 2. Если неотрицательная функция  непрерывно дифференцируема на отрезке


 1; 2  , то кривая L , определяемая уравнением       , заданная в полярных координатах,
является спрямляемой и:
2

            
2 2
l d
1

Параметрические уравнения кривой с параметром  :


 x   cos   x      cos 
  1     2
 y   sin   y      sin 
 x  x   
 непрерывно дифференцируемы ⇒ кривая является спрямляемой ⇒  ** выполняется
 y  y   
x    cos    sin  ;
y    sin    cos  ;

 x    y       
2 2 2
   2 ;
2

            
2 2
Таким образом, l  d ;
1

   t       t  
2 2
dl : dt называется дифференциалом дуги;

l   dl .

ПРИМЕР. Найти длину кардиоиды:


  1  cos 


 2   2   1  cos      sin    2  2 cos   4 cos 2
2 2
;
2
 
 
l  2 2 cos d  8sin 8.
0
2 20

2. Пространственная кривая
Опр. Пространственной кривой называется множество точек пространства, координаты которых
удовлетворяют уравнению:
 x    t

 y   t  ; t  ¡ ;

 z    t
и функции  , ,  непрерывные.
ТЕОРЕМА. Если функции  , ,  являются непрерывно дифференцируемыми, то кривая L
является спрямляемой и ее длину можно найти по формуле

    t       t        t  
2 2 2
l dt .

ДОКАЗАТЕЛЬСТВО: аналогично случаю плоской кривой.


ПРИМЕР неспрямляемой кривой:
 
 x sin ,x  0
f  x   2x ;
 0, x  0


lim x sin  0 . Таким образом, f  x  непрерывна. Рассмотрим x   0;1 .
x0 2x

1 1 1
Рассмотрим разбиение T отрезка  0;1 : x0  0, x1  , x2  , x3  ,..., x2 p  2  1 .
2 p 1 2p 2 p 1
Длина ломанной:
2 p2 2 p2 2 p2
1
 x  xi    f  xi 1   f  xi     f  x   f  x    2i  1  
2 2
S i 1 i 1 i
i 1 i 1 i 1

1 1 2 p
x ; sin  0;
2p 2p 2
1 1   2 p  1 1   1
 1 ;
p
x ; sin  sin   p   
2 p 1 2 p 1 2 2 p 1  2  2 p 1
Если p   , получаем размельчение разбиения.

§2. Вычисление площади фигуры


Пусть D – квадрат со стороной 1. Рассмотрим множество P точек квадрата с рациональными
координатами. (В окрестности любой точки есть рациональные точки).
S0  S  D   1 .

Возьмем точку z1  x1 ; y1  , строим круг с центром в точке z1 и радиусом r1  ,    0  . Выбираем
2

точку z2 , которая не попала в данный круг, рисуем круг с центром z2 и радиусом r2  ; и т.д.
2
1
Sâï èñ.    r12  r22  ...   2  ;
3
 2
Sî  Sâ  1  .
3
Таким образом, фигура P не является квадрируемой, т.е. нельзя найти ее площадь.
Опр.Часть плоскости, ограниченной простой замкнутой кривой кривой L , называется фигурой.
Пусть  Sâ  – числовое множество площадей многоугольников, вписанных в фигуру Q , а  Sî  –
числовое множество многоугольников, описанных вокруг фигуры Q . Таким образом, множество
 Sâ  ограничено сверху, например, площадью одного из описанных многоугольников, а  Sî  –
ограничено снизу одним из вписанных многоугольников или нулем.
s : sup  Sâ  ;
s : inf  Sî  ;
Опр. Числа s и s называются нижней и верхней площадью фигуры Q .
Опр. Фигура Q называется квадрируемой, если ее нижняя площадь совпадает с верхней, и это
число s называется площадью фигуры.
sss.
ТЕОРЕМА 1. s  s .
ДОКАЗАТЕЛЬСТВО: предположим обратное s  s ,
ss
 0;
2

Sâ  s  ;
2

Sî  s  ;
2
Sâ  Sî  s  s      0 Sâ  Sî  s  s      0 ч.т.д.

ТЕОРЕМА 2. Критерий квадрируемости.


Фигура Q является квадрируемой тогда и только тогда, когда   0 можно указать вписанный и
описанный многоугольники такие, что.
ДОКАЗАТЕЛЬСТВО:
1) Необходимость:
Q – квадрируема  s  s ; по определению s и s имеем:

Sî  s  ;
2

Sâ  s  ; вычтем, получим: Sî  Sâ   .
2
2) Достаточность:
Т.к. s : sup  Sâ  , s : inf  Sî  , ⇒ Sâ  s , Sî  s .
s  s  Sî  Sâ   ;
В силу произвольности   s  s ⇒ Q – квадрируема. ч.т.д.
ТЕОРЕМА 3. Критерий квадрируемости
Фигура Q является квадрируемой тогда и только тогда, когда граница этой фигуры является
спрямляемой кривой.
Без доказательства.

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


ТЕОРЕМА 4. Криволинейная трапеция Q представляет собой квадрируемую фигуру и ее
площадь может быть найдена по формуле:
b

 f  x  dx
a

ДОКАЗАТЕЛЬСТВО: функция f  x  , непрерывная на отрезке  a; b  , является интегрируемой на


этом отрезке, тогда по критерию интегрируемости по Риману   0  : T :     S  s   , где
S и s – верхняя и нижняя суммы Дарбу.
Как отмечалось ранее, верхняя сумма Дарбу – это площадь ступенчатой фигуры, описанной вокруг
криволинейной трапеции Q , а нижняя сумма Дарбу – площадь ступенчатой фигуры, вписанной в
Q . Таким образом, S и s равны соответственно Sî и Sâ . По критерию квадрируемости получаем,
что криволинейная трапеция является квадрируемой фигурой.
b

Пусть I   f  x  dx . Очевидно
a

s  Sâ  S  Q   Sî  S ;
s  I  S ; в силу произвольности  получаем S  Q   I .
Вычтем, получим:
S  Q  I   ; ч.т.д.

b
S    f 2  x   f1  x   dx
a

d
S     2  y   1  y   dx
c

Если кривая задана параметрически:


 x  x  t 


 y  y  t 
;   t   , то S   y  t  x  t  dt .

ПРИМЕР. Найти площадь эллипса:

 x  a cos t
 ; 0  t  2 ;
 y  b sin t

0 2
S  4  1  b sin t a cos tdt  4ab  sin tdt   ab .
2

 0
2

Пусть функция       непрерывна и неотрицательная на отрезке  a; b  ,      .


Опр. Криволинейным сектором называется плоская фигура, ограниченная кривой L и лучами
  и    .
ТЕОРЕМА 5. Криволинейный сектор Q представляет собой квадрируемую фигуру, площадь
которой может быть вычислена по формуле:

1 2
S  Q     d .
2
ДОКАЗАТЕЛЬСТВО: т.к.  – непрерывна, то  2 – также непрерывна на отрезке   ;   ⇒

интегрируема на этом отрезке, то   0  : T : i :     S  s  , где S и s – верхняя и
2
 2
нижняя суммы Дарбу для .
2
По определению:
1 n
S   Ri2 i ; Ri  sup     ;
2 i 1  i1 ;i 
1 n ri  inf     ;
S   ri 2 i ;
2 i 1  i1 ;i 

 R2
– площадь кругового сектора.
2

Т.к. круговой сектор – квадрируемый, то можно вписать многоугольник Qâ в вписанный круговой


сектор и тогда будет справедливо:

s  Sâ  ;
4
и опишем вокруг описанных круговых секторов многоугольники:

Sî  S  .
4

Вычтем: Sî  Sâ  S  s  ;
2
Sî  Sâ    по критерию квадрируемости криволинейный сектор является квадрируемой
фигурой, и его площадь может быть вычислена по формуле:

1
S  Q     2 d . ч.т.д.
2

Вам также может понравиться