平面几何总结：证明三条线段的关系

陈一男学习网站[ ChenYinan.com ] - 中国数学学会 - 中国院士 - GeoGebra - 数学基础

证明三条线段的关系主要分为和差关系（如\(a = b + c\)、\(a + b > c\)）、倍数关系（如\(a = 2b\)）、平方关系（如\(a^2 = b^2 + c^2\)）以及更复杂的比例/乘积关系等。核心思路是通过几何变换（截长补短、旋转、平移）将三条线段转化到同一直线或同一三角形中，或利用代数方法（勾股定理、相似、坐标计算）建立数量关系。

一、证明和差关系（\(a = b + c\)或\(a = |b - c|\)）

这类关系的证明核心是将长线段截成两段（截长法）或把短线段延长拼接（补短法），再证明与剩余线段相等，也可利用几何图形的性质直接推导。

1. 截长法

原理：若要证\(a = b + c\)（\(a\)为最长线段），在\(a\)上截取一段等于\(b\)（或\(c\)），再证明剩余段等于\(c\)（或\(b\)）。

适用场景：最长线段可被截成与两条短线段相关的部分，且能通过全等、相似等证明剩余段相等。

例子：在△ABC中，∠BAC=90°，AB=AC，BD平分∠ABC交AC于D，求证\(BC = AB + AD\)。

证明：在BC上截取BE=AB，连接DE，由SAS可证△ABD≌△EBD，得AD=DE，∠BED=∠BAC=90°；又因AB=AC，∠C=45°，故△DEC为等腰直角三角形，DE=EC，因此BC=BE+EC=AB+AD。

2. 补短法

原理：若要证\(a = b + c\)，将\(b\)（或\(c\)）延长至与\(c\)（或\(b\)）拼接，得到线段\(d = b + c\)，再证明\(d = a\)。

适用场景：两条短线段可拼接成一条新线段，且能通过全等、等腰三角形等证明新线段与最长线段相等。

例子：同上述例题，用补短法证明：延长BA至E，使AE=AD，连接DE，证△EBD≌△CBD，得BC=BE=AB+AE=AB+AD。

3. 利用三角形三边关系

原理：三角形任意两边之和大于第三边，任意两边之差小于第三边（\(|b - c| < a < b + c\)），当三点共线时取等号（\(a = b + c\)或\(a = |b - c|\)）。

适用场景：三条线段为三角形的三边，或可构造三角形推导不等关系。

例子：点P为△ABC内任意一点，求证\(PA + PB < AC + BC\)。

证明：延长AP交BC于D，由三角形三边关系，\(PA + PB < PA + PD + DB = AD + DB\)，且\(AD + DB < AC + CD + DB = AC + BC\)，故\(PA + PB < AC + BC\)。

4. 利用圆的弦长/弧长性质

原理：在同圆或等圆中，直径是最长的弦，若弦与直径共线，可推导弦长的和差关系；或利用弧长对应的弦长关系转化线段和差。

例子：AB是圆O的直径，CD是弦，且AB⊥CD于E，求证\(AC + BC > AB\)（由三角形三边关系，△ABC为直角三角形，AC+BC>AB）。

二、证明倍数关系（如\(a = 2b\)、\(a = \sqrt{2}b\)）

核心是利用特殊三角形（等腰直角三角形、等边三角形）、中位线、相似三角形的比例性质，或圆的半径/直径关系推导倍数。

1. 利用三角形中位线定理

原理：三角形的中位线平行于第三边，且等于第三边的一半（若\(DE\)是△ABC的中位线，则\(DE = \frac{1}{2}BC\)，即\(BC = 2DE\)）。

适用场景：其中一条线段为三角形的中位线，或可构造中位线。

例子：在△ABC中，D、E分别是AB、AC的中点，求证\(BC = 2DE\)（直接由中位线定理得证）。

2. 利用特殊三角形的边长比例

原理：

等腰直角三角形：斜边是直角边的\(\sqrt{2}\)倍（\(c = \sqrt{2}a\)）；

含30°角的直角三角形：30°角对的直角边是斜边的一半（\(a = \frac{1}{2}c\)）；

等边三角形：高是边长的\(\frac{\sqrt{3}}{2}\)倍（\(h = \frac{\sqrt{3}}{2}a\)）。

适用场景：三条线段在特殊直角三角形或等边三角形中，可通过角度推导边长倍数。

例子：在Rt△ABC中，∠C=90°，∠A=30°，求证\(AB = 2BC\)（由直角三角形性质直接得证）。

3. 利用相似三角形的比例性质

原理：若△ABC∽△DEF，相似比为\(k\)，则对应边的比为\(k\)（如\(\frac{AB}{DE} = 2\)，则\(AB = 2DE\)）。

适用场景：三条线段分别在两个相似三角形中，且相似比为整数或根式。

例子：在△ABC中，DE∥BC，且AD:DB=1:1，求证\(BC = 2DE\)（△ADE∽△ABC，相似比1:2，故\(BC=2DE\)）。

4. 利用圆的半径与直径的关系

原理：圆的直径是半径的2倍（\(d = 2r\)），若线段为圆的直径和半径，可直接推导倍数关系。

