689
правок
Изменения
м
пофиксил опечатки
== Определение ==
Пусть имеется [[Отображения|функция]] <tex>y = f(x)</tex>, заданная на <tex>[a; b]</tex>. Требуется найти функцию {{Определение|definition=Функция <tex>F(x)</tex>, такуютакая, что <tex>F'(x) = f(x) \ \forall x \in [a; b]</tex>. Любая такая функция , называется '''первообразной ''' <tex>f</tex>.}}
{{Утверждение
Если <tex>F_1' = f, F_2' = f</tex>, то <tex>F_2 = F_1 + \mathrm{const}</tex>
|proof=
Пусть <tex>g(x) = F_2(x) - F_1(x)</tex>. <tex>F_1, F_2</tex> непрерывны(так как они имеют производную), следовательно, непрерывна и <tex>g</tex>, и можно применить теорему Лагранжа:
:<tex>g(x_2) - g(x_1) = g'(c)(x_2 - x_1)</tex>, но <tex>g' = F_2' - F_1' = 0</tex>.
Таким образом, <tex>g(x_2) = g(x_1) \ \forall x_1, x_2 \in [a; b]</tex>.
}}
:<tex>\int f(x)dx = F(x) + C</tex>.
Также принято там, где нужно принимать , понимать под <tex>\int f(x)dx</tex> конкретную первообразную.
В некотором смысле, операции [[Дифференциал и производная|дифференцирования]] и взятия неопределённого интеграла взаимно обратны:
Развивая теорию Римана, мы получим, что если <tex>f</tex> непрерывна на <tex>[a; b]</tex>, то у неё существует неопределённый интеграл.
Условие долстаточноедостаточное, и не описывает все функции, у которых существует первообразная, например:
:<tex>f(x) = \begin{cases}0 & x = 0\\ x^2 \sin \frac 1x & x \ne 0\end{cases}</tex>
:<tex>f'(x) = 2x \sin \frac 1x - \cos \frac 1 x, \qquad x \ne 0</tex>
