0178132人目の素数さん
2017/10/03(火) 18:38:16.19ID:K9DRTZfCQ.74
これも同様に
abc ≧ (a+b-1)c により2次式に sage て平方完成でござるな。
(aa + bb + cc + 2abc + 3) - (1+a)(1+b)(1+c)
≧aa + bb + cc -ab -a -b -2c +2
={(a+b-2)^2 + (a-b)^2 + 4(c-1)^2}/4
≧ 0,
>>177 訂正
(A-1)(B-1)≧0 でござった。(AA略)