sin(B−C2)=b−ca cos A2
Let a=k sin A, b=k sin B, c=k sin CRHSb−cacosA2=k sin B−k sin Ck sin A.cosA2=sin B−sin Csin A.cosA2=2cosB+C2.sinB−C22sinA2.cosA2=cosπ−A2sinB−C2sinA2=sinA2sinB−C2sinA2=sinB−C2=RHS