sin(arctg3−arctg1)=