几何定理及应用.doc

托勒密定理1定理内容托勒密(Ptolemy)定理指出，圆内接凸四边形两对对边乘积的和等于两条对角线的乘积。2 证明方法 1在任意凸四边形ABCD中(如右图)，作ABE使BAE=CAD ABE= ACD,连接DE.则ABEACD所以 BE/CD=AB/AC,即BEAC=ABCD (1)由ABEACD得AD/AC=AE/AB 又BAC=EAD,所以ABCAED.BC/ED=AC/AD,即EDAC=BCAD (2)(1)+(2),得AC(BE+ED)=ABCD+ADBC又因为BE+EDBD（仅在四边形ABCD是某圆的内接四边形时，等号成立，即“托勒密定理”） 2 已知：圆内接四边形ABCD，求证：ACBDABCDADBC 证明：如图1，过C作CP交BD于P，使1=2，又3=4，ACDBCP得AC：BC=AD：BP，ACBP=ADBC 。又ACB=DCP，5=6，ACBDCP得AC：CD=AB：DP，ACDP=ABCD 。得 AC(BPDP)=ABCDADBC即ACBD=ABCDADBC例1 凸四边形ABCD中,ABC60,BADBCD90, AB2,CD1,对角线AC、BD交于点O,如图2.则sinAOB_.分析：由BADBCD90可知A、B、C、D四点共圆,欲求sinAOB,联想到托勒密定理,只须求出BC、AD即可.解：因BADBCD90,故A、B、C、D四点共圆.延长BA、CD交于P,则ADPABC60. 设ADx,有APx,DP2x.由割线定理得(2x)x2x(12x).解得ADx22,BCBP4. 由托勒密定理有 BDCA(4)(22)211012. 又SABCDSABDSBCD.故sinAOB.例8 如图8,ABC与ABC的三边分别为a、b、c与a、b、c,且BB,AA180.试证：aabbcc. 分析：因BB,AA180,由结论联想到托勒密定理,构造圆内接四边形加以证明.证明：作ABC的外接圆,过C作CDAB交圆于D,连结AD和BD,如图9所示. AA180AD, BCDBB, AD,BBCD. ABCDCB. 有, 即 . 故DC,DB. 又ABDC,可知BDACb,BCADa. 从而,由托勒密定理,得 ADBCABDCACBD,即 a2cb. 故aabbcc. 西姆松定理西姆松定理是一个几何定理。表述为：过三角形外接圆上异于三角形顶点的任意一点作三边的垂线，则三垂足共线。（此线称为西姆松线）。西姆松定理的逆定理为：若一点在三角形三边所在直线上的射影共线，则该点在此三角形的外接圆上。证明 证明一： ABC外接圆上有点P，且PEAC于E，PFAB于F，PDBC于D，分别连DE、DF.易证P、B、F、D及P、D、C、E和A、B、P、C分别共圆，于是FDP=ACP ，（都是ABP的补角） 且PDE=PCE 而ACP+PCE=180 FDP+PDE=180 即F、D、E共线. 反之，当F、D、E共线时，由可见A、B、P、C四点共圆。证明二： 如图，若L、M、N三点共线，连结BP，CP，则因PL垂直于BC，PM垂直于AC，PN垂直于AB，有B、P、L、N和M、P、L、C分别四点共圆，有PBN = PLN = PLM = PCM.故A、B、P、C四点共圆。若A、B、P、C四点共圆，则PBN = PCM。因PL垂直于BC，PM垂直于AC，PN垂直于AB，有B、P、L、N和M、P、L、C四点共圆，有PBN =PLN =PCM=PLM.圆幂定理基本定义 圆幂定理是平面几何中的一个定理，是相交弦定理、切割线定理及割线定理(切割线定理推论)的统一。圆幂=PO2-R2。2 相关定理 相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等。切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。割线定理：从圆外一点P引两条割线与圆分别交于A、B；C、D，则有 PAPB=PCPD。统一归纳：过任意不在圆上的一点P引两条直线L1、L2，L1与圆交于A、B（可重合，即切线），L2与圆交于C、D（可重合），则有PAPB=PCPD。中线定理中线定理（pappus定理），又称阿波罗尼奥斯定理，是欧氏几何的定理，表述三角形三边和中线长度关系。 三角形一条中线两侧所对边平方和等于底边的一半平方与该边中线平方和的2倍。任意三角形ABC，设I是线段BC的中点，AI为中线，则有如下关系：AB2+AC2=2BI2+2AI2或AB2+AC2=2（1/2BC）2+2AI2通过两式相减，还可以得到|AB2-AC2|=2BCIH。 （H为垂足）正弦定理正弦定理是三角学中的一个定理。它指出了三角形三边、三个内角以及外接圆半径之间的关系在ABC中，角A、B、C所对的边长分别为a、b、c，三角形外接圆的半径为R。则有即，在一个三角形中，各边和它所对角的正弦之比相等，该比值等于该三角形外接圆的直径长度。3 定理变形 a:b:c=sinA:sinB:sinCs=a+b+sinc=1/2a x b x sinC=1/2a x c x sinB=1/2b x c x sinA塞瓦定理设P，Q，R分别是ABC的BC，CA，AB边上的点。若AP，BQ，CR相交于一点M，则。证 如图，由三角形面积的性质，有, , .以上三式相乘，得.定理变形 设P，Q，R分别是ABC的BC，CA，AB上的点。若，则AP，BQ，CR交于一点。证 如图，设AP与BQ交于M，连CM，交AB于R。由定理1有. 而，所以.于是R与R重合，故AP，BQ，CR交于一点。例1 如图，在四边形ABCD中，对角线AC平分BAD。在CD上取一点E，BE与AC相交于F，延长DF交BC于G。求证：GAC=EAC。证 如图，连接BD交AC于H，过点C作AB的平行线交AG的延长线于I，过点C作AD的平行线交AE的延长线于J。对BCD用塞瓦定理，可得 因为AH是BAD的角平分线，由角平分线定理知。代入式得 因为CIAB，CJAD，则，。代入式得.从而CI=CJ。又由于 ACI=180BAC=180DAC=ACJ，所以ACIACJ，故IAC=JAC，即GAC=EAC. 梅涅劳斯 定理一条不经过ABC任一顶点的直线和三角形三边BC，CA，AB(或它们的延长线)分别交于P，Q，R，则证 如图，由三角形面积的性质，有, , .将以上三式相乘，得.定理变形设P，Q，R分别是ABC的三边BC，CA，AB或它们延长线上的3点。若，则P，Q，R三点共线。例1 ABCD是一个平行四边形，E是AB上的一点，F为CD上的一点。AF交ED于G，EC交FB于H。连