Комплексные числа, их изображение на плоскости

Размещено на http://www.allbest.ru/

Лекция 1. Комплексные числа, их изображение на плоскости. Алгебраические операции над комплексными числами. Комплексное сопряжение. Модуль и аргумент комплексного числа. Алгебраическая и тригонометрическая формы комплексного числа. Корни из комплексных чисел. Показательная функция комплексного аргумента. Формула Эйлера. Показательная форма комплексного числа

При изучении одного из основных приемов интегрирования: интегрирования рациональных дробей - требуется для проведения строгих доказательств рассматривать многочлены в комплексной области. Поэтому изучим предварительно некоторые свойства комплексных чисел и операций над ними.

Определение 7.1. Комплексным числом z называется упорядоченная пара действительных чисел (а,b) : z = (a,b) (термин «упорядоченная» означает, что в записи комплексного числа важен порядок чисел а и b: (a,b)?(b,a) ). При этом первое число а называется действительной частью комплексного числа z и обозначается a = Re z, а второе число b называется мнимой частью z: b = Im z.

Определение 7.2. Два комплексных числа z1 = (a1 , b1) и z2 = (a2 , b2 ) равны тогда и только тогда, когда у них равны действительные и мнимые части, то есть a1 = a2, b1 = b2.

Действия над комплексными числами.

1. Суммой комплексных чисел z1 = (a1 , b1) и z2 = (a2 , b2 ) называется комплексное число z = (a,b) такое, что a = a1 + a2 , b = b1 + b2 . Свойства сложения: а) z1 + z2 = z2 + z1; б) z1 + (z2 + z3 ) = (z1 + z2 ) + z3; в) существует комплексное число 0 = (0,0): z + 0 = z для любого комплексного числа z.

2. Произведением комплексных чисел z1 = (a1 , b1) и z2 = (a2 , b2 ) называется комплексное число z = (a,b) такое, что a = a1a2 - b1b2 , b = a1b2 + a2b1 . Свойства умножения: а) z1z2 = z2z1 ; б) z1 (z2 z3) = (z1 z2) z3, в) (z1 + z2) z3 = z1 z3 + z2 z3 .

Замечание. Подмножеством множества комплексных чисел является множество действительных чисел, определяемых как комплексные числа вида (а,0). Можно убедиться, что при этом определение операций над комплексными числами сохраняет известные правила соответствующих операций над действительными числами. Кроме того, действительное число 1 = (1,0) сохраняет свое свойство при умножении на любое комплексное число: 1• z = z.

Определение 7.3. Комплексное число (0, b) называется чисто мнимым . В частности, число (0,1) называют мнимой единицей и обозначают символом i.

Свойства мнимой единицы:

1) i•i=iІ = -1; 2) чисто мнимое число (0,b) можно представить как произведение действительного числа (b,0) и i : (b,0) = b•i.

Следовательно, любое комплексное число z = (a,b) можно представить в виде: (a,b) = (a,0) + (0,b) = a + ib.

Определение 7.4. Запись вида z = a + ib называют алгебраической формой записи комплексного числа.

Замечание. Алгебраическая запись комплексных чисел позволяет производить операции над ними по обычным правилам алгебры.

Определение 7.5. Комплексное число называется комплексно сопряженным числу z = a + ib.

3. Вычитание комплексных чисел определяется как операция, обратная сложению: z =(a,b) называется разностью комплексных чисел z1 = (a1 , b1) и z2 = (a2 , b2 ), если a = a1 - a2 , b = b1 - b2.

4. Деление комплексных чисел определяется как операция, обратная умножению: число z = a + ib называется частным от деления z1 = a1 + ib1 и z2 = a2 + ib2 (z2 ? 0), если z1 = z•z2. Следовательно, действительную и мнимую части частного можно найти из решения системы уравнений: a2 a - b2 b = a1 , b2 a + a2 b = b1.

Геометрическая интерпретация комплексных чисел.

Комплексное число z = (a,b) можно представить в виде точки на плоскости с координатами (a,b) или вектора с началом в начале координат и концом в точке (a,b).

При этом модуль полученного вектора называется модулем комплексного числа, а угол, образованный вектором с положительным направлением оси абсцисс,- аргументом числа. Учитывая, что a = с cos ц, b = с sin ц, где с = | z | - модуль z, а ц = arg z - его аргумент, можно получить еще одну форму записи комплексного числа:

Определение 7.6. Запись вида

