塞瓦定理的论证及推导典型题.docxVIP

　　塞瓦定理 　　在△ABC内任取一点O， 　　直线AO、BO、CO分别交对边于D、E、F，则 (BD/DC)*(CE/EA)*(AF/FB)=1 　　证法简介 　　（Ⅰ）本题可利用 HYPERLINK /view/148234.htm \t _blank 梅涅劳斯定理证明： 　　∵△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=S△ABD/S△ACD=S△BOD/S△COD=(S△ABD-S△BOD)/(S△ACD-S△COD)=S△AOB/S△AOC ③ 　　同理 CE/EA=S△BOC/ S△AOB ④ AF/FB=S△AOC/S△BOC ⑤ 　　③×④×⑤得BD/DC*CE/EA*AF/FB=1 　　利用塞瓦定理证明 HYPERLINK /view/967721.htm \t _blank 三角形三条高线必交于一点: 　　设三边AB、BC、AC的垂足分别为D、E、F， 根据塞瓦定理 HYPERLINK /view/550833.htm \t _blank 逆定理，因为(AD:DB)*(BE:EC)*(CF:FA)= [(CD*ctgA/[(CD*ctgB）]*[(AE*ctgB)/(AE*ctgC)]*[(BF*ctgC)/[(BF*ctgA)]=1，所以三条高CD、AE、BF交于一点。 　　可用塞瓦定理证明的其他定理; 　　三角形三条中线交于一点（ HYPERLINK /view/18274.htm \t _blank 重心）:如图5 D , E分别为BC , AC 中点 所以BD=DC AE=EC 所以BD/DC=1 CE/EA=1 　　且因为AF=BF 所以 AF/FB必等于1 ，所以三角形三条中线交于一点，即为 HYPERLINK /view/358574.htm \t _blank 内心 　　用赛瓦定理还可以证明三条角平分线交于一点 　　此外，可用定比分点来定义塞瓦定理： 在△ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点，又分比是λ=BL/LC、μ=CM/MA、ν=AN/NB。于是AL、BM、CN三线交于一点的 HYPERLINK /view/380169.htm \t _blank 充要条件是λμν=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)*(CE/AE)*(GA/DG)=K（K为未知参数）又由梅涅劳斯定理得：(BD/CD)*(CE/AE)*(AF/FB)=1 　　所以(BD/BC)*(CE/AE)*(GA/DG)=1 　　2.塞瓦定理角元形式 　　AD,BE,CF交于一点的 HYPERLINK /view/656995.htm \t _blank 充分必要条件是： 　　(sin∠BAD/sin∠DAC)*(sin∠ACF/sin∠FCB)*(sin∠CBE/sin∠EBA)=1 　　由正弦定理及 HYPERLINK /view/1207774.htm \t _blank 三角形面积公式易证 　　3.如图，对于圆周上顺次6点A，B，C，D，E，F，直线AD，BE，CF交于一点的充分必要条件是： 　　(AB/BC)*(CD/DE)*(EF/FA)=1 由塞瓦定理的角元形式，正弦定理及圆弦长与所对 HYPERLINK /view/258644.htm \t _blank 圆周角关系易证。 梅涅劳斯（Menelaus）定理（简称梅氏定理）是由 HYPERLINK /view/64778.htm \t _blank 古希腊数学家梅涅劳斯首先证明的。它指出：如果一条直线与△ABC的三边AB、BC、CA或其延长线交于F、D、E点，那么(AF/FB)×(BD/DC)×(CE/EA)=1。 或：设X、Y、Z分别在△ABC的BC、CA、AB所在直线上，则X、Y、Z共线的 HYPERLINK /view/380169.htm \t _blank 充要条件是(AZ/ZB)*(BX/XC)*(CY/YA)=1 。 证明一 　　过点A作AG∥BC交DF的延长线于G， 　　则AF/FB=AG/BD , CE/E