平面几何五大定理及其证明.docxVIP

平面几何 定理及其证明 一、 梅涅劳斯定理 1．梅涅劳斯定理及其证明 定理：一条直线与? ABC 的三边 AB、BC、CA 所在直线分别交于点 D、E、F，且D、E、F 均不是? ABC 的顶点，则有 AD BE CF A DECGFDB ? EC ? FA ? 1 D E C G F 证明：如图，过点 C 作 AB 的平行线，交 EF 于点 G． CG CF B 因为 CG // AB，所以 ? AD FA ————（1） CG EC 因为 CG // AB，所以 DB ? BE ————（2） DB 由（1）÷（2）可得 ? BE CF ?  ，即得 AD BE CF ? ? 1 ． AD EC FA 梅涅劳斯定理的逆定理及其证明 DB EC FA 定理：在 ? ABC 的边 AB、BC 上各有一点 D、E，在边 AC 的延长线上有一点 F，若 AD BE CF DD/ECF? ? D D/ E C F DB EC FA ，那么，D、E、F 三点共线． 证明：设直线 EF 交 AB 于点 D/，则据梅涅劳斯定理有 AD / BE CF ? B ? 1 ． D/ B EC FA 因为 AD ? BE ? CF ? 1 ，所以有 AD ? AD/  ．由于点 D、D/都在线 DB EC FA DB D/ B 段 AB 上，所以点 D 与 D/重合．即得 D、E、F 三点共线． 二、 塞 瓦 定 理 3．塞瓦定理及其证明 定理：在? ABC 内一点 P，该点与? ABC 的三个顶点相连所在的 三条直线分别交? ABC 三边 AB、BC、CA 于点 D、E、F，且D、E、F A 三点均不是? ABC 的顶点，则有 AD BE CF ? ? 1 DB EC FA ． F D P AD S S 证明：运用面积比可得 ? DB 根据等比定理有 ?ADP S ?BDP ? ?ADC ． S B C ?BDC E S ?ADP S ?BDP S ? ?ADC S ?BDC S ? ?ADC S ?BDC S ?ADP S ?BDP S ? ?APC ， S ?BPC 所以 AD DB S ? ?APC S ?BPC ．同理可得 BE ? EC S ?APB S ?APC ， CF ? FA ?BPC ． SS S ?APB 三式相乘得 AD BE CF ? ? 1 ． DB EC FA 4．塞瓦定理的逆定理及其证明 定理：在? ABC 三边 AB、BC、CA 上各有一点 D、E、F，且 D、E、F 均不是? ABC 的顶点， AD BE CF D/DFPEDB EC FA若 ? ? ? 1 ，那么直线 CD、AE、BF D/ D F P E DB EC FA 证明：设直线 AE 与直线BF 交于点 P，直线 CP 交 AB 于点 D/，则 据塞瓦定理有  AD/  BE CF ?  ? 1． D/ B EC FA AD BE CF  AD AD/ B 因为 ? ? ? 1 ，所以有 ? ．由于点D、D/都在线 C DB EC FA DB D/ B 段 AB 上，所以点 D 与 D/重合．即得 D、E、F 三点共线． 三、 西姆松定理 5．西姆松定理及其证明 定理：从? ABC 外接圆上任意一点 P 向 BC、CA、AB 或其延长线引垂线，垂足分别为D、E、F，则 D、E、F 三点共线． AFDCEP证明 A F D C E P 因为PE ? AE，PF ? AF，所以 A、F、P、E 四点共圆，可得 ? FAE = ? FEP． 因为 A、B、P、C 四点共圆，所以? BAC = ? BCP，即? FAE = ? BCP． 所以， ? FEP = ? BCP，即? D/EP = ? D/CP，可得 C、D/、P、E 四点 B 共圆． 所以， ? CD/P + ? CEP = 1800。而? CEP = 900，所以? CD/P = 900， 即 PD/ ? BC． 由于过点 P 作 BC 的垂线，垂足只有一个，所以点 D 与 D/重合，即得D、E、F 三点共线． ABMED A B M E D C 定理：凸四边形 ABCD 是某圆的内接四边形，则有AB·CD + BC·AD = AC·BD． 证明：设点M 是对角线 AC 与 BD 的交点，在线段BD 上找一点，使得? DAE = ? BAM． 因为? ADB = ? ACB，即? ADE = ? ACB，所以? ADE∽ ? ACB，即得 AD DE ? ，即 AD ? BC ? AC ? DE ————（1） AC BC 由于? DAE = ? BAM，所以? DAM = ? BAE，即? DAC = ? BAE。而?