Дифференцируемые в промежутке [latex]\bigtriangleup[/latex] функции [latex]F(x)[/latex] и [latex]G(x)[/latex] будут в этом промежутке первообразными одной и той же функции [latex]f(x)[/latex] тогда и только тогда, когда разность их значений для любого [latex]x\in\bigtriangleup[/latex] постоянна.
[latex]F(x)-G(x)=C=const[/latex]
Спойлер
Пусть [latex]F(x)[/latex] — некоторая первообразная функции [latex]f(x)[/latex] в промежутке [latex]\bigtriangleup[/latex]. Следовательно, по определению [latex]F'(x)=f(x)[/latex]. Но тогда и функция [latex]G(x)=F(x)-C[/latex] ([latex]C=const[/latex]) также является промежутке первообразной функции [latex]f(x)[/latex] в этом промежутке , поскольку [latex]G'(x)=(F(x)-C)’=F'(x)=f(x)[/latex].
Пусть [latex]F(x)-G(x)=H(x)[/latex]. Найдем производную
[latex]H'(x)=(F(x)-G(x))’=F'(x)-G'(x)=f(x)-f(x)=0[/latex]
Но в силу признака постоянства дифференцируемой функции, вытекающего из теоремы Лагранжа, равенство [latex]H'(x)=0[/latex] означает, что [latex]H(x)=F(x)-G(x)=C=const[/latex].
Итак, доказана эквивалентность тому, что функция [latex]F(x)[/latex] и [latex]G(x)[/latex] могут быть первообразными лишь одной и той же функции.
[свернуть]
Литература.
- Зарубин В.С., Интегральное исчисление функций одного переменного. — М.: Изд-во МГТУ им. Н.Э. Баумана, 1999., Стр. 15
Тест
Теорема о разнице двух первообразных
Таблица лучших: Теорема о разнице двух первообразных
максимум из 1 баллов
Место
Имя
Записано
Баллы
Результат
Таблица загружается
Пусть [latex]F(x)[/latex] — некоторая первообразная функции [latex]f(x)[/latex] в промежутке [latex]\bigtriangleup[/latex]. Следовательно, по определению [latex]F'(x)=f(x)[/latex]. Но тогда и функция [latex]G(x)=F(x)-C[/latex] ([latex]C=const[/latex]) также является промежутке первообразной функции [latex]f(x)[/latex] в этом промежутке , поскольку [latex]G'(x)=(F(x)-C)’=F'(x)=f(x)[/latex].
Пусть [latex]F(x)-G(x)=H(x)[/latex]. Найдем производную
[latex]H'(x)=(F(x)-G(x))’=F'(x)-G'(x)=f(x)-f(x)=0[/latex]
Но в силу признака постоянства дифференцируемой функции, вытекающего из теоремы Лагранжа, равенство [latex]H'(x)=0[/latex] означает, что [latex]H(x)=F(x)-G(x)=C=const[/latex].
Итак, доказана эквивалентность тому, что функция [latex]F(x)[/latex] и [latex]G(x)[/latex] могут быть первообразными лишь одной и той же функции.
Теорема о разнице двух первообразных
Таблица лучших: Теорема о разнице двух первообразных
Место | Имя | Записано | Баллы | Результат |
---|---|---|---|---|
Таблица загружается |