S:=AH+BI+CJ
=2sinBsinC+2sinCsinA+2sinAsinB
d(S)//d(A+B+C-π)
⇔ sinB+sinC=sinC+sinA=sinA+sinB
⇔A=B=C