f(x)=sin(x+a), g(x)=sin(x−a) とおくと,
f(x)−g(x)=2sinacosx≧0(−2π≦x≦2π).また,
f(−x)=−g(x), g(−x)=−f(x) であるから,
x と
−x における縦線分を
x 軸のまわりに回転してできる断面積は等しい。回転断面積を
πQ(x) とおけば,体積は
V=2π∫0π/2Q(x)dxである。
まず
0<a≦2π とする。
0≦x≦a では
g(x)≦0≦f(x) であり,
f(x)+g(x)=2sinxcosa≧0より
f(x)≧−g(x) だから,回転断面は半径
f(x) の円板となり,
Q(x)=f(x)2 である。
a≦x≦2π では
0≦g(x)≦f(x) なので,回転断面は外半径
f(x),内半径
g(x) の円環となる。また
f(x)2−g(x)2=(f(x)−g(x))(f(x)+g(x))=sin2asin2x.したがって
∫0π/2Q(x)dx=∫0asin2(x+a)dx+sin2a∫aπ/2sin2xdx=2a+4sin2a−sin4a+sin2acos2a=2a+43sin2a.∫0π/2Q(x)dx=∫0asin2(x+a)dx+sin2a∫aπ/2sin2xdx=2a+4sin2a−sin4a+sin2acos2a=2a+43sin2a.次に
2π<a<π とし,
b=π−a とおく。このとき
0<b<2π である。
0≦x≦b では
g(x)≦0≦f(x) かつ
f(x)+g(x)=2sinxcosa≦0 なので,
−g(x)≧f(x) となり,
Q(x)=g(x)2=sin2(x+b) である。
b≦x≦2π では
g(x)≦f(x)≦0 だから,
Q(x)=g(x)2−f(x)2 であり,
sin2b=−sin2a より
g(x)2−f(x)2=sin2bsin2x.ゆえに,上と同じ計算を
a の代わりに
b について行うと
∫0π/2Q(x)dx=2b+43sin2b.以上で
m=min{a,π−a} とすれば,いずれの場合も
V=2π(2m+43sin2m)=πm+23πsin2mを得る。