等号には相加相乗平均と三つの正弦の評価がすべて等号であることが必要。B+A/2=C+B/2=A+C/2=90∘B+A/2=C+B/2=A+C/2=90^\circB+A/2=C+B/2=A+C/2=90∘ から A=B=C=60∘A=B=C=60^\circA=B=C=60∘、逆に正三角形では等号が成立する。