京都大学 情報学研究科 知能情報学専攻 2023年8月実施 情報学基礎 F1-2
Author
Isidore , Casablanca, 祭音Myyura
Description
設問1
以下の積分を求めよ。計算過程も明示すること。
(1) ∫ 0 ∞ 1 ( x 2 + 1 ) 2 d x \int_0^{\infty} \frac{1}{(x^2 + 1)^2} \text{d}x ∫ 0 ∞ ( x 2 + 1 ) 2 1 d x
(2) D = { ( x , y ) ∣ x 2 + y 2 4 ≤ 1 } D = \left \{ (x, y) \mid x^2 + \frac{y^2}{4} \leq 1 \right \} D = { ( x , y ) ∣ x 2 + 4 y 2 ≤ 1 } としたときに、
∬ D x 2 y 2 d x d y \iint_D x^2 y^2 \text{d}x \text{d}y ∬ D x 2 y 2 d x d y
設問2
以下の問いに答えよ。計算過程も明示すること。
(1) log e ( 1.02 ) \log_e (1.02) log e ( 1.02 ) の小数第 7 7 7 位を四捨五入し、小数第 6 6 6 位まで求めよ。
(2) x > 0 x > 0 x > 0 に対して、次の不等式が成り立つことを示せ。
x − x 2 2 < log e ( 1 + x ) < 1 − x 2 2 + x 3 3 x - \frac{x^2}{2} < \log_e (1 + x) < 1 - \frac{x^2}{2} + \frac{x^3}{3} x − 2 x 2 < log e ( 1 + x ) < 1 − 2 x 2 + 3 x 3
設問3
3 x 2 + 2 y 2 + z 2 = 1 3x^2 + 2y^2 + z^2 = 1 3 x 2 + 2 y 2 + z 2 = 1 の条件の下で、x y z xyz x yz の最大値と最小値を求めよ。
Kai
設問1
(1)
Let x = tan θ x = \tan \theta x = tan θ , we have d x = d θ cos 2 θ dx=\frac{d\theta}{\cos^{2} \theta} d x = c o s 2 θ d θ . Then
∫ 0 ∞ 1 ( 1 + x 2 ) 2 d x = ∫ 0 π / 2 cos 4 θ d θ cos 2 θ = ∫ 0 π / 2 cos 2 θ d θ = 1 2 ∫ 0 π / 2 ( 1 + cos 2 θ ) 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} ∫ 0 ∞ ( 1 + x 2 ) 2 1 d x = ∫ 0 π /2 cos 4 θ cos 2 θ d θ = ∫ 0 π /2 cos 2 θ d θ = 2 1 ∫ 0 π /2 ( 1 + cos 2 θ ) d θ = 4 π
(2)
Let x = r cos θ , y = 2 r sin θ x = r \cos \theta, y = 2r \sin \theta x = r cos θ , y = 2 r sin θ , the Jacobian determinant
J = ∣ cos θ − r sin θ 2 sin θ 2 r cos θ ∣ = 2 r cos 2 θ + 2 r sin 2 θ = 2 r \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} J = cos θ 2 sin θ − r sin θ 2 r cos θ = 2 r cos 2 θ + 2 r sin 2 θ = 2 r
Then we have
∬ D x 2 y 2 d x d y = ∫ 0 1 ∫ 0 2 π 4 r 4 sin 2 θ cos 2 θ ( ∣ 2 r ∣ d r ) d θ = ∫ 0 1 2 r 5 d r ∫ 0 2 π sin 2 2 θ d θ = ∫ 0 1 2 r 5 d r 1 2 ∫ 0 2 π ( 1 − cos 4 θ ) d θ = [ r 6 3 ] 0 1 ⋅ 1 2 [ θ + 1 4 sin 4 θ ] 0 2 π = π 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} ∬ D x 2 y 2 d x d y = ∫ 0 1 ∫ 0 2 π 4 r 4 sin 2 θ cos 2 θ ( ∣2 r ∣ d r ) d θ = ∫ 0 1 2 r 5 d r ∫ 0 2 π sin 2 2 θ d θ = ∫ 0 1 2 r 5 d r 2 1 ∫ 0 2 π ( 1 − cos 4 θ ) d θ = [ 3 r 6 ] 0 1 ⋅ 2 1 [ θ + 4 1 sin 4 θ ] 0 2 π = 3 π
設問2
(1)
Perform a Taylor series expansion of the function f ( x ) = log e ( x + △ x ) f(x) = \log_e(x+ \triangle x) f ( x ) = log e ( x + △ x ) , then insert x = 1 , △ x = 0.02 x=1, \triangle x = 0.02 x = 1 , △ x = 0.02 . Calculating until the 5th term could lead to a result 0.01980256 0.01980256 0.01980256 , and then round it to 0.019803 0.019803 0.019803
(2)
(solution by Isidore)
Perform the same expansion as (1) will directly prove
x − x 2 2 < log e ( 1 + x ) x-\frac{x^2}{2} < \log_e(1+x) x − 2 x 2 < log e ( 1 + x )
Let f ( x ) = 1 − x 2 2 + x 3 3 − log e ( 1 + x ) f(x) = 1-\frac{x^2}{2}+\frac{x^3}{3} - \log_e(1+x) f ( x ) = 1 − 2 x 2 + 3 x 3 − log e ( 1 + x ) , then its derivative is
f ′ ( x ) = x 3 − x − 1 x + 1 f'(x) = \frac{x^3-x-1}{x+1} f ′ ( x ) = x + 1 x 3 − x − 1
We use Newton-Raphson's method to calculate the root of x 3 − x − 1 = 0 x^3-x-1 = 0 x 3 − x − 1 = 0 .
Starting at x 0 = 1.5 x_0 = 1.5 x 0 = 1.5 , the value of x 1 x_1 x 1 can be calculated as following
x 1 = x 0 − x 0 3 − x 0 − 1 3 x 0 2 − 1 ≈ 1.3478 x_{1} = x_0 - \frac{x_0^3-x_0-1}{3x_0^2-1} \approx 1.3478 x 1 = x 0 − 3 x 0 2 − 1 x 0 3 − x 0 − 1 ≈ 1.3478
Therefore, insert x = 1.3478 x=1.3478 x = 1.3478 ,
min { f } ≈ f ( 1.3478 ) = 0.05 > 0 \min \{f\} \approx f(1.3478) = 0.05 > 0 min { f } ≈ f ( 1.3478 ) = 0.05 > 0
Q.E.D
(solution by Casablanca)
Easy to see that we only need to prove that:
1 + x < e 1 − x 2 2 + x 3 3 1+x < e^{1- \frac{x^2}{2}+ \frac{x^3}{3}} 1 + x < e 1 − 2 x 2 + 3 x 3
Let f ( x ) = e 1 − x 2 2 + x 3 3 f(x) = e^{1- \frac{x^2}{2}+ \frac{x^3}{3}} f ( x ) = e 1 − 2 x 2 + 3 x 3 . Then we have f ( x ) ≥ f ( 1 ) = e 5 6 f(x) \geq f(1) = e^{\frac 56} f ( x ) ≥ f ( 1 ) = e 6 5 .
(i) for x ∈ ( 0 , 1 ] , x + 1 ≤ 2 < e 5 6 ≤ f ( x ) x \in (0, 1], x+1 \leq 2 < e^{\frac 56} \leq f(x) x ∈ ( 0 , 1 ] , x + 1 ≤ 2 < e 6 5 ≤ f ( x ) \quad (note: e x > 1 + x + x 2 2 , e 5 6 > 157 72 > 2 e^x > 1+ x + \frac{x^2}{2}, e^{\frac 56} > \frac{157}{72}>2 e x > 1 + x + 2 x 2 , e 6 5 > 72 157 > 2 )
(ii) for x ∈ ( 1 , + ∞ ) x \in (1, + \infty) x ∈ ( 1 , + ∞ ) , f ′ ( x ) = ( x 2 − x ) f ( x ) > 0 f'(x) = (x^2 - x)f(x) > 0 f ′ ( x ) = ( x 2 − x ) f ( x ) > 0 , f ( x ) f(x) f ( x ) increases
and we consider the point ( 3 2 , e ) (\frac{3}{2},e) ( 2 3 , e ) on ( x , f ( x ) ) (x,f(x)) ( x , f ( x )) , f ′ ( 3 2 ) = 3 4 e f'(\frac 32) = \frac 34 e f ′ ( 2 3 ) = 4 3 e .
Let
F ( x ) = f ( x ) − ( 3 4 e ( x − 3 2 ) + e ) = f ( x ) − 3 4 e + e 8 , F(x) = f(x) - (\frac 34 e(x - \frac 32) + e) = f(x) - \frac 34 e + \frac e8, F ( x ) = f ( x ) − ( 4 3 e ( x − 2 3 ) + e ) = f ( x ) − 4 3 e + 8 e ,
where
x ∈ ( 1 , + ∞ ) x \in (1, +\infty) x ∈ ( 1 , + ∞ )
and we know that: F ( 3 2 ) = 0 , F ′ ( x ) = ( x 2 − x ) f ( x ) − 3 4 e F(\frac 32) = 0, F'(x) = (x^2-x)f(x) - \frac 34 e F ( 2 3 ) = 0 , F ′ ( x ) = ( x 2 − x ) f ( x ) − 4 3 e , it's obvious that F ′ ( x ) F'(x) F ′ ( x ) increases for x > 1 x > 1 x > 1 , and F ′ ( 3 2 ) = 0 F'(\frac 32) = 0 F ′ ( 2 3 ) = 0 .
Hence F ( x ) ≥ F ( 3 2 ) = 0 F(x) \geq F(\frac 32 ) = 0 F ( x ) ≥ F ( 2 3 ) = 0 for x > 1 x > 1 x > 1 .
Thus
f ( x ) > 3 4 e x − e 8 , x ∈ ( 1 , + ∞ ) f(x) > \frac 34 ex - \frac e8, x \in (1,+\infty) f ( x ) > 4 3 e x − 8 e , x ∈ ( 1 , + ∞ )
And consider the intersection ( x 0 , y 0 ) (x_0,y_0) ( x 0 , y 0 ) of y = x + 1 y = x+1 y = x + 1 and y = 3 4 e x − e 8 y = \frac 34 ex - \frac e8 y = 4 3 e x − 8 e , we have
x 0 = 8 + e 6 e < 1 x_0 = \frac{8+e}{6e} < 1 x 0 = 6 e 8 + e < 1
thus for x > x 0 , 3 4 e x − e 8 > x + 1 x > x_0, \frac 34 ex - \frac e8 > x+1 x > x 0 , 4 3 e x − 8 e > x + 1 ,
hence for x > 1 x > 1 x > 1 ,
f ( x ) > 3 4 e x − e 8 > x + 1 f(x) > \frac 34 ex - \frac e8 > x+1 f ( x ) > 4 3 e x − 8 e > x + 1
and from (i) and (ii), finally ,we know that f ( x ) > 1 + x f(x) > 1+x f ( x ) > 1 + x
設問3
Perform the Lagrange multipliers method, we get
L ( x , y , z ; λ ) = x y z − λ ( 3 x 2 + 2 y 2 + z 2 − 1 ) L(x,y,z;\lambda) = xyz - \lambda(3x^2+2y^2+z^2-1) L ( x , y , z ; λ ) = x yz − λ ( 3 x 2 + 2 y 2 + z 2 − 1 )
Calculate its derivative with the roots, the answer is
min { x y z } = − 1 18 2 , max { x y z } = 1 18 2 \min \{xyz\} = -\frac{1}{18}\sqrt{2}, \quad \max \{xyz\} = \frac{1}{18}\sqrt{2} min { x yz } = − 18 1 2 , max { x yz } = 18 1 2