[過去ログ] 不等式への招待 第8章 [無断転載禁止]©2ch.net (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
882: 2017/09/05(火)02:53 ID:3z9XJ0W/(1/3) AAS
>>870 >>871

LHS =(a+b+c)^2(aa+bb+cc)^3 ≧ 27(ab^3+bc^3+ca^3)(a^3b+b^3c+c^3a)
は無理ですね。

〔参考〕
(aa+bb+cc)^2 ≧ 3(ab^3+bc^3+ca^3)または 3(a^3b+b^3c+c^3a)

[第5章.268, 284-290]
[第2章.389]
文献[8]、安藤、§2.3.2 p.61 中段、g_{p,q}(a,b,c)≧0,
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 のとおり。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.044s