跳到主要内容

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

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,zx,y,z が xy+yz+zx=k2xy+yz+zx=k^2(ただし、x>0,y>0,z>0,k>0x>0,y>0,z>0,k>0)を満たすとき、xyzxyz の最大値を求めよ。

問2​

次の実関数 f(t)f(t)(ただし、t>0t>0)について、以下の問に答えよ。

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

(1) f(t)f(t) のラプラス変換 F(s)F(s) を求めよ。ラプラス変換は次式で定義される。ただし、Re⁡(s)>0\operatorname{Re}(s)>0 とする。Re⁡(s)\operatorname{Re}(s) は複素数 ss の実部を表す。

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

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

問3​

3 次元空間に直交座標系 OO-xyzxyz をとる。x2+y2≤1x^2+y^2\le1、0≤z≤h(1−x−y)0\le z\le h(1-x-y) で定められる立体 CC について、以下の問に答えよ。ただし、h≥0h\ge0 とする。

(1) 立体 CC のうち、x≥0,y≥0x\ge0,y\ge0 で定められる領域の体積 V1V_1 を求めよ。

(2) 立体 CC の体積 V2V_2 を求めよ。

题目描述​

问1 回答以下问题。

(1) 求下列极限:

lim⁡x→0x−log⁡e(1+x)x2.\lim_{x\to0}\frac{x-\log_e(1+x)}{x^2}.

(2) 实数 x,y,zx,y,z 满足 xy+yz+zx=k2xy+yz+zx=k^2,其中 x>0,y>0,z>0,k>0x>0,y>0,z>0,k>0。求 xyzxyz 的最大值。

问2 对下列实函数 f(t)f(t)(t>0t>0),回答问题:

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

(1) 求 f(t)f(t) 的拉普拉斯变换 F(s)F(s)。拉普拉斯变换定义为

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

这里 Re⁡(s)>0\operatorname{Re}(s)>0,Re⁡(s)\operatorname{Re}(s) 表示复数 ss 的实部。

(2) 求 lim⁡t→∞f(t)\lim_{t\to\infty}f(t)。

问3 在三维空间中取直角坐标系 OO-xyzxyz。对由 x2+y2≤1x^2+y^2\le1、0≤z≤h(1−x−y)0\le z\le h(1-x-y) 确定的立体 CC,回答以下问题,其中 h≥0h\ge0。

(1) 求立体 CC 中满足 x≥0,y≥0x\ge0,y\ge0 的区域体积 V1V_1。

(2) 求立体 CC 的体积 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.\begin{gathered} 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}. \end{gathered}

よって、

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)}.