三つを加えると 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、三角形は正三角形である。代入すれば等号が実際に成り立つ。