>>407
tan(α-θ)を加法定理でばらした後、αが cotα の形でだけ現れるように変形する。
最後にα→90°の極限を取ると cotα→cot90°=0 になって終わり。