跳到主要内容

東京工業大学 工学院 システム制御系 2023年度 数学 問題1(2022年8月実施)

Author​

祭音Myyura (refined with GPT 6 Astra)

Description​

問1​

  1. 次の極限を計算せよ。

    lim⁡x→0x−log⁡e(1+x)x2.\lim_{x\to0}\frac{x-\log_e(1+x)}{x^2}.
  2. 正の実数 x,y,z,kx,y,z,k が xy+yz+zx=k2xy+yz+zx=k^2 を満たすとき、xyzxyz の最大値を求めよ。

問2​

t>0t>0 に対して、実関数 f(t)f(t) を

f(t)=∫0te−τcos⁡(ωτ) dτf(t)=\int_0^t e^{-\tau}\cos(\omega\tau)\,d\tau

と定める。

  1. Re⁡s>0\operatorname{Re}s>0 のもとで、ラプラス変換

    F(s)=∫0∞f(t)e−st dtF(s)=\int_0^\infty f(t)e^{-st}\,dt

    を求めよ。

  2. lim⁡t→∞f(t)\displaystyle\lim_{t\to\infty}f(t) を求めよ。

問3​

直交座標系 OO-xyzxyz において、h≥0h\ge0 とし、立体 CC を

x2+y2≤1,0≤z≤h(1−x−y)x^2+y^2\le1,\qquad 0\le z\le h(1-x-y)

によって定める。

  1. CC のうち x≥0, y≥0x\ge0,\ y\ge0 の部分の体積 V1V_1 を求めよ。
  2. CC 全体の体積 V2V_2 を求めよ。

题目描述​

问1:计算 lim⁡x→0[x−log⁡e(1+x)]/x2\lim_{x\to0}[x-\log_e(1+x)]/x^2。在 x,y,z,k>0x,y,z,k>0 且 xy+yz+zx=k2xy+yz+zx=k^2 的条件下,求 xyzxyz 的最大值。

问2:令 f(t)=∫0te−τcos⁡(ωτ) dτf(t)=\int_0^t e^{-\tau}\cos(\omega\tau)\,d\tau,其中 t>0t>0。当 Re⁡s>0\operatorname{Re}s>0 时,按照 F(s)=∫0∞f(t)e−st dtF(s)=\int_0^\infty f(t)e^{-st}\,dt 求拉普拉斯变换,并求 lim⁡t→∞f(t)\lim_{t\to\infty}f(t)。

问3:在三维直角坐标系中,h≥0h\ge0,立体 CC 满足 x2+y2≤1x^2+y^2\le1 和 0≤z≤h(1−x−y)0\le z\le h(1-x-y)。求其中 x≥0,y≥0x\ge0,y\ge0 部分的体积 V1V_1,以及整个立体的体积 V2V_2。

Kai​

問1​

(1)​

ロピタルの定理より、

lim⁡x→0x−log⁡(1+x)x2=lim⁡x→01−(1+x)−12x=lim⁡x→012(1+x)=12.\lim_{x\to0}\frac{x-\log(1+x)}{x^2} =\lim_{x\to0}\frac{1-(1+x)^{-1}}{2x} =\lim_{x\to0}\frac{1}{2(1+x)} =\boxed{\frac12}.

(2)​

xy,yz,zx>0xy,yz,zx>0 に相加相乗平均の不等式を適用すると、

k2=xy+yz+zx≥3(xyz)23.k^2=xy+yz+zx\ge3\sqrt[3]{(xyz)^2}.

等号は xy=yz=zxxy=yz=zx、すなわち x=y=z=k/3x=y=z=k/\sqrt3 のとき成立する。したがって、

max⁡xyz=k333.\boxed{\max xyz=\frac{k^3}{3\sqrt3}}.

問2​

(1)​

f(0)=0f(0)=0、f′(t)=e−tcos⁡ωtf'(t)=e^{-t}\cos\omega t であり、ff は有界である。よって Re⁡s>0\operatorname{Re}s>0 で部分積分すると、

F(s)=1s∫0∞e−(s+1)tcos⁡ωt dt.F(s)=\frac1s\int_0^\infty e^{-(s+1)t}\cos\omega t\,dt.

cos⁡ωt=(eiωt+e−iωt)/2\cos\omega t=(e^{i\omega t}+e^{-i\omega t})/2 を用いれば、

F(s)=12s(1s+1−iω+1s+1+iω)=s+1s{(s+1)2+ω2}.\boxed{ F(s)=\frac1{2s}\left(\frac1{s+1-i\omega}+\frac1{s+1+i\omega}\right) =\frac{s+1}{s\{(s+1)^2+\omega^2\}}}.

(2)​

直接積分すると、

f(t)=1−e−tcos⁡ωt+ωe−tsin⁡ωt1+ω2.f(t)=\frac{1-e^{-t}\cos\omega t+\omega e^{-t}\sin\omega t}{1+\omega^2}.

三角関数が有界であることから、

lim⁡t→∞f(t)=11+ω2.\boxed{\lim_{t\to\infty}f(t)=\frac1{1+\omega^2}}.

問3​

h=0h=0 では V1=V2=0V_1=V_2=0 である。以下 h>0h>0 とする。高さが非負であるためには、円板の条件に加えて x+y≤1x+y\le1 が必要である。

(1)​

第1象限の射影領域は x≥0, y≥0, x+y≤1x\ge0,\ y\ge0,\ x+y\le1 という三角形である。この領域では x2+y2≤(x+y)2≤1x^2+y^2\le(x+y)^2\le1 も満たされる。したがって、

V1=h∫01∫01−x(1−x−y) dy dx=h2∫01(1−x)2 dx=h6.V_1=h\int_0^1\int_0^{1-x}(1-x-y)\,dy\,dx =\frac h2\int_0^1(1-x)^2\,dx =\boxed{\frac h6}.

(2)​

第2、第3、第4象限の単位円板では x+y≤1x+y\le1 が成立する。それぞれの体積を W2,W3,W4W_2,W_3,W_4 とすると、極座標により

Wj=h∫(j−1)π/2jπ/2∫01{1−r(cos⁡θ+sin⁡θ)}r dr dθ=h[θ2−sin⁡θ−cos⁡θ3](j−1)π/2jπ/2.W_j=h\int_{(j-1)\pi/2}^{j\pi/2}\int_0^1 \{1-r(\cos\theta+\sin\theta)\}r\,dr\,d\theta =h\left[\frac\theta2-\frac{\sin\theta-\cos\theta}{3}\right]_{(j-1)\pi/2}^{j\pi/2}.

よって、

W2=W4=πh4,W3=h(π4+23).W_2=W_4=\frac{\pi h}{4},\qquad W_3=h\left(\frac\pi4+\frac23\right).

以上から、

V2=V1+W2+W3+W4=h(3π4+56).\boxed{V_2=V_1+W_2+W_3+W_4 =h\left(\frac{3\pi}{4}+\frac56\right)}.