#解三角形

预计阅读时间: 15 分钟

#基本方法

#基本原理

回忆初中平几，根据全等三角形的判断：

如果知道 ASA、AAS、SAS、SSS、HL 就可以唯一的确定一个三角形。

总结一下就是两个角全都可以，三个边可以，一个角两个边就需要是夹角。

即知道 $aCb$、$cBa$、$bAc$，才可以唯一确定一个两边一角的三角形。

至于 SSA，只有一个角是直角才可以唯一确定，不过这个就是 HL 了。

三角形确定，意味着我们可以求出所有边的长度以及所有角度的大小。

正弦定理、余弦定理就为我们提供了方法：可以利用角度和边长互相表示。

像这样，确定三角形边、角的过程，就是解三角形。

如何选择正弦定理、余弦定理？

遇到正弦选正弦定理，遇到齐次式考虑正弦定理。

遇到余弦选余弦定理，遇到边的二次齐次式考虑余弦定理。

原则：边角统一。

#三角函数

在三角形中，

$$ \global\let\vecc=\overrightarrow A+B+C=\pi $$

因此就有：

$$ \begin{aligned} \sin A&=\sin(B+C)\ \sin B&=\sin(A+C)\ \sin C&=\sin{A+B} \end{aligned} $$

$$ \begin{aligned} \cos A&=-\cos(B+C)\ \cos B&=-\cos(A+C)\ \cos C&=-\cos(A+B) \end{aligned} $$

$$ \begin{aligned} \sin\dfrac{A}{2}&=\cos\left(\dfrac{B+C}{2}\right)\ \sin\dfrac{B}{2}&=\cos\left(\dfrac{A+C}{2}\right)\ \sin\dfrac{C}{2}&=\cos\left(\dfrac{A+B}{2}\right) \end{aligned} $$

$$ \begin{aligned} \cos\dfrac{A}{2}&=\sin\left(\dfrac{B+C}{2}\right)\ \cos\dfrac{B}{2}&=\sin\left(\dfrac{A+C}{2}\right)\ \cos\dfrac{C}{2}&=\sin\left(\dfrac{A+B}{2}\right) \end{aligned} $$

在三角形中，$a=b\cos C+c\cos B$。

若 $sin^2A+\sin^2B=\sin^2C$，则该三角形是以 $angle C$ 为直角的 $mathrm{Rt\triangle}$。

解三角形里面常用的奇怪三角函数：

$$ \sin15^\circ=\cos75^\circ={\sqrt6-\sqrt2\over4}[0.5em] \sin75^\circ=\cos15^\circ={\sqrt6+\sqrt2\over4} $$

特殊的，如果 $sin 2A=\sin 2B$，则有 $2A=2B$ 或 $2A+2B=\pi$，即 $A=B$ 或 $A+B=90^\circ$，即等腰或直角三角形。

#平面几何法

利用平面几何定理，直接解决。

通常平面几何关注的是角与边的关系。

角，联系三角函数，倒角解决。

边，通常联系正余弦定理，以及一些特殊的定理。

建系法：将数据用坐标表示，详见解析几何。

如果直角三角形三边成等差数列，则变长一定为 $3,4,5$。

#向量基底法

用向量基底分解，利用点乘的性质解决。

通常情况下，向量法是一个好用而简洁的方法。

算两次原理：用同一组基底，用不同方式表示一个向量，则系数一定相等。

#三角形应用

基线：在测量过程中，根据测量的需要而确定的线段叫做基线。

仰角：在同一铅垂平面内，视线在水平线上方时与水平线的夹角。

俯角：在同一铅垂平面内，视线在水平线下方时与水平线的夹角。

方向角：从正北或正南方向到目标方向所形成的小于九十度的角。

方位角：从某点的指北方向线起依顺时针方向到目标方向线之间的水平夹角。

#三角法定理

#正弦定理

回顾初中几何，三角形面积，

$$ S={1\over2}ab\sin C={1\over2}bc\sin A={1\over2}ac\sin B $$

下面的证明过程只考虑锐角三角形，对于钝角三角形，结论不变。

做过 $angle A$ 的垂线，则该垂线长度 $h$：

$$ h=b\sin C=c\sin B $$

对每个角应用，最后可得，

