三角恒等式

含有三角函数且对任意角都成立的等式
三角恒等式(英文名:trigonometric identities[1],指含有三角函数且对任意角都成立的等式。[27]
三角恒等式的历史可以追溯到托勒密(Ptolemy of Alexandris)于公元二世纪所著的书《天文学大成》。[3]托勒密的《斜截面》(Sections Angulares)(该书在他死后于1615年出版)推动了三角恒等式的进一步发展。[28]到了14-16世纪,三角学曾一度成为欧洲数学的主要研究内容,其中包括三角恒等式的建立和推导。后来,法国数学家韦达(François Viète)把解平面三角形和斜三角形的公式汇集在一起,并且把这些恒等式表示成代数形式。[29]
三角恒等式包括基础三角恒等式[11]、两角和差公式[12]、倍角公式[30][31][32]、积化和差公式[14]、和差化积公式[13]万能公式[15]、降幂公式[16]诱导公式[17]、三角级数[24]等。[33]它可以应用于求解不定积分和几何问题,使复杂的的问题简单化。[6][7]同时,三角恒等式还常应用于研究物理中的简谐振动。[8]

定义

三角恒等式,含有三角函数且对任意角都成立的等式称为三角恒等式。[27]恒等式对于任何的
值都成立。这种等式就是三角恒等式。[34]