17/07/13 04:08:19.11 oVTfqBd/.net
>>66 上
a+b-c=2z，b+c-a=2x，c+a-b=2y とおく。(*)
x,y,zは任意の正数。
abc - (a+b-c)(b+c-a)(c+a-b) = (y+z)(z+x)(x+y) - 8xyz
= x(y-z)^2 + y(z-x)^2 + z(x-y)^2
≧ 0,
等号は x=y=z、つまり a=b=c （正△）
* Ravi変換とかいうらしい。
17/07/13 04:08:19.11 oVTfqBd/.net
>>66 上
a+b-c=2z，b+c-a=2x，c+a-b=2y とおく。(*)
x,y,zは任意の正数。
abc - (a+b-c)(b+c-a)(c+a-b) = (y+z)(z+x)(x+y) - 8xyz
= x(y-z)^2 + y(z-x)^2 + z(x-y)^2
≧ 0,
等号は x=y=z、つまり a=b=c （正△）
* Ravi変換とかいうらしい。