Xét tam thức f(x) = b2x2 - (b2 + c2 - a2)x + c2 có:
Δ = (b2 + c2 - a2)2 - 4b2c2
= (b2 + c2 - a2 - 2bc)(b2 + c2 - a2 + 2bc)
= [(b - c)2 - a2][(b + c)2 - a2]
= (b – c – a)(b – c + a)(b + c + a)(b + c – a).
Do a, b, c là 3 cạnh của tam giác nên theo bất đẳng thức tam giác ta có:
b < c + a ⇒ b – c – a < 0
c < a + b ⇒ b – c + a > 0
a < b + c ⇒ b + c – a > 0
a, b, c > 0 ⇒ a + b + c > 0
⇒ Δ < 0 ⇒ f(x) cùng dấu với b2 ∀x hay f(x) > 0 ∀x (đpcm).