sina*sinb/cosa*cosb .

Известно, что y=PI-(a+b), тогда
cos y=-cos(a+b)), siny=sin(a+b).
-(sin a cos b+cos a sin b)cos(a+b)=
sin(a+b)(-cos a cos b+sin a sin b),
-sin(a+b)cos(a+b)=-sin(a+b)cos(a+b).