几种反函数和差角公式的推导

已知：tan(a+b)=(tana+tanb)/(1-tanatanb)
那么令a=arctanm,b=arctann
即m=tana,n=tanb
代入原式：
tan(arctanm+arctann)=(m+n)/(1-mn)
两边同取arctan：
arctanm+arctann=arctan[(m+n)/(1-mn)]
右边裂项得
arctann+arctanm=arctan[m/(1-mn)+n/(1-mn)]
这一步主要目的是将右边拆成两项和，有不同的拆分法，所以最终得到的公式也不只一种。这里只推导其中的一种。
接下来换元，令m/(1-mn)=x,n/(1-mn)=y
下面是在用x,y表示m,n
整理上两式得到：
m+mnx=x (1式),n+mny=y (2式)
在1式中，m=x/(1+nx) ……3式
在2式中，n=y/(1+my) ……4式
将4式代回3式:
m=x/[1+xy/(1+my)]=x(1+my)/(1+my+xy)
整理得到：
my²+m-x=0
于是m=[-1+√(1+4xy)]/2y
同理有n=[-1+√(1+4xy)]/2x
（负根舍去。如果三角函数值是负数，利用三角函数诱导公式化为正数运算即可，有时间的话我会来补充一下。）
再代回上式arctanm+arctann=arctan(x+y),
就得到结果&