a > b > c,因此(a-b)(a-c) > 0
b = -(a + c)代入得
(2a + c)(a - c) > 0 即
2a^2 - ac - c^2 > 0 從而
a^2 + ac + c^2 < 3a^2 (1)
a^2 + ac + c^2 = (a+c/2)^2 + (3c^2)/4 ≥ 0
(1)式兩邊開方得
√(a^2 + ac + c^2) < |a|√3 = a√3 (顯然a > 0,否則a+b+c < 0)
即√[(a+c)^2 - ac] < a√3
因此√(b^2 - ac) < a√3