十大高中平面几何几何定理汇总及证明之欧阳理创编

欧阳阳理创编 欧阳阳理创编 2021.03.04欧阳阳理创编 欧阳阳理创编 2021.03.04高中平面几何定理汇总及证明1.创作：欧阳理时间：2021.03.05创作：欧阳理共边比例定理有公共边AB的两个三角形的顶点分别是有公共边AB的两个三角形的顶点分别是P、Q,AB与PQ的连线交于点M,则有以下比例式成立：△PAB的面积：△QAB的面积=PM：QM.证明：分如下四种情况，分别作三角形高，由相似三角形可证'△PAB=(S△PAM-S△PMB)二(SAPAM/S△PMB-1)xS△PMB二(AM/BM-1)xS^PMB(等高底共线，面积比=底长比)同理，'△QAB=(AM/BM-1)xS△QMB所以，:△PAB/S△QAB=S△PMB/S△QMB=PM/QM(等高底共线，面积比=底长比)

定理得证！特殊情况：当PB〃AQ时，%知、PAB与、QAB的高相等，从而:△PAB=S△QAB,反之，:△PAB=S△QAB,则PB〃AQ。正弦定理在任意一个平面三角形中，各边和它所对角的正弦值的比相等且等于外接圆半径的2倍”，即a/sinA=b/sinB=c/sinC=2r=R（r为外接圆半径，R为直径）证明：现将4八8。做其外接圆，设圆心为0。我们考虑NC及其对边AB。设AB长度为c。若/C为直角，则AB就是。。的直径，即c=2r。:二I（特殊角正弦函数值）若/C为锐角或钝角，过B作直径BC'交©O于。，连接C'A,<MBC'=2r=R。若NC为锐角，则C'SC落于AB的同侧，此时NC'=NC（同弧所对的圆周角相等）

・・・在R3八8。中有百-sinC-1若NC为钝角，则C'SC落于AB的异侧，BC的对边为a此时/。二/八，亦可推出——考虑同一个三角形内的三个角及三条边，同理，分别列式可——————-"一•"。-II1.■1-Ill\ 。，则南分角定理，则南AAABC D是边BC上异于B,C或其延衣饯上的BD/CD=(sinZBAD/sinZCAD)*(AB/AC)。证明：:△:△ABD/S^ACD=BD/CD(1.1)'△ABD/S△ACD=[(1/2)xABxADxsinNBAD]/[(1/2)xACxADxsinNCAD](sinNBAD/sinNCAD)x(AB/AC)(1.2)x(AB/AC)(1.2)由1.1式和1.2式得BD/CD=(sinNBAD/sinNCAD)x(AB/AC)张角定理在△ABC中，D是BC上的一点，连结AD。那么si11ZBADsinZCADsinZBAC由分角定理，'△ABD/S△ABC=BD/BC=(AD/AC)*(sinN1/sinNBAC)一(BD/BC)*(sinZBAC/AD)=sinZ1/AC(1.1)'△ACD/S△ABC=CD/BC=(AD/AB)*(sinZ2/sinZBAC)一(CD/BC)*(sinZBAC/AD)=sinZ2/AB(1.2)(1.2)式即得sinN1/AC+sinN2/AB=sinNBAC/AD帕普斯定理直线11上依次有点八出,。直线12上依次有点D,E,F,设AE,BD交于G,AF,DC交于I,BF,EC交于H,则G,I,H共线。蝴蝶定理设S为圆内弦AB的中点，过S作弦CF和DE。设CF和DE各相交AB于点M和N,则S是MN的中点。

证明：过O作OL^ED,OTLCF,垂足为L、T,连接ON,OM,OS,SL,5「易明4ESD^ACSF•••ES/CS二ED/FC 『一根据垂径定理得：LD二ED/2,FT二FC/2•••ES/CS二EL/CT文・.・NE二NCAAESL^ACSTAZSLN=ZSTMVS是AB的中点所以OS±AB・・・NOSN=NOLN=90°AO,S,N,L四点共圆，（一中同长）同理，O,T,M,S四点共圆AZSTM=ZSOM,ZSLN=ZSONANSON二NSOMVOS，AB

MS=NS西姆松定理过三角形外接圆上异于三角形顶点的任意一点作三边或其延长线上的垂线，则三垂足共线。（此线常称为西姆松线）。证明：若L、M、N三点共线，连结BP,CP,则因PL±BC,PM±AC,PN±AB,<B、L、P、N和P、M、C、L分别四点共圆，有ZNBP=ZNLP=ZMLP=ZMCP.故A、B、P、C四点共圆。若A、P、B、C四点共圆，则ZNBP=ZMCPo因PL±BC,PM±AC,PN±AB,有B、L、P、N和P、M、C、L四点共圆，有ZNBP=ZNLP=ZMCP=ZMLP.故L、M、N三点共线。

