已知: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),
就得到结果:
arctan(x+y)
= arctan {[-1+√(1+4xy)]/2y}
+arctan{[-1+√(1+4xy)]/2x} (x,y>0)

这只是一种公式,不是唯一公式
再根据tan(a-b)=(tana-tanb)/1+tanatanb,
以同样的方式推导,可以得到:
arctan(x-y)
=arctan{[-1+√(1-4xy)]/2x}
-arctan{[-1+√(1-4xy)]/2y} (x,y>0)

此公式运算过程中可能要运用虚数,计算比较麻烦,所以实用性不如前者。
为了让公式更加简洁,我们将同一公式中出现多次的部分用一个字母表示:
若:P=-1+√(1+4xy)
则:arctan(x+y)=arctan(P/2x)+arctan(P/2y)
若:P=-1+√(1-4xy)
则:arctan(x-y)=arctan(P/2x)-arctan(P/2y)

接着用同样的方法推出arcsin(x+y),arccos(x+y)的公式:
设:
Q=x²+y²-2x-2y-2xy+1
P=x²-y²
则:
arcsin(x+y)
=arcsin√[(1+P-√Q)/2]+arcsin√[(1-P-√Q)/2]
arcsin(x-y)
=arcsin√[(1+P-√Q)/2]-arcsin√[(1-P-√Q)/2]
由此还可以得到一个公式:
记√[(1+P-√Q)/2]=M,√[(1-P-√Q/2)]=N
则arcsin(x-y)+arcsin(x+y)=2arcsinM,
arcsin(y-x)+arcsin(y+x)=2arcsinN

对于同样的P、Q,有:
arccos(x+y)
=arccos√[(1+P+√Q)/2]-arccos√[(1+P-√Q)/2]
arccos(x-y)
=arccos√[(1+P+√Q)/2]+arccos√[(1+P-√Q)/2]

由此可得:
记√[(1+P+√Q)/2]=M,√[(1+P-√Q)/2]=N
则:
①M²,N²满足关于a的方程a²-a(P+1)+x²=0
②arccos(x+y)+arccos(x-y)=2arccosM
③arccos(x+y)-arccos(x-y)=-2arccosN
以上均须x,y≥0

由于推导过程几乎一样,这里就不再写了。
本人没有很仔细地研究,加之水平有限,故如有错误,敬请指出。
应用练习:
已知arctan2/3≈0.588,求arctan5近似值
解:arctan5=arctan(2+3)=arctan1+arctan2/3
≈1/8×3.14+0.588=1.373

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

  1. html5中三角函数,三角函数和角公式

    倍角公式,半角公式,和差角公式 分别是什么 倍角公式把二倍角的三角函数用本角的三角函数表示出来.在计算中可以用来化简计算式.减少CSS布局HTML小编今天和大家分享三角函数的次数,在工程中也有广泛的运 ...

  2. excel计算两列差的公式和方法

    excel计算两列差的公式和方法 [日期:2012-03-23]   来源:IT部落窝  作者:IT部落窝   阅读:3636次 [字体:大 中 小] 内容提要:文章介绍excel两列差的情况不同,具 ...

  3. 计算机求差值公式,excel怎么求差值 excel减法公式使用教程

    在ecxel表格中处理数据时,我们经常会用到加减乘除的公式,本文主要便是为大家讲述excel求差值的使用,那么大家知道有几种求差值的方法?下面小编为大家介绍两种快速求差值的方法,不懂的朋友可以多看几遍 ...

  4. 试列出种计算机组生产率的公式,农业机械化生产学思考题

    从可持续观点,今后在农业机械化发展中要注意什么问题? 7. 我国有哪些典型的机械化农业生产体系?试指出北京郊区在相同的自然经济条件下,为什么会出现一年两熟和两年三熟机械化生产体系?各有何优缺点? 第二 ...

  5. 计算机表格 求差,教大家Excel2013中表格求差函数公式怎么使用

    近日有关于Excel2013中表格求差函数公式怎么使用的问题受到了很多网友们的关注,大多数网友都想要知道Excel2013中表格求差函数公式怎么使用的具体情况,那么关于到Excel2013中表格求差函 ...

  6. 如何用简单方法推导正弦函数的和角公式: sin(α+β)=sinαcosβ+cosαsinβ ?

    问题:看2014年湖北省高考理科数学题,选择题第6题: 这道题目答案是C,①③组是正交函数,②组不是正交函数.可以用数形结合方式,快速做出判断.详细解析如下 分析:要判断第一组函数是否是正交函数,要用 ...

  7. 素数计数公式全面拉丁化改写-小有改进-Meissel公式-梅塞尔-Lehmer公式-莱梅=勒梅尔-筛法三种形式-孟庆余公式(转载)...

    何冬州的百度空间Blog   本文的另一版本:  http://hi.baidu.com/wsktuuytyh/blog/item/396a934ac679680208f7ef2c.html    信 ...

  8. 计算机中求差用什么符号,Excel求差函公式使用方法

    Excel求差函公式使用方法 导语:在Excel表格可以求和.求积.求差,但是有许多网友对这些功能不太熟悉,常常用费时费力的方法去处理求和求差关系,其实求和求差在Excel表格都有固定的公式函数,下面 ...

  9. 【Opencv】基于Opencv和PCV两种方法的Harris 角点检测与匹配

    [Opencv]基于Opencv和PCV两种方法的Harris 角点检测与匹配[附代码] 理解Harris角点检测 代码:Harris角点检测 1.[opencv版]Harris角点检测 2.[PCV ...

  10. 函数对称性常见公式_excel函数对称性常见公式 16种常见的COUNTIF函数公式设置

    excel函数对称性常见公式 16种常见的COUNTIF函数公式设置,前天刚学习了一个excel的新技术,叫"excel函数对称性常见公式"授课老师对我们说,这一技术的专业全称为& ...

最新文章

  1. [HDU] Tr A
  2. 小米云能导入到华为云吗_小米11值得买吗?小米11和华为Mate40、iPhone 12相比,哪款性价比最高?...
  3. linux c 获取时间戳 打印时间戳
  4. denison php,Parker / Denison丹尼逊柱塞泵首相系列相关说明
  5. 文字转语音文件的两种方法
  6. 疫情挡不住上市步伐:视频模拟敲锣 A股云上市了解一下
  7. next主题设定代码高亮格式
  8. 重装 IDEA 再也不怕了,一招搞定配置同步!
  9. 外星人绝对不会入侵地球,看不上
  10. win7安装python3.6失败_win7下python3.6安装配置方法图文教程
  11. shell 学习之if语句
  12. 格林公式、高斯公式及斯托克斯公式的理解及相互关系
  13. 解析g代码c语言程序
  14. ExoPlayer之Extractor
  15. html5中插入样式表方法,如何插入css样式?
  16. .browser的解释
  17. 当代年轻人到底怎么跨越阶层?
  18. 论文笔记:Object Detection in 20 Years: A Surve(目标检测20年研究综述)
  19. Linux Ubuntu 添加创建新用户步骤 安装 go
  20. linux安装jdk8(附带linux版jdk8)

热门文章

  1. Beetl的基本用法
  2. 什么是第三方支付呢?一文带你入行!
  3. 企业微信通讯录可以导出吗?如何导出?
  4. 大数据如何可以推动员工敬业度
  5. python文件管理api_python调用有道智云API实现文件批量翻译
  6. git实用技巧:将多次commit合并为一次
  7. 切换进程 切换线程
  8. Android 硬件加速
  9. PHP如何接入短信接口,通过短信群发通知
  10. 第六天、用户、组、权限、grep