相加三式得 A2+B2+C2≥AB+BC+CAA^2+B^2+C^2\ge AB+BC+CAA2+B2+C2≥AB+BC+CA。等号要求 A=B=CA=B=CA=B=C,从而 a=b=ca=b=ca=b=c,三角形为等边三角形;直接代入可知等号确实成立。