東京大学/2023年度

6東京大学 2023年 数学 第6問解答・解説

図形と計量図形の性質積分法

1問題

東京大学2023年度第6問
O\mathrm{O}を原点とする座標空間において、不等式∣x∣≦1|x|\leqq 1、∣y∣≦1|y|\leqq 1、∣z∣≦1|z|\leqq 1の表す立方体を考える。その立方体の表面のうち、z<1z<1を満たす部分をSSとする。

以下、座標空間内の2点A\mathrm{A}、B\mathrm{B}が一致するとき、線分AB\mathrm{AB}は点A\mathrm{A}を表すものとし、その長さを0と定める。

(1) 座標空間内の点P\mathrm{P}が次の条件(i)、(ii)をともに満たすとき、点P\mathrm{P}が動きうる範囲VVの体積を求めよ。

(i) OP≦3\mathrm{OP}\leqq\sqrt{3}

(ii) 線分OP\mathrm{OP}とSSは、共有点を持たないか、点P\mathrm{P}のみを共有点に持つ。

(2) 座標空間内の点N\mathrm{N}と点P\mathrm{P}が次の条件(iii)、(iv)、(v)をすべて満たすとき、点P\mathrm{P}が動きうる範囲WWの体積を求めよ。必要ならば、sin⁡α=13\sin\alpha=\dfrac{1}{\sqrt{3}}を満たす実数α\alpha(0<α<π20<\alpha<\dfrac{\pi}{2})を用いてよい。

(iii) ON+NP≦3\mathrm{ON}+\mathrm{NP}\leqq\sqrt{3}

(iv) 線分ON\mathrm{ON}とSSは共有点を持たない。

(v) 線分NP\mathrm{NP}とSSは、共有点を持たないか、点P\mathrm{P}のみを共有点に持つ。

まずは自分で解いてみましょう。解けたら「答え」、詰まったら「解答」で確かめられます。

タイマー

15:00

2答え

答えを見る自分の答えと照らし合わせる

3解答

解答を見る途中式つきの解答

考え方

上面から直接届く球領域と、4本の上辺を回って届く側面領域に分け、断面積の積分で体積を求める。

解答

(1)

立方体内部の点は条件を満たし、境界は体積に影響しない。

まず線分 OP\mathrm{OP} 自体で到達する外部領域を考える。線分が立方体から出るとき、表面 SS を避けてそのまま進めるのは、正の zz 成分が最大となり上面から出る場合である。球 x2+y2+z2≦3x^{2}+y^{2}+z^{2}\leqq3 の方向を、絶対値最大となる座標成分と符号によって分けると6つの合同な領域になる。正の zz 成分が最大となる領域の体積は球の 16\dfrac{1}{6} で 2π33\dfrac{2\pi\sqrt{3}}{3}。この領域の立方体内の部分は、底面積4、高さ1の四角錐で、体積は 43\dfrac{4}{3}。したがって上面から直接届く外部部分の体積は
D=2π33−43. D=\dfrac{2\pi\sqrt{3}}{3}-\dfrac{4}{3}.
球内で z<−1z<-1 の点は、条件 (iv) を満たす線分 ON\mathrm{ON} が上面から立方体を出る必要があるため ON≧1\mathrm{ON}\geqq1、また NP≧1−z>2\mathrm{NP}\geqq1-z>2 となり、長さの上限を超えて到達しない。したがって、上面直達以外に検討すべき外部点は側面の陰にある点だけである。

(2)

