tan(π/2+α)= sin(π/2+α)/ cos(π/2+α)
= sin[π/2-(-α)]/cos[π/2-(-α)]
= cos(-α)/sin(-α) = cosα/(-sinα)=-cotα
cot(π/2+α可以同理证明得到.