04/11/08 20:31:05
>609
b が a, c の中間にあるとすると、(a-b)(b-c)≧0, a-b+c≧0 ゆえ,
s^3 -4st +9u = a(a-b)^2 +c(b-c)^2 +(a-b)(b-c)(a-b+c) ≧0 ･････(1)
これと
s^2 -3t = (1/2)[ (a-b)^2 + (b-c)^2 + (c-a)^2] ≧0 ･････(2)
ts - 9u = [ c(a-b)^2 + a(b-c)^2 + b(c-a)^2] ≧0 ･････(3)
t^2 -3su =(1/2)[c^2(a-b)^2 +a^2(b-c)^2 +b^2(c-a)^2] ≧0 ･････(4)
を使えば かなりできそうだが．．．．（△を除き）
ぬるぽ