Если latexf,g∈R[a;b], то latex∀α,β∈Rlatexφ(x)=αf+βg∈R[a;b]latexb∫a(αf(x)+βg(x))dx=αb∫af(x)dx+βb∫ag(x)dx.
Доказательство:
Пусть latexδT(ξ,f),δT(ξ,g),δT(ξ,φ) — интегральные суммы для соответствующих функций, тогда: latexδT(ξ,φ)=αδT(ξ,f)+βδT(ξ,g). Если latexλ(T)→0, то latexαδT(ξ,t)→αb∫af(x)dx,latexβδT(ξ,g)→βb∫ag(x)dx.
Пусть функцииlatexf(x) и latexg(x) удовлетворяют следующим условиям:
latexf,g∈R[a,b]
latex∃m,M:m⩽f(x)⩽M∀x∈[a,b]
latexg(x) не меняет знак на latex[a,b]
Тогда
latex∃μ∈[m,M]:∫baf(x)g(x)dx=μ∫bag(x)dx.
Спойлер
latexНе ограничивая общности рассуждений рассмотрим случай latexg(x)⩾0 на latex[a,b].
Домножив все части неравенства latexm⩽f(x)⩽M на latexg(x), получим
Если latex∫bag(x)dx=0, то и latex∫baf(x)g(x)dx=0, тогда latexμ — любое из отрезкаlatex[a,b]. Пусть, далее, latex∫bag(x)dx≠0. Разделим все части неравенства на latex∫bag(x)dx>0, будем иметь
latexm⩽∫baf(x)g(x)dx∫bag(x)dx⩽M.
Обозначим
latex∫baf(x)g(x)dx∫bag(x)dx=μ.
Получили, что latexμ∈[a,b] и latex∫baf(x)g(x)dx=μ∫bag(x)dx. Случай latexg(x)⩽0 доказывается аналогично.latex
[свернуть]
Следствие
Если latexf(x)непрерывна на latex[a,b], latexg∈R[a,b] и не меняет знак на latex[a,b], то latex∃c∈[a,b]:∫baf(x)g(x)dx=f(c)∫bag(x)dx. В частности, если latexg(x)=1, то