$$ {a\over\sin A}={b\over\sin B}={c\over\sin C}=k $$

做出该三角形的外接圆，过圆心做 $BC$ 的高，则，

$$ a=2R\sin A,,{a\over\sin A}=2R $$

即值 $k$ 为三角形外接圆直径 $2R$。

常常这么写：

$$ a=2R\sin A,,b=2R\sin B,,c=2R\sin C\ \sin A={a\over2R},,\sin B={b\over2R},,\sin C={c\over2R} $$

正弦定理推论：大边对大角，小边对小角。

#余弦定理

在 $triangle ABC$ 中，

$$ \begin{array}{c} \overrightarrow{AB}=\overrightarrow{CB}-\overrightarrow{CA}[0.5em] |\overrightarrow{AB}|^2=|\overrightarrow{CB}|^2+|\overrightarrow{CA}|^2-2|\overrightarrow{CB}|\cdot|\overrightarrow{CA}|\cdot\cos\theta[0.5em] c^2=a^2+b^2-2ab\cos\theta \end{array} $$

其中 $theta$ 为 $c$ 的对角，即 $angle C$；第二步就是两边平方。

常写作：

$$ \cos A={b^2+c^2-a^2\over2bc},,\cos B={a^2+c^2-b^2\over2ac},,\cos C={a^2+b^2-c^2\over2ab} $$

推论：

$$ \begin{aligned} a^2+b^2-c^2>0 &\Longrightarrow \cos C>0 \Longrightarrow C\in(0,\pi/2)\ a^2+b^2-c^2=0 &\Longrightarrow \cos C=0 \Longrightarrow C=\pi/2\ a^2+b^2-c^2<0 &\Longrightarrow \cos C<0 \Longrightarrow C\in(\pi/2,\pi) \end{aligned} $$

#余切定理

$$ \begin{aligned} \zeta&=\sqrt{{1\over p}(p-a)(p-b)(p-c)}\ p&={a+b+c\over2} \end{aligned} $$

其中 $zeta$ 为 $triangle ABC$ 内切圆半径，$p$ 为三角形的半周长。

推论，一各三角形内切圆半径为，

$$ R_内={2S\over a+b+c} $$

其中 $S$ 表示三角形面积，$a,b,c$ 分别表示三边长。

#正切定理

正切定理指出，三角形中，两条边的和与差的比值，等于这两条边的对角的和与差的一半的正切的比值：

$$ {a-b\over a+b}={\tan{\angle A-\angle B\over2}\over\tan{\angle A+\angle B\over2}} $$

#三角形四心

#奔驰定理

在锐角 $triangle ABC$ 中，

$$ S_{\triangle BOC}\cdot\overrightarrow{OA}+S_{\triangle AOC}\cdot\overrightarrow{OB}+S_{\triangle AOB}\cdot\overrightarrow{OC}=\vec0 $$

推论：

• 设 $I$ 为内心，则 $a\cdot\overrightarrow{IA}+b\cdot\overrightarrow{IB}+c\cdot\overrightarrow{IC}=\vec0$.

• 设 $H$ 为垂心，则 $tan A\cdot\overrightarrow{HA}+\tan B\cdot\overrightarrow{HB}+\tan C\cdot\overrightarrow{HC}=\vec0$.

• 设 $O$ 为外心，则 $sin2A\cdot\overrightarrow{OA}+\sin2B\cdot\overrightarrow{OB}+\sin2C\cdot\overrightarrow{OC}=\vec0$.

#欧拉线定理

• 欧拉定理：$O,I$ 分别为外接圆、内切圆圆心，则有 $OI^2=R^2-2Rr$.

• 欧拉线定理：三角形的外心 $O$，垂心 $H$，重心 $G$ 依次位于同一直线上，且重心到外心的距离是重心到垂心的距离的一半，即

$$ \overrightarrow{OG}=\frac{1}{3}\overrightarrow{OH}=\frac{1}{3}(\overrightarrow{OA}+\overrightarrow{OB}+\overrightarrow{OC}) $$

#极化恒等式

一般形式：