z = с (cos ц + isin ц) (7.1)

называется тригонометрической формой записи комплексного числа.

В свою очередь, модуль и аргумент комплексного числа можно выразить через а и b: . Следовательно, аргумент комплексного числа определен не однозначно, а с точностью до слагаемого, кратного 2р.

Легко убедиться, что операция сложения комплексных чисел соответствует операции сложения векторов. Рассмотрим геометрическую интерпретацию умножения. Пусть тогда

Следовательно, модуль произведения двух комплексных чисел равен произведению их модулей, а аргумент - сумме их аргументов. Соответственно, при делении модуль частного равен отношению модулей делимого и делителя, а аргумент - разности их аргументов.

Частным случаем операции умножения является возведение в степень:

(7.2)

- формула Муавра.

Используя полученные соотношения, перечислим основные свойства комплексно сопряженных чисел:

Извлечение корня из комплексного числа.

Определение 7.7. Комплексное число называется корнем n-й степени из z, если z = z1n.

Из определения следует, что . Так как аргумент комплексного числа определен не однозначно, можно получить n различных значений для аргумента z1: , где ц0 - одно из значений arg z, а k = 1, 2,…, n-1. Окончательно формулу, задающую все значения , можно записать в виде:

(7.3)

Пример. Число z = 16 можно представить в тригонометрической форме следующим образом: z = 16(cos0 + isin0). Найдем все значения :

Показательная форма комплексного числа.

Введем еще одну форму записи комплексного числа. На множестве комплексных чисел существует связь между тригонометрическими и показательными функциями, задаваемая формулой Эйлера:

, (7.4)

справедливость которой будет доказана в дальнейшем. Используя эту формулу, можно получить из (7.1) еще один вид комплексного числа: (7.5)

Определение 7.8. Запись вида (7.5) называется показательной формой записи комплексного числа.

Представление (7.5) позволяет легко интерпретировать с геометрической точки зрения операции умножения, деления, возведения в степень и извлечения корня, используя известные свойства показательной функции.

Лекция 2. Многочлены и их корни. Теорема Безу. Основная теорема алгебры. Разложение многочлена на линейные множители в поле комплексных чисел. Простые и кратные корни многочлена. Разложение многочлена с действительными коэффициентами на линейные и квадратичные множители. Рациональные функции. Деление многочленов, выделение целой части рациональной функции. Правильные рациональные функции, их разложение на простейшие

Рассмотрим в комплексной области многочлен, то есть функцию вида

, (8.1)

где - комплексные числа. Числа называются коэффициентами многочлена, а натуральное число n - его степенью.

Определение 8.1. Два многочлена Pn (z) и равны тогда и только тогда, когда m=n, a0 = b0 , a1 = b1 ,…, an = bn .

Определение 8.2. Число z0 называется корнем многочлена (8.1), если Pn (z0) = 0.

Теорема 8.1 (теорема Безу). Остаток от деления многочлена Pn(z) на z - z0 ( z0 - не обязательно корень многочлена) равен P(z0).

Доказательство. Разделив P(z) на z - z0 , получим: P(z) = Q(z)(z - z0) + r, где число r - остаток от деления, а Q(z) - многочлен степени, меньшей n. При подстановке в это равенство z = z0 найдем, что r = P(z0), что и требовалось доказать.

Теорема 8.2 (основная теорема алгебры). Всякий многочлен в комплексной области имеет корень (без доказательства).

Разложение многочлена в комплексной области на линейные множители.

Пусть Pn (z) - многочлен степени n, а z1 - его корень. Тогда по теореме Безу Pn (z) можно представить в виде:

Pn (z) = (z - z1) Qn-1 (z),

где Qn-1 - многочлен степени n - 1. Если при этом Qn-1 (z1) = 0, его вновь можно представить как ( z - z1 )Qn-2 (z), a Pn (z) = (z - z1)Qn-2 (z).

Определение 8.3. Натуральное число k1 называется кратностью корня z1 многочлена Pn (z), если этот многочлен делится на , но не делится на . Корень кратности 1 называется простым, а корень кратности, большей 1, - кратным.

Итак, если z1 - корень Pn кратности k1 , то Из основной теоремы алгебры следует, что многочлен тоже имеет корень. Обозначим его z2 , а его кратность k2 . Тогда а

, (8.2)

где Следовательно, в комплексной области всякий многочлен можно разложить на линейные множители.

Разложение многочлена с действительными коэффициентами на линейные и квадратичные множители.

