>>353
z/α=tan(tan^-1(z/α))、cotφ=tan（tan^-1(φ))　
を2番目の式に代入して眺めてみる。
勿論、目指すところは>>354さんの指摘だ。