f(x)=0 は
exsin(ex)=0 と同値である。
ex>0 なので
ex=nπ(
n=1,2,3,⋯)となり、共有点は
An=(log(nπ),0) である。したがって
an=log(nπ).(1) 区間
an<x<an+1 では
ex は
nπ から
(n+1)π まで動き、
sin(ex) の符号は一定である。置換
t=ex により
Sn=∫anan+1∣exsin(ex)∣dx=∫nπ(n+1)π∣sint∣dt=∫0πsintdt=2.(2) 導関数は
f′(x)=exsin(ex)+e2xcos(ex).x=an では
ean=nπ かつ
sin(nπ)=0、
cos(nπ)=(−1)n なので
f′(an)=(−1)n(nπ)2.接線は
y=(−1)n(nπ)2(x−an)。
an=log(nπ)>0 であるため、この直線と両座標軸が作る三角形の面積は
Tn=21an(−1)n+1(nπ)2an=21(nπ)2{log(nπ)}2.よって
TnTn+1=(nn+1)2{log(nπ)log((n+1)π)}2=(1+n1)2{1+log(nπ)log(1+1/n)}2⟶1.(3)
Bn では
∣f(x)∣=ex だから
∣sin(ex)∣=1。区間
nπ<ex<(n+1)π 内では、これを満たすのは
ex=(n+21)π のみである。したがって
Bn=(log((n+21)π),(n+21)π).三角形の底辺
AnAn+1 は
x 軸上にあり、その長さは
log(1+1/n)、高さは
Bn の
y 座標である。ゆえに
Un=4(2n+1)πlog(1+n1).また
n+11<log(1+n1)<n1である。これは
log(1+1/n)=∫01/n(1+t)−1dt において被積分関数が
1/(1+1/n) と
1 の間にあることから従う。両辺に
2n+1 を掛けると上下とも2に近づくので
n→∞limUn=4π⋅2=2π.