[過去ﾛｸﾞ] 不等式への招待 第８章 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
754(14): 2017/09/01(金)00:01 ID:3P2EPmWz(1/5) AAS
AA省
757(6): 2017/09/01(金)11:18 ID:QpLZW4eS(1/5) AAS
>>754
(1)
aa=A，bb=B，cc=C とおいて考える。
(右辺）=（A+2B)(B+2C)(C+2A)
= 2(AAB+BBC+CCA）+ 4(ABB+BCC+CAA）+ 9ABC,
(左辺）=（ab+bc+ca)^3
= aabb(ab+3bc+3ca）+ bbcc(bc+3ca+3ab）+ ccaa(ca+3ab+3bc）+6(abc)^2
≦ AB(2A+2B+3C）+ BC(2B+2C+3A）+ CA(2C+2A+3B）+ 6ABC
= 2(AAB+BBC+CCA）+ 2(ABB+BCC+CAA）+15ABC,
(右辺）-（左辺）≧ 2(ABB+BCC+CAA-3ABC）≧ 0, （← AM-GM)
省12
768(2): 2017/09/01(金)14:40 ID:QpLZW4eS(2/5) AAS
>>754
(2)
(左辺）-（右辺）=（aa+bb+cc)^3 -（a+b+c)(ab+bc+ca)(a^3+b^3+c^3)
= p'(b-c)^2 + q'(c-a)^2 + r'(a-b)^2
≧ 0,
ここに
p ' =｛4a^4+b^4+c^4 +（a^4+a^4+b^4+c^4-4aabc)}/4 ≧（4a^4+b^4+c^4)/4,
q ' =｛a^4+4b^4+c^4 +（a^4+b^4+b^4+c^4-4abbc)}/4 ≧（a^4+4b^4+c^4)/4,
r ' =｛a^4+b^4+4c^4 +（a^4+b^4+c^4+c^4-4abcc)}/4 ≧（a^4+b^4+4c^4)/4,
(3)
省5
769: 2017/09/01(金)15:02 ID:QpLZW4eS(3/5) AAS
>>754
(7)
左辺の4つの因子のうち、負になれるのは高々１つだけ。
左辺が正のときは４つとも正。
GM-AMで
(a+b+c-d)(b+c+d-a）=（b+c)^2 -（a-d)^2 ≦（b+c)^2,
循環的に掛ける。
780: 2017/09/01(金)22:12 ID:3P2EPmWz(4/5) AAS
>>754 (4)は成立しませんでした、すみません。
783(2): 2017/09/01(金)22:57 ID:3P2EPmWz(5/5) AAS
>>757
昔のmemoの中に、>>754(5)を改造したものがあった。
a, b, c >0 に対して、
(a^2 + ab + b^2)(b^2 + bc + c^2)(c^2 + ca + a^2)
≧ (27/64)*[(a+b)(b+c)(c+a)]^2
≧ (1/3)*[(a+b+c)(ab+bc+ca)]^2
≧ (ab+bc+ca)^3.
839: 2017/09/02(土)14:08 ID:ziPENgdW(7/11) AAS
>>768
>>754 (2) を F_0 を残したまま展開してみたなり。
(左辺）-（右辺）
＝ (F_0 + t)^3 - st*(sF_0 + 3u)
＝ (F_0)^3 + 2t*(F_0)^2 + t*(uF_{-1})
≧ 0
843(3): 2017/09/02(土)20:18 ID:VhdcIBK0(1) AAS
>>754
(1)
Holder の不等式
(b^2+b^2+a^2)(b^2+c^2+c^2)(a^2+c^2+a^2)(a^2+b^2+c^2) >= (ab+bc+ca)^4
から明らか
(2)
LHS >= sqrt(3(a^2+ab+b^2)(b^2+bc+c^2)(c^2+ca+a^2)) >= RHS
(3)
和積版並べ替え不等式から明らか
(a+x)(b+y)(c+z) >= (a+x’)(b+y’)(c+z’) >= (a+z)(b+y)(c+x)
省3
854(2): 2017/09/04(月)13:23 ID:nXYDOT8Z(2/3) AAS
>>754
(8)
f(x）=（1/a)^x は下に凸だから、0<x<1 で
f(x）- f(0）≦｛f(1）- f(0)}x,
(1/a)^x - 1 ≦｛(1/a）- 1}x,
∴ a^x ≧ a/(a+x-ax）= 1 - (1-a)x/(a+x-ax） …… ベルヌーイの式
x=bc を入れると、
a+x-ax = a+bc-abc = t-2u +a(1-b)(1-c）≧ t-2u,
∴ a^bc ≧ 1 -（bc-u)/(t-2u),
巡回的にたすと
省7
883(2): 2017/09/05(火)03:34 ID:3z9XJ0W/(2/3) AAS
>>754 (2)
>>768
s = a+b+c,
t = ab+bc+ca,
S2 = aa+bb+cc,
S3 = a^3 +b^3 +c^3,
とおく。
S2 - t =｛(a-b)^2 +（b-c)^2 +（c-a)^2}/2 = F_0,
とおく。コーシーより
s･S3 - S2･S2 = ab(a-b)^2 + bc(b-c)^2 + ca(c-a)^2 ≦ F_0･S2,
省6
896: 2017/09/05(火)11:21 ID:3z9XJ0W/(3/3) AAS
>>894
〔補題〕（>>754 (2) のための）
a,b,c >0 とすると
(aa+bb+cc){2(aa+bb+cc）-（ab+bc+ca)｝≧（a+b+c)(a^3+b^3+c^3）≧（aa+bb+cc)^2,
(略証)
左側は
S2（S2+F_0）- s･S3 =｛(a-b)^2+cc}/2 (a-b)^2 + cyclic. ≧ 0,
右側がコーシーでしたね。
s･S3 -（S2)^2 = ab(a-b)^2 + bc(b-c)^2 + ca(c-a)^2 ≧ 0，（終）
あとは >>883 のとおり。
925(2): 2017/09/07(木)05:11 ID:+sD3y4UN(2/5) AAS
AA省
947(2): 2017/09/09(土)17:18 ID:fG3xA4Le(2/2) AAS
>>946
その通りでつ。
>>783 に追加
a,b,c>0 に対して、
（aa+bb+cc)^3 ≧（aa+2bb)(bb+2cc)(cc+2aa）≧（aa+ab+bb)(bb+bc+cc)(cc+ca+aa）≧…
>>754 (1)(5）より
949(1): 2017/09/09(土)18:15 ID:PPAy6pZb(3/3) AAS
>>947
すまぬ、不等号の向きが逆でござる。
>>757の証明では、修正済みですね。
>>754 (1) 【訂正】
a, b, c >0 に対して、(ab+bc+ca)^3 ≦ (a^2 + 2b^2)(b^2 + 2c^2)(c^2 + 2a^2)
950: 2017/09/10(日)17:07 ID:GGGugCiK(1) AAS
>>949
>>754 (1）
［第3章.727］より
（aa+2bb)(bb+2cc)(cc+2aa）≧（1/27){(a+2b)(b+2c)(c+2a)}^2 ≧（ab+bc+ca)^3,
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.435s*