西姆松逆定理：若一点在三角形三边所在直线上的射影共线，则该点在此三角形的外接图上。证明：PM±AC,PNXAB,所以A,M,N,P共圆清宫定理设P、Q，△ABC的外接圆上异于A、B、C的两点，P关于三边BC、CA、AB的对称点分别是U、V、W，且QU、QV、QW分别交三边BC、CA、AB或其延长线于D、E、F,则D、E、F在同一直线上.证明：A、B、P、C四点共圆，因此ZPCE=ZABP点P和V关于CA对称所以NPCV=2NPCE又因为P和W关于AB对称，所以ZPBW=2ZABP从这三个式子，有欧阳阳理创编 欧阳阳理创编 2021.03.04欧阳阳理创编欧阳阳理创编NPCV=NPBW另一方面，因为NPCQ和/PBQ都是弦PQ所对的圆周角，所以NPCQ=NPBQ两式相加，有ZPCV+ZPCQ=ZPBW+ZPBQ即?ZQCV=ZQBW即^QCV和△QBW有一个顶角相等，因此但是（丫二（‘P，附1;［中，所以同理S士卬_AP•AQ*心口四_EP*EQ"■.J,「丁♦「Q, •..：，・'I.1・.IQ于是根据梅涅劳斯定理的逆定理，D、E、F三点在同一直线上。密克定理三圆定理：设三个圆C1,C2,C3交于一点0,而M,N,P分w克定理之三回也理欧阳阳理创编 欧阳阳理创编 2021.03.04欧阳阳理创编 欧阳阳理创编 2021.03J别是C1和C2,C2和C3,C3和C1的另一交点。设A为C1的点，直线MA交C2于8,直线PA交C3于5那么B,N,C这三点共线。逆定理：如果是三角形，M,N,P三点分别在边AB,BC,CA上，那么^AMP、△BMN、△CPN的外接圆交于一点O。完全四线形定理如果ABCDEF是完全四线形，那么三角形的外接圆交于一点。，称为密克点。四圆定理设C1,C2,C3,C4为四个圆，A1和B1是C1和C2的交点，A2和B2是C2和C3的交点，A3和B3是C3和C4的交点，A4和B4是C1和C4的交点。那么A1,A2,A3,A4四点共圆当且仅当B1,B2,B3,B4四点共圆。证明：在4ABC的BC,AC,AB边上分别取点W,M,N,对AMN,^BWN和△CWM分别作其外接圆，则这三个外接圆共点。该定理的证明很简单，利用“圆内接四边形对角和为180度”及其逆定理。欧阳阳理创编 欧阳阳理创编 2021.03.04欧阳阳理创编 欧阳阳理创编 2021.03.04现在已知U是门和”•■的公共点。连接UM和UN,丁四边形BNUW和四边形CMUW分别是,；।和,;■的内接四边形，AZUWB+ZUNB=ZUNB+ZUNA=180度AZUWB=ZUNAO同理/UWB+NUWC=NUWC+NUMC=180度AZUWB=ZUMCoVZUMC+ZUMA=180度・・・NUNA+NUMA=180度，这正说明四边形ANUM是一个圆内接四边形，而该圆必是,U必在,•，上O11.婆罗摩笈多定理MoEFLBC,且M在EF上。那么MoEFLBC,且M在EF上。那么F是AD的C中点。证明:VACXBD,MEXBCAZCBD=ZCMETNCBD二NCAD,ZCME=ZAMFZCAD=ZAMF•・AF=MFNAMD=90。，同时ZMAD+ZMDA=90°•・ZFMD=ZFDM・・MF=DF,即F是AD中点述定理；妄图南接四边彬的对角饯相互垂直，则一边4点S对角饯亥点的饯垂直于对边。证喇/VMAXMD,F是AD中点•・AF=MFZCAD=ZAMFZCAD二NCBD,ZAMF=ZCMEAZCBD=ZCME欧阳阳理创编 欧阳阳理创编 2021.03.04欧阳阳理创编 欧阳阳理创编 2021.03.04欧阳阳理创编 欧阳阳理创编 2021.03.04欧阳阳理创编 欧阳阳理创编 /\VZCME+ZBME=ZBMC=90°・・・NCBD+NBME=90°AEFXBC12.托勒密定理圆内接四边形中，两条对角线的乘积（两对角线所包矩形的面积）等于两组对边乘积之和（一组对边所包矩形的面 口积与另一组对边所包矩形的面积之和），圆内接四边口形ABCD,求证：ACBD二AB-CD+AD-BC, / ；证明：过C作CP交BD于P,使/1=/2,又N3=N4,・•△ACDs^bCP,得AC：BC二AD：BP,AC-BP=AD-BC①。又NACB二NDCP,N5=N6,・•△ACBsAdCP,得AC：CD=AB：DP,AC-DP=AB-CD②。①+②得AC(BP+DP)=AB・CD+AD・BC,即ACBD二AB-CD+AD-BC,13.梅涅劳斯定理当直线交'.ABC三边所在直线；二：二.必于点D.F时,4

