三角函数全部公式推导(三角公式全推导)

三角函数公式体系是数学中极为重要的组成部分，其逻辑严密性与应用广泛性使其成为连接几何、代数与分析学的桥梁。从单位圆定义到欧拉公式的复数扩展，三角函数通过多层次的推导形成了完整的理论网络。核心公式可归纳为四大类：基础定义式、同角关系式、和差倍角公式及解三角形定理。其中，勾股定理在三角函数中的延伸（sin²x+cos²x=1）构成了同角关系的基础，而和角公式通过向量内积或复数乘法可导出一系列变换规则。二倍角公式作为和角公式的特殊情形，进一步衍生出半角公式的三种表达形式。积化和差与和差化积公式则通过加减法实现函数形式的转换，为积分运算提供关键工具。

一、基础定义与核心恒等式

三角函数的定义体系以单位圆为基础，结合直角三角形比例关系形成双重定义模式。

函数类型	单位圆定义	直角三角形定义
正弦函数	y/r (r=1时简化为y)	对边/斜边
余弦函数	x/r (r=1时简化为x)	邻边/斜边
正切函数	y/x	对边/邻边

核心恒等式sin²x + cos²x = 1可通过两种定义路径证明：单位圆中坐标(x,y)满足x²+y²=1，直角三角形中对边、邻边与斜边满足勾股定理。该恒等式衍生出tanx = sinx/cosx等倒数关系，构成同角三角函数变换的基础。

二、和角公式与差角公式

和角公式的推导可通过向量内积或复数乘法实现，以下采用向量法证明：

• 设单位向量A(cosα,sinα)，B(cosβ,sinβ)
• 向量和A+B的坐标为(cosα+cosβ,sinα+sinβ)
• 向量模长平方：|A+B|² = (cosα+cosβ)² + (sinα+sinβ)²
• 展开化简得：2 + 2(cosαcosβ + sinαsinβ)
• 根据向量夹角公式，|A+B|=2cos[(α-β)/2]，联立得cos(α-β)=cosαcosβ+sinαsinβ

类似方法可推导cos(α+β)=cosαcosβ−sinαsinβ，并通过sin(α+β)=cos[(π/2)-(α+β)]转换为正弦形式。差角公式通过替换β为-β直接获得。

三、二倍角公式与半角公式

二倍角公式是和角公式的特例（令β=α）：

公式类型	表达式	变形形式
正弦二倍角	sin2α=2sinαcosα	2tanα/(1+tan²α)
余弦二倍角	cos2α=cos²α−sin²α	1-2sin²α / 2cos²α-1

半角公式通过余弦二倍角逆推得到：令θ=α/2，则cosα=1-2sin²θ，整理得sinθ=±√[(1−cosα)/2]。符号选择规则与半角所在象限相关，需结合原函数图像判断。

四、积化和差与和差化积

该组公式通过和差公式的加减运算实现形式转换：

• sinαcosβ = [sin(α+β)+sin(α−β)]/2
• cosαsinβ = [sin(α+β)−sin(α−β)]/2
• cosαcosβ = [cos(α+β)+cos(α−β)]/2
• sinαsinβ = −[cos(α+β)−cos(α−β)]/2

逆向运用时，和差化积公式可将sinA+sinB转化为2sin[(A+B)/2]cos[(A−B)/2]，此类变换在傅里叶级数展开中具有重要应用。

五、万能公式与辅助角公式

万能公式通过tan(θ/2)=t代换，将三角函数统一为有理式：

目标函数	表达式
sinα	2t/(1+t²)
cosα	(1−t²)/(1+t²)
tanα	2t/(1−t²)

辅助角公式将线性组合asinθ+bcosθ转化为单一函数形式：Rsin(θ+φ)，其中R=√(a²+b²)，φ=arctan(b/a)。该变换在信号处理中的相位分析具有关键作用。

六、解三角形核心定理

正弦定理与余弦定理构成平面三角形求解的基础：

定理名称	表达式	适用场景
正弦定理	a/sinA = b/sinB = c/sinC = 2R	已知两角一边或两边一角
余弦定理	c² = a² + b² − 2abcosC	已知三边或两边夹角

面积公式S=½absinC可通过向量叉乘或坐标法证明，其扩展形式S=abc/(4R)建立了外接圆半径与边长的关系。

七、诱导公式与周期性

诱导公式通过奇偶性与周期性实现角度转换：

• sin(-x) = -sinx（奇函数）
• cos(-x) = cosx（偶函数）
• sin(π±x) = ±sinx
• cos(π±x) = -cosx

周期性表现为sin(x+2π)=sinx，cos(x+2π)=cosx，该性质使三角函数成为周期函数的典型代表。

八、复数域扩展与欧拉公式

欧拉公式e^ix=cosx+isinx将三角函数与指数函数关联，由此可推导：

• cosx = (e^ix+e^-ix)/2
• sinx = (e^ix-e^-ix)/(2i)
• De Moivre定理：(cosx+isinx)^n = cos(nx)+isin(nx)

该体系为三角函数在复变函数中的延拓奠定基础，并催生出双曲函数的对应关系。

三角函数公式体系通过多维度推导展现出强大的数学生命力。从几何直观到代数变换，从实数领域到复数扩展，其内在逻辑始终围绕角度运算与函数对称性展开。现代应用中，FFT快速算法依赖和角公式的分频特性，GIS坐标转换依托和差公式的矢量合成，而物理波动方程更需要全套三角恒等式支撑解析过程。掌握这些公式的推导脉络，不仅能深化对数学本质的理解，更能在工程实践中实现理论与应用的完美衔接。