半角公式 tan(α/2) 的推导可以通过三角恒等式来完成。我们首先从双倍角公式 tan(2θ) = (2tanθ) / (1 - tan²θ) 出发。
令 θ = α/2,那么双倍角公式变为 tan(α) = (2tan(α/2)) / (1 - tan²(α/2))。
现在我们将这个式子重排以解出 tan(α/2)。首先,将 tan(α) 移至等式左侧,并将 tan(α/2) 的部分留在等式右侧:
tan(α) - tan(α/2) = (2tan(α/2)) / (1 - tan²(α/2))
接下来,利用 tan(α) = (sin(α)) / (cos(α)) 的定义,我们把等式两边的 tan(α) 转换为 sin(α) 和 cos(α) 的比值:
(sin(α) / cos(α)) - tan(α/2) = (2tan(α/2)) / (1 - tan²(α/2))
接着,我们对等式右侧的 tan(α/2) 进行简化:
(sin(α) / cos(α)) - tan(α/2) = (2tan(α/2)) / (1 - tan²(α/2))
(sin(α) / cos(α)) - (sin(α/2) / cos(α/2)) = (2tan(α/2)) / (1 - tan²(α/2))
这里我们使用了半角公式 sin(α/2) = ±√[(1 - cosα) / 2] 和 cos(α/2) = ±√[(1 + cosα) / 2]。根据 α 的范围,我们选择适当的正负号。
接下来,我们对等式两边进行通分,并合并分数:
[(sin(α) * cos(α/2)) - (sin(α/2) * cos(α))] / (cos(α) * cos(α/2)) = (2tan(α/2)) / (1 - tan²(α/2))
利用三角函数和角度和差的公式进行简化:
(sin(α - α/2)) / (cos(α) * cos(α/2)) = (2tan(α/2)) / (1 - tan²(α/2))
继续简化:
sin(α - α/2) = 2tan(α/2) * cos(α) * cos(α/2) / (1 - tan²(α/2))
再次利用角度和差的公式和三角恒等式进行化简:
sin(α/2) * cos(α/2) - cos(α/2) * sin(α/2) = 2tan(α/2) * cos(α) * cos(α/2) / (1 - tan²(α/2))
化简后可得:
0 = 2tan(α/2) * cos(α) * cos(α/2) / (1 - tan²(α/2))
由于上式中两个分式在 α/2 = kπ (k 为整数) 时等于零,我们得到:
tan(α/2) = 0
这是半角公式 tan(α/2) = 0 的一个特例。在其他情况下,半角公式 tan(α/2) 的推导是复杂且多步骤的,需要借助于三角函数的性质、三角恒等式以及角度和差的公式来完成推导过程。