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

Определение

Если [latex]f(x)[/latex] интегрируема в промежутке [latex]\left [ a,b \right ][/latex], то она интегрируема и в промежутке [latex]\left [ b,a \right ][/latex], причем

$$\underset{a}{\overset{b}{\int}}f(x)dx=-\underset{b}{\overset{a}{\int}}f(x)dx$$

Пример

Вычислить определённый интеграл [latex]\underset{4}{\overset{-2}{\int}}(8+2x-x^{2})dx[/latex].

Преобразуем интеграл и затем применим свойство линейности интеграла.

$\underset{4}{\overset{-2}{\int}}(8+2x-x^{2})dx=\underset{-2}{\overset{4}{\int}}(8+2x-x^{2})dx=8\underset{-2}{\overset{4}{\int}}dx+2\underset{-2}{\overset{4}{\int}}xdx-\underset{-2}{\overset{4}{\int}}x^{2}dx=$$=8x|_{-2}^{4}+2\cdot \frac{1}{2}(x^{2})|_{-2}^{4}-\frac{1}{3}(x^{3})|_{-2}^{4}=48+12-24=36$.

Свойство 1

Если функция [latex]f(x)[/latex] интегрируема на отрезке [latex]\left [ a,b \right ][/latex], то она интегрируема на произвольном отрезке [latex]\left [ \alpha,\beta \right ] \subset \left [ a,b \right ][/latex].

Спойлер

Рассмотрим произвольное разбиение [latex]\tau _{\left [ \alpha ,\beta \right ]}=\left \{ x_{k} \right \}_{k=0}^{n}[/latex] отрезка [latex]\left [ \alpha,\beta \right ][/latex].  Добавив к нему [latex]\left [ a,\alpha \right ][/latex] и [latex]\left [ \beta,b \right ][/latex], мы получим разбиение  [latex]\tau _{\left [ a ,b \right ]}[/latex] отрезка  [latex]\left [ a,b \right ][/latex]. По условию интегрируемости [latex]f(x)[/latex] получим :

$$0\leq \sum_{x_{k}\in \tau_{\left [ \alpha ,\beta \right ]}}^{n}\omega _{k}\Delta x_{k}\leq \sum_{x_{k}\in \tau \left [ a ,b \right ]}\omega _{k}\Delta x_{k}\rightarrow 0$$,

когда диаметр разбиения [latex] \tau_{\left [ \alpha ,\beta \right ]}[/latex] стремится к нулю. Этот факт и доказывает наше свойство.

[свернуть]

Пример

 Ранее мы уже показали, что функция $f(x)=8+2x-x^{2}$ интегрируема на отрезке [latex]\left [ -2, 4 \right ][/latex]. Согласно первому свойству она также интегрируема на промежутке [latex]\left [ 0,2 \right ][/latex].

$\underset{0}{\overset{2}{\int}}(8+2x-x^{2})dx=8\underset{0}{\overset{2}{\int}}dx+2\underset{0}{\overset{2}{\int}}xdx-\underset{0}{\overset{2}{\int}}x^{2}dx=$$=8x|_{0}^{2}+2\cdot \frac{1}{2}(x^{2})|_{0}^{2}-\frac{1}{3}(x^{3})|_{0}^{2}=\frac{52}{3}$

 

Свойство 2 (аддитивность интеграла)

Если функция [latex]f(x)[/latex] интегрируема на отрезках  [latex]\left [ a,c \right ][/latex] и [latex]\left [ c,b \right ][/latex], то она также интегрируема на отрезке [latex]\left [ a,b \right ][/latex] и имеет место равенство

$$\underset{a}{\overset{b}{\int}}f(x)dx=\underset{a}{\overset{c}{\int}}f(x)dx+\underset{c}{\overset{b}{\int}}f(x)dx$$.

Спойлер

Пусть функция интегрируема в промежутке [latex]\left [ a,b \right ][/latex]. Интегрируемость функции в промежутках [latex]\left [ a,c \right ][/latex] и [latex]\left [ c,b \right ][/latex], следует из Свойства 1. Рассмотрим разбиение промежутка  [latex]\left [ a,b \right ][/latex] на части [latex]\tau _{\left [ \alpha ,\beta \right ]}=\left \{ x_{k} \right \}_{k=0}^{n}[/latex], причем точку  [latex]c[/latex] будем считать одной из точек деления. Составив интегральную сумму, будем иметь

