(1)
f(x)=exsinx+cosx=(sinx+cosx)e−x とおく。積の微分法により f′(x)=(cosx−sinx)e−x+(sinx+cosx)(−e−x)=e−x{(cosx−sinx)−(sinx+cosx)}=−2sinxe−x=−ex2sinx. よって f′(x)=−ex2sinx……(答) これは dxd(−21f(x))=exsinx を意味するから ∫exsinxdx=−21⋅exsinx+cosx+C(Cは積分定数)……(答) 【検算】右辺を微分すると −21f′(x)=−21(−ex2sinx)=exsinx となり,もとの被積分関数と一致する。
(2)
以後 F(x)=−2exsinx+cosx とする((1)で得た不定積分)。
2nπ≦x≦(2n+1)π では x=2nπ+t(0≦t≦π)とおくと sinx=sint≧0 であり,ex>0 だから y=exsinx≧0。したがってこの区間で曲線 C は x 軸の下に出ないので,面積は絶対値を付けずそのまま定積分で求まる: an=∫2nπ(2n+1)πexsinxdx=F((2n+1)π)−F(2nπ). sin(2nπ)=0, cos(2nπ)=1, sin((2n+1)π)=0, cos((2n+1)π)=−1 であるから F(2nπ)=−2e2nπ0+1=−21e−2nπ,F((2n+1)π)=−2e(2n+1)π0+(−1)=21e−(2n+1)π. したがって an=21e−(2n+1)π+21e−2nπ=21+e−πe−2nπ=21+e−π(e−2π)n. これは初項 a0=21+e−π,公比 r=e−2π(0<r<1)の等比数列であるから,無限等比級数 k=0∑∞ak は収束し n→∞limSn=1−ra0=1−e−2π21+e−π. 1−e−2π=(1−e−π)(1+e−π) であるから n→∞limSn=2(1−e−π)(1+e−π)1+e−π=2(1−e−π)1 (=2(eπ−1)eπ)……(答) 【検算】a0=∫0πsinxe−xdx=F(π)−F(0) を直接計算すると,F(π)=21e−π, F(0)=−21 より a0=21+e−π となり一般項の式(n=0)と一致する。また e−π≒0.0432 とすると n→∞limSn≒0.523 で,これは a0≒0.522 よりわずかに大きく,正の項からなる収束級数として自然な大小関係になっている。
(3)
回転体の体積は Vn=π∫0nπ(exsinx)2dx=π∫0nπsin2xe−2xdx. 二倍角の公式 sin2x=21−cos2x を用いると ∫sin2xe−2xdx=21∫e−2xdx−21∫e−2xcos2xdx. J=∫e−2xcos2xdx, K=∫e−2xsin2xdx とおき,部分積分を2回行うと J=−21e−2xcos2x−K,K=−21e−2xsin2x+J を得る。これを J について解くと 2J=−21e−2xcos2x+21e−2xsin2x,J=4e−2x(sin2x−cos2x)+C. 【検算】dxd4e−2x(sin2x−cos2x)=e−2xcos2x となることは直接微分すれば確かめられる。
よって ∫sin2xe−2xdx=−4e−2x−8e−2x(sin2x−cos2x)+C=−8e−2x(2+sin2x−cos2x)+C=:G(x). sin(2nπ)=0, cos(2nπ)=1 だから G(nπ)G(0)=−8e−2nπ(2+0−1)=−8e−2nπ,=−81⋅(2+0−1)=−81. ゆえに ∫0nπsin2xe−2xdxVn=G(nπ)−G(0)=81−e−2nπ,=8π(1−e−2nπ). n→∞ のとき e−2nπ→0 であるから n→∞limVn=8π……(答) 【検算】G′(x)=sin2xe−2x となることは直接微分して確認済み。また Vn=8π(1−e−2nπ) は n について単調に増加しながら 8π に近づく形をしており,回転体の体積が有界な値に収束するという設問の設定と整合する。数値積分によっても ∫0∞sin2xe−2xdx≈0.125=81 であることが確認できる。