• 已知平面上非零向量 $boldsymbol{a}$ 与 $boldsymbol{b}$，则 $boldsymbol{a} \cdot \boldsymbol{b} = \dfrac{1}{4}(|\boldsymbol{a} + \boldsymbol{b}|^2 - |\boldsymbol{a} - \boldsymbol{b}|^2$。

• 在 $triangle ABC$ 中，若 $M$ 是 $BC$ 的中点，则 $overrightarrow{AB} \cdot \overrightarrow{AC} = |\overrightarrow{AM}|^2 - \dfrac{1}{4}|\overrightarrow{BC}|^2$。

在 $triangle ABC$ 中，对于共起点的数量积 $overrightarrow{AB} \cdot \overrightarrow{AC}$ 的求解问题，我们首先想到的是找出 $BC$ 的中点 $M$，则

$$ \overrightarrow{AM} = \dfrac{1}{2}(\overrightarrow{AB} + \overrightarrow{AC}) $$

所以

$$ \overrightarrow{AB} \cdot \overrightarrow{AC} = \left[\dfrac{1}{2}(\overrightarrow{AB} + \overrightarrow{AC})\right]^2 - \dfrac{1}{4}|\overrightarrow{BC}|^2 $$

化简整理便可得到如下结论：在 $triangle ABC$ 中，

$$ 2\overrightarrow{AB} \cdot \overrightarrow{AC} = |\overrightarrow{AB}|^2 + |\overrightarrow{AC}|^2 - |\overrightarrow{BC}|^2 $$

任何事物都是由特殊再到一般，我们研究平面几何问题更多的是在研究三角形，因为三角形是我们接触最多也是最熟悉的，然后由三角形再延伸到四边形问题。那么对于向量余弦式是否也可以延伸到四边形呢？我们知道四边形通过对角线是可以分割成三角形的，下面一起来探讨这个问题。在平面四边形 $ABCD$ 中，它可以由 $triangle ABC$ 与 $triangle ACD$ 组成，则在 $triangle ABC$ 中，由向量余弦式可得

$$ \overrightarrow{AB} \cdot \overrightarrow{AC} = \dfrac{|\overrightarrow{AB}|^2 + |\overrightarrow{AC}|^2 - |\overrightarrow{BC}|^2}{2} $$

那么在 $triangle ACD$ 中，则向量余弦式可得

$$ \overrightarrow{AD} \cdot \overrightarrow{AC} = \dfrac{|\overrightarrow{AD}|^2 + |\overrightarrow{AC}|^2 - |\overrightarrow{DC}|^2}{2} $$

两式相减可得

$$ \overrightarrow{AD} \cdot \overrightarrow{AC} - \overrightarrow{AB} \cdot \overrightarrow{AC} = \dfrac{|\overrightarrow{AD}|^2 + |\overrightarrow{AC}|^2 - |\overrightarrow{DC}|^2}{2} - \dfrac{|\overrightarrow{AB}|^2 + |\overrightarrow{AC}|^2 - |\overrightarrow{BC}|^2}{2} $$

整理后可得

$$ \overrightarrow{AC} \cdot \overrightarrow{BD} = \dfrac{|\overrightarrow{AD}|^2 + |\overrightarrow{BC}|^2 - |\overrightarrow{AB}|^2 - |\overrightarrow{CD}|^2}{2} $$

这就得到了平面四边形的向量余弦式的形式。

在四边形 $ABCD$ 中，

$$ \overrightarrow{AC} \cdot \overrightarrow{BD} = \dfrac{|\overrightarrow{AD}|^2 + |\overrightarrow{BC}|^2 - |\overrightarrow{AB}|^2 - |\overrightarrow{CD}|^2}{2} $$

这个结论也称之为对角线定理，它不仅仅可以在平面四边形中得到应用，还可以推广到空间四边形的情形。

#分点的向量方程

特殊的，中点的向量方程：

$$ \vecc{AD}=\dfrac12\vecc{AB}+\dfrac12\vecc{AC} $$

{width="100%"}

即对边比例相乘向量相加。

#重心及其性质

重心：三角形三边中线交点，在平面直角坐标系中，重心的坐标是顶点坐标的算术平均，也就是说对于平面内任意一点 $P$：

$$ \vecc{PG}=\dfrac13\left(\vecc{PA}+\vecc{PB}+\vecc{PC}\right) $$

重心和三角形任意两个顶点组成的三个三角形面积相等，而重心到三条边的距离与三条边的长成反比。

根据奔驰定理，有三角形重心到其各个顶点向量之和为零。

$$ \vecc{GA}+\vecc{GB}+\vecc{GC}=\vec 0 $$

特性：一个三角形的重心同时也是其中点三角形的重心，中位线证明。

根据是中线的性质，做 $AG$ 并延长交 $BC$ 于点 $H$，则：

$$ \dfrac{AG}{GH}=\dfrac21 $$

特殊的，重心到三边距离之积最大、到三角形三个顶点距离的平方和最小。

#内心及其性质

内心为三角形内切圆圆心，因此为三个角的角平分线交点：

$$ \vecc{AI}=\lambda\left(\dfrac{\vecc{AB}}{|\vecc{AB}}+\dfrac{\vecc{AC}}{|\vecc{AC}|}\right) $$

有奔驰定理的形式：

$$ \sin A\cdot\vecc{IA}+\sin B\cdot\vecc{IB}+\sin C\cdot\vecc{IC}=\vec 0 $$

三角形的内心到边的距离（即内切圆的半径）与三边长及面积之间有关系：

$$ r_内=\dfrac{2S}{a+b+c}=\dfrac{2S}{C} $$

可以连接内心与三顶点，等面积法求解。

#外心及其性质

外心为三角形外接圆圆心，因此为三边中垂线交点，不一定在三角形内部，到三角形三点距离相等。

$$ \vecc{OA}^2=\vecc{OB}^2=\vecc{OC}^2 $$

有奔驰定理的形式：

$$ \sin2A\cdot\vecc{OA}+\sin2B\cdot\vecc{OB}+\sin2C\cdot\vecc{OC}=\vec 0 $$

而，

$$ R_外={abc\over4S} $$

• 当三角形为锐角三角形时，外心在三角形内部。

• 当三角形为钝角三角形时，外心在三角形外部。

• 当三角形为直角三角形时，外心在斜边的中点上。

锐角三角形外心到三边距离之和等于 $R+r$。

证明：等价于证

$$ R(\cos A+\cos B+\cos C)=R+r $$

我们知道

$$ \begin{aligned} S_{\Delta ABC}&=\frac{1}{2}(a+b+c)r\ &=S_{\Delta OAB}+S_{\Delta OAC}+S_{\Delta OBC}\ &=\frac{1}{2}R(a\cos A+b\cos B+c\cos C) \end{aligned} $$

联立上两式（相乘），直接展开易知等式成立。

#垂心及其性质

垂心是三角形三边垂线的交点，因此有点积为零。

$$ \vecc{HA}\cdot{BC}=\vecc{HB}\cdot\vecc{AC}=\vecc{HC}\cdot\vecc{AB}=0 $$

两两整理，得到：

$$ \vecc{HA}\cdot\vecc{HB}=\vecc{HB}\cdot\vecc{HC}=\vecc{HC}\cdot\vecc{HA} $$

有奔驰定理的形式：

$$ \tan A\cdot\vecc{HA}+\tan B\cdot\vecc{HB}+\tan C\cdot\vecc{HC}=\vec 0 $$

而垂心到三角形一顶点距离等于此三角形外心到此顶点对边距离的 $2$ 倍。

三角形外心 $O$、重心 $G$、垂心 $H$ 三点共线且 $OG:GH=1:2$ 此直线称为三角形的欧拉线。

#三角形三线

#中线长定理

在 $triangle ABC$ 中，$BC$ 的中点为 $M$，对于中线 $AM$，有：

$$ AM^2={1\over2}b^2+{1\over2}c^2-{1\over4}a^2 $$

或，

$$ AM^2+BM^2={1\over2}(AC^2+AB^2) $$

或，

$$ AM={1\over2}\sqrt{2b^2+2c^2-a^2} $$

证明，基底分解：

$$ \overrightarrow{AM}={1\over2}\overrightarrow{AB}+{1\over2}\overrightarrow{AC}[0.5em] \overrightarrow{BM}={1\over2}\overrightarrow{AC}-{1\over2}\overrightarrow{AB} $$

则，

$$ |\overrightarrow{AM}|^2+|\overrightarrow{BM}|^2={1\over2}|\overrightarrow{AB}|^2+{1\over2}|\overrightarrow{AC}|^2 $$

或者中点两个底角分别列余弦定理，相加化简。

#分角定理

在 $triangle ABC$ 中，$BC$ 上有一点 $M$，则：

$$ {BM\over CM}={AB\sin\angle BAM\over AC\sin\angle CAM} $$

证明，左右两边等面积法：

$$ {BM\over CM}={S_{\triangle ABM}\over S_{\triangle ACM}}={AB\cdot AM\sin\angle BAM\over AC\cdot AM\sin\angle CAM}={AB\sin\angle BAM\over AC\sin\angle CAM} $$

或正弦定理：

$$ {BM\over\sin\angle BAM}={AB\over\sin\angle AMB}[0.5em] {CM\over\sin\angle CAM}={AC\over\sin\angle AMC} $$

上下做比。

#角平分线定理

在 $triangle ABC$ 中，$angle A$ 的平分线 $AM$，有：

$$ {BM\over CM}={AB\over AC} $$

是分角定理的直接推论。

#角平分线长定理

$$ \begin{aligned} AD&=\sqrt{AB\cdot AC-BD\cdot CD}\ &=\sqrt{bc\left(1-{a^2\over(b+c)^2}\right)}\ &={2bc\over b+c}\cos{A\over2} \end{aligned} $$

#边长公式

#射影定理

射影定理表示为：

$$ a=b\cos C+c\cos B $$

在初中我们学习过影高乘积等于树高平方的射影定理。

在 $triangle ABC$ 中 $BC$ 上的高为 $AD$，则：

$$ AB^2=BD\cdot BC $$

$$ AD^2=BD\cdot CD $$

$$ AC^2=BC\cdot CD $$

#斯图尔特定理

又译斯台沃特定理，在 $triangle ABC$ 边 $BC$ 上任意一点 $D$，

$$ AB^2\cdot CD+AC^2\cdot BD-AD^2\cdot BC=BD\cdot CD\cdot BC $$

可以由两次余弦定理推导得出。

#平行四边形恒等式

$$ AB^2+BC^2+CD^2+AD^2=AC^2+BD^2 $$

对于一般的四边形，等式不成立，但是有不等式：

$$ AB^2+BC^2+CD^2+AD^2\ge AC^2+BD^2 $$

或者设 $x$ 表示两条对角线中点所连线段的长度：

$$ AB^2+BC^2+CD^2+AD^2=AC^2+BD^2+4x^2 $$

注意到平行四边形对角线互相平分，即 $x=0$，可得上面的第一个恒等式。

#边元塞瓦定理

{width="100%"}

其逆定理用于表示三角形内三点共线，角元塞瓦定理较为复杂。

#梅涅劳斯定理

一直线与 $triangle ABC$ 的三边 $AB,BC,AC$ 或他们的延长线分别交于 $X,Y,Z$ 三点，则：

$$ \dfrac{AX}{XB}\cdot\dfrac{BY}{YC}\cdot\dfrac{CZ}{ZA}=0 $$

{width="70%"}

梅涅劳斯定理的逆定理表示为，满足上述式子，则 $X,Y,Z$ 三点共线。

#面积公式

#海伦公式

任意三角形面积可以表示为：

$$ \begin{aligned} S&=\sqrt{p(p-a)(p-b)(p-c)}\ p&={a+b+c\over2} \end{aligned} $$

即：

$$ S=\dfrac14\sqrt{(a+b+c)(a+b-c)(a-b+c)(-a+b+c)} $$

其中 $p$ 为三角形的半周长。

#布雷特施奈德公式

任意四边形面积可以表示为：

$$ \begin{aligned} S&=\sqrt{(p-a)(p-b)(p-c)(p-d)-abcd\cos^2{\alpha+\beta\over2}}\ p&={a+b+c+d\over2} \end{aligned} $$

其中 $p$ 为四边形的半周长，$alpha,\beta$ 为其中二个对角。

布雷特施奈德公式可视为婆罗摩笈多公式之推广。

#婆罗摩笈多公式

注意到圆内接四边形对角互补，其半角余弦值为零，$cos90^\circ=0$ 则圆内接四边形面积可以简化为：

$$ \begin{aligned} S&=\sqrt{(p-a)(p-b)(p-c)(p-d)}\ p&={a+b+c+d\over2} \end{aligned} $$

其中 $p$ 为四边形的半周长。