Определим для Pn (z) многочлен

,

где - число, комплексно сопряженное коэффициенту ai . При этом . Следовательно, если z0 - корень Pn , то - корень . Если коэффициенты Pn - действительные числа, то , и если z0 = a + ib - его корень кратности k, то - тоже его корень, причем той же кратности. Но - квадратный трехчлен с отрицательным дискриминантом. Если теперь применить к многочлену с действительными коэффициентами от действительной переменной Pn (x) формулу (8.2), то

(8.3)

то есть всякий многочлен на множестве действительных чисел можно разложить на множители степени не выше второй.

Рациональные дроби.

Если P(z) и Q(z) - многочлены в комплексной области, то - рациональная дробь. Она называется правильной, если степень P(z) меньше степени Q(z), и неправильной, если степень Р не меньше степени Q. Любую неправильную дробь можно представить в виде:, где P(z) = Q(z) S(z) + R(z), a R(z) - многочлен, степень которого меньше степени Q(z). Таким образом, интегрирование рациональных дробей сводится к интегрированию многочленов, то есть степенных функций, и правильных дробей, так как является правильной дробью.

Лемма 1. Если - правильная рациональная дробь и z0 - корень ее знаменателя кратности k, т.е. то существуют число А и многочлен P1(z) такие, что

, (8.4)

где последнее слагаемое является правильной дробью.

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

При этом последнее слагаемое является правильной дробью. Выберем число А так, чтобы z0 было корнем многочлена P(z) - AQ1(z), то есть . Тогда по теореме Безу

.

Лемма доказана.

Замечание. Если коэффициенты многочленов Р и Q и выбранный корень знаменателя - действительные числа, то и коэффициенты многочленов P1 и Q1 - тоже действительные числа.

Теорема 8.3. Если - правильная рациональная дробь и , то существуют такие комплексные числа что

. (8.5)

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

Применив k1 раз лемму 1 к дроби , получим:



где . Применяя затем ту же лемму к остальным корням знаменателя, придем к формуле (8.5).

Лемма 2. Пусть Р(х) и Q(x) - многочлены с действительными коэффициентами, причем Q(x) = ( xІ + px + q)m Q1(x), где pІ - 4q < 0. Тогда существуют такие действительные числа В, С и многочлен с действительными коэффициентами Р1(х), что

(8.6)

где последнее слагаемое тоже является правильной дробью.

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

(8.7)

где последнее слагаемое является правильной дробью. Выберем В и С такими, чтобы число z0 =x0 +iy0 (корень многочлена zІ + pz + q) было корнем многочлена P(х)-(Bх+C)Q1(х). Можно показать, что при этом

.

Следовательно, В и С - действительные числа, а z0 и (число, комплексно сопряженное z0) - корни многочлена P(х)-(Bх+C)Q1(х). Тогда по теореме Безу он делится на . Поэтому последнюю дробь в равенстве (8.7) можно сократить на xІ + px + q и получить равенство (8.6).

Используя эту лемму, можно доказать следующую теорему:

Теорема 8.4. Если - правильная рациональная дробь, а

где то существуют такие действительные числа что

. (8.8)

Примеры.

1. .

Полученная дробь должна совпадать с исходной при любых х, следовательно, коэффициенты при одинаковых степенях х в числителях обеих дробей должны быть равными. Отсюда , то есть А = 1, В = -1. Следовательно, исходную дробь, знаменатель которой имеет только действительные корни (причем простые, то есть кратности 1) можно представить в виде: .

2.

Приравнивая коэффициенты при одинаковых степенях х в числителях, получаем:

, откуда А = 1, В = -3, С = 3, D = 5. Таким образом, данную дробь, знаменатель которой имеет действительный корень х = 0 кратности 2 и комплексно сопряженные корни преобразуем в сумму дробей:

.

Лекция 3. Интегрирование простейших и произвольных правильных дробей. Интегрирование произвольных рациональных функций. Интегрирование дробно-линейных иррациональностей

В пошлой лекции было показано, что любую правильную рациональную дробь можно представить в виде линейной комбинации дробей вида:

1) , 2) , 3) , 4) . (9.1)

Эти дроби называются простейшими (или элементарными) дробями. Выясним, каким образом они интегрируются.

1)

2) (9.2)

3) (9.3)

Сделаем замену и обозначим . Тогда требуется вычислить интеграл

(9.4)

