>>940
(β+γ)/2なのかβ+(γ/2)なのかはっきりしろ。前者だったら簡単。
tan(α/2)tan((β+γ)/2)
=tan(α/2)tan((180゚-α)/2)
=tan(α/2)tan(90゚-(α/2))
以下略