17/08/27 10:23:54.77 NetfQ0ow.net
>>703 >>704
t^3 -4stu +9uu = u^3･F_1(1/x,1/y,1/z）= uu･F_{-2}(x,y,z)
=｛(z^5)(xx-yy)^2 + (x^5)(yy-zz)^2 +(y^5)(zz-xx)^2}/{(x+y)(y+z)(z+x)}
≧0
を使いますた。
17/08/27 10:23:54.77 NetfQ0ow.net
>>703 >>704
t^3 -4stu +9uu = u^3･F_1(1/x,1/y,1/z）= uu･F_{-2}(x,y,z)
=｛(z^5)(xx-yy)^2 + (x^5)(yy-zz)^2 +(y^5)(zz-xx)^2}/{(x+y)(y+z)(z+x)}
≧0
を使いますた。