$$\sum_{a}^{b}f(\xi )\Delta x=\sum_{a}^{c}f(\xi )\Delta x + \sum_{c}^{b}f(\xi )\Delta x$$

Каждая из этих сумм имеет предел, который равен соответствующему  интегралу для любых точек

$$\xi _{k}\in \left [ x_{k},x_{k-1} \right ],(k=1,2,\dots,n)$$,

когда диаметр разбиения стремится к нулю. Т.е.

$$\underset{a}{\overset{b}{\int}}f(x)dx=\underset{a}{\overset{c}{\int}}f(x)dx+\underset{c}{\overset{b}{\int}}f(x)dx$$

 

[свернуть]

Пример

Снова возьмём функцию $f(x)=8+2x-x^{2}$ и рассмотрим значения интеграла на промежутках [latex]\left [ -2, 1 \right ][/latex] и [latex]\left [ 1, 4 \right ][/latex].

$\underset{-2}{\overset{1}{\int}}(8+2x-x^{2})dx=8\underset{-2}{\overset{1}{\int}}dx+2\underset{-2}{\overset{1}{\int}}xdx-\underset{-2}{\overset{1}{\int}}x^{2}dx=$$=8x|_{-2}^{1}+2\cdot \frac{1}{2}(x^{2})|_{-2}^{1}-\frac{1}{3}(x^{3})|_{-2}^{1}=18$

$\underset{1}{\overset{4}{\int}}(8+2x-x^{2})dx=8\underset{1}{\overset{4}{\int}}dx+2\underset{1}{\overset{4}{\int}}xdx-\underset{1}{\overset{4}{\int}}x^{2}dx=$$=8x|_{1}^{4}+2\cdot \frac{1}{2}(x^{2})|_{1}^{4}-\frac{1}{3}(x^{3})|_{1}^{4}=18$

Т.е. $$\underset{a}{\overset{b}{\int}}f(x)dx=\underset{a}{\overset{c}{\int}}f(x)dx+\underset{c}{\overset{b}{\int}}f(x)dx$$.

Литература

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

Начало теста

Теорема о существовании верхней и нижней грани

Если $latex X \neq \varnothing$ и $latex X$ — ограничено сверху (снизу) в $latex \mathbb{R}$, то $latex \exists \sup X<\infty. (\exists \inf X>-\infty)$

$latex \square$ Докажем случай для supremum’а.

Пусть $latex E$ — множество всех верхних границ множества $latex X$, то есть $latex X\leq E.$ По аксиоме непрерывности $latex \exists c \in \mathbb{R}:X\leq c \leq E.$

71

$latex \left.\begin{matrix}
X\leq c\leq E; \Rightarrow X\leq c;\\X\leq c\leq E; \Rightarrow c\leq E;
\end{matrix}\right\} \Rightarrow c=\sup X<\infty.$ $latex \blacksquare$

Аналогично доказывается существование infimum’а.

Источники:

Конспект по мат.анализу (Лекции Лысенко З.М.)

В.И.Коляда, А.А.Кореновский «Курс лекций по мат.анализу, часть 1» (Одесса «Астропринт» , 2009г.), стр.8.

В.И.Ильин, Э.Г.Позняк «Основы мат.анализа, часть 1, выпуск 2» (Издание четвёртое, переработанное и дополненное, 1982г.) стр.45.

Подробнее на:

Wikiversity

Метод математической индукции

Под методом математической индукции понимают следующий способ доказательства: если требуется доказать истинность утверждения $latex P(n), \forall n \in \mathbb{N},$ то сначала проверяют данное утверждение для некоторого натурально числа $latex n_0 $, обычно $latex n_0=1$, а потом допускают истинность выражения $latex P(k).$ Далее доказывают истинность утверждения $latex P(k+1).$

Упражнение:

Доказательство одноцветности всех лошадей — ошибочное доказательство, что все лошади одного цвета, придуманное венгерским математиком Пойа. Доказательство призвано продемонстрировать ошибки, возникающие при неправильном использовании метода математической индукции.

