>>336
tanの加法定理だけで押すなら、たとえばこんな感じか?
tan(π/2 -θ)
=tan(π/4 +(π/4-θ )
={1+tan(π/4-θ)}/{1- tan(π/4 -θ)}
={ 1+{1-tanθ)/(1+tanθ)}/{1-(1-tanθ)/(1+tanθ)}
={(1+tanθ+1-tanθ)/(1+tanθ)}/{(1+tanθ-1+tanθ)/(1+tanθ)}
=1/tanθ
=cotθ

そんなややこしいことしなくても定義に立ち戻って、
tan(π/2-θ)=sin(π/2-θ)/cos(π/2-θ) =cosθ/sinθ=cotθ