三角函数两角和差公式推导

一.几何推理

1.两角和公式

在这里插入图片描述

做一斜边为1的直角△ABC,任意旋转非 k Π , k = N kΠ,k=N kΠ,k=N,补充如图,令 ∠ A B C = ∠ α , ∠ C B F = ∠ β ∠ABC=∠α,∠CBF=∠β ABC=αCBF=β
∴ ∠ D B F = ∠ D B A + ∠ α + ∠ β = 90 ° , ∠ D A F = ∠ D B A + ∠ D A B ∴∠DBF=∠DBA+∠α+∠β=90°,∠DAF=∠DBA+∠DAB DBF=DBA+α+β=90°,DAF=DBA+DAB
∵ ∠ D A B = ∠ α + ∠ β ∵∠DAB=∠α+∠β DAB=α+β
∴ ∠ A C F + ∠ B C F = 90 ° ∴∠ACF+∠BCF=90° ACF+BCF=90°
∵ ∠ A C F = ∠ β ∵∠ACF=∠β ACF=β
∴ A B 长度为 1 ∴AB长度为1 AB长度为1
∵ A C = s i n ( α ) , B C = c o s ( α ) ∵AC=sin(α),BC=cos(α) AC=sin(α),BC=cos(α)
∵ B F = c o s ( α ) ∗ c o s ( β ) , C F = c o s ( α ) ∗ s i n ( β ) , A E = s i n ( α ) s i n ( β ) , C E = s i n ( α ) c o s ( β ) , B D = E F = s i n ( α + β ) , D A = c o s ( α + β ) ∵BF=cos(α)*cos(β),CF=cos(α)*sin(β),AE=sin(α)sin(β),CE=sin(α)cos(β),BD=EF=sin(α+β),DA=cos(α+β) BF=cos(α)cos(β),CF=cos(α)sin(β),AE=sin(α)sin(β),CE=sin(α)cos(β),BD=EF=sin(α+β),DA=cos(α+β)
∵ { c o s ( α + β ) = c o s ( α ) ∗ c o s ( β ) − s i n ( α ) ∗ s i n ( β ) s i n ( α + β ) = s i n ( α ) ∗ c o s ( β ) + c o s ( α ) ∗ s i n ( β ) ∵\begin{cases} cos(α+β)=cos(α)*cos(β)-sin(α)*sin(β) \\sin(α+β)=sin(α)*cos(β)+cos(α)*sin(β) \end{cases} {cos(α+β)=cos(α)cos(β)sin(α)sin(β)sin(α+β)=sin(α)cos(β)+cos(α)sin(β)

2.两角差公式

∵ { c o s ( α + β ) = c o s ( α ) ∗ c o s ( β ) − s i n ( α ) ∗ s i n ( β ) s i n ( α + β ) = s i n ( α ) ∗ c o s ( β ) + c o s ( α ) ∗ s i n ( β ) ∵\begin{cases} cos(α+β)=cos(α)*cos(β)-sin(α)*sin(β) \\sin(α+β)=sin(α)*cos(β)+cos(α)*sin(β) \end{cases} {cos(α+β)=cos(α)cos(β)sin(α)sin(β)sin(α+β)=sin(α)cos(β)+cos(α)sin(β)
对 ∠ β 做取反变化 对∠β做取反变化 β做取反变化
∵ { c o s ( α + ( − β ) ) = c o s ( α ) ∗ c o s ( β ) − s i n ( α ) ∗ ( − s i n ( β ) ) s i n ( α + ( − β ) ) = s i n ( α ) ∗ c o s ( β ) + c o s ( α ) ∗ ( − s i n ( β ) ) ∵\begin{cases} cos(α+(-β))=cos(α)*cos(β)-sin(α)*(-sin(β)) \\sin(α+(-β))=sin(α)*cos(β)+cos(α)*(-sin(β)) \end{cases} {cos(α+(β))=cos(α)cos(β)sin(α)(sin(β))sin(α+(β))=sin(α)cos(β)+cos(α)(sin(β))

∵ { c o s ( α − β ) = s i n ( α ) ∗ s i n ( β ) + c o s ( α ) ∗ s i n ( β ) s i n ( α − β ) = s i n ( α ) ∗ c o s ( β ) − c o s ( α ) ∗ s i n ( β ) ∵\begin{cases} cos(α-β)=sin(α)*sin(β)+cos(α)*sin(β) \\sin(α-β)=sin(α)*cos(β)-cos(α)*sin(β) \end{cases} {cos(αβ)=sin(α)sin(β)+cos(α)sin(β)sin(αβ)=sin(α)cos(β)cos(α)sin(β)

3.总结

∵ { c o s ( α + β ) = c o s ( α ) ∗ c o s ( β ) − s i n ( α ) ∗ s i n ( β ) s i n ( α + β ) = s i n ( α ) ∗ c o s ( β ) + c o s ( α ) ∗ s i n ( β ) c o s ( α − β ) = s i n ( α ) ∗ s i n ( β ) + c o s ( α ) ∗ s i n ( β ) s i n ( α − β ) = s i n ( α ) ∗ c o s ( β ) − c o s ( α ) ∗ s i n ( β ) ∵\begin{cases} cos(α+β)=cos(α)*cos(β)-sin(α)*sin(β) \\sin(α+β)=sin(α)*cos(β)+cos(α)*sin(β) \\cos(α-β)=sin(α)*sin(β)+cos(α)*sin(β) \\sin(α-β)=sin(α)*cos(β)-cos(α)*sin(β) \end{cases} cos(α+β)=cos(α)cos(β)sin(α)sin(β)sin(α+β)=sin(α)cos(β)+cos(α)sin(β)cos(αβ)=sin(α)sin(β)+cos(α)sin(β)sin(αβ)=sin(α)cos(β)cos(α)sin(β)

4.其他

为什么几何推理∠β和∠α不是钝角,根据诱导公式可将钝角化为锐角。所以只推导锐角和可以等价于推导任意角和

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/281891.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

OpenEular23.09(欧拉)操作系统为企业搭建独立的K8S集群环境,详细流程+截图

一.环境; win10,vmware16 pro,openeular23.09 集群模式:一主二从 主机硬件配置 主机名IP角色CPU内存硬盘k8s-master01192.168.91.100master4C4G40Gk8s-worker02192.168.91.101worker(node)4C4G40Gk8s-worker03192.168.91.102wor…

toto的2023年终总结

第一次写年终总结,其实顺带是把大学四年的学习都给总结了一下,称之为大学总结更为合适吧? 其实把年终总结发在CSDN上有些不适,之前一直想着搭一个自己的博客也因为种种事情一直没有完成, 索性发在这里了,作…

什么是边缘案例测试?如何查找并确定优先级

何为边缘情况? 在极端条件下发生的情况被称为边缘情况,有时候也叫边界情况,在功能、回归、单元和性能测试中都会应用。如果质量保证团队知道某项功能的最大和最小负载,他们就能防止这些情况发生。当用户不按照程序的预期工作流程…

Windows不同的域名由不同的DNS服务器解析

gpedit.msc(组策略)-计算机配置-Windows设置-域名解析策略 本次改动在注册表中体现的位置。 计算机\HKEY_LOCAL_MACHINE\SYSTEM\ControlSet001\Services\Dnscache\Parameters\DnsPolicyConfig\{666881c9-5525-434b-a62a-2ed5c61d53e5} 计算机\HKEY_LOCAL_MACHINE\SYSTEM\Cur…

⑩①【缓存】Redis持久化 RDB + AOF

个人简介:Java领域新星创作者;阿里云技术博主、星级博主、专家博主;正在Java学习的路上摸爬滚打,记录学习的过程~ 个人主页:.29.的博客 学习社区:进去逛一逛~ ⑩①Redis持久化 RDB AOF Redis数据快照 - RD…

XXE注入漏洞总结

XXE和XML概念 XML被设计为传输和存储数据,XML文档结构包括XML声明、DTD文档类型定义(可选)、文档元素,其焦点是数据的内容,其把数据从HTML分离,是独立于软件和硬件的信息传输工具。XXE漏洞全称XML Externa…

C++每日一练(8):图像相似度

题目描述 给出两幅相同大小的黑白图像(用0-1矩阵)表示,求它们的相似度。 说明:若两幅图像在相同位置上的像素点颜色相同,则称它们在该位置具有相同的像素点。两幅图像的相似度定义为相同像素点数占总像素点数的百分比。…

软件测试/测试开发丨Linux 数据处理三剑客学习笔记

一、Linux 三剑客之 grep 1、 内容检索 获取行(单行) grep pattern file获取内容 grep -o pattern file获取上下文 grep -A -B -C pattern file 2、 文件检索 递归搜索 grep pattern -r dir/展示匹配文件名 grep -H 111 /tmp/1只展示匹配文件名 grep …

算法学习系列(十四):并查集

目录 引言一、并查集概念二、并查集模板三、例题1.合并集合2.连通块中点的数量 引言 这个并查集以代码短小并且精悍的特点,在算法竞赛和面试中特别容易出,对于面试而言,肯定不会让你去写一两百行的代码,一般出的都是那种比较短的…

FPGA - 231227 - 5CSEMA5F31C6 - 电子万年历

TAG - F P G A 、 5 C S E M A 5 F 31 C 6 、电子万年历、 V e r i l o g FPGA、5CSEMA5F31C6、电子万年历、Verilog FPGA、5CSEMA5F31C6、电子万年历、Verilog 顶层模块 module TOP(input CLK,RST,inA,inB,inC,switch_alarm,output led,beep_led,output [41:0] dp );// 按键…

00-Git 详解

Git 应用 一、Git概述 1.1 什么是Git git 是一个代码协同管理工具,也称之为代码版本控制工具,代码版本控制或管理的工具用的最多的: svn、 git。 SVN 是采用的 同步机制,即本地的代码版本和服务器的版本保持一致(提…

社区医院挂号预约服务管理系统95an6

社区医院管理服务系统具有社区医院信息管理功能的选择。社区医院管理服务系统采用p[ython技术,基于django框架,mysql数据库进行开发,实现了首页、个人中心、用户管理、医生管理、预约医生管理、就诊信息管理、诊疗方案管理、病历信息管理、健…

创建您的第一个记忆卡片游戏

大家好!今天,我们将一起探索如何用HTML、CSS和JavaScript创建一个有趣的记忆卡片游戏。我们的游戏规则很简单:用户需要找到一对一样的卡片。如果你是编程新手,不用担心,我会逐步引导你完成这个项目。 正文&#xff1a…

MFC扩展库BCGControlBar Pro v34.0 - 仪表盘控件全面升级

BCGControlBar库拥有500多个经过全面设计、测试和充分记录的MFC扩展类。 我们的组件可以轻松地集成到您的应用程序中,并为您节省数百个开发和调试时间。 BCGControlBar专业版 v34.0已正式发布了,该版本包括新的主题任务对话框、图像效果、旋转圆形刻度、…

C语言转WebAssembly的全流程,及Web端调用测试

第一步:安装环境 参考网址:https://emscripten.org/docs/getting_started/downloads.html 具体过程: 克隆代码:git clone https://github.com/emscripten-core/emsdk.git进入代码目录:cd emsdk获取最新远端代码&…

uniapp 安卓模拟器链接

下载genymotion 安装 配置adb路径 模拟端口设为 5307

C#上位机与欧姆龙PLC的通信06---- HostLink协议(FINS版)

1、介绍 对于上位机开发来说,欧姆龙PLC支持的主要的协议有Hostlink协议,FinsTcp/Udp协议,EtherNetIP协议,本项目使用Hostlink协议。 Hostlink协议是欧姆龙PLC与上位机链接的公开协议。上位机通过发送Hostlink命令,可…

qt中信号槽第五个参数

文章目录 connent函数第五个参数的作用自动连接(Qt::AutoConnection)直接连接(Qt::DirectConnection - 同步)同线程不同线程 队列连接(Qt::QueuedConnection - 异步)同一线程不同线程 锁定队列连接(Qt::BlockingQueuedConnection) connent函数第五个参数的作用 connect(const …

数据统计的一些专业术语学习

数据统计的一些专业术语学习 1. 极差2. 方差3. 标准差4. 均值绝对差 1. 极差 数据统计的极差,又称全距,是指一组数据中最大值和最小值之差。 举个例子,如果我们有一组数据:1,2,3,4&#xff0c…