Доказываемое утверждение: все лошади одного цвета.

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

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

База индукции:

Одна лошадь, очевидно, одного (одинакового) цвета.
Шаг индукции:
Пусть доказано, что любые $latex K $ лошадей всегда одного цвета. Рассмотрим $latex K+1 $ каких-то лошадей. Уберем одну лошадь. Оставшиеся $latex K $ лошадей одного цвета по предположению индукции. Возвратим убранную лошадь и уберем какую-то другую. Оставшиеся $latex K $ лошадей снова будут одного цвета. Значит, все $latex K+1 $ лошадей одного цвета.

Отсюда следует, что все лошади одного цвета. Утверждение доказано.

В чем ошибка?
Решение

Спойлер

Опровержение

Противоречие возникает из-за того, что шаг индукции не сообразуется с базой. Он верен лишь при $latex K \geq 2 $. При $latex K = 1 $ (база индукции) получаемые множества оставшихся лошадей не будут пересекаться, и утверждение о равенстве цветов всех лошадей сделать нельзя.

[свернуть]

Пример:

$latex 1)$ Доказать равенство: $latex 1^{2}+2^{2}+3^{2}+\cdots+n^{2}=\frac{n(n+1)(2n+1)}{6}, n\in \mathbb{N}.$

$latex \square$ $latex 1)$  $latex 1^{2}=\frac{1(1+1)(2+1)}{6}=1.$

$latex 2)$ Пусть данное утверждение верно для $latex n=k:$   $latex 1^{2}+\cdots+k^{2}=\frac{k(k+1)(2k+1)}{6}.$

$latex 3)$ Докажем истинность утверждения для $latex n=k+1.$

$latex \overbrace{1^{2}+2^{2}+\cdots+k^{2}}^{\frac{k(k+1)(2k+1)}{6}}+(k+1)^{2}= $

$latex \frac{(k+1)(k+2)(2(k+1)+1)}{6} $

$latex \frac{k(k+1)(2k+1)}{6}+(k+1)^{2}= $

$latex \frac{(k+1)(k+2)(2k+3)}{6} $

$latex \frac{k(k+1)(2k+1)+6(k+1)^{2}}{6}= $

$latex \frac{(k+1)(k+2)(2k+3)}{6} $

$latex k(2k^{2}+k+2k+1)+6(k^{2}+2k+1)= $

$latex (k+1)(2k^{2}+3k+4k+6) $

 $latex 2k^{3}+3k^{2}+k+6k^{2}+12k+6= $

$latex 2k^{3}+7k^{2}+6k+2k^{2}+7k+6 $

$latex 2k^{3}+9k^{2}+13k+6= $

$latex 2k^{3}+9k^{2}+13k+6.$   $latex \blacksquare$

$latex 2)$ Доказать, что для всех натуральных чисел $latex n$ справедливо неравенство $latex n \leq 2^{n}$.

$latex \square$ Для $latex n=1$ неравенство принимает вид $latex 1 \leq 2$, т.е. оно справедливо.

Предположим, требуемое неравенство имеет место при некотором $latex n=k$ и покажем, что оно же справедливо и для $latex n=k+1$.

Сложим предположение индукции $latex k \leq 2^{k}$ с неравенством $latex 1 \leq 2 \leq 2^{k}$. Находим $latex k+1 \leq 2^{k}+2^{k}=2^{k+1}$, что и требовалось доказать. $latex \blacksquare$

Тест "Метод математической индукции"

Тестовые вопросы по вышеизложенному материалу.

Таблица лучших: Тест "Метод математической индукции"

максимум из 3 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Список литературы:

  • Лысенко З.М. Конспект лекций по курсу математического анализа.
  • В.И.Коляда, А.А.Кореновский «Курс лекций по мат.анализу, часть 1» (Одесса «Астропринт» , 2009г.), стр.4.

 

Бином Ньютона

Бином Ньютона — формула, представляющая выражение $latex (a+b)^{n}$ при $latex n>0$  в виде:

$latex (a+b)^{n}=a^{n}+C_{n}^{1}a^{n-1}b+C_{n}^{2}a^{n-2}b^{2}+ $

$latex C_{n}^{3}a^{n-3}b^{3}+\cdots+C_{n}^{n-1}ab^{n-1}+b^{n}$,

