>>741 (上)

4(ab+bc+ca){1/(b+c)^2 + 1/(c+a)^2 + 1/(a+b)^2} - 9
= {ab(4aa+7ab+4bb)(a-b)^2 + bc(4bb+7bc+4cc)(b-c)^2 + ca(4cc+7ca+4aa)(c-a)^2 + (2abc)F_1(a,b,c)}/{(a+b)(b+c)(c+a)}^2
= {4t･F_2＋(3tt/s)F_1＋(9tu/s)F_0＋(st-9u)u} / (st-u)^2
≧ 0,

F_n (a,b,c) = (a^n)(a-b)(a-c) + (b^n)(b-c)(b-a) + (c^n)(c-a)(c-b) ≧ 0,