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