4) При интегрировании простейших дробей последнего типа воспользуемся той же заменой, что и в предыдущем случае, и представим подынтегральное выражение в виде:

где

Рассмотрим отдельно способ интегрирования In .

. (9.5)

Таким образом, получена рекуррентная формула, позволяющая в конечном счете свести вычисление этого интеграла к

Итак, интеграл от любой простейшей дроби находится в явном виде и является элементарной функцией.

Теорема 9.1. Неопределенный интеграл от любой рациональной дроби на всяком промежутке, на котором ее знаменатель не равен нулю, существует и выражается через элементарные функции, а именно рациональные дроби, логарифмы и арктангенсы.

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

Представим рациональную дробь в виде: (см. лекцию 8). При этом последнее слагаемое является правильной дробью, и по теореме 8.4 ее можно представить в виде линейной комбинации простейших дробей. Таким образом, интегрирование рациональной дроби сводится к интегрированию многочлена S(x) и простейших дробей, первообразные которых, как было показано, имеют вид, указанный в теореме.

Замечание. Основную трудность при этом составляет разложение знаменателя на множители, то есть поиск всех его корней.

Пример.

Интегрирование дробно-линейных иррациональностей.

Из ранее доказанного следует, что любую рациональную дробь можно проинтегрировать, поэтому в дальнейшем будем считать задачу интегрирования функции выполненной, если удается представить эту функцию в виде рациональной дроби. В частности, для интегралов вида

,

где R - рациональная функция (многочлен или рациональная дробь), r1 ,…,rn - дроби с одним и тем же знаменателем m , а , замена приводит к . Таким образом, х является рациональной функцией t, следовательно, его производная тоже будет рациональной функцией. Кроме того, - тоже рациональные функции от t (так как pi - целое число). Поэтому после замены подынтегральное выражение примет вид R1 (t)dt , где R1 - рациональная функция, интегрируемая описанными выше способами.

Замечание. С помощью подобных замен можно интегрировать функции вида , и, в частности,

Примеры.

1. Сделаем замену , тогда , а . Следовательно,

2. . Так как , а , выберем в качестве новой переменной . Тогда . Поэтому

Лекция 4. Интегрирование рациональных тригонометрических выражений. Интегрирование квадратичных иррациональностей. Интегрируемость в элементарных функциях

Рассмотрим интегрирование некоторых тригонометрических выражений.

Интегралы вида вычисляются с применением формул

(10.1)

Пример.

Интегралы вида , где т и п - целые числа, интегрируются с помощью замен: а) если хотя бы одно из чисел т,п - нечетное (например, т), можно сделать замену t = sin x (или t = cos x при нечетном п).

Пример 1.

Пример 2.

б) если т и п - четные положительные числа, можно понизить степени тригонометрических функций с помощью формул

.

Пример.

в) если т и п - четные и хотя бы одно из них отрицательно, можно применить замену t = tg x или t = ctg x. Пример.

Интегралы вида

где R - рациональная функция, сводятся к интегралам от рациональных функций с помощью универсальной тригонометрической подстановки:

,

тогда

, (10.2)

то есть все составляющие подынтегрального выражения представляют собой рациональные функции от t. Пример. Если подынтегральная функция имеет вид R (sinІx, cosІx), можно выбрать замену t = tg x. При этом , (10.3) и степень полученной рациональной функции будет ниже, чем при универсальной тригонометрической подстановке, что облегчает дальнейшее интегрирование.

Пример.

Интегрирование квадратичных иррациональностей.

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

а) при этом dx = acos t dt, .

б) tg t, тогда ,

в) соответственно

Пример 1. Вычислим интеграл Пусть тогда

Заметим, что

.

Поэтому ответ можно представить в виде:

Пример 2. Для вычисления интеграла выберем замену x = 3tg t. При этом

,

где u = sin t . Представив подынтегральную функцию в виде суммы простейших дробей, получим:

Учитываем, что

).

Пример 3. Вычислим интеграл с помощью замены . Тогда

Интегрируемость в элементарных функциях.

В предыдущих лекциях рассмотрены методы интегрирования некоторых элементарных функций. Однако далеко не все элементарные функции интегрируемы, то есть имеют первообразные, также являющиеся элементарными функциями. В качестве примеров можно привести функции и другие. Этим операция интегрирования отличается от дифференцирования, при котором производная любой элементарной функции является тоже элементарной функцией. Для отыскания интегралов от функций, не имеющих элементарной первообразной, вводятся и используются новые классы функций, не являющихся элементарными.

