半角正切公式的推导可以通过以下步骤进行：

正弦和余弦的倍角公式

已知正弦的倍角公式：`sin2α = 2sinαcosα`。

已知余弦的倍角公式：`cos2α = cos²α - sin²α`，也可以写成`cos2α = 2cos²α - 1` 或 `cos2α = 1 - 2sin²α`。

正切的定义

正切定义为正弦除以余弦，即 `tanα = sinα/cosα`。

将角度替换

将 `α` 替换为 `α/2`，得到 `sinα = 2sin（α/2）cos（α/2）`。

代入正切定义

将 `sinα` 和 `cosα` 用半角表示，得到 `tanα = 2sin（α/2）cos（α/2）/（cos²（α/2） - sin²（α/2））`。

利用三角恒等式

利用 `sin²θ + cos²θ = 1`，我们可以得到 `cos²（α/2） = 1 - sin²（α/2）`。

代入并简化

将 `cos²（α/2）` 代入上面的公式，得到 `tanα = 2sin（α/2）cos（α/2）/（1 - sin²（α/2） - sin²（α/2））`。

简化得到 `tanα = 2sin（α/2）cos（α/2）/cos²（α/2）`。

进一步简化得到 `tanα = 2sin（α/2）/cos（α/2）`。

最后得到 `tanα = sinα/（1 + cosα）`。

半角正切公式

将 `α` 替换为 `α/2`，得到 `tan（α/2） = sin（α/2）/（1 + cos（α/2））`。

考虑正负号

由于正切函数在第一和第三象限为正，在第二和第四象限为负，所以 `tan（α/2）` 的值可能为正也可能为负。因此，半角正切公式可以写为 `tan（α/2） = ±√（（1 - cosα）/（1 + cosα））`。

综上所述，半角正切公式为：

[ tanleft（frac{alpha}{2}right） = pm sqrt{frac{1 - cosalpha}{1 + cosalpha}} ]

这个公式在解决三角函数问题时非常有用，特别是在需要将复杂角度转化为简单角度的情况下。