假设两个向量a=(x1,y1)，b=(x2,y2)，两个向量之间的夹角为θ，那么根据上篇文章中向量数量积的运算规则，可以很方便地用坐标值表示夹角的余弦值

47d41c8be01acd60612e565f343eff36.png

在上述定义的基础上，我们假设向量a、b均为单位向量、向量起始点均在原点，那么两个向量的终点都落在单位圆上。

8bf6ac12899f078e77a8907c986c90b8.png

由任意角的三角函数在单位圆的定义可知，单位圆上的点对应角度的余弦值为其横坐标值、对应角度的正弦值为其纵坐标值。设向量a的终点对应角度为α，向量b的终点对应角度为β，那么对应的终点坐标为

2fbbf3316355d3f1447f45790ba8bd7c.png

易知，向量之间的夹角θ与两个角度的关系为

574973feb8cfb60b843ee903e4d9b08a.png

将上述等式带入等式(1)中并化简，可得

9a9aa760c43cea87460deca5a35fa8b7.png

这个等式就是三角恒等变换中的两角差的余弦。

由这个等式进行简单变换便可得到其他三角恒等变换的表达式。

将等式(2)中的β替换成-β，可得

319cf9eda8417a6e16aec2fbf1b07a1f.png

将等式(2)中的α替换成α-π/2，可得

1f9facdedb55192a31d9dda7bb9ff4ce.png

将等式(4)中的β替换成-β，可得

df060631266997a8450bde6908395ef2.png

我们从向量的夹角公式，结合任意角在单位圆中的定义，经过简单变换，推导出了等式(2)(3)(4)(5)四个三角恒等变换公式。三角恒等变换公式不需要死记硬背，它们之间是可以利用诱导公式互相转化的，理解推导的思想更加重要。

本文由小朱与数学原创，欢迎关注，带你一起长知识！

Logo
GitCode 开源社区

旨在为数千万中国开发者提供一个无缝且高效的云端环境，以支持学习、使用和贡献开源项目。

更多推荐

[转载]在Windows环境下安装GNU Radio

转自：在Windows环境下安装GNURadio_恐弱智_新浪博客GNU Radio是用Python开发的，大部分开源的工程能够在Linux环境下运行良好，而Windows下却运行的很勉强，而且安装配置都很复杂。GNU Radio算是个例外了，不光提供了Windows的二进制安装，还有比较详细的说明。我是Python小白，所以折腾了好久才弄好，特意记录下来，免得以后再装还折腾。GNU Radio的

avatar GitCode 开源社区

centOS 8 使用dnf安装Docker

DNF是什么？CentOS 8使用YUM软件包管理器版本v4.0.4。现在，该版本使用DNF(已删除YUM)。DNF是软件包管理器。它会在Linux发行版上安装，执行更新并删除软件包。使用DNF安装Docker跳过具有损坏依赖性的程序包一个有效的解决方案是使您的CentOS 8系统使用以下--nobest命令安装最符合条件的版本：sudo dnf install docker...

avatar GitCode 开源社区

定时同步数据库表(mysql+linux+crontab)

sync.sh里面的参数需要改变，ip/username/password/database/tablesync.sh#!/bin/sh# Please change the IP and password of the data source db.# Then change the table name.filename=/home/nington/db/$(date +%Y-%m

avatar GitCode 开源社区