>>916 >>917
　x = (b+c-a)/2, y = (c+a-b)/2, z = (a+b-c)/2,
とおく。(Ravi変換)
普通に差をとったら出来ますね^^
　2bc - a(b+c-a) = 2(x+z)(x+y) - 2x(y+z) = 2xx + 2yz ≧ 0,

文献[9] 佐藤(訳) §2.2　例2.2.1　p.69 (2013)