2(ab+bc+ac)可变形为
ab+bc+ac+ab+bc+ac
a(b+c)+b(a+c)+c(a+b)
因三角形两边和大于第三边,即b+c>a,a+c>b,a+b>c
故a^2=aXa