当前位置: 首页 > news >正文

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

一.几何推理

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代码的时候遇到报错&#xff1a; 源代码&#xff1a; <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 简介&#xff1a;VMware Tools安装&#xff1a;自定义改变分辨率&#xff1a;xrandr命令修改分辨率&#xff1a; 前言&#xff1a; 因为kali2.0比较老 所以需要手动安装 WMware Tools 进行复制粘贴操作&#xff01; …...

redis中根据通配符删除key

redis中根据通配符删除key 我们是不是在redis中keys user:*可以获取所有key&#xff0c;但是 del user:*却不行这里我提供的命令主要是SCANSCAN 0 MATCH user:* COUNT 100使用lua保证原子性 SCAN参数描述 在示例中&#xff0c;COUNT 被设置为 100。这是一个防止一次性获取大…...

dynamic-datasource JVM调优:提升多数据源性能的7个实用技巧

dynamic-datasource JVM调优&#xff1a;提升多数据源性能的7个实用技巧 【免费下载链接】dynamic-datasource dynamic datasource for springboot 多数据源 动态数据源 主从分离 读写分离 分布式事务 项目地址: https://gitcode.com/gh_mirrors/dy/dynamic-datasource …...

南北阁4.1-3B WebUI代码实例:TextIteratorStreamer多线程流式实现解析

南北阁4.1-3B WebUI代码实例&#xff1a;TextIteratorStreamer多线程流式实现解析 今天咱们来聊聊一个特别有意思的项目——一个为南北阁4.1-3B模型量身定做的Web交互界面。如果你用过Streamlit&#xff0c;可能会觉得它的界面有点“官方”&#xff0c;布局也比较固定。但这个…...

将 OnePlus 手机备份到云服务

丢失 OnePlus 设备上的珍贵照片、重要联系人、短信或应用数据可能会令人非常沮丧&#xff0c;无论是意外删除、设备损坏、被盗&#xff0c;甚至是恢复出厂设置。这时&#xff0c;云备份就派上了用场。它提供了一种简单可靠的数据保护方式&#xff0c;确保您可以随时随地在新 On…...

开源电子书工具:如何用鸿蒙系统打造专属个性化阅读空间

开源电子书工具&#xff1a;如何用鸿蒙系统打造专属个性化阅读空间 【免费下载链接】legado-Harmony 开源阅读鸿蒙版仓库 项目地址: https://gitcode.com/gh_mirrors/le/legado-Harmony 你是否曾因阅读应用充斥广告而烦躁&#xff1f;是否渴望完全掌控自己的阅读体验&am…...

SystemVerilog进阶:深入探索随机化约束的高级应用

1. 从基础到进阶&#xff1a;SystemVerilog随机化约束的核心价值 在芯片验证领域&#xff0c;随机化验证已经成为提高验证效率的黄金标准。SystemVerilog的随机化约束机制&#xff0c;就像给验证工程师配备了一个智能数据生成器&#xff0c;可以自动产生符合设计规范的测试场景…...

工业视觉代码交付总被退回?(甲方验收必查的6项硬性指标:实时性≤35ms、重复精度±0.015px、抗电磁干扰日志完备性)

第一章&#xff1a;工业视觉代码交付失败的典型归因分析工业视觉系统在产线部署阶段频繁遭遇代码交付失败&#xff0c;其根本原因往往并非算法性能不足&#xff0c;而是工程化落地环节存在系统性疏漏。以下从环境适配、数据闭环、接口契约三个维度展开典型归因。运行时环境不一…...

Kazam vs OBS:Ubuntu 24.04 屏幕录制工具对比与选择指南

Kazam vs OBS&#xff1a;Ubuntu 24.04 屏幕录制工具深度评测与实战选择 在数字内容创作爆发的时代&#xff0c;屏幕录制已成为游戏实况、在线教学、产品演示的标配技能。对于Ubuntu 24.04用户而言&#xff0c;Kazam和OBS Studio这两款开源工具常被拿来比较——前者以轻量简洁著…...

例子-子网划分问题

...

从‘偏差-方差’到一行代码:用NumPy/PyTorch五步实现GAE,附PPO实战避坑点

从‘偏差-方差’到一行代码&#xff1a;用NumPy/PyTorch五步实现GAE&#xff0c;附PPO实战避坑点 强化学习中的策略优化常常面临一个核心挑战&#xff1a;如何准确评估动作的价值&#xff1f;广义优势估计&#xff08;GAE&#xff09;通过巧妙平衡偏差与方差&#xff0c;成为PP…...

MQTT通信中的QoS级别详解:SpringBoot如何选择最适合的传输质量?

MQTT通信中的QoS级别详解&#xff1a;SpringBoot如何选择最适合的传输质量&#xff1f; 在物联网和分布式系统架构中&#xff0c;消息传输的可靠性往往直接关系到业务逻辑的正确性。MQTT协议作为轻量级发布/订阅模式的通信标准&#xff0c;其QoS&#xff08;服务质量&#xff0…...