返回题库

泰勒展开:iii^i 与 $(1+x)^n\ge 1+n

Taylor’s Series

专题
General / 综合
难度
L4

题目详情

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

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

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

Prove (1+x)n1+nx(1+x)^n \ge 1+nx for any x>1x>-1 and integer n2n\ge2.

解析
  1. 用欧拉公式 eiθ=cosθ+isinθe^{i\theta}=\cos\theta+i\sin\theta,得 i=eiπ/2i=e^{i\pi/2},因此 lni=iπ/2\ln i=i\pi/2,于是
ln(ii)=ilni=i(iπ/2)=π/2ii=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(n1)(1+x~)n22x2,f(x)=1+nx+\frac{n(n-1)(1+\tilde x)^{n-2}}{2}x^2,

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


Original Explanation

Use Euler’s formula eiθ=cosθ+isinθ.e^{\,i\theta}=\cos\theta + i\sin\theta. Then lni=ln(eiπ/2)=iπ/2,\ln i = \ln(e^{\,i\pi/2})=i\pi/2, giving ln(ii)=ilni=i(iπ/2)=π2ii=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+nx+n(n1)(1+x~)n22x2,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 n2,n\ge2, the remainder term is nonnegative, hence (1+x)n1+nx.(1+x)^n\ge1+nx.

$$