(1) 体積 V D は 0≦x≦π/2 で sinx≦y≦1 を満たす。高さ y を固定し、u=arcsiny とすると水平断面は 0≦x≦u、また dy=cosudu である。
この線分を x=t のまわりに回す。u<t では線分全体が回転軸の左にあり、外半径 t、内半径 t−u の円環になる。u≧t では回転軸が線分上にあるため円盤であり、半径は max(t,u−t) である。よって t≦u≦2t では半径 t、u≧2t では半径 u−t となる。
まず 0≦t≦π/4 の場合は 2t≦π/2 なので、 πV=∫0t(2tu−u2)cosudu+t2∫t2tcosudu+∫2tπ/2(u−t)2cosudu. ここで ∫ucosudu=usinu+cosu,∫u2cosudu=u2sinu+2ucosu−2sinu を用いて各項を計算すると、 V=π[(2π−t)2−2−2t−2tcos2t+2sint+2sin2t](0≦t≦4π).
次に π/4≦t≦π/2 では 2t≧π/2 だから、u≧t の範囲で半径 t の円盤となる。したがって πV=∫0t(2tu−u2)cosudu+t2∫tπ/2cosudu=t2−2t+2sint, すなわち V=π(t2−2t+2sint)(4π≦t≦2π). 2式は t=π/4 で一致する。
(2) 最小位置の一意性 F(t)=V(t)/π とおく。0≦t≦π/4 では F′(t)=−π+2t−2+2cos2t+4tsin2t+2cost, F′′(t)=2(1−sint)+8tcos2t>0, 最後の不等式は sint≦2/2<1 および cos2t≧0 から従う。したがって 0≦t1<t2≦π/4 ならば F′(t1)<F′(t2) が成り立つ。さらに F′(0)=2−π<0,F′(4π)=2π−2+2>0. よって中間値の定理とこの増加の性質により、F′(t)=0 は 0<t<π/4 にただ1つの解をもつ。この点まで F は減少し、その後は増加する。
π/4≦t≦π/2 では F′(t)=2(t−1+cost). t−1+cost の導関数は 1−sint≧0 で、t=π/4 において正である(例えば π>3 および 2>1 より π/4−1+2/2>1/4)。したがって後半区間では F′(t)>0。前半区間の唯一の臨界点から先は全区間で増加するので、V の最小値を与える t はただ1つである。
この値は −π+2t−2+2cos2t+4tsin2t+2cost=0 の 0<t<π/4 における唯一の解であり、数値では t≈0.387927。
分類 単元: 三角関数の置換、回転体の体積、導関数による増減。
方法: 高さごとの水平断面を円環・円盤に分けて積分し、二階導関数の符号で臨界点の一意性を証明する。
テーマ: 回転軸の位置に応じた断面積の切替えと、体積を最小にする軸の位置。