高中数学竞赛平面几何定理证明大全

1、Gerrald 加油 坚持住Gerrald 加油 坚持住Gerrald 加油 坚持住莫利定理：将任意三角形的各角三等分，则每两个角的相邻三等分线的交点构成一个正三角形。   設ABC中的B,C的两条三等分角线分別交于P, D两个点（图1），按照莫利定理，D是莫莱三角形的一個頂点，当然D就是BPC的內心，因為BD, CD正好是CBP, BCP的角平分线。莫利三角形的另两个頂点E, F应该分別落在CP和BP上，因此我们产生了一个念头，如果能夠在CP, BP上找到E, F这两个点，使DEF是个正三角形，再证AE、AF正好是BAC的三等分线就行了为此，先把DP连起來，在C

2、P, BP上分別取两点E, F使EDPFDP30°,于是就得到一个三角形DEF。为什么它是一个正三角形呢？因为D是BPC的內心，所以DP是BPC的角平分线，即DPEDPF，由作图知EDPFDP30°,在DPE和DPF中，DP是公共边，而夹此边的两角又是对应相等的，所以DPEDPF。于是DEDF,即DEF是个等腰三角形，它的腰是DE和DF，而它的頂角又是60°，所以它当然是个正三角形。接下來，我们的目标就是希望能证明DEF真的是莫利三角形，亦即AE, AF的确会三等分BAC。如图2所示，在AB, AC上各取一点G,H,使得BGBD, CHCD，把G、 F、E、H各点

3、依次连起來，根据BFDBFG，CEDCEH，我们就得到GFFDFEEDEH。下面，如果能夠证明G,F,E,H，A五点共圆，則定理的证明就完成了，因为GAF,FAE,EAH这三个圆周角所对的弦GF, FE, EH都等長，因而这三个圆周角也就都相等了。为了证明G,H,E,F，A共圓，必须证明FGEFHEA/3。看图2，首先我们注意到GFE是个等腰三角形，GFE是它的顶角，如果这个角能求出來，其底角FGE也就能求出来了。PFE也是一个等腰三角形，这是因为PDFPDE，（PD是公用边，DPFDPE，PDFPDE30°），所以PF=PE。等腰三角形PFE的顶角大小为：FPE=-2/3（ABC+

4、ACB）=-2/3（-BAC）=/3+2/3BAC（1）BFD=PDF+DPF=/6+1/2FPE=/6+/6+1/3BAC=/3+1/3BAC （2） GFE=2-EFD-2BFD=2-/3-2/3-2BAC/3=-2/3BAC （3）最后得到：FGE=FEG=1/2(-GFE)=1/3BAC（4）同理可证：FHE=HFE=1/3BAC（5）至此可知G,H,E,F，A五点共圓。因GF=FE=EH，所以GAF=FAE=EAH=1/3BAC（6）即AE和AF恰好是BAC的三等分线，所以DEF是莫利三角形。蝴蝶定理：AB是圆的一条弦，中点记为S，圆心为O，过S作任意两条弦CD、EF，分别交圆于C、

5、D、E、F，连接CF,ED分别交AB于点M、N，求证：MS=NS。证明（一）过O作OLAD，OTCF，垂足为L、T，连接ON，OM，OS，SL，ST容易证明ESDCSF 所以ES/CSED/FC根据垂径定理得：LDED/2，FTFC/2 所以ES/CSEL/CT又因为EC 所以ESLCST 所以SLNSTM因为S是AB的中点 所以OSAB 所以OSNOSN90° 所以OSN+OSN180°所以O，S，N，L四点共圆 同理O，T，M，S四点共圆所以STMSOM，SLNSON 所以SONSOM ，因为OSAB 所以MSNS证明（二）从向和作垂线，设垂足分别为和。类似地，从向和作

6、垂线，设垂足分别为和。现在，由于从这些等式，可以很容易看出：由于PM=MQ 现在，因此，我们得出结论： ，也就是说，是的中点。清宫定理 ：设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在同一直线上证明设P、Q为ABC的外接圆上异于A、B、C的两点，P关于三边BC、CA、AB的对称点分别是U、V、W，且QU、QV、QW分别交三边BC、CA、AB或其延长线于D、E、F 这时，P、Q两点和D、F、E、三点有如下关系： 将三角形的三边或者其延长线作为镜面，则从P点出发的

7、光线照到D点经过BC反射以后通过Q点，从P点出发的光线照到E点经AC的延长线反射后通过Q点，从P点出发的光线照到F点后通过Q点 从而，如果P、Q两点重合，则D、E、F三点成为从P（即Q）点向BC，CA，AB或者它们的延长线所引的垂线的垂足。于是，如果P、Q两点重合，清宫定理就成为西摩松定理。 我们决定将证明清宫定理的方针确定如下：因为D、E、F三点中，有两点在ABC的边上，其余一点在边的延长线上， 如证明 （BD/DC）·（CE/EA）·（AF/FB）=1， 则根据梅涅劳斯定理的逆定理，就可证明DEF三点在同一直线上。 首先，A、B、P、C四点在同一圆周上，因此 PCE=A

