立体の体積を r r r の関数として表し、その最大値を求める。
V A = 4 3 π ( 1 ) 3 = 4 3 π V_A = \frac{4}{3}\pi (1)^3 = \frac{4}{3}\pi V A = 3 4 π ( 1 ) 3 = 3 4 π である。
V B = 1 2 ⋅ 4 3 π r 3 = 2 3 π r 3 V_B = \frac{1}{2} \cdot \frac{4}{3}\pi r^3 = \frac{2}{3}\pi r^3 V B = 2 1 ⋅ 3 4 π r 3 = 3 2 π r 3 である。
半球面Bを球Aにかぶせたとき、重なった部分の体積を求める必要がある。かぶさった部分の高さ h h h は、半球面Bの中心から球Aの表面までの距離と考えることができる。球Aの中心を原点とすると、半球面Bの中心は原点から距離 1 − h 1-h 1 − h の位置にある。この時、円の半径 x x x を考えると、 x 2 + ( 1 − h ) 2 = r 2 x^2 + (1-h)^2 = r^2 x 2 + ( 1 − h ) 2 = r 2 の関係がある。よって、重なった部分の体積 V o v e r l a p V_{overlap} V o v er l a p を求めると、 V o v e r l a p = π ∫ 1 − h 1 ( 1 − z 2 ) d z V_{overlap} = \pi \int_{1-h}^{1} (1 - z^2) dz V o v er l a p = π ∫ 1 − h 1 ( 1 − z 2 ) d z となる。積分を計算すると、 V o v e r l a p = π ( h 2 − h 3 3 ) V_{overlap} = \pi (h^2 - \frac{h^3}{3}) V o v er l a p = π ( h 2 − 3 h 3 ) となる。ここで、 h h h は半球面Bの高さなので、 h = 1 − 1 − r 2 h=1 - \sqrt{1 - r^2} h = 1 − 1 − r 2 である。 ここで、簡単のため、半球面Bの体積をそのまま足し合わせると考えると、立体の体積Vは
V = V A + V B = 4 3 π + 2 3 π r 3 V = V_A + V_B = \frac{4}{3}\pi + \frac{2}{3}\pi r^3 V = V A + V B = 3 4 π + 3 2 π r 3 となる。
ただし、実際には重なりがあるので、この体積は正確ではない。
重なりを無視して体積を最大化する場合、 V V V を r r r で微分すると d V d r = 2 π r 2 \frac{dV}{dr} = 2\pi r^2 d r d V = 2 π r 2 これは常に正なので、 r r r が大きければ大きいほど体積は大きくなる。しかし、 0 < r < 1 0 < r < 1 0 < r < 1 という条件があるので、 r r r が1に近づくほど体積は大きくなる。
より正確に体積を計算するために、球Aの表面から高さ h h h までの球の体積を考える。 h = r h = r h = r とすると、かぶさった部分の体積は球の冠の体積となり、 V c a p = π h 2 3 ( 3 − h ) V_{cap} = \frac{\pi h^2}{3}(3-h) V c a p = 3 π h 2 ( 3 − h ) V c a p = π r 2 3 ( 3 − r ) V_{cap} = \frac{\pi r^2}{3}(3-r) V c a p = 3 π r 2 ( 3 − r )
したがって、全体の体積は
V = 4 3 π + 2 3 π r 3 − π r 2 3 ( 3 − r ) = 4 3 π + 2 3 π r 3 − π r 2 + π r 3 3 = 4 3 π − π r 2 + π r 3 V = \frac{4}{3}\pi + \frac{2}{3}\pi r^3 - \frac{\pi r^2}{3}(3-r) = \frac{4}{3}\pi + \frac{2}{3}\pi r^3 - \pi r^2 + \frac{\pi r^3}{3} = \frac{4}{3}\pi - \pi r^2 + \pi r^3 V = 3 4 π + 3 2 π r 3 − 3 π r 2 ( 3 − r ) = 3 4 π + 3 2 π r 3 − π r 2 + 3 π r 3 = 3 4 π − π r 2 + π r 3
d V d r = − 2 π r + 3 π r 2 = π r ( − 2 + 3 r ) \frac{dV}{dr} = -2\pi r + 3\pi r^2 = \pi r(-2 + 3r) d r d V = − 2 π r + 3 π r 2 = π r ( − 2 + 3 r )
d V d r = 0 \frac{dV}{dr} = 0 d r d V = 0 となるのは、 r = 0 r = 0 r = 0 または r = 2 3 r = \frac{2}{3} r = 3 2 のときである。 r = 2 3 r = \frac{2}{3} r = 3 2 のとき、 V V V は極値をとる。 r = 0 r = 0 r = 0 のとき、 V = 4 3 π V = \frac{4}{3}\pi V = 3 4 π r = 2 3 r = \frac{2}{3} r = 3 2 のとき、 V = 4 3 π − π ( 2 3 ) 2 + π ( 2 3 ) 3 = 4 3 π − 4 9 π + 8 27 π = 36 − 12 + 8 27 π = 32 27 π V = \frac{4}{3}\pi - \pi (\frac{2}{3})^2 + \pi (\frac{2}{3})^3 = \frac{4}{3}\pi - \frac{4}{9}\pi + \frac{8}{27}\pi = \frac{36-12+8}{27}\pi = \frac{32}{27}\pi V = 3 4 π − π ( 3 2 ) 2 + π ( 3 2 ) 3 = 3 4 π − 9 4 π + 27 8 π = 27 36 − 12 + 8 π = 27 32 π
r = 1 r = 1 r = 1 のとき、 V = 4 3 π − π + π = 4 3 π V = \frac{4}{3}\pi - \pi + \pi = \frac{4}{3}\pi V = 3 4 π − π + π = 3 4 π
したがって、 r = 2 3 r = \frac{2}{3} r = 3 2 の時、体積は極小値をとる。区間の端点である r = 1 r=1 r = 1 に近づくほど体積が大きくなるので、最大値は存在しない。しかし、 0 < r < 1 0 < r < 1 0 < r < 1 なので、 r r r は1にはなれない。 r r r が 2 3 \frac{2}{3} 3 2 より小さくなると、減少することも確認できる。