已知: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),
就得到结果&
几种反函数和差角公式的推导
最新推荐文章于 2022-11-24 21:25:32 发布