三角函数两角和差公式推导
一.几何推理
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。这是一个防止一次性获取大…...
TypeScript领域建模实战:基于斯坦福本体论七步法构建健壮数据模型
1. 项目概述如果你和我一样,在TypeScript项目里摸爬滚打了几年,肯定遇到过这样的场景:面对一个全新的业务领域,老板让你“设计一下数据模型”,你打开一个空白的types.ts文件,光标闪烁,大脑一片空…...
豆包输入法Mac版正式上线,所有人都该试试AI语音输入了。
豆包输入法的Mac版,终于正式上线了。我自己已经内测使用了快1个月了,但是我等这一天,也真的等了好久好久。因为这篇文章我想写很久了,但是一直没写就是因为,对于大众用户来说,之前还一直没有一个比较好的产…...
英伟达汽车计算平台:从芯片到生态的自动驾驶全栈解决方案
1. 从GTC 2021看英伟达的汽车野心:不止于芯片的生态战争上周的GTC 2021大会信息量爆炸,光是汽车相关的发布就足以让整个行业消化好一阵子。作为一名长期跟踪汽车电子与自动驾驶技术演进的老兵,我习惯在每次大型技术发布会后,把那些…...
AI驱动的学术研究技能:自动化文献综述与深度分析工作流
1. 项目概述:一个为AI智能体设计的深度学术研究技能如果你是一名研究生、科研人员,或者任何需要快速、系统地梳理某个领域文献的人,那么你肯定体会过那种面对海量论文时的无力感。传统的流程是:打开Google Scholar,输入…...
Claude Code Session 实战指南:AI 结对编程效能提升手册
1. 项目概述:Claude Code Session 的实战效能提升手册如果你和我一样,日常开发中重度依赖 Claude 这类 AI 编程助手,那你肯定遇到过这样的场景:面对一个复杂的重构任务,你向 Claude 描述了半天需求,它给出的…...
别再被Excel文件‘炸’了!手把手教你用ZipSecureFile.setMinInflateRatio解决Apache POI的Zip Bomb报错
深度解析Apache POI的Zip Bomb防护机制与安全实践 当Java开发者使用Apache POI处理用户上传的Excel文件时,可能会突然遭遇"Zip bomb detected!"的报错。这个看似简单的错误背后,实际上涉及文件安全检测、内存防护和系统稳定性等多重考量。本文…...
AGENT_OS:为AI智能体构建结构化外部记忆与任务操作系统
1. 项目概述:为AI智能体构建一个结构化的外部记忆与操作系统如果你正在使用Claude、GPT-4或者OpenClaw这类AI助手来帮你处理工作,你很可能已经发现了一个核心痛点:每次开启新对话,它都像一张白纸。你得花大量时间重新介绍你是谁、…...
基于MCP协议构建AI智能体安全工具箱:qirabot/mcp-server实战指南
1. 项目概述:一个为AI智能体提供“眼睛”和“手”的MCP服务器最近在折腾AI智能体(Agent)的开发,发现一个核心痛点:如何让这些智能体安全、可控地访问外部工具和数据?直接给它们开放网络或系统权限ÿ…...
CodePush-Server安全配置最佳实践:保护你的热更新服务
CodePush-Server安全配置最佳实践:保护你的热更新服务 【免费下载链接】code-push-server CodePush service is hot update services which adapter react-native-code-push and cordova-plugin-code-push - 热更新 项目地址: https://gitcode.com/gh_mirrors/co/…...
非傍轴效应在量子比特操控中的影响与优化策略
1. 非傍轴效应与量子比特操控:从理论到实验的全景解析在量子计算与模拟领域,光学镊子技术正经历着革命性的发展。这项技术通过高度聚焦的激光束,实现了对单个原子或离子的精确操控,为构建大规模量子处理器提供了可能路径。然而&am…...