例子：AB是圆O的直径，OC是半径，求证\(AB = 2OC\)（直接由直径定义得证）。

三、证明平方关系（如\(a^2 = b^2 + c^2\)、\(a^2 = b^2 - c^2\)）

核心是利用勾股定理及逆定理，或相似三角形的射影定理，将线段的平方关系转化为直角三角形的边长关系。

1. 利用勾股定理

原理：在直角三角形中，斜边的平方等于两直角边的平方和（\(c^2 = a^2 + b^2\)）；若为钝角/锐角三角形，可结合余弦定理（\(c^2 = a^2 + b^2 - 2ab\cos C\)）推导。

适用场景：三条线段为直角三角形的三边，或可构造直角三角形。

例子：在正方形ABCD中，对角线AC、BD交于O，求证\(AC^2 = 2AB^2\)。

证明：△ABC为等腰直角三角形，由勾股定理\(AC^2 = AB^2 + BC^2 = 2AB^2\)。

2. 利用射影定理

原理：在Rt△ABC中，∠C=90°，CD⊥AB于D，则：

\(AC^2 = AD·AB\)，\(BC^2 = BD·AB\)，\(CD^2 = AD·BD\)。

适用场景：涉及直角三角形斜边上的高，需证明线段的平方乘积关系。

例子：在Rt△ABC中，CD⊥AB，求证\(AC^2 + BC^2 = AB^2\)（由射影定理\(AC^2 + BC^2 = AD·AB + BD·AB = AB(AD + BD) = AB^2\)，即勾股定理）。

3. 利用圆的幂定理

原理：

相交弦定理：圆内两弦AB、CD交于P，则\(PA·PB = PC·PD\)；

切割线定理：切线PT与割线PAB交于P，则\(PT^2 = PA·PB\)；

割线定理：两割线PAB、PCD交于P，则\(PA·PB = PC·PD\)。

适用场景：圆内的弦、切线、割线相关的线段平方/乘积关系。

例子：PT是圆O的切线，T为切点，PAB是割线，求证\(PT^2 + PA^2 = PB·PA + PA^2 = PA(PB + PA)\)（结合切割线定理推导平方和关系）。

四、证明比例/乘积关系（如\(a·b = c·d\)、\(\frac{a}{b} = \frac{c}{d}\)）

核心是利用相似三角形的对应边成比例，或圆的幂定理、平行线分线段成比例定理推导。

1. 利用相似三角形的性质

原理：相似三角形的对应边成比例（若△ABC∽△DEF，则\(\frac{AB}{DE} = \frac{BC}{EF} = \frac{AC}{DF}\)），交叉相乘可得乘积关系。

适用场景：三条线段（或第四条辅助线段）分别在两个相似三角形中。

例子：在△ABC中，AD是角平分线，求证\(\frac{AB}{AC} = \frac{BD}{DC}\)（角平分线定理，由△ABD∽△ACD的比例关系得证）。

2. 利用平行线分线段成比例定理

原理：三条平行线截两条直线，所得的对应线段成比例；平行于三角形一边的直线截其他两边（或延长线），所得的对应线段成比例。

适用场景：存在平行线，线段被平行线分割成比例段。

例子：在△ABC中，DE∥BC，交AB于D，交AC于E，求证\(\frac{AD}{AB} = \frac{AE}{AC} = \frac{DE}{BC}\)（直接由定理得证）。

3. 利用圆的幂定理

原理：如相交弦定理、切割线定理、割线定理，直接给出线段的乘积比例关系。

例子：圆内两弦AB、CD交于P，求证\(PA·PB = PC·PD\)（相交弦定理直接得证）。

五、利用解析几何的代数方法

通过建立平面直角坐标系，将线段长度转化为坐标的代数运算，进而证明数量关系，适用于所有线段关系的证明，尤其适合复杂的平方、乘积关系。

1. 坐标法计算线段长度

原理：设点的坐标，利用距离公式\(d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}\)计算线段长度，再通过代数运算验证关系。

步骤：

1. 建立合适的坐标系，确定各点坐标；

2. 计算三条线段的长度（或长度的平方）；

3. 通过代数变形证明线段间的数量关系。

例子：求证直角坐标系中，点A(0,0)、B(3,0)、C(0,4)构成的△ABC中，\(AB^2 + AC^2 = BC^2\)。

计算：\(AB=3\)，\(AC=4\)，\(BC=5\)，\(3^2 + 4^2 = 5^2\)，得证。

2. 向量法推导线段关系

原理：利用向量的模长公式\(|\vec{a}| = \sqrt{\vec{a}·\vec{a}}\)和数量积运算，将线段长度转化为向量的模长，进而推导关系。

例子：在△ABC中，\(\vec{AB}·\vec{AC}=0\)，求证\(BC^2 = AB^2 + AC^2\)（由\(\vec{BC} = \vec{AC} - \vec{AB}\)，\(|\vec{BC}|^2 = (\vec{AC} - \vec{AB})·(\vec{AC} - \vec{AB}) = |\vec{AC}|^2 + |\vec{AB}|^2 - 2\vec{AB}·\vec{AC} = AB^2 + AC^2\)）。