準備
A B = C D = 2 \mathrm{AB}=\mathrm{CD}=2 AB = CD = 2 は円 S S S の直径に等しいから、線分 A B \mathrm{AB} AB 、C D \mathrm{CD} CD はどちらも O \mathrm{O} O を通る直径で、A B ⊥ C D \mathrm{AB}\perp\mathrm{CD} AB ⊥ CD である。
V V V は直円錐だから、P O \mathrm{PO} PO は円 S S S を含む平面に垂直で、P O = 6 2 − 1 2 = 35 \mathrm{PO}=\sqrt{6^2-1^2}=\sqrt{35} PO = 6 2 − 1 2 = 35 である。
そこで、座標空間に
O ( 0 , 0 , 0 ) , A ( 1 , 0 , 0 ) , B ( − 1 , 0 , 0 ) , C ( 0 , 1 , 0 ) , D ( 0 , − 1 , 0 ) , P ( 0 , 0 , 35 ) \begin{aligned}
&\mathrm{O}(0,0,0),\quad\mathrm{A}(1,0,0),\quad\mathrm{B}(-1,0,0),\\
&\mathrm{C}(0,1,0),\quad\mathrm{D}(0,-1,0),\quad\mathrm{P}(0,0,\sqrt{35})
\end{aligned} O ( 0 , 0 , 0 ) , A ( 1 , 0 , 0 ) , B ( − 1 , 0 , 0 ) , C ( 0 , 1 , 0 ) , D ( 0 , − 1 , 0 ) , P ( 0 , 0 , 35 )
をとる。
高さ z z z (0 ≦ z ≦ 35 0\leqq z\leqq\sqrt{35} 0 ≦ z ≦ 35 )で V V V を切った切り口は、半径 1 − z 35 1-\dfrac{z}{\sqrt{35}} 1 − 35 z の円(周と内部)だから、
V : 0 ≦ z ≦ 35 , x 2 + y 2 ≦ ( 1 − z 35 ) 2 . V:\ 0\leqq z\leqq\sqrt{35},\quad x^2+y^2\leqq\left(1-\frac{z}{\sqrt{35}}\right)^2. V : 0 ≦ z ≦ 35 , x 2 + y 2 ≦ ( 1 − 35 z ) 2 .
2つの単位ベクトルを
e ⃗ = 1 6 A P → = ( − 1 6 , 0 , 35 6 ) , f ⃗ = ( 0 , 1 , 0 ) \vec e=\frac16\overrightarrow{\mathrm{AP}}=\left(-\frac16,\ 0,\ \frac{\sqrt{35}}6\right),\qquad \vec f=(0,1,0) e = 6 1 AP = ( − 6 1 , 0 , 6 35 ) , f = ( 0 , 1 , 0 )
とする。
e ⃗ ⋅ f ⃗ = 0 \vec e\cdot\vec f=0 e ⋅ f = 0 、∣ e ⃗ ∣ = ∣ f ⃗ ∣ = 1 |\vec e|=|\vec f|=1 ∣ e ∣ = ∣ f ∣ = 1 である。
α \alpha α は O \mathrm{O} O を通り、e ⃗ \vec e e と f ⃗ \vec f f に平行な平面だから、α \alpha α 上の点は実数 u , y u,y u , y を用いて
u e ⃗ + y f ⃗ = ( − u 6 , y , 35 6 u ) u\vec e+y\vec f=\left(-\frac u6,\ y,\ \frac{\sqrt{35}}6u\right) u e + y f = ( − 6 u , y , 6 35 u )
と表せる。
e ⃗ , f ⃗ \vec e,\vec f e , f は垂直な単位ベクトルなので、( y , u ) (y,u) ( y , u ) は α \alpha α 上の直交座標であり、この座標で測った長さ・面積は実際の長さ・面積に等しい。
(1)
β r \beta_r β r は高さ z = 35 ( 1 − r ) z=\sqrt{35}(1-r) z = 35 ( 1 − r ) の平面である。ここではまず、底面より上の断面 0 < r < 1 0<r<1 0 < r < 1 を考える。
α \alpha α 上の点の高さは 35 6 u \dfrac{\sqrt{35}}6u 6 35 u だから、α \alpha α と β r \beta_r β r の交線は、α \alpha α 上で
を満たす点全体で、点 ( r − 1 , 0 , 35 ( 1 − r ) ) \left(r-1,\ 0,\ \sqrt{35}(1-r)\right) ( r − 1 , 0 , 35 ( 1 − r ) ) を通り f ⃗ \vec f f に平行な直線である。
この直線上の点 ( r − 1 , y , 35 ( 1 − r ) ) \left(r-1,\ y,\ \sqrt{35}(1-r)\right) ( r − 1 , y , 35 ( 1 − r ) ) が V V V に含まれる条件は、
( r − 1 ) 2 + y 2 ≦ r 2 ⟺ y 2 ≦ 2 r − 1. (r-1)^2+y^2\leqq r^2\iff y^2\leqq 2r-1. ( r − 1 ) 2 + y 2 ≦ r 2 ⟺ y 2 ≦ 2 r − 1.
これが長さが正の線分になるのは 2 r − 1 > 0 2r-1>0 2 r − 1 > 0 、すなわち r > 1 2 r>\dfrac12 r > 2 1 のときで、
l = 2 2 r − 1 . l=2\sqrt{2r-1}. l = 2 2 r − 1 .
また、この直線は α \alpha α 上で f ⃗ \vec f f に平行な直線 u = 6 ( 1 − r ) u=6(1-r) u = 6 ( 1 − r ) であり、O \mathrm{O} O は α \alpha α 上の座標で ( y , u ) = ( 0 , 0 ) (y,u)=(0,0) ( y , u ) = ( 0 , 0 ) だから、
d = 6 ( 1 − r ) . d=6(1-r). d = 6 ( 1 − r ) .
以上より、1 2 < r < 1 \dfrac12<r<1 2 1 < r < 1 で
l = 2 2 r − 1 , d = 6 ( 1 − r ) . l=2\sqrt{2r-1},\qquad d=6(1-r). l = 2 2 r − 1 , d = 6 ( 1 − r ) .
補足 r の両端で確かめる 底面に対応する r = 1 r=1 r = 1 にまで式を延長すると、l = 2 l=2 l = 2 、d = 0 d=0 d = 0 となります。
これは、α \alpha α と底面の交線が直径 C D \mathrm{CD} CD (長さ 2 2 2 、O \mathrm{O} O を通る)であることと一致します。
底面も β r \beta_r β r に含める場合は、上の公式は 1 2 < r ≦ 1 \dfrac12<r\leqq1 2 1 < r ≦ 1 で成り立ちます。
r = 1 2 r=\dfrac12 r = 2 1 では l = 0 l=0 l = 0 で、交線は V V V と1点だけを共有します。
その点は ( − 1 2 , 0 , 35 2 ) \left(-\dfrac12,\ 0,\ \dfrac{\sqrt{35}}2\right) ( − 2 1 , 0 , 2 35 ) 、つまり母線 P B \mathrm{PB} PB の中点です。
(2)
線分 A B \mathrm{AB} AB を t : ( 1 − t ) t:(1-t) t : ( 1 − t ) に内分する点を T \mathrm{T} T とすると、T ( 1 − 2 t , 0 , 0 ) \mathrm{T}(1-2t,\ 0,\ 0) T ( 1 − 2 t , 0 , 0 ) である。
α t \alpha_t α t は T \mathrm{T} T を通り e ⃗ , f ⃗ \vec e,\vec f e , f に平行な平面だから、α t \alpha_t α t 上の点は
O T → + u e ⃗ + y f ⃗ = ( 1 − 2 t − u 6 , y , 35 6 u ) \overrightarrow{\mathrm{OT}}+u\vec e+y\vec f=\left(1-2t-\frac u6,\ y,\ \frac{\sqrt{35}}6u\right) OT + u e + y f = ( 1 − 2 t − 6 u , y , 6 35 u )
と表せ、( y , u ) (y,u) ( y , u ) は α t \alpha_t α t 上の直交座標である。
この点が V V V に含まれる条件を求める。
高さの条件 0 ≦ 35 6 u ≦ 35 0\leqq\dfrac{\sqrt{35}}6u\leqq\sqrt{35} 0 ≦ 6 35 u ≦ 35 は 0 ≦ u ≦ 6 0\leqq u\leqq6 0 ≦ u ≦ 6 である。
w = 1 − u 6 w=1-\dfrac u6 w = 1 − 6 u とおくと、切り口の条件は
( w − 2 t ) 2 + y 2 ≦ w 2 ⟺ y 2 ≦ 4 t ( w − t ) ⟺ u ≦ 6 ( 1 − t ) − 3 2 t y 2 . \begin{aligned}
(w-2t)^2+y^2\leqq w^2&\iff y^2\leqq4t(w-t)\\
&\iff u\leqq6(1-t)-\frac{3}{2t}y^2.
\end{aligned} ( w − 2 t ) 2 + y 2 ≦ w 2 ⟺ y 2 ≦ 4 t ( w − t ) ⟺ u ≦ 6 ( 1 − t ) − 2 t 3 y 2 .
6 ( 1 − t ) < 6 6(1-t)<6 6 ( 1 − t ) < 6 だから、u ≦ 6 u\leqq6 u ≦ 6 はこの条件から自動的に成り立つ。
よって、α t \alpha_t α t と V V V の共通部分は、( y , u ) (y,u) ( y , u ) 座標で
0 ≦ u ≦ 6 ( 1 − t ) − 3 2 t y 2 0\leqq u\leqq6(1-t)-\frac{3}{2t}y^2 0 ≦ u ≦ 6 ( 1 − t ) − 2 t 3 y 2
と表される。
これは、放物線 u = − 3 2 t y 2 + 6 ( 1 − t ) u=-\dfrac{3}{2t}y^2+6(1-t) u = − 2 t 3 y 2 + 6 ( 1 − t ) と直線 u = 0 u=0 u = 0 で囲まれた図形である。
α t \alpha_t α t 上で見た共通部分(t = 1 4 t=\dfrac14 t = 4 1 、縦方向を縮めた模式図)
放物線と直線 u = 0 u=0 u = 0 の交点の y y y 座標は y = ± 2 t ( 1 − t ) y=\pm2\sqrt{t(1-t)} y = ± 2 t ( 1 − t ) だから、1/6公式より、面積 S ( t ) S(t) S ( t ) は
S ( t ) = 1 6 ⋅ 3 2 t { 4 t ( 1 − t ) } 3 = 1 4 t ⋅ 64 t t ( 1 − t ) 1 − t = 16 t ( 1 − t ) 1 − t . \begin{aligned}
S(t)&=\frac16\cdot\frac{3}{2t}\left\{4\sqrt{t(1-t)}\right\}^3\\
&=\frac{1}{4t}\cdot64\,t\sqrt t\,(1-t)\sqrt{1-t}\\
&=16\sqrt{t}\,(1-t)\sqrt{1-t}.
\end{aligned} S ( t ) = 6 1 ⋅ 2 t 3 { 4 t ( 1 − t ) } 3 = 4 t 1 ⋅ 64 t t ( 1 − t ) 1 − t = 16 t ( 1 − t ) 1 − t .
S ( t ) > 0 S(t)>0 S ( t ) > 0 だから、S ( t ) 2 = 256 t ( 1 − t ) 3 S(t)^2=256\,t(1-t)^3 S ( t ) 2 = 256 t ( 1 − t ) 3 が最大になるとき S ( t ) S(t) S ( t ) も最大になる。
φ ( t ) = t ( 1 − t ) 3 \varphi(t)=t(1-t)^3 φ ( t ) = t ( 1 − t ) 3 とおくと、
φ ′ ( t ) = ( 1 − t ) 3 − 3 t ( 1 − t ) 2 = ( 1 − t ) 2 ( 1 − 4 t ) . \varphi'(t)=(1-t)^3-3t(1-t)^2=(1-t)^2(1-4t). φ ′ ( t ) = ( 1 − t ) 3 − 3 t ( 1 − t ) 2 = ( 1 − t ) 2 ( 1 − 4 t ) .
t ( 0 ) ⋯ 1 4 ⋯ ( 1 ) φ ′ ( t ) + 0 − φ ( t ) ↗ 27 256 ↘ \begin{array}{c|ccccc}
t & (0) & \cdots & \dfrac14 & \cdots & (1) \\ \hline
\varphi'(t) & & + & 0 & - & \\
\varphi(t) & & \nearrow & \dfrac{27}{256} & \searrow &
\end{array} t φ ′ ( t ) φ ( t ) ( 0 ) ⋯ + ↗ 4 1 0 256 27 ⋯ − ↘ ( 1 )
よって、φ ( t ) \varphi(t) φ ( t ) は t = 1 4 t=\dfrac14 t = 4 1 で最大値 1 4 ⋅ ( 3 4 ) 3 = 27 256 \dfrac14\cdot\left(\dfrac34\right)^3=\dfrac{27}{256} 4 1 ⋅ ( 4 3 ) 3 = 256 27 をとる。
このとき S ( t ) 2 = 256 ⋅ 27 256 = 27 S(t)^2=256\cdot\dfrac{27}{256}=27 S ( t ) 2 = 256 ⋅ 256 27 = 27 だから、求める最大値は
S ( 1 4 ) = 27 = 3 3 . S\left(\frac14\right)=\sqrt{27}=3\sqrt3. S ( 4 1 ) = 27 = 3 3 .
補足 (1)の結果と t=1/2 で照らし合わせる t = 1 2 t=\dfrac12 t = 2 1 のとき T = O \mathrm{T}=\mathrm{O} T = O で、α t \alpha_t α t は α \alpha α そのものです。
上の式では S ( 1 2 ) = 16 ⋅ 1 2 ⋅ 1 2 2 = 4 S\left(\dfrac12\right)=16\cdot\dfrac1{\sqrt2}\cdot\dfrac1{2\sqrt2}=4 S ( 2 1 ) = 16 ⋅ 2 1 ⋅ 2 2 1 = 4 です。
一方、(1)では、α \alpha α 上の直線 u = d = 6 ( 1 − r ) u=d=6(1-r) u = d = 6 ( 1 − r ) の上に、長さ l = 2 2 r − 1 l=2\sqrt{2r-1} l = 2 2 r − 1 の線分があります。
線分の両端の y y y 座標は y 2 = ( l 2 ) 2 = 2 r − 1 y^2=\left(\dfrac l2\right)^2=2r-1 y 2 = ( 2 l ) 2 = 2 r − 1 を満たし、r = 1 − u 6 r=1-\dfrac u6 r = 1 − 6 u を代入すると y 2 = 1 − u 3 y^2=1-\dfrac u3 y 2 = 1 − 3 u です。
つまり、α \alpha α と V V V の共通部分は、放物線 u = − 3 y 2 + 3 u=-3y^2+3 u = − 3 y 2 + 3 と直線 u = 0 u=0 u = 0 で囲まれた図形です。
2つの交点は y = ± 1 y=\pm1 y = ± 1 なので、1/6公式より面積は 3 6 { 1 − ( − 1 ) } 3 = 4 \dfrac36\{1-(-1)\}^3=4 6 3 { 1 − ( − 1 ) } 3 = 4 となり、一致します。
問題データ