三角函数定义(摘自维基百科):

三角函数(英语:Trigonometric functions)是数学中常见的一类关于角度的函数。三角函数将直角三角形的内角和它的两个边的比值相关联,也可以等价地用与单位圆有关的各种线段的长度来定义。三角函数在研究三角形和圆等几何形状的性质时有重要作用,也是研究周期性现象的基础数学工具。在数学分析中,三角函数也被定义为无穷级数或特定微分方程的解,允许它们的取值扩展到任意实数值,甚至是复数值。

常见的三角函数包括正弦函数(sin)、余弦函数(cos)和正切函数(tan或tg);在航海学、测绘学、工程学等其他学科中,还会用到如余切函数、正割函数、余割函数、正矢函数、半正矢函数等其他的三角函数。不同的三角函数之间的关系可以通过几何直观或者计算得出,称为三角恒等式。

三角函数一般用于计算三角形中未知长度的边和未知的角度,在导航、工程学以及物理学方面都有广泛的用途。另外,以三角函数为模版,可以定义一类相似的函数,叫做双曲函数。常见的双曲函数也被称为双曲正弦函数、双曲余弦函数等等。

毕达哥拉斯三角恒等式:

Java 三角函数开源库 编程中的三角函数_取值
Java 三角函数开源库 编程中的三角函数_维基百科_02
Java 三角函数开源库 编程中的三角函数_三角函数_03

诱导公式:

1,Java 三角函数开源库 编程中的三角函数_取值_04

2,Java 三角函数开源库 编程中的三角函数_取值_05Java 三角函数开源库 编程中的三角函数_维基百科_06

Java 三角函数开源库 编程中的三角函数_定理_07Java 三角函数开源库 编程中的三角函数_三角函数_08

Java 三角函数开源库 编程中的三角函数_取值_09Java 三角函数开源库 编程中的三角函数_三角函数_10

3,Java 三角函数开源库 编程中的三角函数_取值_11Java 三角函数开源库 编程中的三角函数_三角函数_12Java 三角函数开源库 编程中的三角函数_三角函数_13Java 三角函数开源库 编程中的三角函数_取值_14

Java 三角函数开源库 编程中的三角函数_定理_15Java 三角函数开源库 编程中的三角函数_三角函数_16

4,Java 三角函数开源库 编程中的三角函数_取值_17Java 三角函数开源库 编程中的三角函数_维基百科_18Java 三角函数开源库 编程中的三角函数_定理_19Java 三角函数开源库 编程中的三角函数_Java 三角函数开源库_20Java 三角函数开源库 编程中的三角函数_三角函数_21Java 三角函数开源库 编程中的三角函数_维基百科_22

5,Java 三角函数开源库 编程中的三角函数_Java 三角函数开源库_23(剩下5种三角函数规律类似)。

6,Java 三角函数开源库 编程中的三角函数_取值_24Java 三角函数开源库 编程中的三角函数_Java 三角函数开源库_25Java 三角函数开源库 编程中的三角函数_定理_26Java 三角函数开源库 编程中的三角函数_三角函数_27Java 三角函数开源库 编程中的三角函数_定理_28Java 三角函数开源库 编程中的三角函数_三角函数_29

二倍角公式:

Java 三角函数开源库 编程中的三角函数_三角函数_30
Java 三角函数开源库 编程中的三角函数_三角函数_31
Java 三角函数开源库 编程中的三角函数_Java 三角函数开源库_32
Java 三角函数开源库 编程中的三角函数_三角函数_33

和角公式

Java 三角函数开源库 编程中的三角函数_维基百科_34

Java 三角函数开源库 编程中的三角函数_定理_35

证明(利用欧拉公式):

Java 三角函数开源库 编程中的三角函数_取值_36

勾股定理:

对于直角三角形Java 三角函数开源库 编程中的三角函数_三角函数_37;
勾股定理的逆定理也成立,可以作为直角三角形的判断依据。

正弦定理:

对于任意的三角形Java 三角函数开源库 编程中的三角函数_维基百科_38,则有
Java 三角函数开源库 编程中的三角函数_三角函数_39

余弦定理:

Java 三角函数开源库 编程中的三角函数_取值_40

正切定理:

Java 三角函数开源库 编程中的三角函数_三角函数_41

直角三角形斜边上的中线等于斜边的一半

直角三角形中30度所对的直角边是斜边的一半