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

标签：

• 京都大学
• 微分
• 极限
• 三重积分
• 无穷级数

Author

itsuitsuki, 祭音Myyura

Description

大学公表の原題

In the questions below, $\log x$ denotes the natural logarithm of $x$, and $e$ denotes Napier's constant (the base of the natural logarithm).

Q.1

Answer the following questions. Derivations must be clearly shown.

(1) Let $n$ be a positive integer. Compute the $n$-th derivative of $f(x) = x^2e^{-x}$.

(2) Compute the following limit.

$$\lim_{x \to \frac{\pi}{2}-0} \log(\tan x)^{\cos x}$$

Q.2

Compute the volume common to a sphere $x^2 + y^2 + z^2 \leq 36$ and a cylinder $x^2 + y^2 \leq 9$, $-\infty < z < \infty$. Derivation must be clearly shown.

Q.3

Answer the following questions.

(1) Show that the inequality

$$0 < e - \sum_{k=0}^{n} \frac{1}{k!} < \frac{3}{2(n+1)!}$$

holds for any positive integer $n$.

(2) Show that $e$ is an irrational number using the inequality in (1).

题目描述

以下 $\log$ 为自然对数，$e$ 为自然对数底，须写出推导。

1. 对正整数 $n$，求 $f(x)=x^2e^{-x}$ 的 $n$ 阶导数；并求

   $$\lim_{x\to\pi/2-0}\log\bigl((\tan x)^{\cos x}\bigr).$$

2. 求球 $x^2+y^2+z^2\le36$ 与无限圆柱 $x^2+y^2\le9$ 的公共体积。

3. 证明对任意正整数 $n$，

   $$0<e-\sum_{k=0}^n\frac1{k!}<\frac3{2(n+1)!},$$

   并利用该不等式证明 $e$ 为无理数。

Kai

Q.1

(1)

Since

$$f(x)=x^2e^{-x},\quad f'(x)=2xe^{-x}-x^2e^{-x},\\ f''(x)=2e^{-x}-4xe^{-x}+x^2e^{-x},f'''(x)=-6e^{-x}+6xe^{-x}-x^2e^{-x},$$

let the $n$-th derivative be

$$f^{(n)}(x)=a_ne^{-x}+b_nxe^{-x}+(-1)^nx^2e^{-x},$$

where

$$a_0=a_1=0,\quad b_0=0,b_1=2.$$

Then

$$f^{(n+1)}(x)=-a_ne^{-x}+b_ne^{-x}-b_nxe^{-x}+2\cdot (-1)^n xe^{-x}+(-1)^{n+1}x^2e^{-x}$$

and therefore

$$a_{n+1}=b_n-a_n,\quad b_{n+1}=2(-1)^n-b_n\implies b_n=2(-1)^{n-1}n$$

so

$$a_{n+1}=2(-1)^{n-1}n-a_n=2(-1)^{n+1}n-a_n\implies {a_{n+1}\over (-1)^{n+1}}=2n+{a_n\over (-1)^n}\\\implies {a_n\over (-1)^n}=0+2(0+1+\dots+(n-1))=n^2-n\implies a_n=(-1)^n (n^2-n)$$

Hence

$$f^{(n)}(x)=(-1)^n\bigl(x^2-2nx+n^2-n\bigr)e^{-x}.$$

(2)

Put $t=\frac{\pi}{2}-x$. Then $t\to0+$ and

$$\log\bigl((\tan x)^{\cos x}\bigr) =\sin t\,\log(\cot t).$$

Since $\sin t\sim t$ and $\log(\cot t)\sim-\log t$,

$$\lim_{t\to0+}\sin t\,\log(\cot t) =\lim_{t\to0+}(-t\log t)=0.$$

Q.2

In cylindrical coordinates, the intersection is

$$0\le r\le3,\qquad 0\le\theta<2\pi, \qquad -\sqrt{36-r^2}\le z\le\sqrt{36-r^2}.$$

Therefore

$$\begin{aligned} V&=\int_0^{2\pi}\int_0^3\int_{-\sqrt{36-r^2}}^{\sqrt{36-r^2}} r\,dz\,dr\,d\theta\\ &=4\pi\int_0^3r\sqrt{36-r^2}\,dr\\ &=\frac{4\pi}{3}\left(216-81\sqrt3\right) =(288-108\sqrt3)\pi. \end{aligned}$$

Q.3

(1)

Since $\forall k\in\Z^+,\quad \frac1{k!}>0$,

$$\sum_{k=0}^n {1\over k!} < \sum_{k=0}^{+\infty} {1\over k!} = e, \forall n=1,2,\dots$$

we have $0<e-\sum_{k=0}^n\frac1{k!}$.

And since

$$\begin{aligned} e-\sum_{k=0}^n \frac1{k!} &= {1\over (n+1)!} + {1\over (n+2)!} + {1\over (n+3)!} + \dots \\ & = {1\over (n+1)!} + {1\over (n+1)!(n+2)} + {1\over (n+1)!(n+2)(n+3)} + \dots \\ & < {1\over (n+1)!}\left[ 1+{1\over n+2} + {1\over (n+2)^2}+\dots \right] \\ & = {1\over (n+1)!}\cdot {1\over {n+1\over n+2}} \\ & = {n+2\over n+1}\cdot \frac1{(n+1)!}, \end{aligned}$$

and since

$$\begin{aligned} {n+2\over n+1}\le \frac32, \forall n=1,2,\dots, \end{aligned}$$

we can conclude

$$e-\sum_{k=0}^n\frac1{k!}<{3\over 2(n+1)!}.$$

(2)

Assume $e$ is rational, setting it $e=p/q$ where $p,q\in\Z^+$ and $\gcd(p,q)=1$.

Then

$$0<{p\over q}-\sum_{k=0}^n\frac1{k!}<{3\over 2(n+1)!}$$

where we set $n=q$, and multiply these with $q!$,

$$0<p(q-1)!-\sum_{k=0}^q \frac{q!}{k!}<{3\over 2(q+1)}<1,\quad q=1,2,\dots$$

with $p(q-1)!-\sum_{k=0}^q \frac{q!}{k!}$ should be integer but it is in $(0,1)$ by the inequality chain above, thus causing contradiction.

Hence no such $q$ exists, making $e$ irrational.