题目
lim x → + ∞ x 1 3 ∫ x x + 1 sin t t + cos t d t \mathop {\lim }\limits_{x \to + \infty } {x^{{1 \over 3}}}\int_x^{x + 1} {{{\sin t} \over {\sqrt {t + \cos t} }}} dt x→+∞limx31∫xx+1t+costsintdt
来源
证明
首先
∫
x
x
+
1
sin
t
t
+
cos
t
d
t
=
−
(
∫
0
x
sin
t
t
+
cos
t
d
t
−
∫
0
x
+
1
sin
t
t
+
cos
t
d
t
)
\int_x^{x + 1} {{{\sin t} \over {\sqrt {t + \cos t} }}} dt = - \left( {\int_0^x {{{\sin t} \over {\sqrt {t + \cos t} }}} dt - \int_0^{x + 1} {{{\sin t} \over {\sqrt {t + \cos t} }}} dt} \right)
∫xx+1t+costsintdt=−(∫0xt+costsintdt−∫0x+1t+costsintdt)
令
F
(
x
)
=
∫
0
x
sin
t
t
+
cos
t
d
t
F\left( x \right) = \int_0^x {{{\sin t} \over {\sqrt {t + \cos t} }}} dt
F(x)=∫0xt+costsintdt
所以
lim
x
→
+
∞
x
1
3
∫
x
x
+
1
sin
t
t
+
cos
t
d
t
=
−
lim
x
→
+
∞
x
1
3
[
F
(
x
)
−
F
(
x
+
1
)
]
=
lim
x
→
+
∞
x
1
3
F
′
(
ξ
)
=
lim
x
→
+
∞
x
1
3
sin
ξ
ξ
+
cos
ξ
\mathop {\lim }\limits_{x \to + \infty } {x^{{1 \over 3}}}\int_x^{x + 1} {{{\sin t} \over {\sqrt {t + \cos t} }}} dt = - \mathop {\lim }\limits_{x \to + \infty } {x^{{1 \over 3}}}\left[ {F\left( x \right) - F\left( {x + 1} \right)} \right] = \mathop {\lim }\limits_{x \to + \infty } {x^{{1 \over 3}}}F'\left( \xi \right) = \mathop {\lim }\limits_{x \to + \infty } {x^{{1 \over 3}}}{{\sin \xi } \over {\sqrt {\xi + \cos \xi } }}
x→+∞limx31∫xx+1t+costsintdt=−x→+∞limx31[F(x)−F(x+1)]=x→+∞limx31F′(ξ)=x→+∞limx31ξ+cosξsinξ
ξ
\xi
ξ介于
x
x
x与
x
+
1
x+1
x+1之间,根据夹逼定理可知原极限=0.