跳到主要内容

京都大学 情報学研究科 知能情報学専攻 2023年8月実施 情報学基礎 F1-2

Author

Isidore, Casablanca, 祭音Myyura

Description

設問1

以下の積分を求めよ。計算過程も明示すること。

(1) 01(x2+1)2dx\int_0^{\infty} \frac{1}{(x^2 + 1)^2} \text{d}x

(2) D={(x,y)x2+y241}D = \left \{ (x, y) \mid x^2 + \frac{y^2}{4} \leq 1 \right \} としたときに、

Dx2y2dxdy\iint_D x^2 y^2 \text{d}x \text{d}y

設問2

以下の問いに答えよ。計算過程も明示すること。

(1) loge(1.02)\log_e (1.02) の小数第 77 位を四捨五入し、小数第 66 位まで求めよ。

(2) x>0x > 0 に対して、次の不等式が成り立つことを示せ。

xx22<loge(1+x)<1x22+x33x - \frac{x^2}{2} < \log_e (1 + x) < 1 - \frac{x^2}{2} + \frac{x^3}{3}

設問3

3x2+2y2+z2=13x^2 + 2y^2 + z^2 = 1 の条件の下で、xyzxyz の最大値と最小値を求めよ。

Kai

設問1

(1)

Let x=tanθx = \tan \theta, we have dx=dθcos2θdx=\frac{d\theta}{\cos^{2} \theta}. Then

01(1+x2)2dx=0π/2cos4θ dθcos2θ=0π/2cos2θ dθ=120π/2(1+cos2θ)dθ=π4\begin{aligned} \int_{0}^{\infty}\frac{1}{(1+x^{2})^{2}}dx &= \int_{0}^{\pi/2}\cos^{4} \theta~\frac{d\theta}{\cos^{2} \theta} = \int_{0}^{\pi/2}\cos^{2}\theta~d\theta \\ &= \frac{1}{2} \int_{0}^{\pi/2} (1 + \cos 2\theta) d\theta = \frac{\pi}{4} \end{aligned}

(2)

Let x=rcosθ,y=2rsinθx = r \cos \theta, y = 2r \sin \theta, the Jacobian determinant

J=cosθrsinθ2sinθ2rcosθ=2rcos2θ+2rsin2θ=2r\begin{aligned} J &= \begin{vmatrix} \cos\theta & -r\sin\theta\\ 2\sin\theta & 2r\cos\theta \end{vmatrix} = 2r\cos^{2}\theta+2r\sin^{2}\theta = 2r \end{aligned}

Then we have

Dx2y2dxdy=0102π4r4sin2θcos2θ (2rdr)dθ=012r5 dr02πsin22θ dθ=012r5 dr1202π(1cos4θ) dθ=[r63]0112[θ+14sin4θ]02π=π3\begin{aligned} \iint_{D}x^{2}y^{2}dxdy &= \int_{0}^{1}\int_{0}^{2\pi}4r^{4}\sin^{2}\theta\cos^{2}\theta~(|2r|dr)d\theta = \int_{0}^{1}2r^{5}~dr\int_{0}^{2\pi}\sin^{2}2\theta~d\theta\\[0.7em] &= \int_{0}^{1}2r^{5}~dr\frac{1}{2}\int_{0}^{2\pi}(1-\cos 4\theta)~d\theta = \left[\frac{r^{6}}{3}\right]_{0}^{1}\cdot \frac{1}{2}\left[\theta+\frac{1}{4}\sin 4\theta\right]_{0}^{2\pi} = \frac{\pi}{3} \end{aligned}

設問2

(1)

Perform a Taylor series expansion of the function f(x)=loge(x+x)f(x) = \log_e(x+ \triangle x), then insert x=1,x=0.02x=1, \triangle x = 0.02. Calculating until the 5th term could lead to a result 0.019802560.01980256, and then round it to 0.0198030.019803

(2)

(solution by Isidore)

Perform the same expansion as (1) will directly prove

xx22<loge(1+x)x-\frac{x^2}{2} < \log_e(1+x)

Let f(x)=1x22+x33loge(1+x)f(x) = 1-\frac{x^2}{2}+\frac{x^3}{3} - \log_e(1+x), then its derivative is

f(x)=x3x1x+1f'(x) = \frac{x^3-x-1}{x+1}

We use Newton-Raphson's method to calculate the root of x3x1=0x^3-x-1 = 0.

Starting at x0=1.5x_0 = 1.5, the value of x1x_1 can be calculated as following

x1=x0x03x013x0211.3478x_{1} = x_0 - \frac{x_0^3-x_0-1}{3x_0^2-1} \approx 1.3478

Therefore, insert x=1.3478x=1.3478,

min{f}f(1.3478)=0.05>0\min \{f\} \approx f(1.3478) = 0.05 > 0

Q.E.D


(solution by Casablanca)

Easy to see that we only need to prove that:

1+x<e1x22+x331+x < e^{1- \frac{x^2}{2}+ \frac{x^3}{3}}

Let f(x)=e1x22+x33f(x) = e^{1- \frac{x^2}{2}+ \frac{x^3}{3}}. Then we have f(x)f(1)=e56f(x) \geq f(1) = e^{\frac 56}.

  • (i) for x(0,1],x+12<e56f(x)x \in (0, 1], x+1 \leq 2 < e^{\frac 56} \leq f(x) \quad (note: ex>1+x+x22,e56>15772>2e^x > 1+ x + \frac{x^2}{2}, e^{\frac 56} > \frac{157}{72}>2 )
  • (ii) for x(1,+)x \in (1, + \infty), f(x)=(x2x)f(x)>0f'(x) = (x^2 - x)f(x) > 0, f(x)f(x) increases

and we consider the point (32,e)(\frac{3}{2},e) on (x,f(x))(x,f(x)), f(32)=34ef'(\frac 32) = \frac 34 e.

Let

F(x)=f(x)(34e(x32)+e)=f(x)34e+e8,F(x) = f(x) - (\frac 34 e(x - \frac 32) + e) = f(x) - \frac 34 e + \frac e8,

where

x(1,+)x \in (1, +\infty)

and we know that: F(32)=0,F(x)=(x2x)f(x)34eF(\frac 32) = 0, F'(x) = (x^2-x)f(x) - \frac 34 e, it's obvious that F(x)F'(x) increases for x>1x > 1, and F(32)=0F'(\frac 32) = 0.

Hence F(x)F(32)=0F(x) \geq F(\frac 32 ) = 0 for x>1x > 1.

Thus

f(x)>34exe8,x(1,+)f(x) > \frac 34 ex - \frac e8, x \in (1,+\infty)

And consider the intersection (x0,y0)(x_0,y_0) of y=x+1y = x+1 and y=34exe8y = \frac 34 ex - \frac e8, we have

x0=8+e6e<1x_0 = \frac{8+e}{6e} < 1

thus for x>x0,34exe8>x+1x > x_0, \frac 34 ex - \frac e8 > x+1, hence for x>1x > 1,

f(x)>34exe8>x+1f(x) > \frac 34 ex - \frac e8 > x+1

and from (i) and (ii), finally ,we know that f(x)>1+xf(x) > 1+x

設問3

Perform the Lagrange multipliers method, we get

L(x,y,z;λ)=xyzλ(3x2+2y2+z21)L(x,y,z;\lambda) = xyz - \lambda(3x^2+2y^2+z^2-1)

Calculate its derivative with the roots, the answer is

min{xyz}=1182,max{xyz}=1182\min \{xyz\} = -\frac{1}{18}\sqrt{2}, \quad \max \{xyz\} = \frac{1}{18}\sqrt{2}