题目
∫ 0 1 arctan x 1 + x d x \int_0^1 {{{\arctan x} \over {1 + x}}dx} ∫011+xarctanxdx
来源
证明
∫
0
1
arctan
x
1
+
x
d
x
=
∫
0
1
arctan
x
d
ln
(
1
+
x
)
=
ln
(
1
+
x
)
arctan
x
∣
0
1
−
∫
0
1
ln
(
1
+
x
)
1
+
x
2
d
x
=
ln
2
4
π
−
∫
0
1
ln
(
1
+
x
)
1
+
x
2
d
x
\int_0^1 {{{\arctan x} \over {1 + x}}dx} = \int_0^1 {\arctan xd\ln \left( {1 + x} \right)} = \left. {\ln \left( {1 + x} \right)\arctan x} \right|_0^1 - \int_0^1 {{{\ln \left( {1 + x} \right)} \over {1 + {x^2}}}dx} = {{\ln 2} \over 4}\pi - \int_0^1 {{{\ln \left( {1 + x} \right)} \over {1 + {x^2}}}dx}
∫011+xarctanxdx=∫01arctanxdln(1+x)=ln(1+x)arctanx∣01−∫011+x2ln(1+x)dx=4ln2π−∫011+x2ln(1+x)dx其中
∫
0
1
ln
(
1
+
x
)
1
+
x
2
d
x
=
x
=
tan
t
∫
0
π
4
ln
(
1
+
tan
x
)
d
x
=
x
+
t
=
π
4
∫
0
π
4
ln
[
1
+
tan
(
π
4
−
x
)
]
d
x
=
ln
2
4
π
−
∫
0
π
4
ln
(
1
+
tan
x
)
d
x
\int_0^1 {{{\ln \left( {1 + x} \right)} \over {1 + {x^2}}}dx} \mathop = \limits^{x = \tan t} \int_0^{{\pi \over 4}} {\ln \left( {1 + \tan x} \right)dx} \mathop = \limits^{x + t = {\pi \over 4}} \int_0^{{\pi \over 4}} {\ln \left[ {1 + \tan \left( {{\pi \over 4} - x} \right)} \right]dx} = {{\ln 2} \over 4}\pi - \int_0^{{\pi \over 4}} {\ln \left( {1 + \tan x} \right)dx}
∫011+x2ln(1+x)dx=x=tant∫04πln(1+tanx)dx=x+t=4π∫04πln[1+tan(4π−x)]dx=4ln2π−∫04πln(1+tanx)dx
得
∫
0
π
4
ln
(
1
+
tan
x
)
d
x
=
ln
2
8
π
\int_0^{{\pi \over 4}} {\ln \left( {1 + \tan x} \right)dx} = {{\ln 2} \over 8}\pi
∫04πln(1+tanx)dx=8ln2π因此
∫
0
1
arctan
x
1
+
x
d
x
=
ln
2
8
π
.
\int_0^1 {{{\arctan x} \over {1 + x}}dx} = {{\ln 2} \over 8}\pi.
∫011+xarctanxdx=8ln2π.