证明：过点C作CP〃DF交AB于P,则两式相乘得梅涅劳斯逆定理：若有三点F、D、E分别在边三角形的三边AB、BC、CA或其延长线上，且满足AF/FBxBD/DCxCE/EA=1,则F、D、E三点共线。证明：先假设E、F、D三点不共线，直线DE与AB交于P。由梅涅劳斯定理的定理证明（如利用平行线分线段成比例的证明方法）得：(AP/PB)(BD/DC)(CE/EA)=1。;(AF/FB)(BD/DC)(CE/EA)=1o・•・AP/PB=AF/FB；：.(AP+PB)/PB=(AF+FB)/FB；・AB/PB=AB/FB；：PB=FB,fP与F重合。：D、E、F三点共线。14.塞瓦定理在、ABC内任取一点0,延长AO、BO、CO分别交对边于D、E、F,则(BD/DC)x(CE/EA)x(AF/FB)=1。•••△ADC被直线BOE所载,：.(CB/BD)*(DO/OA)*(AE/EC)=1①•••△ABD被直线COF所载,・•・(BC/CD)*(DO/OA)*(AF/FB)=1②②/①约分得：(DB/CD)x(CE/EA)x(AF/FB)=115.圆幂定理相交核定理：如图I,AB、CD为圆O的两条任意弦。相交于点P,连接AD、8。由于28与/D同为弧AC所对的圆周角，因此由圆周角定理知：NB=ND,同理NA=NC,所以、,』口.△厂匚］；。所以有：1--,即：割线定理：如图11,连接AD、BC。可知NB=ND,又因为NP为公共角，所以有△PA口.△厂匚"同上证得「,1xrB二X已）。切割线定理：如图111,连接AC、AD。NPAC为切线PA与弦AC组成的弦切角，因此有NPBC=ND,又因为NP为公共角，所以有△PAC..\厂口,1易证图W,PA、PC均为切线，则NPAO=NPCO=90°，在直角三角形中：OC=OA=R,PO为公共边，因此△片口二\工。。所以PA=PC».；，.「二;，•二。综上可知，是x是是是是是是普遍成立的。弦切角定理：弦切角的度数等于它所夹的弧所对的圆心角度数的一半，等于它所夹的弧所对的圆周角度数。点对圆的幂P点对圆O的幂定义为「一点P在圆O内一P对圆O的幂为负数；点P在圆O外-P对圆O的幂为正数；

点P在圆O上—P对圆O的幂为0。三角形五心：内心：三角形三条内角平分线的交点外心：三角形三条边的垂直平分线(中垂线)的相交点重心：三角形三边中线的交点垂心：三角形的三条高线的交点旁心：三角形的旁切圆(与三角形的一边和其他两边的延长线相切的圆)的圆心九点圆心：三角形三边的中点,三高的垂足和三个欧拉点〔连结三角形各顶点与垂心所得三线段的中点〕九点共圆的圆心16.根心定理三个两两不同心的圆，形成三条根轴，则必有下列三种情况之一：(1)三根轴两两平行；(2)三根轴完全重合；(3)三根轴两两相交，此时三根轴必汇于一点，该点称为三圆的根心。平面上任意三个圆，若这三个圆圆心不共线，则三条根轴相交于一点，这个点叫它们的根心；若三圆圆心共线，则三条根轴互相平行。根轴定义：A与B的根轴11：到A与B的切线相等的点。B与C的根轴12：到B与C的切线相等的点。证明设A、B、C三个圆，圆心不重合也不共线。考察L1与L2的交点P。因为P在L1上，所以：P到A的切线距离=P到B的切线距离。因为P在L2上，所以：P到B的切线距离=P到C的切线距离。所以：P到A的切线距离=P到B的切线距离=P到C的切线距离。也就是：P到A的切线距离=P到C的切线距离。所以：P在A与C的根轴上。所以：三个根轴交于一点。

