How do you verify tan(A/2)=cscA-cotA?