Лекция 5. Задачи, приводящие к понятию определенного интеграла. Определенный интеграл, его свойства. Теорема о среднем для определенного интеграла

Для решения многих задач из различных областей науки и техники требуется применение определенного интеграла. К ним относятся вычисление площадей, длин дуг, объемов, работы, скорости, пути, моментов инерции и т.д. Определим это понятие.

Рассмотрим отрезок [a, b] оси Ох и определим понятие разбиения этого отрезка как множества точек xi : a=x1 < x2 <…< xn-1 < xn=b. При этом точки xi называются точками разбиения, отрезки [xi-1, xi] - отрезками разбиения (их длины обозначаются Дxi), а число | ф | = max ( Дx1, Дx2,…, Дxn ) называется мелкостью разбиения.

Пусть на [a,b] задана функция y = f(x). Выберем на каждом отрезке разбиения по точке оi и составим сумму вида

, (11.1)

называемую интегральной суммой функции f(x). Если f(x) > 0, такая сумма равна сумме площадей прямоугольников с основаниями Дxi и высотами f(оi ).

Определение 11.1. Если для любого разбиения отрезка [a, b] существует один и тот же конечный предел интегральных сумм при и :

= I , (11.2)

то функция f(x) называется интегрируемой на отрезке [a, b ], а число I называется определенным интегралом f(x) на [a, b] и обозначается Числа а и b называются соответственно нижним и верхним пределами интегрирования.

Кроме того, определение определенного интеграла дополняется следующими утверждениями:

1) , 2)

Теорема 11.1 (необходимое условие интегрируемости). Если функция интегрируема на некотором отрезке, то она ограничена на нем.

Доказательство. Пусть f (x) интегрируема на [a,b] и . Зафиксируем какое-либо е, например, е = 1. По определению 11.1 существует такое д > 0, что для любой интегральной суммы уф, соответствующей разбиению, для которого |ф| < д, верно неравенство | уф - I | < 1, откуда I - 1 < уф < I + 1, то есть множество интегральных сумм функции f (x) ограничено.

Если предположить при этом, что f (x) неограничена на [a,b], то она неограничена по крайней мере на одном из отрезков разбиения. Тогда произведение f (оi)Дxi на этом отрезке может принимать сколь угодно большие значения, то есть интегральная сумма оказывается неограниченной, что противоречит условию интегрируемости f (x).

Замечание. Условие ограниченности функции является необходимым, но не достаточным условием интегрируемости. В качестве примера рассмотрим функцию Дирихле

f (x) = 1, если х рационально, и f (x) = 0, если х иррационально. Для нее на любом отрезке [a,b] и при любом разбиении на каждом отрезке Дxi найдутся как рациональные, так и иррациональные значения х. Выбрав в качестве оi рациональные числа, для которых f (оi )= 1, получим, что = b - a. Если же считать, что оi - иррациональные числа, то = 0. Следовательно, предел интегральных сумм не существует, и функция Дирихле не интегрируема ни на каком отрезке.

Свойства определенного интеграла.

Сформулируем понятия верхней и нижней интегральных сумм. Пусть тi - наименьшее значение функции f (x) на отрезке Дxi , а Mi - ее наибольшее значение на этом отрезке.

Определение 11.2. Сумма sn = называется нижней интегральной суммой функции f (x) на [a,b], а Sn = - верхней интегральной суммой.

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

Так как на любом отрезке разбиения mi ? Mi , то si ? Si .

2. Если т - наименьшее значение f(x) на [a,b], а М - ее наибольшее значение на [a,b], то .

3. При добавлении к выбранному разбиению новых точек sn может только возрастать, а Sn - только уменьшаться.

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

Пусть отрезок [xk-1 ,xk] разбит на р отрезков. Обозначим нижнюю и верхнюю интегральные суммы на этих отрезках как sp и Sp. Но для отрезка [xk-1 ,xk] наименьшим значением функции является тк, а наибольшим - Мк. Следовательно, по свойству 2 sp ? mk Дxk - соответствующему слагаемому общей интегральной суммы s , а Sk? Mk Дxk - слагаемому верхней интегральной суммы. Таким образом, каждое слагаемое s может только увеличиваться при добавлении новых точек, а каждое слагаемое S - только уменьшаться, что и доказывает сформулированное утверждение.

Существуют и .

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