直接届かない側面の陰の点を考える。例えば x>1x>1 で上面直達の条件 z≧xz\geqq x を満たさない点 P=(x,v,z)\mathrm{P}=(x,v,z) では、折れ線の xzxz 平面への射影は側面の遮蔽部分を避けて上端 (1,1)(1,1) を回る必要がある。d=(x−1)2+(z−1)2d=\sqrt{(x-1)^{2}+(z-1)^{2}} と置くと、射影経路の長さは少なくとも 2+d\sqrt{2}+d、辺方向の総変位は ∣v∣|v| である。三角不等式より折れ線全体の長さは
(2+d)2+v2 \sqrt{(\sqrt{2}+d)^{2}+v^{2}}
以上となる。この下限は上辺上の Au=(1,u,1)A_{u}=(1,u,1) を折点とする経路で達成できる。実際、その長さは 2+u2+d2+(v−u)2\sqrt{2+u^{2}}+\sqrt{d^{2}+(v-u)^{2}} であり、u=2 v2+du=\dfrac{\sqrt{2}\,v}{\sqrt{2}+d} とすればよい。予算 3\sqrt{3} 以下となるには
∣v∣≦1,d≦r(v)ただしr(v)=3−v2−2 |v|\leqq1,\qquad d\leqq r(v)\quad\text{ただし}\quad r(v)=\sqrt{3-v^{2}}-\sqrt{2}
が必要十分であり、このとき選んだ uu は −1≦u≦1-1\leqq u\leqq1 を満たす。特に ∣v∣>1|v|>1 の領域(隣接する側面の外まで出る角の部分)は、下限が 2+v2>3\sqrt{2+v^{2}}>\sqrt{3} なので到達しない。同じ議論を正負の x,yx,y 方向の4本の上辺に適用する。外部点が隣り合う二つの側面の外まで出ている場合は、どちらかの辺方向座標が ∣v∣>1|v|>1 となるため上の下限で除外される。ゆえに、上面直達以外に加わる外部領域はこの4つの辺の側面領域だけである。

固定した vv で見ると、正の xx 側の到達領域は上辺を中心とする半径 r(v)r(v) の半円であり、断面積は πr(v)22\dfrac{\pi r(v)^{2}}{2}。そのうち既に上面から直接届く部分は z≧xz\geqq x、すなわち w=z−1≧t=x−1w=z-1\geqq t=x-1 の扇形である。この扇形の角は π4\dfrac{\pi}{4} なので面積は πr(v)28\dfrac{\pi r(v)^{2}}{8}。よって直接領域に加える側面部分は、上辺1本あたり
3π8∫−11r(v)2 dv. \dfrac{3\pi}{8}\int_{-1}^{1}r(v)^{2}\,dv.
到達する追加部分では他の水平座標が ∣v∣≦1|v|\leqq1 なので、4辺の追加領域は互いに重ならない。

sin⁡α=13\sin\alpha=\dfrac{1}{\sqrt{3}} と置き、v=3sin⁡θv=\sqrt{3}\sin\theta と置換すると
∫−113−v2 dv=3∫−ααcos⁡2θ dθ=3α+2. \int_{-1}^{1}\sqrt{3-v^{2}}\,dv=3\int_{-\alpha}^{\alpha}\cos^{2}\theta\,d\theta=3\alpha+\sqrt{2}.
したがって
I=∫−11r(v)2 dv=∫−11(3−v2−2)2 dv=283−22(3α+2)=163−62α. \begin{aligned} I=\int_{-1}^{1}r(v)^{2}\,dv &=\int_{-1}^{1}(\sqrt{3-v^{2}}-\sqrt{2})^{2}\,dv\\ &=\dfrac{28}{3}-2\sqrt{2}(3\alpha+\sqrt{2})=\dfrac{16}{3}-6\sqrt{2}\alpha. \end{aligned}
4辺分の追加体積は 4⋅3π8I=8π−92πα4\cdot\dfrac{3\pi}{8}I=8\pi-9\sqrt{2}\pi\alpha。立方体の体積8と外部の直接領域 DD を加えると、WW の体積は
8+D+8π−92πα=20+2π33+8π−92πα. 8+D+8\pi-9\sqrt{2}\pi\alpha=\dfrac{20+2\pi\sqrt{3}}{3}+8\pi-9\sqrt{2}\pi\alpha.

読み終えたら解答を閉じて、もう一度自分の手で解いてみましょう。

この問題で使う考え方

  • 空間図形の計量
  • 三角比と相互関係
  • 空間図形の性質
  • 不定積分・定積分の性質
  • 置換積分法
  • 定積分による体積

答えと解答は AI で作成したものです。誤りに気づいたらお問い合わせから教えてください。

東京大学の数学を、過去 10 年分まとめて解けるものがあったら使いたいですか?

次にやること

東京大学のほかの年度

似た問題を、ほかの大学で