Изменения

= ПРОЧИТАТЬ И ДОРАБОТАТЬ =Утверждение ==

По предыдущему утверждению, <tex>\frac1{b - a} \int\limits_a^b f\in [m; M]</tex> и в силу непрерывности <tex>f</tex> по теореме Коши подходящее <tex>c</tex> найдётся.

=== Свойство 1 №1 ===

Так как <tex>f</tex> {{---}} ограничена(в силу [[Определение интеграла Римана, значитпростейшие свойства#utv1 |этого утверждения]]), то <tex>\exists M: \ |f| \leq M</tex>.

Тогда <tex>|F(x + \Delta x) - F(x)| = </tex> <tex>\left|\int\limits_x^{x + \Delta x}f\right| = </tex> <tex>\leqslant M |\Delta x| \Rightarrow</tex> <tex>F</tex> {{---}} непрерывна.

Пусть <tex>F f \in \mathcal{R}(a, b)</tex> и непрерывна в <tex>x_0 \in (a; b)</tex>.

Тогда <tex>F</tex> дифференцируема в этой точке и её производная равна <tex>F'(x_0) = f(x_0)</tex>.

Приращение <tex>F(x_0 + \Delta x) - F(x_0) = \int\limits_{x_0}^{x_0 + \Delta x} f(x)dx</tex>

<tex>\forall \varepsilon > 0 \ \exists \delta > 0</tex> (при <tex>|x - x_0| < \delta </tex> в силу непрерывости непрерывности в точке <tex>x_0</tex>) выполняется <tex>: |x - x_0| < \delta \Rightarrow f(x_0) - \varepsilon < f(x) < f(x_0) + \varepsilon</tex>

Рассмотрим <tex> |\Delta x| < \delta </tex>. По первому утверждению получаем:<tex>\forall |\Delta x| < \delta, \Delta x > 0: \quad f(x_0) - \varepsilon \leq leqslant \frac1{\Delta x} \int\limits_{x_0}^{x_0 + \Delta x} f \leq leqslantf(x_0) + \varepsilon</tex>

Так как Устремляя <tex>\varepsilon \to 0</tex>, получаем <tex>\frac{\Delta F(x_0, \Delta x)}{\Delta x} \to f(x_0)</tex>

==== Следствие Важное следствие ====

Так как <tex>f</tex> {{---}} интегрируема, то <tex>\forall \tau \ \int\limits_a^b f = </tex> (равен пределу интегральных сумм)при любой системе промежуточных точек для <tex>\tau</tex>.

<tex>F(b) - F(a) = \sum\limits_{k = 0}^{n - 1} F(x_{k + 1}) - F(x_k)</tex>. Так как <tex>F</tex> дифференцируема, то в каждой скобке применим , применив для каждого промежутка из разбиения формулу Лагранжа, получим:

<tex>\operatorname{rang} \tau \to 0</tex>, следовательно, правая часть стремится к интегралу, левая {{---}} постоянна. Значит, в пределе, получаем нужную формулу.

|proof}} == Формулы ==Применяя формулу Ньютона-Лейбница:1. Интегрируя === Вычисление определенного интеграла по частям определённого интеграла=== <tex>\int\limits_a^b u(x) d v({{TODOx) = uv|t=кто вообще додумался такое сказать? я не знаю, что должно тут быть...}}_a^b - \int\limits_a^b v(x) d u(x)</tex>

<tex>\int\limits_a^b u(x)d x v(x) = uv|_a^b - \int\limits_a^b v(x d d(x))</tex>== Вычисление определенного интеграла сложной функции ===

2. <tex>y {{Утверждение|id = f(x), \ x \in (a; b) \quad x formula2|statement= \phi(t), \ t\in[\alpha; \beta]</tex>Пусть

<tex>\phiy = f(tx) , \ x \in [(a; b]</tex>, <tex>b ) \quad x = \phivarphi(t_1t)</tex>, <tex>a = \phi(t_2)t\in[\alpha; \beta]</tex> ({{TODO|t=тут проверить и исправить}})

Существует интеграл <tex>\phivarphi(t) \in [a; b]</tex>, <tex>b = \int\limits_{t_1}^{varphi(t_2} f(\phi(t)) </tex>, <tex>a = \phi'varphi(tt_1) d t</tex>

Тогда <tex>\quad \exists \varphi'(t) \Rightarrow \int\limits_a^b f(x) d x = \int\limits_{t_1}^{t_2} f(\varphi(t)) \varphi'(t) d t</tex>|proof =Монотонность <tex>\phivarphi</tex> не требуется. Это связано с тем, что мы вычисляем определённый интеграл, то есть число.<!--(число{{TODO|t=что за бреееед????}}).Все нормально-->

Пусть выполняются все условия для этой формулы.({{TODO|t=что за бреееед????}}) Как правило, в этих формулах считается, что все функции непрерывны.

<tex>f</tex> {{---}} непрерывнана <tex>[a,b]</tex>. Значит, <tex>\exists F: \ F' = f</tex>

<tex>G(t) = F(\phivarphi(t))</tex>

<tex>G'(t) = F'(x) \phivarphi'(t) = f(\phivarphi(t)) \phivarphi'(t)</tex>

<tex>\int\limits_{t_1}^{t_2} f(\phivarphi(t)) \phivarphi'(t) dt = </tex> <tex>G(t_2) - G(t_1) =</tex> <tex>F(\phivarphi(t_2)) - F(\phivarphi(t_1)) = </tex> <tex>F(b) - F(a)</tex>