解三角形¶

基本方法¶

基本原理¶

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

如果知道 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$ ，即等腰或直角三角形。

平面几何法¶

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

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

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

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

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

向量基底法¶

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

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

三角形应用¶

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

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

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

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

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

三角法定理¶

正弦定理¶

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

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}}

三角形四心¶

编号	心的名称	定义
$X_1(I)$	内心	三条角平分线的交点
$X_2(G)$	重心	三条中线的交点
$X_3(O)$	外心	三条中垂线的交点
$X_4(H)$	垂心	三条高线的交点

奔驰定理¶

在锐角 $\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$ .

极化恒等式¶

在平行四边形中， $\bm a=\vecc{AB},\bm b=\vecc{AD}$ ，则：

\vecc{AC}^2=(\bm a+\bm b)^2=\bm a^2+\bm b^2+2\bm a\bm b

\vecc{DB}^2=(\bm a-\bm b)^2=\bm a^2+\bm b^2-2\bm a\bm b

两式相加，得：

\vecc{AC}^2+\vecc{DB}^2=2\left(\vecc{AB}^2+\vecc{AD}^2\right)

两式相减，得：

\vecc{AC}^2-\vecc{DB}^2=4\vecc{AB}\cdot\vecc{AD}

我们连接 $AC,BD$ ，得到平行四边形对角线中点 $O$ ，那么：

\vecc{AO}^2-\vecc{BO}^2=\vecc{AB}\cdot\vecc{AD}

也就是两边数量积等于中线长平方减另一边长中点长一半的平方。

也就是在三角形 $\triangle ABC$ 中， $D$ 为 $BC$ 中点，那么：

\vecc{AB}\cdot\vecc{AC}=|AD|^2-|BD|^2

在圆中注意投影与垂径定理的应用。

分点的向量方程¶

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

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

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

重心及其性质¶

重心：三角形三边中线交点，在平面直角坐标系中，重心的坐标是顶点坐标的算术平均，也就是说对于平面内任意一点 $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}

当三角形为锐角三角形时，外心在三角形内部。
当三角形为钝角三角形时，外心在三角形外部。
当三角形为直角三角形时，外心在斜边的中点上。

垂心及其性质¶

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

\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\cdot CD+AD\cdot BC=AC\cdot BD

广义托勒密定理指出，任意凸四边形左式大于等于右式，取等当且仅当为圆内接。

AB\cdot CD+AD\cdot BC\ge AC\cdot BD

平行四边形恒等式¶

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$ ，可得上面的第一个恒等式。

边元塞瓦定理¶

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

梅涅劳斯定理¶

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

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

梅涅劳斯定理的逆定理表示为，满足上述式子，则 $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$ 为四边形的半周长。

本页面最近更新：2025/5/10 20:42:52，更新历史。
编辑页面：在 GitHub 上编辑此页！
本页面贡献者：RainPPR。