代数式展开得
2(a^2+b^2+c^2)-2(ab+bc+ac)=18-2(ab+bc+ac)
而(a+b+c)^2=(a^2+b^2+c^2)+2(ab+bc+ac)>=0
故-2(ab+bc+ac)