>>59
アドバイスありがとうございます。

>何がしたいか分からん。
僕がしたかったのは、tan(θ/2)が本当にy/(x+1)という形で
書けるのかを証明することです。

B^2 tanθ+2B -tanθ=0　
解の公式を使って　B=-(1/tanθ)±(1/sinθ)
までは僕もきました。

Bの式にtanθ=y/x、sinθ=yを代入すると、
B=（-x±1）/y　になってy/(x+1)にならないので
おかしいなぁー？？？と悩んでいたのです。