17.鸡爪定理<△ABC的内心为I,ZA内的旁心为J,AI的延长线交三角形外接图于K,则KI=KJ=KB=KCO证明：由内心和旁心的定义可知ZIBC=ZABC/2,ZJBC=(180°-ZABC)/2AZIBC+ZJBC=ZABC/2+90°-ZABC/2=90°=ZIBJ同理，ZICJ=90°VZIBJ+ZICJ=180°・・IBJC四点共圆，且IJ为圆的直径VAK平分NBAC・・KB二KC(相等的圆周角所对的弦相等)又ZIBK=ZIBC+ZKBC=ZABC/2+ZKAC=ZABI+ZBAK二NKIB・•・KB=KI由直角三角形斜边中线定理逆定理可知K是IJ的中点欧阳阳理创编 欧阳阳理创编 2021.03.04欧阳阳理创编 欧阳阳理创编 2021.03.04欧阳阳理创编 欧阳阳理创编 2021.03.04欧阳阳理创编欧阳阳理创编・・・KB=KI=KJ=KC逆定理：设△ABC中/BAC的平分线交△ABC的外接圆于KoAAK及延长线上截取KI=KB=KJ,其中I在^ABC的内部，J在^ABC的外部。则I是^ABC的内心，J是^ABC的旁心。证明：利用同一法可轻松证明该定理的逆定理。取△ABC的内心1'和旁心J’，根据定理有KB=KC=KI'=KJ'CKB=KI=KJAI和1'重合,J和1’重合即I和J分别是内心和旁心费尔巴哈定理三角形的九点圆与其内切圆以及三个旁切圆相切<△ABC的内心为1，九点圆的圆心为丫。三边中点分别为L,M,N,内切圆与三边的切点分别是P,Q,R,E边上的垂足分别为D,E,Fo不妨设AB>ACo

假设。ISOV相切于点「那么LT与。1相交，设另一个交点为S。过点S作。1的切线，分别交AB和BC于V,⑪,连接AU。又作两圆的公切线TX,使其与边AB位于LT的同侧。由假设知NXTL=NLDT而TX和SV都是。1的切线，且与弦ST所夹的圆弧相同，于是ZXTL=ZVST因此ZLDT=ZVST 飞上:可：则NUDT+NUST=180°这就是说，S,T,D,U共圆。而这等价于：LUxLD=LSxLT又LP=LSxLT故有LP2=LUxLD另一方面，T是公共的切点，自然在。V上，因此L,D因此L,D,T,N共圆，进而有ZLTD=ZLND由已导出的S,T,D,U共圆，得/LTD二/STD=180°-ZSUD=/VUB二NAVU-NB/LND二/NLB-ZNDB二NACB-NNBD二NC-NB（这里用了LN〃AC,以及直角三角形斜边上中线等于斜边的一半）所以，就得到ZAVU=ZC注意到AV,AC,CU,UV均与。I相切，于是有ZAIR=ZAIQNUIS=NUIPNRIS=NQIS三式相加，即知NAIU=180°也即是说，A,I,U三点共线。另外，AV=AC,这可由^AIV^^AIC得到。(这说明，公切点T可如下得到：连接八1,并延长交BC于点U,过点U作。1的切线，切点为5,交AB于V,最后连接15,其延长线与。1的交点即是所谓的公切点T。)连接CV,SAU交于点K,则K是VC的中点。前面已得到：LP2=LUxLD而2LP=(BL+LP)-(CL-LP)=BP-CP

=BR-CQ二(BR+AR)-(CQ+AQ)=AB-AC=AB-AV=BV即LPwBV然而LK是》CBV的中位线于是LKYBV因之LP=LK故LK2=LUxLD由于以上推导均可逆转，因此我们只需证明：LK2=LUxLD。往证之这等价于：LK与圆KUD相切 ,^―于是只需证：NLKU=NKDU再注意到LK〃AB(LK是匕CBV的中位线)，即有NLKU=NBAU又AU是角平分线，于是ZLKU=ZCAU=ZCAK于是又只需证：ZCAK=ZKDU即证：ZCAK+ZCDK=180°这即是证：A,C,D,K四点共圆由于AK±KC（易得），AD±DC所以A,C,D,K确实共圆。这就证明了。1与。V内切。旁切圆的情形是类似的。证毕另略证：OI2=R2-2RrIH2=2r2-2Rr'OH2=R2-4Rr'（其中广是垂心H的垂足三角形的内切圆半径,R、r是三角形ABC外接圆和内切圆半径）FI2=1/2(OI2+IH2)-1/4OH2=(1/2R-r)2FI=1/2R-r这就证明了九点圆与内切圆内切(九点圆半径为外接圆半径一半。F是九点圆圆心，I为内心)莫利定理将三角形的三个内角三等分，靠近某边的两条三分角线相交得到一个交点，则这样的三个交点可以构成一个正三角形证明：＜△ABC中,AQ,AR,BR,BP,CP,CQ为各角的三等分线，三边长为a,b,c,X内角^3a,30,37，则。+0+7=60°。在△ABC中，由正弦定理，得AF=csin0/sin(a+P)。不失一般性，△A