>>685
cos{(A+B)/2} = cos{π/2-C/2} = sin{C/2}