左边=sin(C/2)/cos(C/2)
=2sin²(C/2)/[2sin(C/2)cos(C/2)]
=-[1-2sin²(C/2)-1]/sinC
=-(cosC-1)/sinC
=(1-cosC)/sinC=右边