三角函数两角和差公式推导
一.几何推理
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.其他
为什么几何推理∠β和∠α不是钝角,根据诱导公式可将钝角化为锐角。所以只推导锐角和可以等价于推导任意角和
相关文章:
三角函数两角和差公式推导
一.几何推理 1.两角和公式 做一斜边为1的直角△ABC,任意旋转非 k Π , k N kΠ,kN kΠ,kN,补充如图,令 ∠ A B C ∠ α , ∠ C B F ∠ β ∠ABC∠α,∠CBF∠β ∠ABC∠α,∠CBF∠β ∴ ∠ D B F ∠ D B A ∠ α ∠ β 90 , ∠ D A …...
HarmonyOS page生命周期函数讲解
下面 我们又要看一个比较重要的点了 页面生命周期 页面组件有三个生命周期 onPageShow 页面显示时触发 onPageHide 页面隐藏时触发 onBackPress 页面返回时触发 这里 我们准备两个组件 首先是 index.ets 参考代码如下 import router from ohos.router Entry Component struc…...
3D视觉-结构光测量-线结构光测量
概述 线结构光测量中,由激光器射出的激光光束透过柱面透镜扩束,再经过准直,产生一束片状光。这片光束像刀刃一样横切在待测物体表面,因此线结构光法又被成为光切法。线结构光测量常采用二维面阵 CCD 作为接受器件,因此…...
ssm基于web的马病管理系统设计与实现+jsp论文
摘 要 传统信息的管理大部分依赖于管理人员的手工登记与管理,然而,随着近些年信息技术的迅猛发展,让许多比较老套的信息管理模式进行了更新迭代,马病信息因为其管理内容繁杂,管理数量繁多导致手工进行处理不能满足广大…...
SaaS版Java基层健康卫生云HIS信息管理平台源码(springboot)
云his系统源码,系统采用主流成熟技术开发,B/S架构,软件结构简洁、代码规范易阅读,SaaS应用,全浏览器访问,前后端分离,多服务协同,服务可拆分,功能易扩展。多集团统一登录…...
redis,memcached,nginx网络组件,网络编程——reactor的应用
目录 目标网络编程关注的问题连接的建立连接的断开消息的到达消息发送完毕 网络 IO 职责检测 IO检测 io剖析 操作 IO 阻塞IO 和 非阻塞IOIO 多路复用epoll结构以及接口 reactor编程连接建立连接断开数据到达数据发送完毕 reactor 应用:后续补充源码解析单 reacrtor多…...
【机电、机器人方向会议征稿|不限专业|见刊快】2024年机械、 图像与机器人国际会议(IACMIR 2024)
【机电、机器人方向会议征稿|不限专业|见刊快】2024年机械、 图像与机器人国际会议(IACMIR 2024) 2024 International Academic Conference on Machinery, Images, and Robotics 会议将聚焦“机械、成像和机器人”相关的最新研究领域,为国内…...
uniapp学习之路
uniapp 学习之路 1. 下载HBuilderX2. 下载uView初始框架3. 开始学习1.更改页面背景色,渐变色 1. 下载HBuilderX https://www.dcloud.io/hbuilderx.html?ivk_sa1024320u2. 下载uView初始框架 https://ext.dcloud.net.cn/plugin?id15933. 开始学习 1.更改页面背景…...
移动开发新的风口?Harmony4.0鸿蒙应用开发基础+实践案例
前段时间鸿蒙4.0引发了很多讨论,不少业内人士认为,鸿蒙将与iOS、安卓鼎足而三了。 事实上,从如今手机操作系统竞赛中不难看出,安卓与iOS的形态、功能逐渐趋同化,两大系统互相取长补短,综合性能等差距越来越…...
QT上位机开发(倒计时软件)
【 声明:版权所有,欢迎转载,请勿用于商业用途。 联系信箱:feixiaoxing 163.com】 倒计时软件是生活中经常遇到的一种场景。比如运动跑步,比如学校考试,比如论文答辩等等,只要有时间限制规定的地…...
2023 楚慧杯 --- Crypto wp
文章目录 初赛so large e 决赛JIGE 初赛 so large e 题目: from Crypto.Util.number import * from Crypto.PublicKey import RSA from flag import flag import randomm bytes_to_long(flag)p getPrime(512) q getPrime(512) n p*q e random.getrandbits(1…...
Python+OpenCV 零基础学习笔记(1-3):anaconda+vscode+jupyter环境配置
文章目录 前言相关链接环境配置:AnacondaPython配置OpenCVOpencv-contrib:Opencv扩展 Notebook:python代码笔记vscode配置配置AnacondaJupyter文件导出 前言 作为一个C# 上位机,我认为上位机的终点就是机器视觉运动控制。最近学了会Halcon发现机器视觉还…...
Spring Cloud Gateway 常见过滤器的基本使用
目录 1. 过滤器的作用 2. Spring Cloud Gateway 过滤器的类型 2.1 内置过滤器 2.1.1 AddResponseHeader 2.1.2 AddRequestHeader 2.1.3 PrefixPath 2.1.4 RequestRateLimiter 2.1.5 Retry 2.2 自定义过滤器 1. 过滤器的作用 过滤器通常用于拦截、处理或修改数据流和事…...
maven依赖无法传递问题排查
一、背景 在A模块中引入B模块,C服务引入A模块但是B模块没有传递进来。 二、排查 使用mvn clean install -Dmaven.test.skiptrue查看打包日志信息,通过搜索A模块名称,出现如下警告信息: [WARING] The POM for A:jar:0.0.1-SNAP…...
JVM钩子
JVM钩子 简介 在Java应用程序中,可以通过注册关闭钩子(Shutdown Hook)函数来实现在JVM关闭时执行特定的代码。关闭钩子是一种用于在JVM关闭时执行清理任务的机制,它允许开发者在JVM关闭之前执行一些必要的清理工作,如…...
linux cat命令增加-f显示文件名功能
在使用cat命令配合grep批量搜索文件内容时,我仅仅能知道是否搜索到,不知道是在哪个文件里找到的。比如cat ./src/*.c | grep full_write,在src目录下的所有.c文件里找full_write,能匹配到所有的full_write,但是不知道它们分别在哪些文件里。于…...
linux更改登录shell
从bash修改成python 在/etc/passwd下可以更改用户登录bash 例 root:x:0:0:root:/root:/bin/bash //更改bin/bash为/bin/python,就可以用root登录python页面了从python修改成bash 方法一 重启页面按e进入内核编辑模式linux16这行后添加:init/bin/…...
【JS】报错:Uncaught TypeError: Cannot read properties of null (reading ‘classList‘)
错误展示 今天写js代码的时候遇到报错: 源代码: <ul class"slider-indicator"><li class"active"></li><li></li><li></li><li></li><li></li><li><…...
kali2.0安装VMware Tools 和自定义改变分辨率
kali2.0安装VMware Tools 和自定义改变分辨率 VMware Tools 简介:VMware Tools安装:自定义改变分辨率:xrandr命令修改分辨率: 前言: 因为kali2.0比较老 所以需要手动安装 WMware Tools 进行复制粘贴操作! …...
redis中根据通配符删除key
redis中根据通配符删除key 我们是不是在redis中keys user:*可以获取所有key,但是 del user:*却不行这里我提供的命令主要是SCANSCAN 0 MATCH user:* COUNT 100使用lua保证原子性 SCAN参数描述 在示例中,COUNT 被设置为 100。这是一个防止一次性获取大…...
Appium+python自动化(十六)- ADB命令
简介 Android 调试桥(adb)是多种用途的工具,该工具可以帮助你你管理设备或模拟器 的状态。 adb ( Android Debug Bridge)是一个通用命令行工具,其允许您与模拟器实例或连接的 Android 设备进行通信。它可为各种设备操作提供便利,如安装和调试…...
安宝特方案丨XRSOP人员作业标准化管理平台:AR智慧点检验收套件
在选煤厂、化工厂、钢铁厂等过程生产型企业,其生产设备的运行效率和非计划停机对工业制造效益有较大影响。 随着企业自动化和智能化建设的推进,需提前预防假检、错检、漏检,推动智慧生产运维系统数据的流动和现场赋能应用。同时,…...
uni-app学习笔记二十二---使用vite.config.js全局导入常用依赖
在前面的练习中,每个页面需要使用ref,onShow等生命周期钩子函数时都需要像下面这样导入 import {onMounted, ref} from "vue" 如果不想每个页面都导入,需要使用node.js命令npm安装unplugin-auto-import npm install unplugin-au…...
【Redis技术进阶之路】「原理分析系列开篇」分析客户端和服务端网络诵信交互实现(服务端执行命令请求的过程 - 初始化服务器)
服务端执行命令请求的过程 【专栏简介】【技术大纲】【专栏目标】【目标人群】1. Redis爱好者与社区成员2. 后端开发和系统架构师3. 计算机专业的本科生及研究生 初始化服务器1. 初始化服务器状态结构初始化RedisServer变量 2. 加载相关系统配置和用户配置参数定制化配置参数案…...
1688商品列表API与其他数据源的对接思路
将1688商品列表API与其他数据源对接时,需结合业务场景设计数据流转链路,重点关注数据格式兼容性、接口调用频率控制及数据一致性维护。以下是具体对接思路及关键技术点: 一、核心对接场景与目标 商品数据同步 场景:将1688商品信息…...
基于数字孪生的水厂可视化平台建设:架构与实践
分享大纲: 1、数字孪生水厂可视化平台建设背景 2、数字孪生水厂可视化平台建设架构 3、数字孪生水厂可视化平台建设成效 近几年,数字孪生水厂的建设开展的如火如荼。作为提升水厂管理效率、优化资源的调度手段,基于数字孪生的水厂可视化平台的…...
SpringBoot+uniapp 的 Champion 俱乐部微信小程序设计与实现,论文初版实现
摘要 本论文旨在设计并实现基于 SpringBoot 和 uniapp 的 Champion 俱乐部微信小程序,以满足俱乐部线上活动推广、会员管理、社交互动等需求。通过 SpringBoot 搭建后端服务,提供稳定高效的数据处理与业务逻辑支持;利用 uniapp 实现跨平台前…...
python如何将word的doc另存为docx
将 DOCX 文件另存为 DOCX 格式(Python 实现) 在 Python 中,你可以使用 python-docx 库来操作 Word 文档。不过需要注意的是,.doc 是旧的 Word 格式,而 .docx 是新的基于 XML 的格式。python-docx 只能处理 .docx 格式…...
论文浅尝 | 基于判别指令微调生成式大语言模型的知识图谱补全方法(ISWC2024)
笔记整理:刘治强,浙江大学硕士生,研究方向为知识图谱表示学习,大语言模型 论文链接:http://arxiv.org/abs/2407.16127 发表会议:ISWC 2024 1. 动机 传统的知识图谱补全(KGC)模型通过…...
DBAPI如何优雅的获取单条数据
API如何优雅的获取单条数据 案例一 对于查询类API,查询的是单条数据,比如根据主键ID查询用户信息,sql如下: select id, name, age from user where id #{id}API默认返回的数据格式是多条的,如下: {&qu…...