где $latex C_{a}^{b}$ — число сочетаний из $latex a$ элементов по $latex b$ элементов.

$latex C_{n}^{k}=\frac {n!}{k!(n-k)!}$.

Докажем верность данного утверждения:

$latex \square$ Доказательство методом математической индукции.

$latex 1)$ Для $latex n= 1 $ :

$latex a+b=C_{1}^{0}a^{1-0}b^{0}+C_{1}^{1}a^{1-1}b^{1}= $

$latex a*1+b*1=a+b.$

Для $latex n=1$ утверждение выполняется.

$latex 2)$ Предположим, что утверждение выполняется для $latex n=k$.

$latex (a+b)^{k}=C_{k}^{0}a^{k-0}b^{0}+C_{k}^{1}a^{k-1}b^{1}+ $

$latex C_{k}^{2}a^{k-2}b^{2}+\cdots+C_{k}^{k-1}a^{1}b^{k-1}+C_{k}^{k}a^{0}b^{k}=$

$latex a^{k}+C_{k}^{1}a^{k-1}b+C_{k}^{2}a^{k-2}b^{2}+\cdots+$

$latex C_{k}^{k-1}a^{1}b^{k-1}+b^{k}=\sum\limits_{i=0}^{k}C_{k}^{i}a^{k-i}b^{i}.$

$latex 3)$ Докажем верность формулы для $latex n=k+1$.

Докажем, что $latex (a+b)^{k+1}=\sum\limits_{i=0}^{k+1}C_{k}^{i}a^{k-i+1}b^{i}$.

$latex (a+b)^{k+1}=(a+b)(a+b)^{k}= $

$latex (a+b)\sum\limits_{i=0}^{k}C_{k}^{i}a^{k-i}b^{i}= $

$latex \sum\limits_{i=0}^{k}C_{k}^{i}a^{k-i+1}b^{i}+\sum\limits_{i=0}^{k}C_{k}^{i}a^{k-i}b^{i+1}$

Вынесем слагаемое при $latex i=0$ из первой суммы:

$latex \sum\limits_{i=0}^{k}C_{k}^{i}a^{k-i+1}b^{i} = a^{k+1}+\sum\limits_{i=1}^{k}C_{k}^{i}a^{k-i+1}b^{i}$

Вынесем слагаемое при $latex i=k$ из последней суммы:

$latex \sum\limits_{i=0}^{k}C_{k}^{i}a^{k-i}b^{i+1}= $

$latex b^{k+1} + \sum\limits_{i=0}^{k-1}C_{k}^{i}a^{k-i}b^{i+1}= $

$latex b^{k+1}+\sum\limits_{i=1}^{k}C_{k-1}^{i}a^{k-i+1}b^{i}$

Прибавим данные суммы:

$latex=a^{k+1}+\sum\limits_{i=1}^{k}C_{k}^{i}a^{k-i+1}b^{i}+ $

$latex b^{k+1}+\sum\limits_{i=1}^{k}C_{k-1}^{i}a^{k-i+1}b^{i}=$

$latex =a^{k+1}+b^{k+1}+ $

$latex \sum\limits_{i=1}^{k}(C_{k}^{i}+C_{k}^{i-1})a^{k-i+1}b^{i}=$

$latex =\sum\limits_{i=0}^{0}C_{k+1}^{i}a^{k-i+1}b^{i}+$

$latex \sum\limits_{i=k+1}^{k+1}C_{k+1}^{i}a^{k-i+1}b^{i}+$

$latex \sum\limits_{i=1}^{k}C_{k+1}^{i}a^{k-i+1}b^{i}=$

$latex =\sum\limits_{i=0}^{k+1}C_{k+1}^{i}a^{k-i+1}b^{i}$ $latex \blacksquare$

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

552

Примеры:

$latex 1)$ $latex (a+b)^{3}=a^{3}+3a^{2}b+\frac{3!}{1!*2!}ab^{2}+b{3}= $

       $latex a^{3}+3a^{2}b+3ab^{2}+b^{3}.$

$latex 2)$ $latex (a+b+c)^{4}=?$

$latex (a+b+c)^{4}=(a+(b+c))^{4}= $

