17/08/25 01:15:11.00 3FtU8w0T.net
>>679
>>690
f(a, b, c)=LHS-RHS, a>=c>=b とすると
f(a, b, c)- f(a, t, t) = 1/4 *(2a-b-c) >= 0 where t = (b+c)/2
f(a, b, c) - f(ab, c, 1) = (a-1)(1-b)(c^2+abc+ab+bc+ca+c-5) >=0
よって a = b = c = 1 のとき調べればよいが明らか
17/08/25 01:15:11.00 3FtU8w0T.net
>>679
>>690
f(a, b, c)=LHS-RHS, a>=c>=b とすると
f(a, b, c)- f(a, t, t) = 1/4 *(2a-b-c) >= 0 where t = (b+c)/2
f(a, b, c) - f(ab, c, 1) = (a-1)(1-b)(c^2+abc+ab+bc+ca+c-5) >=0
よって a = b = c = 1 のとき調べればよいが明らか