sin^2(A/2)+sin^2(B/2)+sin^2(C/2)=1−2sin(A/2)sin(B/2)sin(C/2)