《塞瓦定理》由会员分享，可在线阅读，更多相关《塞瓦定理（4页珍藏版）》请在金锄头文库上搜索。
1、塞瓦定理 在ABC内任取一点O， 直线AO、BO、CO分别交对边于D、E、F，则 (BD/DC)*(CE/EA)*(AF/FB)=1 证法简介 （）本题可利用梅涅劳斯定理证明： ADC被直线BOE所截， (CB/BD)*(DO/OA)*(AE/EC)=1 而由ABD被直线COF所截， (BC/CD)*(DO/OA)*(AF/FB)=1 :即得：(BD/DC)*(CE/EA)*(AF/FB)=1 （）也可以利用面积关系证明 BD/DC=SABD/SACD=SBOD/SCOD=(SABD-SBOD)/(SACD-SCOD)=SAOB/SAOC 同理 CE/EA=SBOC/ SAOB AF/FB=S
2、AOC/SBOC 得BD/DC*CE/EA*AF/FB=1 利用塞瓦定理证明三角形三条高线必交于一点: 设三边AB、BC、AC的垂足分别为D、E、F， 根据塞瓦定理逆定理，因为(AD:DB)*(BE:EC)*(CF:FA)=(CD*ctgA/(CD*ctgB）*(AE*ctgB)/(AE*ctgC)*(BF*ctgC)/(BF*ctgA)=1，所以三条高CD、AE、BF交于一点。 可用塞瓦定理证明的其他定理; 三角形三条中线交于一点（重心）:如图5 D , E分别为BC , AC 中点 所以BD=DC AE=EC 所以BD/DC=1 CE/EA=1 且因为AF=BF 所以 AF/FB必等于1
3、，所以三角形三条中线交于一点，即为内心 用赛瓦定理还可以证明三条角平分线交于一点 此外，可用定比分点来定义塞瓦定理： 在ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点，又分比是=BL/LC、=CM/MA、=AN/NB。于是AL、BM、CN三线交于一点的充要条件是=1。（注意与梅涅劳斯定理相区分，那里是=-1）1.设E是ABD内任意一点，AE、BE、DE分别交对边于C、G、F，则(BD/BC)(CE/AE)(GA/DG)=1 因为(BC/CD)*(DG/GA)*(AF/FB)=1，（塞瓦定理）所以 (BD/CD)(CE/AE)(AF/FB)=K（K为未知参数）且(BD/BC)*(C
4、E/AE)*(GA/DG)=K（K为未知参数）又由梅涅劳斯定理得：(BD/CD)*(CE/AE)*(AF/FB)=1 所以(BD/BC)*(CE/AE)*(GA/DG)=1 2.塞瓦定理角元形式 AD,BE,CF交于一点的充分必要条件是： (sinBAD/sinDAC)*(sinACF/sinFCB)*(sinCBE/sinEBA)=1 由正弦定理及三角形面积公式易证 3.如图，对于圆周上顺次6点A，B，C，D，E，F，直线AD，BE，CF交于一点的充分必要条件是： (AB/BC)*(CD/DE)*(EF/FA)=1 由塞瓦定理的角元形式，正弦定理及圆弦长与所对圆周角关系易证。梅涅劳斯（Men
5、elaus）定理（简称梅氏定理）是由古希腊数学家梅涅劳斯首先证明的。它指出：如果一条直线与ABC的三边AB、BC、CA或其延长线交于F、D、E点，那么(AF/FB)(BD/DC)(CE/EA)=1。 或：设X、Y、Z分别在ABC的BC、CA、AB所在直线上，则X、Y、Z共线的充要条件是(AZ/ZB)*(BX/XC)*(CY/YA)=1 。证明一过点A作AGBC交DF的延长线于G， 则AF/FB=AG/BD , CE/EA=DC/AG。 三式相乘得：(AF/FB)(BD/DC)(CE/EA)=(AG/BD)(BD/DC)(DC/AG)=1 证明二过点C作CPDF交AB于P，则BD/DC=FB/P
6、F，CE/EA=PF/AF 所以有AF/FBBD/DCCE/EA=AF/FBFB/PFPF/AF=1 它的逆定理也成立：若有三点F、D、E分别在ABC的边AB、BC、CA或其延长线上，且满足(AF/FB)(BD/DC)(CE/EA)=1，则F、D、E三点共线。利用这个逆定理，可以判断三点共线。 梅涅劳斯(Menelaus)定理证明三过ABC三点向三边引垂线AABBCC， 所以AD：DB=AA：BB，BE：EC=BB：CC，CF：FA=CC：AA 所以(AF/FB)(BD/DC)(CE/EA)=1 证明四连接BF。 （AD：DB）（BE：EC）（CF:FA) =（SADF：SBDF）（SBEF：
7、SCEF）（SBCF：SBAF） =（SADF：SBDF）（SBDF：SCDF）（SCDF：SADF） =1 此外，用定比分点定义该定理可使其容易理解和记忆： 在ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点，又分比是=BL/LC、=CM/MA、=AN/NB。于是L、M、N三点共线的充要条件是=1。 第一角元形式的梅涅劳斯定理 如图：若E，F，D三点共线，则 (sinACF/sinFCB)(sinBAD/sinDAC)(sinCBA/sinABE)=1 即图中的蓝角正弦值之积等于红角正弦值之积 该形式的梅涅劳斯定理也很实用 第二角元形式的梅涅劳斯定理 在平面上任取一点O，且EDF共线，则（sinAOF/sinFOB)(sinBOD/sinDOC)(sinCOA/sinAOE)=1。(O不与点A、B、C重合) 记忆ABC为三个顶点，DEF为三个分点 (AF/FB)(BD/DC)(CE/EA)=1 （顶到分/分到顶）*（顶到分/分到顶）*（顶到分/分到顶）=1 空间感好的人可以这么记：（上1/下1）*（整/右）*（下2/上2）=1
