>>224
tanの加法定理