מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
משפט : יהו
f
,
g
{\displaystyle f,g}
פונקציות גזירות בקטע
[
a
,
b
]
{\displaystyle [a,b]}
, כך ש
f
(
x
)
g
′
(
x
)
{\displaystyle f(x)g'(x)}
אינטגרבילית בקטע. אז
f
′
(
x
)
g
(
x
)
{\displaystyle f'(x)g(x)}
אינטגרבילית בקטע, ומתקיים
∫
a
b
f
′
(
x
)
g
(
x
)
d
x
=
f
(
x
)
g
(
x
)
|
a
b
−
∫
a
b
f
(
x
)
g
′
(
x
)
d
x
{\displaystyle \int _{a}^{b}f'(x)g(x)dx=f(x)g(x)|_{a}^{b}-\int _{a}^{b}f(x)g'(x)dx}
, כאשר
h
(
x
)
|
a
b
=
h
(
b
)
−
h
(
a
)
{\displaystyle h(x)|_{a}^{b}=h(b)-h(a)}
.
מכלל המכפלה לנגזרות נקבל
(
f
(
x
)
g
(
x
)
)
′
=
f
′
(
x
)
g
(
x
)
+
f
(
x
)
g
′
(
x
)
{\displaystyle (f(x)g(x))'=f'(x)g(x)+f(x)g'(x)}
, כלומר
f
′
(
x
)
g
(
x
)
=
(
f
(
x
)
g
(
x
)
)
′
−
f
(
x
)
g
′
(
x
)
{\displaystyle f'(x)g(x)=(f(x)g(x))'-f(x)g'(x)}
. לפונקציה
(
f
(
x
)
g
(
x
)
)
′
{\displaystyle (f(x)g(x))'}
יש פונקציה קדומה
f
(
x
)
g
(
x
)
{\displaystyle f(x)g(x)}
, לכן היא אינטגרבילית, ומתקיים
∫
a
b
(
f
(
x
)
g
(
x
)
)
′
d
x
=
f
(
x
)
g
(
x
)
|
a
b
{\displaystyle \int _{a}^{b}(f(x)g(x))'dx=f(x)g(x)|_{a}^{b}}
. כמו כן מהנתון
f
(
x
)
g
′
(
x
)
{\displaystyle f(x)g'(x)}
אינטגרבילית, ומילינאריות האינטגרל נקבל
∫
a
b
(
(
f
(
x
)
g
(
x
)
)
′
−
f
(
x
)
g
′
(
x
)
)
d
x
=
f
(
x
)
g
(
x
)
|
a
b
−
∫
a
b
f
(
x
)
g
′
(
x
)
d
x
{\displaystyle \int _{a}^{b}((f(x)g(x))'-f(x)g'(x))dx=f(x)g(x)|_{a}^{b}-\int _{a}^{b}f(x)g'(x)dx}
. אלא שמתקיים
f
′
(
x
)
g
(
x
)
=
(
f
(
x
)
g
(
x
)
)
′
−
f
(
x
)
g
′
(
x
)
{\displaystyle f'(x)g(x)=(f(x)g(x))'-f(x)g'(x)}
, לכן
∫
a
b
f
′
(
x
)
g
(
x
)
d
x
=
f
(
x
)
g
(
x
)
|
a
b
−
∫
a
b
f
(
x
)
g
′
(
x
)
d
x
{\displaystyle \int _{a}^{b}f'(x)g(x)dx=f(x)g(x)|_{a}^{b}-\int _{a}^{b}f(x)g'(x)dx}
.