返回题库

泰勒展开

Taylor’s Series

专题
General / 综合
难度
L4

题目详情

  1. 证明 ii=e−π/2i^i=e^{-\pi/2}。

  2. 证明对任意 x>−1x>-1 与整数 n≥2n\ge 2,有 (1+x)n≥1+nx(1+x)^n\ge 1+nx。

英文原题

Show ii=e−π/2i^i = e^{-\pi/2}.

Prove (1+x)n≥1+nx(1+x)^n \ge 1+nx for any x>−1x>-1 and integer n≥2n\ge2.

解析
  1. 用欧拉公式 eiθ=cos⁡θ+isin⁡θe^{i\theta}=\cos\theta+i\sin\theta,得 i=eiπ/2i=e^{i\pi/2},因此 ln⁡i=iπ/2\ln i=i\pi/2,于是
ln⁡(ii)=iln⁡i=i(iπ/2)=−π/2⇒ii=e−π/2.\ln(i^i)=i\ln i=i(i\pi/2)=-\pi/2\Rightarrow i^i=e^{-\pi/2}.
  1. 令 f(x)=(1+x)nf(x)=(1+x)^n,在 0 处泰勒展开:
f(x)=1+nx+n(n−1)(1+x~)n−22x2,f(x)=1+nx+\frac{n(n-1)(1+\tilde x)^{n-2}}{2}x^2,

其中 x~\tilde x 介于 0 与 xx。因为 x>−1x>-1 且 n≥2n\ge2,余项非负,故 f(x)≥1+nxf(x)\ge 1+nx。


英文解析

Use Euler’s formula e iθ=cos⁡θ+isin⁡θ.e^{\,i\theta}=\cos\theta + i\sin\theta. Then ln⁡i=ln⁡(e iπ/2)=iπ/2,\ln i = \ln(e^{\,i\pi/2})=i\pi/2, giving
ln⁡(ii)=i ln⁡i=i (iπ/2)=−π2⟹ii=e−π/2.\ln(i^i) = i\,\ln i = i\,(i\pi/2) = -\frac{\pi}{2} \quad\Longrightarrow\quad i^i = e^{-\pi/2}.

Let f(x)=(1+x)n.f(x)=(1+x)^n. Its Taylor expansion at x=0x=0:
f(x)=f(0)+f′(0) x+f′′(x~)2! x2=1+n x+n(n−1) (1+x~)n−22 x2,f(x) = f(0) + f'(0)\,x + \frac{f''(\tilde{x})}{2!}\,x^2 = 1 + n\,x + \frac{n(n-1)\,(1+\tilde{x})^{n-2}}{2}\,x^2,
where x~\tilde{x} is between 0 and x.x. Because n≥2,n\ge2, the remainder term is nonnegative, hence (1+x)n≥1+nx.(1+x)^n\ge1+nx.

$$