1. 基于二倍角公式的逆向构造
这是最经典也是最常用的推导方式,完全依赖于对二倍角公式的熟练掌握。我们的目标是把 tan(α/2) 转化为只含 α 的三角函数。
步骤 1:定义转换
根据正切定义,我们有:
tan(α/2) = sin(α/2) / cos(α/2)
步骤 2:分子分母同乘构造
为了引入 α,我们需要利用倍角公式。观察分子,如果我们给分子分母同时乘以 sin(α/2):
tan(α/2) = [sin(α/2) · sin(α/2)] / [cos(α/2) · sin(α/2)]
此时分母出现了 2sin(α/2)cos(α/2) 的形式(需补系数 2),分子是 sin²(α/2)。
tan(α/2) = [sin²(α/2)] / [(1/2) · 2sin(α/2)cos(α/2)]
步骤 3:代入倍角公式
已知:
1. sin(α) = 2sin(α/2)cos(α/2)
2. cos(α) = 1 - 2sin²(α/2) ⇒ sin²(α/2) = (1 - cosα) / 2
将上述关系代入上式:
tan(α/2) = [(1 - cosα) / 2] / [(1/2) · sinα]
消去系数 1/2,得到最终结果:
tan(α/2) = (1 - cosα) / sinα
变体推导:
如果我们在步骤 2 中,分子分母同时乘以 cos(α/2),则会得到另一个常用形式:
tan(α/2) = [sin(α/2)cos(α/2)] / [cos²(α/2)] = [(1/2)sinα] / [(1+cosα)/2] = sinα / (1 + cosα)
此方法逻辑严密,是解决绝大多数tan 的半角公式推导过程相关问题的基石。
2. 几何图解法:切线长定理的应用
代数推导虽然严谨,但缺乏直观性。通过几何图形,我们可以清晰地看到tan(α/2) 在单位圆上的物理意义。
场景设定:
设有一个单位圆(半径 R=1),圆心为 O。考虑角 α 的终边与单位圆交于点 P。作角 α/2 的平分线,交过点 A(1,0) 且垂直于 x 轴的切线于点 T。
图示说明:
在直角三角形 OAT 中,∠AOT = α/2。
OA = 1(半径)。
AT = tan(α/2)(对边/邻边)。
现在,我们需要将线段 AT 的长度与角 α 的三角函数联系起来。
- 连接 OP,OP 长度为 1。
- 过点 P 作 PM ⊥ OA 于 M,则 PM = sinα,OM = cosα。
- 利用相似三角形性质或三角恒等变换,可以发现线段 AT 的长度恰好等于 (1 - cosα) / sinα。
这种几何解释不仅验证了公式的正确性,还揭示了tan(α/2) 实际上代表了从点 A 到角平分线与切线交点的距离。这种几何直观有助于记忆公式的结构。
3. 欧拉公式法(微积分预备知识)
对于高年级学生,利用复数指数形式推导往往更加简洁高效。
根据欧拉公式:
e^(ix) = cos(x) + i·sin(x)
令 x = α/2,则:
tan(α/2) = sin(α/2) / cos(α/2) = (e^(iα/2) - e^(-iα/2)) / (i · (e^(iα/2) + e^(-iα/2)))
分子分母同时乘以 e^(iα/2):
tan(α/2) = (e^(iα) - 1) / (i · (e^(iα) + 1))
展开 e^(iα) = cosα + i·sinα,代入并化简,经过一系列复数运算,同样可以得到:
tan(α/2) = (1 - cosα) / sinα。
这种方法展示了三角函数与指数函数之间的深刻联系,是通往复变函数论的一扇窗。