[過去ﾛｸﾞ] 不等式への招待 第２章 (989ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

201(3): 05/03/20 21:30 AAS
>200
【Sierpinskiの不等式】
　[>200]のとき、　Ａ^(n-1)･Ｈ ≧ Ｇ^n ≧ Ａ･Ｈ^(n-1).
(略証)
　Ｆ ≡ Ａ^(n-1)･Ｈ/Ｇ^n とおき、Ｆ≧1 を示す。
　nに関する帰納法による。
　n=2 のとき ＡＨ=x(1)x(2)=Ｇ^2 だから等号成立、Ｆ=1.
　nに対して成り立つとする。x(n+1)=x ' とおくと n+1 に対しては
　Ａ' = (nＡ+ x ')/(n+1), Ｇ ' = (Ｇ^n･x ')^(1/(n+1)), Ｈ ' = Ｈ(n+1)x '/(Ｈ+nx ').
　Ｆ/Ｆ ' = {Ａ^(n-1)/Ａ'^n}(Ｈ+nx ') = {Ａ^(n-1)/Ａ'^n}{nＡ' -(n-1)Ａ -(Ａ-Ｈ)/(n+1)}
省4

---

202(1): 201 05/03/20 21:37 AAS
>200 (>201の補足)　

【補題】Ａ≧Ｈ.
　(略証) Ａ／Ｈ = (1/n^2){Σ[i=1,n] x(i)}{Σ[j=1,n] 1/x(j)}
　= 1 + (1/n^2)Σ[i<j] {x(i)/x(j) +x(j)/x(i) -2}
　= 1 + (1/n^2)Σ[i<j] {x(i)-x(j)}^2 /[x(i)x(j)] ≧ 1. (終)

---

203(1): 201 05/03/20 22:05 AAS
>200 (>201の補足)
【★】　t > -1 ⇒ t^n ≧ nt -(n-1).
(略証)
(i) t≧1のとき
　t^(n-1) + t^(n-2) + ... + t^2 + t + 1 ≧ n.
　の両辺に t-1 をかければ t^n - 1 ≧ nt - n が得られる。
(ii) -1＜t＜1のとき
　1 + t + t^2 + ... + t^(n-2) + t^(n-1) ≦ n.
　の両辺に 1-t をかければ 1 - t^n ≦ n - nt が得られる。
いずれの場合も t^n ≧ nt-(n-1) が成り立つ。　(終)

---

204(1): 2005/03/21 03:38 AAS
>>201-203
ありがとうごぜぇます、お代官様。今から読みます。

もう一つ質問。
[前スレ903(3)] 0<x≦π/2 のとき、sin(sin(x))<tanh(x) の解答 [前スレ909] において

>　f(y)=arcsin(arcsin(y)), g(y)=arctanh(y)=(1/2)Ln{(1+y)/(1-y)} とおく。arcsin(y)>y より
>　f '(y) = 1/√{1-arcsin(y)^2}・1/√(1-y^2) > 1/(1-y^2) = g '(y).
>　これと f(0)=0=g(0) から 0<y≦sin(1) ⇒ f(y)>g(y).

f(y)=arcsin(arcsin(y)) の逆関数は sin(sin(x)) になるのですか？

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.130s*