Из свойств 2 и 3 следует, что s ограничена ( ) и монотонно возрастает. Следовательно, она имеет предел. Подобное же рассуждение справедливо для S.

Если f (x) непрерывна на [a,b], то .

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

Назовем колебанием функции f (x) на отрезке Дхк разность щk = Mk - mk. Тогда в силу непрерывности f (x) при . Следовательно, то есть , что и требовалось доказать.

Замечание. Так как s и S можно считать частными случаями интегральных сумм функции f (x), то =

Для любых двух разбиений данного отрезка ф1 и ф2 .

Для доказательства этого утверждения достаточно рассмотреть разбиение, включающее все точки разбиений ф1 и ф2 , и воспользоваться свойствами 1 и 3.

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

Постоянный множитель можно выносить за знак интеграла:

.

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

=

.

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

=(+) =

=.

3.Если на отрезке [a,b] (a<b) f (x) ? g (x), то .

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

, так как Отсюда следует, что .

4. Если т и М - наименьшее и наибольшее значения функции f(x) на отрезке [a,b], то

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

Так как по свойству 3 . Но следовательно, у А2 В2 Геометрическая интерпретация:

5 (Теорема о среднем). Если функция f(x) непрерывна на отрезке [a,b], то на этом отрезке найдется такая точка о, что

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

Пусть т и М - наименьшее и наибольшее значения функции f(x) на [a,b]. Тогда по свойству 4 Тогда Так как f(x) непрерывна на [a,b], она принимает на нем все промежуточные значения между т и М, то есть существует такое, что Тогда что и требовалось доказать.

Для любых трех чисел a,b,c справедливо равенство

,

если все эти интегралы существуют.

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

Пусть a < c < b. Составим интегральную сумму так, чтобы точка с была точкой деления. Тогда . Переходя к пределу при получим доказательство свойства 6.

Если a < b < c, то по только что доказанному , или . Но , поэтому . Аналогично доказывается это свойство и при любом другом расположении точек a, b и с.

Лекция 6. Интегрируемость непрерывных, кусочно-непрерывных и монотонных ограниченных функций. Производная интеграла по переменному верхнему пределу. Формула Ньютона - Лейбница

Теорема 12.1. Функция, непрерывная на отрезке, интегрируема на нем.

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

Если функция f(x) непрерывна на отрезке [a,b], то она, во-первых, ограничена на нем, а во-вторых, равномерно непрерывна, то есть такое, что Тогда для разбиения, в котором колебание , следовательно, , и по свойству 5 верхних и нижних интегральных сумм получим, что существует

Теорема 12.2. Функция, монотонная на отрезке, интегрируема на нем.

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

Пусть f(x) возрастает на [a,b]. Тогда , то есть f(x) ограничена на [a,b]. Кроме того, для любого интервала [xi-1, xi] Следовательно,

.

Поэтому , следовательно, f(x) интегрируема на [a,b].

Замечание. В теореме 12.2 не требовалась непрерывность функции. Монотонная функция может быть и разрывной, при этом она является интегрируемой по теореме 12.2.

Теорема 12.3. Если f(x) - непрерывная функция и то

(Производная от определенного интеграла по верхнему пределу равна подынтегральной функции, в которую вместо переменной интегрирования подставлено значение верхнего предела).

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

Пусть Дх - приращение аргумента х. Тогда по свойству 6 определенного интеграла

По теореме о среднем (свойство 5) где .

Поэтому

Следовательно, Но при

и вследствие непрерывности функции f(x) Таким образом, Теорема доказана.

Замечание. Из теоремы 12.3 следует, что всякая непрерывная функция имеет первообразную, так как по теореме 12.1 она интегрируема, а по теореме 12.3 ее первообразной является

Теорема 12.4. Если F(x) является первообразной непрерывной функции f(x), то справедлива формула

, (12.1)

называемая формулой Ньютона - Лейбница.

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

По теореме 12.3 - первообразная функции f(x), поэтому F(x) и отличаются на постоянное слагаемое С. Следовательно,

= F(x) + C. (12.2)

Пусть х=а, тогда из (12.2) получим = F(a) + C, то есть F(a) + C = 0, откуда

C = - F(a). Тогда = F(x) - F(a). Принимая в этом равенстве x=b, получим формулу Ньютона - Лейбница:

.

Замечание. Обычно вводится обозначение , и формула (12.1) записывается так:

алгебраический эйлер многочлен

.

Примеры.

1.

2.

Размещено на Allbest.ru

...