How do you verify the identity #(sinx+siny)/(cosx-cosy)=-cot((x-y)/2)#?