> やっぱり、漏れの余弦定理使うのが正規の解法だと思うぞ(;´Д`)

タンジェントの加法定理だよ

参考：2002/02/15(金)22時59分23秒