- 75 名前：１３２人目の素数さん mailto:sage [2023/07/01(土) 13:55:00.18 ID:NFn/gCKL.net]
- sの定義が不明だが2s=a+b+cとして解く。
a³(b+c-a)+b³(c+a-b)+c³(a+b-c)≤
abc(a+b+c)
⇔a²(a-b)(a-c)+b²(b-a)(b-c)+c²(c-a)(c-b)≥0
これはSchurの不等式でn=3、α=2、β=1である。
α+2β, 0, 0、α, β, β、α+β, β, 0
→400+211≥2×310
