题目
Problem
(a) Use the definitions of hyperbolic functions in terms of exponentials to prove that
1−sech2x≡tanh2x
In=∫031ln2tanhn(3x)dxn∈Z, n≥0
(b) Show that
In=In−2−3(n−1)pn−1n≥2
where p is a rational number to be determined.
(c) Hence determine the exact value of
∫031ln2tanh5(3x)dx
giving your answer in the form alnb+c where a, b and c are rational numbers to be found.
(11)
题目中文翻译
(a) 利用指数形式的双曲函数定义证明
1−sech2x≡tanh2x
In=∫031ln2tanhn(3x)dxn∈Z, n≥0
(b) 证明
In=In−2−3(n−1)pn−1n≥2
其中 p 为待定有理数。
(c) 因此求
∫031ln2tanh5(3x)dx
的精确值,答案写成 alnb+c 的形式,其中 a、b 和 c 为待定有理数。
解答
(a)
解法一:从左边直接化简
思路
展开
把 sechx 写成指数形式并通分。分子展开后恰好是 (ex−e−x)2,因而整个分式就是 tanh2x。
答题过程
展开
Using
sechx=ex+e−x2,
we have
1−sech2x======1−(ex+e−x)24(ex+e−x)2(ex+e−x)2−4(ex+e−x)2e2x−2+e−2x(ex+e−x)2(ex−e−x)2(ex+e−xex−e−x)2tanh2x.
Hence
1−sech2x≡tanh2x.
解法二:使用平方差
思路
展开
先把 1−sech2x 分解成平方差,再分别代入 sechx 的指数定义。两个分子的乘积可再次用平方差合并。
答题过程
展开
By the difference of two squares,
1−sech2x===⋅===(1+sechx)(1−sechx)(1+ex+e−x2)(1−ex+e−x2)ex+e−xex+e−x+2ex+e−xex+e−x−2(ex+e−x)2(ex+e−x)2−4(ex+e−x)2(ex−e−x)2tanh2x.
Therefore,
1−sech2x≡tanh2x.
解法三:从右边化简
思路
展开
从 tanh2x 的指数定义出发,把分子 (ex−e−x)2 改写成分母 (ex+e−x)2 减去 4,便能拆成 1−sech2x。
答题过程
展开
Using the exponential definition of tanhx,
tanh2x====(ex+e−x)2(ex−e−x)2(ex+e−x)2(ex+e−x)2−41−(ex+e−x2)21−sech2x.
Thus
1−sech2x≡tanh2x.
(b)
解法一
思路
展开
从 tanhn(3x) 中拆出 tanh2(3x),再使用 (a) 的恒等式。第一项成为 In−2;第二项令 u=tanh(3x) 后可以直接积分。最后用指数定义精确计算上限处的双曲正切值,从而确定 p。
答题过程
展开
Let
L=31ln2.
For n⩾2, use the identity from part (a):
In==−=−∫0Ltanhn−2(3x)tanh2(3x)dx∫0Ltanhn−2(3x)dx∫0Ltanhn−2(3x)sech2(3x)dxIn−2∫0Ltanhn−2(3x)sech2(3x)dx.
Let u=tanh(3x). Then
du=3sech2(3x)dx,
so
∫tanhn−2(3x)sech2(3x)dx===31∫un−2du3(n−1)un−13(n−1)tanhn−1(3x).
At the upper limit, 3L=ln2, and
tanh(ln2)===eln2+e−ln2eln2−e−ln22+212−2153,
while tanh0=0. Therefore,
In=−=In−23(n−1)1[tanhn−1(3x)]0LIn−2−3(n−1)(3/5)n−1.
Thus the required recurrence relation is
In=In−2−3(n−1)pn−1
where
p=53.
(c)
解法一
思路
展开
本小题必须承接 (b):先用递推式把 I5 化成 I3,再把 I3 化成 I1。最后直接积分 I1,并用 cosh(ln2)=5/4 求出对数项。
答题过程
展开
Using the reduction formula from part (b),
I5=I3=I3−3(5−1)(3/5)4,I1−3(3−1)(3/5)2.
Hence
I5=−I1−6(3/5)212(3/5)4.
Also,
I1===∫0Ltanh(3x)dx31[ln(cosh3x)]0L31ln(cosh(ln2)).
Since
cosh(ln2)===2eln2+e−ln222+2145.
we obtain
I5==31ln45−1509−75008131ln45−2500177.
Therefore,
31ln45−2500177.
Thus a=31, b=45 and c=−2500177.