>>30

左側は差をとる。
Rt -ssu =（aabb･b + bbcc･c + ccaa･a）-（aabb･c + bbcc･a + ccaa･b）
　=｛(4aab^3 + bbc^3 + 2cca^3)/7 - aabbc｝+ cyclic.
　≧0,
Lt -ssu =（aabb･a + bbcc･b + ccaa･c）-（aabb･c + bbcc･a + ccaa･b）
　=｛(4bba^3 + 2ccb^3 + aac^3)/7 - aabbc｝+ cyclic.
　≧0,

右側も差をとる。
s(ss-2t）- 3R = a(a-c)^2 + b(b-a)^2 + c(c-b)^2 ≧ 0,
s(ss-2t）- 3L = a(a-b)^2 + b(b-c)^2 + c(c-a)^2 ≧ 0,

⊿ = R-L
　= 2R -（L+R)
　≦ 2s(ss-2t)/3 -（st-3u)
　=（2s^3 -7st +9u）/3
　=（F_1 + s F_0）/3,


>>31
反例は a=1，1/φ < b < φ，c=0 ですね。

（st-9u)^2 - ⊿⊿ =（R+L-6u)^2 -（R-L)^2 = 4(R-3u)(L-3u）≧0,