5.令 a_1, a_2, a_3, ...a_n 為正數使得
1/2>= a_1+a_2+a_3+...+a_n。試證
2>=(1+a_1)(1+a_2)(1+a_3)....(1+a_n).
(八分)

回應

因為a1^2+a2^2+....an^2不等於0
且由柯西不等式得a1^2+a2^2+....an^2小於等於1/4

構造方程式

(a1^2+a2^2+....an^2)x^2+2(1+a1)(1+a2)(1+a3)...(1+an)x+16

因為a1~an都大於0
所構造的方程必大於等於0
所以 {2(1+a1)(1+a2)(1+a3)...(1+an)}^2小於等於4乘16乘(a1^2+a2^2+....an^2)小於等於16

得(1+a1)(1+a2)(1+a3)...(1+an)小於等於2
啊 sorry我看錯了

以下給出另一種

(1+a1)(1+a2)...(1+an)=2^n{1/2+(a1)/2}...{1/2+(an)/2}

利用算幾不等式

{{{1/2+(a1)/2}+..+{1/2+(an)/2}}/n}^n大於等於{1/2+(a1)/2}...{1/2+(an)/2}

所以{1/2+(a1)/2}...{1/2+(an)/2}小於等於(2n+1)/4^n*n^n*2^n=(1+1/2n)^n小於等於3/2


引用:

vic526tor 寫道:
我覺得因為(1+1/n)^n當n趨向無窮大時它的值會等於e
因此(1+1/2n)^n當n趨向無窮大時它的值應該比e更小

我記得我在寫時

寫了這個值應小於根號e

這樣就比2小了啊

因為(1+x/n)^n=e^x 其中n趨近於無限大

e約為2.71828......