$latex a^{4}+a^{3}(b+c)\frac{4!}{3!}+a^{2}(b+c)^{2}\frac{4!}{2!2}+ $

$latex a(b+c)^{3}\frac{4!}{3!}+(b+c)^{4}= $

$latex a^{4}+a^{3}b\frac{4!}{3!}+a^{3}c\frac{4!}{3!}+a^{2}b^{2}\frac{4!}{2!2!}+2a^{2}bc\frac{4!}{2!}+ $

$latex a^{2}c^{2}\frac{4!}{2!2!}+ab^{3}\frac{4!}{3!}+3ab^{2}c\frac{4!}{1*2*3}+$

$latex +3abc^{2}\frac{4!}{1*2*3}+ac^{3}\frac{4!}{3!}+ $

$latex b^{4}+b^{3}c\frac{4!}{3!}+b^{2}c^{2}\frac{4!}{2!2!}+bc^{3}\frac{4!}{3!}+c^{4}=$

$latex =a^{4}+b^{4}+c^{4}+4(a^{3}b+a^{3}c+b^{3}c)+ $

$latex 6(a^{2}b^{2}+a^{2}c^{2}+b^{2}c^{2})+4(b^{3}a+c^{3}a+ c^{3}b)+ $

$latex 12(a^{2}bc+b^{2}ac+c^{2}ab).$

Список литературы:

Тест "Бином Ньютона"

Тестовые вопросы по вышеизложенной теме.

Таблица лучших: Тест "Бином Ньютона"

максимум из 3 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

 

Теорема Ферма о корне производной

Формулировка

Если функция имеет локальный экстремум в точке [latex]x_{0}[/latex] и дифференцируема в этой точке, то [latex]f'(x_{0})=0[/latex]

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

Пусть, например, функция имеет локальный минимум в точке [latex]x_{0}.[/latex] Тогда, по определению локального минимума для всех [latex]x\in(x_{0}-\delta , x_{0}+\delta )[/latex] выполняется неравенство [latex]f(x)-f(x_{0})\geq 0.[/latex]
Если [latex]x\in(x_{0}-\delta ,x_{0}) ,[/latex] то [latex]x-x_{0}< 0,[/latex] тогда из условия [latex]f(x)-f(x_{0})\geq 0[/latex] следует, что
[latex]\frac{f(x)-f(x_{0})}{x-x_{0}}\leq 0,[/latex]
а если [latex]x\in (x_{0},x_{0}+\delta ),[/latex] то выполняется неравенство
[latex]\frac{f(x)-f(x_{0})}{x-x_{0}}\geq 0.[/latex]
Так как функция f предел при [latex]x\rightarrow x_{0}[/latex] в левой части неравенства [latex]\frac{f(x)-f(x_{0})}{x-x_{0}}\leq 0[/latex], равный [latex]f_{-}^{‘}(x_{0})=f'(x_{0}).[/latex] По свойствам пределов из [latex]\frac{f(x)-f(x_{0})}{x-x_{0}}\leq 0[/latex] следует, что
[latex]f'(x_{0})\leq 0.[/latex]
Аналогично, переходя к пределу в неравенстве [latex]\frac{f(x)-f(x_{0})}{x-x_{0}}\geq 0[/latex] получаем
[latex]f'(x_{0})\geq 0.[/latex]
Из неравенств [latex]f'(x_{0})\leq 0[/latex] и [latex]f'(x_{0})\geq 0[/latex] следует, что [latex]f'(x_{0})=0.[/latex]

Пример

Функция [latex]f(x)=x^{2}[/latex] имеет на отрезке [-1,1] точку минимума [latex]x_{0}=0.[/latex] Производная функция существует при всех x: [latex]f'(x)=2x.[/latex] В точке минимума производная действительно оказывается равной 0. [latex]f'(x_{0})=f'(0)=0,[/latex] так что утверждение теоремы Ферма выполнено.

ferma

Литература

  • Конспект лекций Лысенко З.М.
  • Тер-Крикоров А.М., Шабунин М.И., Курс математического анализа, физмат-лит, 1988. стр.164-165
  • Демидович Б.П., Сборник задач и упражнений по математическому анализу, М., Наука, 1981. стр.134-140
  • www.pm298.ru
  • www.bymath.net