8、BP 但是，点P和V关于CA对称 所以PCV=2PCE 又因为P和关于AB对称，所以 PBW=2ABP 从这三个式子，有 PCV=PBW 另一方面，因为PCQ和PBQ都是弦PQ所对的圆周角，所以 PCQ=PBQ 两式相加，有 PCV+PCQ=PBW+PBQ 即QCV=QBW 即QCV和QBW有一个顶角相等，因此 S（QCV）/S（QBW）=（CV·CQ）/（BW·BQ） 但是CV=CP，BW=BP，所以 S（QCV）/S（QBW）=（CP·CQ）/（BP·BQ） 同理S（QAW）/（QCU）=（AP·AQ）/（CP·CQ） S（QBU

9、）/S（QAV）=（BP·BQ）/（AP·AQ） 于是 （BD/DC）·（CE/EA）·（AF/FB） =S（QBU）/S（QCU）·S（QCV）/S（QAV）·S（QAW）/S（QBW） =S（QBU）/S（QAV）·S（QCV）/S（QBW）·S（QAW）/S（QCU） =（BP·BQ)/（AP·AQ）·（CP·CQ)/（BP·BQ）· （AP·AQ)/（CP·CQ） =1 根据梅涅劳斯定理的逆定理，D、E、F三点在同一直线上牛顿定

10、理1： 四边形两条对边的延长线的交点所连线段的中点和两条对角线的中点，三点共线。这条直线叫做这个四边形的牛顿线。 证明 四边形ABCD,ABCD=E,ADBC=F,BD中点M,AC中点L,EF中点N    牛顿定理1取BE中点P,BC中点R,PNCE=Q R,L,Q共线 QL/LR=EA/AB M,R,P共线 RM/MP=CD/DE N,P,Q共线 PN/NQ=BF/FC 三式相乘得: QL/LR*RM/MP*PN/NQ=EA/AB*CD/DE*BF/FC 由梅涅劳斯定理 QL/LR*RM/MP*PN/NQ=1 由梅涅劳斯定理的逆定理知:L,M,N三点共 证毕 故牛顿定理1

11、成立 牛顿定理2 ：圆外切四边形的两条对角线的中点，及该圆的圆心，三点共线。 证明： 设四边形ABCD是I的外切四边形，E和F分别是它的对角线AC和BD的中点，连接EI只需证它过点F，即只需证BEI与DEI面积相等。    牛顿定理2图显然，SBEI=-SBIC+SCEI+SBCE，而SDEI=-SADE+SAIE+SAID。 注意两个式子，由ABCD外切于I，AB+CD=AD+BC，SBIC+SAID=1/2*S四边形ABCD，SADE+SBCE=1/2*SACD+1/2*SABC=1/2*S四边形ABCD 即SBIC+SAID=SADE+SBCE，移项得SBIC-SBC

12、E=SADE-SAID，由E是AC中点，SCEI=SAEI，故SBIC-SCEI-SBCE=SADE-SAIE-SAID，即SBEI=DEI，而F是BD中点，由共边比例定理EI过点F即EF过点I，故结论成立。 证毕。 （共边比例定理：平行四边形ABCD（不一定是凸四边形），设AC,BD相交于E   则有BE/DE=SABC/SADC）  牛顿定理3 ：圆的外切四边形的对角线的交点和以切点为顶点的四边形对角线交点重合。 证明 设四边形ABCD的边AB,BC,CD,DA与内切圆分别切于点E,F,G,H. 首先证明,直线AC,EG,FH交于一点.设EG,FH分

13、别交AC于点I,I'. 显然 AHI'=BFI' 因此易知 AI'*HI'/FI'*CI'=S(AI'H)/S(CI'F)=AH*HI'/CF*FI' 故 AI'/CI'=AH/CF. 同样可证:AI/CI=AE/CG 又AE=AH,CF=CG. 故AI/CI=AH/CF=AI'/CI'. 从而I,I'重合.即直线AC,EG,FH交于一点. 同理可证:直线BD,EG,FH交于一点. 因此 直线AC,BD,EG,FH交于一点. 证毕。燕尾定理燕尾定理，因此图类似燕尾而得

14、名，是一个关于三角形的定理（如图ABC，D、E、F为BC、CA、AB 上的中点，AD、BE、CF 交于O点）。   图2SABC中，SAOB：SAOC=SBDO：SCDO=BD：CD； 同理，SAOC：SBOC=SAFO：SBFO=AF：BF； SBOC：SBOA=SCEO：SAEO=EC：EA。证法1 下面的是第一种方法：利用合比性质 ABD与ACD同高 SABD：SACD=BD：CD 同理，SOBD：SOCD=BD：CD 利用合比性质，得 SABD-SOBD：SACD-SOCD=BD：CD 即SAOB：SAOC=BD：CD 命题得证。证法2 下面的是第二种方法：相似三角形法已知：ABC的两条中线AD、CF相交于点O，连接并延长BO，交AC于点E。 求证：AE=CE 证明： 如图2，过点O作MNBC，交AB于点M，交AC于点N； 过点O作PQAB，交BC于点P，交AC于点Q。 MNBC AMOABD，ANOACD MO：BD=AO：AD，NO：CD=AO：AD MO：BD=NO：CD AD是ABC的一条中线 BD=CD MO=NO PQAB CPOCBF，CQOCAF PO：BF