>>362
ではどうすれば加法定理から1/tanθに導けるんでしょうか?