tan的和角公式推导-和角公式推导

• 设定两个锐角 $alpha$ 与 $beta$，并设它们的和为 $gamma = alpha + beta$。
• 考虑一个底角为 $frac{gamma}{2}$ 的等腰三角形，将其沿底边延长，构造一个顶角为 $2alpha$ 的大三角形，同时再构造一个包含 $beta$ 的辅助三角形。如下图所示，通过分割大三角形，可以建立 $gamma$ 边上的线段长度与 $alpha$、$beta$ 边长及对应角的正弦值之间的联系。
• 利用三角函数定义，分别表示大三角形和其中一部分的边长关系，从而消去中间变量，直接建立 $tangamma$、$tanalpha$ 和 $tanbeta$ 之间的方程。
• 通过代数运算，将复杂的几何关系转化为关于 $tanalpha$ 和 $tanbeta$ 的方程组，最终解得 $tan(alpha + beta)$ 的表达式。

推导过程始于对 $tan(alpha + beta)$ 的展开处理。根据两角和的正切公式，我们有： $$ tan(alpha + beta) = frac{tanalpha + tanbeta}{1 - tanalphatanbeta} quad text{（此处为一般化简，非公式推导起点）} $$

然而，为了得到 $tanalpha + tanbeta$ 和 $tanalphatanbeta$ 的具体形式，我们需要从几何或代数角度推导这些关系。

在直角三角形模型中，设 $alpha$ 为角 A，$beta$ 为角 B，它们的和为角 C。

考虑一个底角为 $frac{C}{2}$ 的等腰三角形，将其底边延长一倍，得到一个顶角为 $2A$ 的大三角形。在此图形中，角 B 位于大三角形的一个底角位置（若设底角为 $beta$，则顶角为 $180^circ - 2beta$，这会导致角度定义混乱，更优的构造是让大三角形底角为 $beta$，顶角为 $180^circ - 2alpha$，此时 $gamma = alpha + beta$，大三角形底角为 $frac{gamma}{2} = frac{alpha+beta}{2}$，这与常规设定不同。

修正后的图形构造如下：

设大三角形顶角为 $2alpha$，底角为 $beta$，则两底角之和为 $180^circ - 2alpha$。此时 $alpha + beta = frac{180^circ - (180^circ - 2alpha)}{2}$，逻辑成立。

在此构造下，大三角形的底边被分成了两部分，长度分别为 $tanbeta$ 和 $tanalphatanbeta$。

根据大三角形底边上的角平分线定理或面积公式，我们可以推导出：

$$ tan(alpha + beta) = frac{tanalpha + tanbeta}{1 - tanalphatanbeta} $$

这个公式本身是 tan 的两角和公式，而 tan 的和角公式（即 tan(A+B) 展开式）正是此公式。

若要得到 $tan(A+B)$ 的展开式，我们需要进一步分析分母：

$$ 1 - tanalphatanbeta = 1 - frac{sinalphasinbeta}{cosalphacosbeta} = frac{cosalphacosbeta - sinalphasinbeta}{cosalphacosbeta} $$

分子 $cosalphacosbeta - sinalphasinbeta$ 正是两角差的余弦公式 $cos(alpha + beta)$。

因此，分母变为 $frac{cos(alpha + beta)}{cosalphacosbeta}$。

此时，整个表达式的分子 $tanalpha + tanbeta$ 也应转化为正弦余弦形式：

$$ tanalpha + tanbeta = frac{sinalpha}{cosalpha} + frac{sinbeta}{cosbeta} = frac{sinalphacosbeta + cosalphasinbeta}{cosalphacosbeta} $$

分子 $sinalphacosbeta + cosalphasinbeta$ 正是两角和的正弦公式 $sin(alpha + beta)$。

综合以上两步，我们可以得出：

分式 $frac{tanalpha + tanbeta}{1 - tanalphatanbeta}$ 等于：

$$ frac{frac{sin(alpha + beta)}{cos(alpha + beta)}}{cosalpha + cosbeta} $$

进一步化简，分子分母同除以 $cos(alpha + beta)$，得到：

$$ tan(alpha + beta) = frac{sin(alpha + beta)}{cos(alpha + beta)} times frac{cosalphacosbeta}{cos(alpha + beta)} $$

整理后，即得：

$$ tan(alpha + beta) = frac{sinalphacosbeta + cosalphasinbeta}{cosalphacosbeta - sinalphasinbeta} $$

这正是 tan 的和角公式。

推导完毕。 特殊角应用与几何验证 理解了代数推导，还需通过特殊角的计算来验证公式的正确性。

• 验证 $tan(0 + 45^circ) = tan 45^circ$。
• 利用公式：$tan(0 + 45^circ) = frac{tan0 + tan45^circ}{1 - tan0tan45^circ} = frac{0 + 1}{1 - 0} = 1$，与 $tan45^circ = 1$ 一致。
• 验证 $tan(60^circ + 30^circ) = tan90^circ$（趋向于无穷大）。
• 利用公式：$tan(60^circ + 30^circ) = frac{tan60^circ + tan30^circ}{1 - tan60^circtan30^circ} = frac{sqrt{3} + frac{1}{sqrt{3}}}{1 - sqrt{3} cdot frac{1}{sqrt{3}}} = frac{frac{4}{sqrt{3}}}{0}$，结果为无穷大，符合 $tan90^circ$ 无定义的性质。
• 验证 $tan(45^circ + 15^circ)$。
• 计算出结果应与公式中数值吻合，以此反推公式的正确性。