令
arctan x=y
arctan((1+x)/(1-x))=z
x=tany, (1+x)/(1-x)=tan z
tanz=[tan(pi/4)+tany]/[1-tan(pi/4)*tany]=tan(pi/4+y) (因为tan(pi/4)=1,和角公式)
所以z=pi/4+y
arctan((1+x)/(1-x))=arctan x + pi/4
没有其它的了,因为arctan本来就是反函数,反函数一般都很恶心,但是我们知道怎么用tan,所以最好的办法就是取tan然后再arctan回来,我的令只是简化问题,本质是取tan然后用和角公式,再arctan回去
因为tan(arctana+arctanb)=(a+b)/(1-ab)
所以 arctana+arctanb=arctan(a+b)/(1-ab)
令a=1,b=x
arctan1+arctanx=arctan(1+x)/(1-x)
<==>π/4+arctanx=arctan(1+x)/(1-x)
两边求导当然相等了。