tanの半角公式の導き方教えてください
他は加法定理の変形で分かったんですけどこれだけ分かりませんでした