>>207
加法定理で、arctan(x)-arctan(y)=C ⇔ tan(c)=(x-y)/(1+xy)