Dựng đường tròn ngoại tiếp tam giác ABC tiếp xúc với các cạnh AB,BC,CA lần lượt tại M,N,P
Đặt [TEX]\left{\begin{AM=AP=x}\\{BM=BN=y}\\{CN=CP=z}[/TEX]
[tex]\Rightarrow \left{\begin{BC=y+z}\\{AC=x+z}\\{AB=x+y}[/tex]
Do đó bất đẳng thức cần chứng minh tương đương với
(y+z)2.(x+z).(y−x)+(x+z)2(x+y)(z−y)+(x+y)2(y+z)(x−z)≥0
⇔y3z+z3x+x2y≥x2yz+y2xz+z2xy=xyz(x+y+z)
⇔xy2+yz2+zx2≥x+y+z(∗)
Mặt khác, theo Bunyakovsky, ta có:
(x+y+z)2≤(x+y+z)(xy2+yz2+zx2)
⇒xy2+yz2+zx2≥x+y+z
⇒(∗) đúng \Rightarrow (1) đúng