高中的数学竞赛平面几何基本定理
数学奥赛平面几何
《竞赛数学解题研究》之平面几何专题一、平面几何中的一些重要定理：1、梅涅劳斯定理：设D 、E 、F 分别是ABC ∆三边（或其延长线）上的三点，则D 、E 、F 三点共线的充要条件是1=⋅⋅EACEFC BF DB AD 。
2、塞瓦定理：设D 、E 、F 分别是ABC ∆三边（或其延长线）上的三点，则AF 、BE 、CD 三点共线的充要条件是1=⋅⋅EACEFC BF DB AD 。
3、托勒密定理：四边形ABCD 内接于圆的充要条件是CD BC CD AB BD AC ⋅+⋅=⋅4、西摩松定理：设P 是ABC ∆外接圆上任一点，过P 向ABC ∆的三边分别作垂线，设垂足为D 、E 、F ，则D 、E 、F 三点共线。
5、斯德瓦特定理：设P 是ABC ∆的边BC 边上的任一点，则BC PC BP AP BC AB PC AC BP ⋅⋅+⋅=⋅+⋅2226、共角定理：设ABC ∆和C B A '''∆中有一个角相等或互补（不妨设A=A '）则 C A B A ACAB S S C B A ABC ''⋅''⋅='''∆∆7、共边定理：设ABC ∆和C B A '''∆中有一个边相等，则CA B A ACAB S S C B A ABC ''⋅''⋅='''∆∆举例说明：1、设M 、N 分别是正六边形ABCDEF 的对角线AC 、CE 上的点，且AM:AC=CN:CE=k,如果BMN 三点共线，试求k 。
（IMO23,1982）2、在四边形ABCD 中，ABD ∆、BCD ∆、ABC ∆的面积之比为3：4：1，点M 、N 分别 是AC 、CD 上的点，且AM:AC=CN:CD, 并且BMN 三点共线，求证：M 、N 分别是AC 、 CD 的中点。
2011年全国高中数学联赛几何专题（平面几何解析几何）
数学竞赛中的平面几何一、引言1．国际数学竞赛中出现的几何问题，包括平面几何与立体几何，但以平面几何为主体．国际数学竞赛中的平面几何题数量较多、难度适中、方法多样（综合几何法、代数计算法、几何变换法等），从内容上看可以分成三个层次：第一层次，中学几何问题．这是与中学教材结合比较紧密的常规几何题，虽然也有轨迹与作图，但主要是以全等法、相似法为基础的证明题，重点是与圆有关的命题，因为圆的命题知识容量大、变化余地大、综合性也强，是编拟竞赛试题的优质素材．第二层次，中学几何的拓展．这是比中学教材要求稍高的内容，如共点性、共线性、几何不等式、几何极值等．这些问题结构优美，解法灵活，常与几何名题相联系．有时还可用几何变换来巧妙求解．第三层次，组合几何——几何与组合的交叉 ．这是用组合数学的成果来解决几何学中的问题，主要研究几何图形的拓扑性质和有限制条件的欧几里得性质．所涉及的类型包括计数、分类、构造、覆盖、递推关系以及相邻、相交、包含等拓扑性质．这类问题在第六届IMO （1964）就出现了，但近30年，无论内容、形式和难度都上了新的台阶，成为一类极有竞赛味、也极具挑战性的新颖题目．组合几何的异军突起是数学竞赛的三大热点之一．2．在中国的数学竞赛大纲中，对平面几何内容除了教材内容外有如下的补充．初中竞赛大纲：四种命题及其关系；三角形的不等关系；同一个三角形中的边角不等关系，不同三角形中的边角不等关系;面积及等积变换;三角形的心（内心、外心、垂心、重心）及其性质．高中竞赛大纲: 几个重要定理：梅涅劳斯定理、塞瓦定理、托勒密定理、西姆松定理；三角形中的几个特殊点:旁心、费马点，欧拉线；几何不等式；几何极值问题；几何中的变换：对称、平移、旋转；圆的幂和根轴；面积方法，复数方法，向量方法，解析几何方法．二、基本内容全等三角形的判别与性质，相似三角形的判别与性质，等腰三角形的判别与性质，“三线八角”基本图形，中位线定理，平行线截割定理，圆中角（圆心角、圆周角、弦切角）定理等大家都已经非常熟悉，此外，竞赛中还经常用到以下基本内容．定义1 点集的直径是指两个端点都属于这个集合且长度达到最大值的线段（一个点集可能有多条直径，也可能没有直径）．定义2 如果对点集A 中的任意两点，以这两点为端点的线段包含在A 里，则集合A 称为是凸的．定义3 设n M M M ,,,21 是多边形，如果12n M M M M = 并且当j i ≠时，i M 与j M 没有公共的内点，则称多边形M 剖分为多边形12,,,n M M M ．定义4 如果凸边形N 的所有顶点都在凸多边形M 的边上，则称多边形N 内接于多边性M ． 定理1 两点之间直线距离最短．推论 三角形的两边之和大于第三边，两边之差小于第三边．定理2 三角形的内角之等于180．凸n 边形（3≥n ）的n 个内角和等于(2)180n - ；外角和为180（每一个顶点处只计算一个外角）．证明 如图1，过C 作//CE AB ，则有 ECA A ∠=∠，（两直线平行，内错角相等） 得 ()A B C A C B ∠+∠+∠=∠+∠+∠ （结合律）ECB B =∠+∠（等量代换）180= ．（两直线平行，同旁内角互补 图1推论 三角形的一个外角等于两个不相邻内角之和．定理3 三角形中大边对大角、小边对小角．证明 （1）如图2，在ABC 中，已知AB AC >，可在AB 上截取AD AC =，则在等腰ACD 中有 12∠=∠．（等腰三角形的性质定理）又在BCD 中，2B ∠>∠，（外角定理）更有 12C B ∠>∠=∠>∠．（传递性）说明 由上面的证明知,,,AB AC B C AB AC B C AB AC B C >⇒∠<∠⎧⎪=⇒∠=∠⎨⎪<⇒∠>∠⎩这样的分断式命题，其逆命题必定成立．证明如下： 图2（2）反之，在ABC 中，若C B ∠>∠，这时,AB AC 有且只有三种关系AB AC <，AB AC =，AB AC >．若AB AC <，由上证得C B ∠<∠，与已知C B ∠>∠矛盾．若AB AC =，由等腰三角形性质定理得C B ∠=∠，与已知C B ∠>∠矛盾． 所以AB AC >．定理4 在ABC 与111A B C 中，若1111,AB A B AC AC ==，则111A A BC B C ∠>∠⇔>． 定理5 凸四边形ABCD 内接于圆的充分必要条件是：180ABC CDA ∠+∠= （或180BAD DCB ∠+∠= ）．证明 当四边形ABCD 内接于圆时，由圆周角定理有1122ABC CDA ADC ABC ∠+∠=+ 1118022ADC ABC ⎛⎫=+= ⎪⎝⎭． 同理可证180BAD DCB ∠+∠=．反之，当180ABC CDA ∠+∠=时，首先过不共线的三点,,A B C 作O ，若点D 不在O 上，则有两种可能：（1）D 在O 的外部（如图3（1））．记AD 与O 相交于S ，连CS ，在CDS 中有ASC CDA ∠>∠．又由上证，有180ABC ASC ∠+∠=，得180180ABC CDA ABC ASC =+∠<∠+∠=，矛盾．图3（2）D 在O 的内部（如图3（2））．记AD 的延长线与O 相交于S ，连CS ，在CDS 中有 ASC CDA ∠<∠．又由上证，有180ABC ASC ∠+∠= ， 得 180180ABC CDA ABC ASC =+∠>∠+∠= ，矛盾． 定理6 凸四边形ABCD 外切于圆的充分必要条件是AD BC CD AB +=+．证明 当凸四边形ABCD 外切于圆时，设各边的切点分别为,,,P Q R S （如图4），根据圆外一点到圆的两切线长相等，有,,,.AP AS PB BQ CR QC DR DS ====相加 AP PB CR DR AS BQ QC DS +++=+++， 得 AD BC CD AB +=+． 图4反之，若AD BC CD AB +=+，我们引,B C ∠∠的平分线，因为360B C ∠+∠<，所以，两条角平分线必定相交于四边形内部一点，记为N ，则N 到三边,,AB BC CD 的距离相等，可以以N 为圆心作N 与,,AB BC CD 同时相切，这时AD 与N 的关系有且只有三种可能：相离、相切、相交．（1）若AD 与N 相离（如图5（1））．过A 作切线与CD 相交于/D ，在/ADD 中，有 //DD AD AD >-． ①但由上证，有//AB CD BC AD +=+， 又由已知，有AD BC CD AB +=+ 相减得 //CD CD AD AD -=- ，//DD AD AD =-，与①矛盾．图5（2）若AD 与N 相交（如图5（2））．过A 作切线与CD 的延长线相交于/D ，在/ADD 中，有①//DD AD AD >-． 但由上证，有//AB CD BC AD +=+，又由已知，有AD BC CD AB +=+相减得 //CD CD AD AD -=- ， 即 //DD AD AD =-，与①矛盾．综上得AD 与N 的相切，即凸四边形ABCD 外切于圆．定理7 （相交弦定理）圆内的两条相交弦，被交点分成的两条线段长的积相等．定理8 （切割线定理）从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项．定义 5 从一点A 作O 的割线交O 于,B C ，则点A 到两交点,B C 的线段长度之积AB AC 称为点A 对O 的羃．对于两个已知圆有等羃的点的轨迹，称为两圆的根轴（或等羃轴）．定理9 若两圆相交，其根轴在两圆公共弦所在的直线上；若两圆相切，其根轴在过两圆切点的公切线上；若两圆相离，则两圆的四条公切线的中点在根轴上．定理10 （三角形面积公式）在ABC ∆中，记c b a ,,为三边长，1()2p a b c =++为半周长，R 是外接圆半径，r 为内切圆半径，a h 是边BC 上的高，a r 是与边BC 及,AB AC 的延长线相切的旁切圆的半径，则ABC ∆的面积S 为：111(1)222a b c S ah bh ch ===； 111(2)sin sin sin 222S ab C ac B bc A ===；))()(()3(c p b p a p p S ---=；2(4)2sin sin sin 4abcS R A B C R==； rp S =)5(；)(21)6(a c b r S a -+=； )2sin 2sin 2(sin 21)7(2C B A R S ++=．定理11 在ABC Rt ∆中，有 （1）222a b c +=，（勾股定理的逆定理也成立） （2）1(),22cr a b c R =+-=．定理12 （角平分线定理）设AD 是ABC ∆中A ∠的平分线，则．AB BDAC DC=． 此定理有10多种证法，下面是有辅助线与无辅助线的两种代表性证法． 证明1 （相似法）如图6，延长BA 到E ，使AE AC =，连CE ，则 12B A D A ∠=∠（已知） ()12A E C A C E=∠+∠（外角定理） AEC =∠，（等腰三角形的两个底角相等） 有 //AD CE ，得 B D A B A BD C AE A C==．（平行线截割定理） 图6 证明2 （面积法）11sin 2211sin 22ABD ACD AB AD AS BC AB DC S ACAC AD A ∠===∠ ． 定理13 （正弦定理、余弦定理）在ABC ∆中，有 （1）cos cos a b B c C =+，cos cos b a A c C =+， cos cos c a A b B =+． （2）2sin sin sin a b CR A B C===； （3）2222cos a b c bc A =+-，2222cos b a c ac B =+-， C ab b a c cos 2222-+=．（4）222sin sin sin 2sin sin cos A B C B C A =+-．（2）2sin sin sin a b CR A B C===； 证明1 （1）当ABC ∆为直角三角形时，命题显然成立． （2）当ABC ∆为锐角三角形时，如图7（1），作ABC ∆外接圆O ，则圆心O 在ABC ∆的内部，连BO 交O 于D ，连结DC ．因为BD 是O 的直径，所以90BCD ∠=，在直角BCD 中有2sin a R D =，但A D ∠=∠，故得2sin a R A =．同理可证2,2sin sin b cR R B C==． 得2sin sin sin a b CR A B C===． （1） （2） 图7（3）当ABC ∆为钝角三角形时，记A ∠为钝角，则圆心O 在ABC ∆的外部，过A作直径，仿上证可得2,2sin sin b cR R B C==． 又在优弧 BC 上取一点D ，连,BD DC ，如图7（2），由于圆心O 在BCD 的内部，所以BCD 为锐角三角形，且()sin sin 180sin D A A =-= ，有22sin sin a aR R D A=⇒=． 综上得2sin sin sin a b CR A B C===． 证明2 由余弦定理，有222222sin 1cos 12b c a A A bc ⎛⎫+-=-=- ⎪⎝⎭()()()22222222bc b c abc -+-=()()()()()22a b c a b c c a b c a b bc +++-+--+=， 记t b =因为 0A π<<，开方得sin 2tA bc=． 同理可得sin ,sin 22t t B C ca ab ==． 所以 2s i n s i n s i n a b c a b cA B C t===． 证明3 如图8，在A B C ∆中，,,a b c 分别是三个内角,,A B C 所对的边，以三角形外接圆的圆心O 为原点，半径OA 所在的直线为x 轴建立直角坐标系，设外接圆的半径长为R ， 于是A 点坐标为(),0R ．由三角函数的定义得B 点坐标为()co s 2,s i n 2R C R C ，C 点坐标为()()()cos 22,sin 22R B R B ππ--，即()cos2,s i n 2R B R B -． 由 ()c o s 2,s i n 2A B R C R R C =-，有AB=2sin R C ==，得 2s i n c R C =．同理可得2sin ,2sin a R A b R B ==， 图8所以2s i n s i n s i na bcR A B C ===． （2）2222cos a b c bc A =+-，2222cos b a c ac B =+-，C ab b a c cos 2222-+=． 证明1 如图9（1），设CB CA AB ===a,b,c ，有=-a c b ，得()()22222cos ,c b cb A =--=+-+- a c b c b c c b b c b=即 2222cos a b c bc A +-=．同理可得 2222cos b a c ac B =+-，C ab b a c cos 2222-+=．（1） （2） 图9证明2 如图9（2），以A 为原点、以直线AB 为x 轴，建立直角坐标系，则()()()0,0,,,c o s ,s i nA B c o C b A b A , 由两点距离公式，有BC ==得 2222cos a b c bc A +-=．（3）222sin sin sin 2sin sin cos A B C B C A =+-．定理14 （梅内劳斯定理）一直线截ABC ∆的边,,BC AC AB 或其延长线于,,D E F ，（位于延长线上的点有奇数个）则1BD CE AFDCEA FB= ．图10证明1 （将三个比值转化为三个值的循环比）如图10，过C 作//CG DF 交AB 于G ，有,BD BF CE GFDC GF EA AF==， 得 1BD CE AF BF GF AFDC EA FB GF AF FB== ．也可以过C 作//CH AB 交DF 于H ，或过B 作//BN CA 交DF 于N 等途径来证明．证明2 （三角法）如图10，由正弦定理， 在FBD 中，有sin sin BD FB αβ=， 在CDE 中，有sin sin CE DC βγ=， 在AEF 中，有sin sin AF EA γα=， 三式相乘sin sin sin 1sin sin sin BD CE AF BD CE AF DC EA FB FB DC EA αβγβγα=== ． 证明3 （面积法）如图11，联结联结,AD BE ，有面积关系DAF EAFDBF EBF S S AF FB S S ==， 得D A FE A FE A DD B FE BF E B DS S S AF FB S S S -==-．又EBDECD S BD DC S =， 图11E C DEADS CE EA S = ， 三式相乘即得．证明4 （坐标法）设ABC ∆的三顶点坐标为()()()112233,,,,,A x y B x y C x y ，直线DF 的方程为 0a x b y c ++=． 又记123,,BD CE AFDC EA FBλλλ===（i λ可正可负），有21312131,1:,1x x x D y y y λλλλ+⎧=⎪+⎪⎨+⎪=⎪+⎩代入直线方程，得 21321311011x x y y a b c λλλλ⎛⎫⎛⎫++++=⎪ ⎪++⎝⎭⎝⎭，22133ax by cax by c λ++=-++．同理33211ax by cax by c λ++=-++，11122ax by cax by cλ++=-++，相乘1BD CE AFDC EA FB=- ， 即 1BD CE AFDC EA FB= ．逆定理: 若,,D E F 分别为ABC ∆三边,,BC AC AB 上的点（位于延长线上的点有奇数个），且1BD CE AFDC EA FB= ． 则,,D E F 三点共线．证明 如图9，设EF 与BC 相交于/D ，由上证有//1BD CE AFD C EA FB=， 又由已知有1BD CE AFDC EA FB= ， 两相比较，有//BD BD D C DC =， 合比 /BD BDBC BC=，得 /BD BD =，有/D 与D 重合，即,,DEF 三点共线．梅内劳斯定理逆定理是证明三点共线的有力工具．定理15 （塞瓦定理）设O 是ABC ∆内任意一点，,,AO BO CO 分别交对边于,,D E F ，则1BD CE AFDC EA FB= ． 证明1 （将三个比值转化为三个值的循环比）如图12，由面积关系OBDABD ADC ODC S S BD DC S S ==， 有A B D O B DA O BA D C O D C A O CS S S BD DC S S S -==-．同理BOCAOBS CE EA S =， 图12 AOCBOCS AF FB S =，三式相乘即得． 证明2 （转化为物质重心）在,,A B C 处各放一个重物，使其重心正好在O 处，记三处的质量分别为,,A B C m m m ，则,,D E F 分别为,,BC AC AB 的重心，有C B m BD DC m =． ACm CE EA m =，B A m AF FB m =，三式相乘即得． 证明3 （用梅内劳斯定理）如图11，由梅内劳斯定理，ABD 被直线BOE 所截，有1BC DO AFCD OA FB = ， ADC 被直线BOE 所截，有 1CB DO AEBD OA EC= ，相除得1B D C E A FD CE AF B= ． 证明4 如图13，过点A 作//MN BC 交,BE CF 的延长线于,M N ，由,B O D M O A C O D N O A，有 BD DO CD BD AMAM OA AN CD AN==⇒=， 又由,BEC MEA NFA BFCCE BC EA AM =， 图13 AF ANFB BC=， 三式相乘即得．逆定理 在ABC ∆三边（所在直线）,,AB CA BC 各取一点,,D E F ，若有1BD CE AFDC EA FB= ，则,,AD BE CF 平行或共点．（1） （2）图14证明 AD 与BE 有两种关系：或是平形或是相交． （1）若AD //BE （如图14（1）），则BC ECBD EA=代入已知得AF DCFB BC= 有AD //CF ，从而////AD BE CF ．（2）若AD 与BE 相交（如图14（2）），记交点为O ，连CO 交AB 于/F ，由塞瓦定理，有//1BD CE AF DC EA F B= 与已知条件相比较，得//AF AF FB F B =，合比 /AF AF AB AB=，有 /AF AF =， 有/F 与F 重合，即,,AD BE CF 三线共点． 塞瓦定理的逆定理是证明三线共点的有力工具． 定理16（三角形的特殊点）（1）三角形的三条中线相交于一点（三角形的重心） 证明 当,,D E F 为ABC ∆各边的中点时，有1BD CE AFDC EA FB ===， 得1BD CE AFDC EA FB= ． 又因 180EBC FCB ABC ACB ∠+∠<∠+∠<， 故BE 与CF 相交，得,,AD BE CF 三线共点．（2）三角形的三条角平分线相交于一点（三角形的内心）证明 当,,AD BE CF 为ABC ∆各内角平分线时，由角平分线定理，有,,BD AB CE BC AF ACDC AC EA AB FB BC ===， 相乘 1BD CE AF AB BC ACDC EA FB AC AB BC== ．又因 180EBC FCB ABC ACB ∠+∠<∠+∠< ， 故BE 与CF 相交，得,,AD BE CF 三线共点． （3）三角形的三条高线相交于一点（三角形的垂心）证明 先证锐角三角形成立．如图15，当,,AD BE CF 为ABC ∆各边的高线时，有BD ABRt ABD Rt CBF BF BC ⇒=， CE BCRt BCE Rt ACD DC AC ⇒= ，AF ACRt CAF Rt BAE AE AB ⇒= ，相乘得sin sin sin 1sin sin sin BD CE AF DC EA FB βαγαγβ== ． 图15 又因 180EBC FCB ABC ACB ∠+∠<∠+∠<， 故BE 与CF 相交，得,,AD BE CF 三线共点．再证钝角三角形成立． 如图16，ABC ∆中，A ∠为钝角，设高线,B E C F延长相交于G ，则GBC 为锐角三角形，由上证，它的三条高线相交于一点，因为,BE CF 已相交于A ，所以，过G 而垂直于BC 的高线经过A ，也就是A B C ∆的三条高线,,AD BE CF相交于点G ． 图16最后，直角三角形显然成立．因而对任意三角形都有三条高线共点．（4）三角形的三条垂直平分线相交于一点（三角形的外心）证明 对ABC ∆，作其中位线DEF ，由上证，DEF 的三条高线共点，得ABC ∆的三条垂直平分线相交于一点．定理17 （斯特沃尔特定理）在ABC ∆中，D 是BC 上一点，则222BD AC DC AB AD BD DC BC⋅+⋅=-⋅．证明 如图17，在ABD 与ABC 中，用余弦定理，有2222cos AD AB BD AB BD B =+- ， ① 图17222cos 2AB BC AC B AB BC+-= ， ②代入消去cos B ，得222222AB BC AC AD AB BD BD BC+-=+-()()22BD AC BC BD AB BD BC BD BC+-=--22BD AC DC AB BD DC BC+=- ．也可以将余弦定理①、②2222cos AD AB BD AB BD B =+- ，2222cos AC AB BC AB BC B =+- ， 看成齐次线性方程组()()2222220,0,AB BD AD x BDy AB BC AC x BCy ⎧+-+=⎪⎨+-+=⎪⎩，有非零解1,2cos x y AB B ==-，得系数行列式为0222222AB BD AD BD AB BC AC BC +-=+-，化简即得．推论1三角形中线长a m =． 证明 在斯特沃尔特定理中取BD DC =，有 222224AC AB BC AD +=-，即a m == 推论2 三角形角平分线长a t =()12p a b c =++．证明 在斯特沃尔特定理中取BD ABDC AC=，即 ,AB ACBD BC DC BC AB AC AB AC==++ ，有 ()222AB AC BC AD AB AC AB AC =-+ ()()222AB ACAB AC BC AB AC ⎡⎤=+-⎣⎦+ ()()()2AB ACAB AC BC AB AC BC AB AC =+++-+ ．令()12p a b c =++，得a t =推论3 三角形高线长a h =，其中()12p a b c =++．证明 当D 为垂足时，如图17，有22222,,BD DC a AD b CD c BD +==-=-由 2222,,BD DC a BD CD c b +=⎧⎨-=-⎩可解得 222222,2,2a b c BD aa b c CD a ⎧-+=⎪⎪⎨+-⎪=⎪⎩从而 222222222a b c AD b CD b a ⎛⎫+-=-=- ⎪⎝⎭()()22222221224ab a b c ab a b c a⎡⎤⎡⎤=++--+-⎣⎦⎣⎦ ()()()()()()()()()22222221414,4a b c c a b aa b c a b c c a b c a b p p c p b p a a a ⎡⎤⎡⎤=+---⎣⎦⎣⎦=+++-+--+=---得a h =．定理18 （西姆松定理）过三角形外接圆上任意一点作三边的垂线，则三垂足共线（西姆松线）．反之，若一点到三角形三边所在直线的垂足共线，则该点在三角形的外接圆上．证明 如图18，ABC 外接圆上任意一点P 到三边所在直线的垂足为,,D E F ，连,DE DF 及,,PA PB PC ，由,,PD BC PE AC PF AB ⊥⊥⊥知，点,,,P B F C 与点,,,P D C E 分别共圆，有180PDF PBF ∠+∠=， ①PDE PCE ∠=∠． ②又由,,,P A B C 共圆，有PCE PBF ∠=∠． ③ 图18由①、②、③得180PDF PDE ∠+∠=． ④从而，,,D E F 三点共线．反之，若,,D E F 三点共线，由①、②、④可得③成立，于是,,,P A B C 共圆，即点P 在ABC 的外接圆上．定理19 （托勒密定理）圆内接四边形中，两对边的乘积之和等于它的对角线的乘积．反之，若四边形的两对边的乘积之和等于它的对角线的乘积，则该四边形内接于一圆．证明 如图19，在圆内接四边形ABCD 的对角线AC 上取一点E ，使ADE BDC ∠=∠，又由ADE BDC ∠=∠，得A D EB DC = ，有 AE BCAD BC AE BD AD BD=⇒= ． ①再由,ADB EDC ABD ECD ∠=∠∠=∠，得ABD ECD = ，有 A B C EA B C D C E B D B D C D=⇒= ． ②②+①得()AB CD AD BC AE EC BD AC BD +=+= ．反之，若四边形ABCD 中，有AB CD AD BC AC BD += ． 图19如图20设点D 到ABC 三边所在直线的垂足为111,,A B C ，连111111,,A B AC B C ，因为11,,,A C B D 四点共圆，且AD 是直径，所以，在11ABC 中用正弦定理有1111sin sin 2BCB C AD B DC AD BAC AD R=∠=∠= ． 其中，R 为ABC 的外接圆半径．同理， 1111,22AB AC A B CD A C BD R R==， 这时，若D 不在ABC 的外接圆上，则由西姆松定理知111,,A B C 图20不共线，得 111111A B BC AC +>，即 222A B B C A C C DA DB D R R R+> ， 得 AB CD AD BC AC BD +>． 与已知AB CD AD BC AC BD += 矛盾，故D 在ABC 的外接圆上，即四边形为ABCD 圆内接四边形．托勒密定理的推广：四边形ABCD 中，有AB CD AD BC AC BD +≥． 证明 视,,,A B C D 为复平面上的复数，由恒等式()()()()()()A B C D A D B C A C B D --+--=--，A B CDE求模得不等式()()()()()()()()()()A B C D A D B C A B C D A D B C A C B D --+--≥--+--=--即 A B C D A D B C A C B D --+--≥--，得AB CD AD BC AC BD +≥定理20（费马点）在锐角三角形所在平面上求一点，使它到三角形三顶点的距离之和为最小． 证明 设P 为锐角ABC 内一点，现将APB 绕点A 向外旋转60 ，得A Q D ，由于,60A P A Q P A Q =∠=，所以，APQ 是等边三角形，有 PQ PA =，得 PA PB PC BP PO QD BD ++=++≥.由于,60A D ABC AD =∠=，所以，D 为定点，当,,,B P Q D共线时PA PB PC ++取最小值BD ，此时 图21 180120APB APQ ∠=-∠= .同样讨论可知，当120APB APC BPC ∠=∠=∠=时，PA PB PC ++取最小值.定理21 （欧拉线）在任一三角形中，外心，重心和垂心共线，且垂心到重心两倍于外心到重心的距离． 证明 在ABC 中，设O 为外心，G 为的重心，M 为AB 的中点，连结CM ，则G 在CM 上，且有 2CG GM =.连结OM ，则OM AB ⊥.连结OG 并延长到H ，使 2HG OG =，连CH ，有CGH MGO ，得GCH GMO ∠∠ ，推出 //CH OM ，但OM AB ⊥，所以CH AB ⊥.同理，AH BC ⊥. 图22 所以，H 为三角形垂心. 三、基本方法数学竞赛中的几何题几乎涉及所有的平面几何方法，主要有三大类：综合几何法、代数法和几何变换法．1．综合几何方法：如全等法、相似法、面积法等，证逆命题时常用到同一法，反证法．2．代数方法：如代数计算法、复数法、坐标法、三角法、向量法等．另有些几何不等式经过变换（图23） ⎪⎩⎪⎨⎧+=+=+=x z c z y b y x a ,,C图23之后，就成为正数的代数不等式了，反之，也可以把代数问题转化为几何问题．3．几何变换方法：如平移、旋转、反射、位似、反演等． 解几何题举例．例1 （2005、全国高中数学联赛） 如图24，设AB AC >，过A 作ABC 的外接圆的切线l ，又以A 为圆心，AC 为半径作圆分别交线段AB 于D ，交直线l 于E ，F ．证明：DE ，DF 通过ABC 内心和一个旁心．分析：只考虑内心．第1．题目的条件是什么，一共有几个，其数学含义如何．（1）,CAE ABC DAF ACB ∠=∠∠=∠， （2）DEF 中，1122DEF DAF ACB ∠=∠=∠， ()1122DFE DAE ABC BAC ∠=∠=∠+∠， 图2490EDF ∠= ．（3）等腰ADE 中，()()111180180222ADE DAE ABC BAC ACB ∠=-∠=-∠-∠=∠（4）等腰ADF 中，()11802ADF AFD DAF ∠=∠=-∠ 1902ACB =-∠ ．第2．弄清题目的结论是什么，一共有几个，其数学含义如何．结论成立需要什么？（1）结论有两个：,DE DF 一个通过ABC 的内心，一个通过ABC 的旁心．什么是通过，数学实质是证三线共点．①应是DE 通过ABC 的内心 ②应是DF 通过ABC 的旁心（2）放下旁心，立即想“内心”的定义，这导致我们作ABC 的内角平分线．由于B 点的信息量最少，因而优先考虑,A C ∠∠的平分线，这就出现了A ∠的平分线IA ，联结IC ，问题转化为证IC 是C ∠的平分线． 即12A C I A CB ∠=∠． 第3．弄清题目的条件与结论有哪些数学联系，是一种什么样的结构．题目的条件和结论是两个信息源．从条件发出的信息，预示可知并启发解题手段，从结论出发的信息预告需知并诱导解题方向，抓住条件和结论“从何处下手、向何方前进”就有一个方向（1）由结论12ACI ACB ∠=∠的需要，联想何处能提供12ACB ∠？想到 1122ADE AED DAF ACB ∠=∠=∠=∠问题转化为证12ACI ADE ACI AED ACI DAF ∠=∠∠=∠∠=∠ 其中之一（2）由于,AC AD AI =公共，CAI DAI ∠=∠，故ACI ADI = ，所以ACI ADI ∠=∠是可以实现的．证明 如图25，作BAC ∠的平分线交DE 于I ，联结IC ，由,AC AD AI =公共，CAI DAI ∠=∠，得 ACI ADI = ，有 A C I A D I ∠=∠．但是 A D I A E D ∠=∠（等腰三角形的两个底角相等） 12D A F =∠（圆周角等于同弧圆心角的一半） 12A CB =∠（弦切角定理）得 12A C I A CB ∠=∠， 图25 两条角平分线的交点I 必为ABC 的内心，所以DE 通过ABC 的内心．例2 证明：对任意三角形，一定存在两条边，它们的长,u v满足1u v ≤<． （“《数学周刊》杯”2007全国初中数学竞赛试题）讲解 有两种思维水平的处理．水平1 （参考答案）设任意ABC 的三边长为,,a b c ，不妨设a b c ≥≥．若结论不成立，则必有a b ≥， ①b c ≥ 5分 ② 记,b c s a b t c s t =+=+=++，显然0,0s t >>，代入①得c s t c s ++≥+，11s tc c s c++≥+ 令,s tx y c c==，则1112x y x ++≥+ ③由a b c <+，得c s t c s c ++<++，即t c <，于是1ty c=<．由②得112b c s x c c ++==+≥④ 由③，④得()5111y x ⎫≥+≥=⎪⎪⎝⎭， ⑤ 此式与1y <矛盾，从而命题得证． 15分评析 这个证明写得很曲折，其实③式就是①式、④式就是②式，解题的实质性进展在两个知识的应用上．（1）三角形基本定理：三角形两边之和大于第三边．使用“增量法”，引进四个参数,,,s t x y 推出1tc<是基本定理的变形（1a b c -<），构成矛盾也是与基本定理的变形1a by c-=<矛盾．（2）特征数据12的性质．这表现在⑤式用到的两个运算+=1 1=． 抓住这两点，立即可得问题的改进解法：若结论不成立，则存在ABC ，满足a b c ≥≥，且使12a b ≥，12b c ≥ 同时成立，得5111.a b c c b b b +≤<=+≤==矛盾．故对任意三角形，一定存在两条边，它们的长,u v 满足1u v ≤< 这还只是局部上的修修补补，更关键的是抓住实质性的知识可以构造不等式0()a b c >-+ （提供不等式）a b c =-+⎝⎭⎝⎭ ）=a b ⎛⎫⎫⎪⎪ ⎪⎪⎝⎭⎝⎭⑥ 据此可以成批得出本题的证明．另证 记任意ABC 的三边长为,,a b c ，不妨设a b c ≥≥，又设,a b x min b c ⎧⎫=⎨⎬⎩⎭，则1,1,,a b bx x a b x c b c x≤≤≤≤⇒≥≤，代入基本定理，有 210,b a b c bx a b c b x x x <+⇒<<+<+⇒--<解得1x ≤<． 说明 对比这两种思维水平，所用到的知识是相同的，结论也都正确．但水平一仍然停留在浅层结构的认识上，有在外围兜圈子之嫌，而水平二则更接近问题的深层结构，思路清晰而简明．例3 （斯坦纳定理）两条角平分线相等的三角形为等腰三角形． 证明 如图，在ABC 中，,BD CE 为角平分线，且BD CE =. 不妨设B C ∠≥∠，在EO 上取一点M ，使O B M O C D ∠=∠，记BM 的延长线交AC 于N ，则NBD NCM ，有1NB BD BDNC CM CE =≥=， 有 N B N C >. 图26 在NBC 中，由大边对大角，得NBC NCB ∠≤∠OBC OCB ⇒∠≤∠即 1122B C B C ∠≤∠⇒∠≤∠，得 B C B C B C ∠≥∠⎫⇒∠=∠⎬∠≤∠⎭.例4 （蝴蝶定理）设AB 是圆的一根弦，过AB 的中点M 作两弦,,CD EF 设,ED CF 分别交AB 于,P Q ．求证PM MQ =．证明1 如图27，设,PM x QM y ==，AM BM a ==，有有显然的面积等式1QEM QDMCMP PFM CMP QEM PFM QDMS S S S S S S S = ， 即s i n s i ns i ns i n1s i n s i ns i n s i nC P C M Q M E M F P F M Q MD M P M C ME Q E M P MF M D Q D M αγβδδαγβ=，得 22CP FP QM EQ DQ PM = .由相交弦订立又有()()22CP FP AP PB a x a x a x ==-+=-()()22EQ DQ AQ QB a y a y a y ==+-=-图27得 ()()222222a x y a y x -=-可得x y =即PM QM =.证明2 以AB 所在的直线为x 轴，以M 为原点建立直角坐标系，则圆的方程可以表示为()222x y b R +-=，（R b > ①而,CD EF 的方程为11220,0a y b x a y b x -=-=，相乘()()11220a y b x a y b x --= ②则过,,,C D E F 四点的曲线系方程为()()()22211220x y b R a y b x a y b x λ⎡⎤+--+--=⎣⎦．这也包括退化为直线,DE CF 的情况，令0y =，可得曲线系与x 轴的交点横坐标所满足的方程 图28()2221210bb x b R λ-+-=． ③因为,CF ED 分别交AB 于,P Q ，所以二次方程③必有两个实根12,x x ，且由方程的常数项为0知， 恒有 120x x +=，（中点不变性） 即 PM QM =．例6 （垂足三角形）锐角三角形的所有内接三角形中，周长最小的一个是其垂足三角形． 证明 设Z 是AB 边上的任意定点，作Z 关于AC 的对称点K ，再作Z 关于BC 的对称点H ，连KH 交,CA CB 于,Y X ，则X Y Z 是以Z 为定点的内接三角形中周长最短的一个.现固定,X Y ，由于CZ 与CK 关AC 对称，CZ 与CH 关于BC 对称，所以图29,,ZCA KCA ZCB HCB ∠=∠∠=∠得 2K C H A C B ∠=∠.所以，KCH 是顶角为定值、腰长等于CZ 的等腰三角形，当腰长最短时，KH 也最短，易知，当CZ AB ⊥（即Z 是AB 边上的垂足）时CZ 取最小值，此时XYZ 的周长最短.同样的讨论知，X 是BC 边上的垂足、Y 是AC 边上的垂足时，内接XYZ 的周长最短.所以，锐角三角形的所有内接三角形中，周长最小的一个是其垂足三角形．例8 （厄尔多斯—摩德尔定理）设P 是ABC ∆内一点，其到三边的距离分别为,,x y z ，则)(2PF PE PD PC PB PA ++≥++．等号成立当且仅当ABC ∆为正三角形，且P 是ABC ∆的重心．证明 如图21，过作直线 MN 交AB 于M ，交AC 于N ，使 AMN ACB ∠=∠，得AMN ACB = ，有,AM AC b AN AB cMN BC a MN BC a ====． 又 12AMN MN AP S ≥1122AMP ANP S S AM z AN y =+=+ ， 图30得 A M A N b cP A z y z y M N M N a a ≥+=+ ． ①同理 c aPB x z b b ≥+ ， ②a bPC y x c c≥+ ， ③相加 PA PB PC ++c b a c b a x y z b c c a a b ⎛⎫⎛⎫⎛⎫≥+++++⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭()2x y z ≥++ ④其中④式取等号a b c ⇔==，①式取等号AP MN ⇔⊥，这时ABC ∆为正三角形，且P 是ABC∆的重心．例9 （1995 536-IMO ）设ABCDEF 是凸六边形,满足CD ，BC AB ==FA ，EF DE == 060BCD EFA ∠=∠=．设G 是H 是这六边形内部的两点,使得0120=∠=∠DHE AGB ．证明 如图,将六边形以BE 为轴作一对称图形,11E BDF AC 有 图31.11CF F C =由于,1200=∠=∠DHE AGB 所以11,,,,,,F D H E G B C A 及切四点共圆,连1C .H F ,G C 11则,GB AG G C 1+= ① .HE DH HF 1+= ②从而 HE DH GH GB AG ++++1111C G GH HF C F CF =++≥=评析 此例通过对称，将需比较大小的6条线段集中在一起，当中的①、②两式也可以用旋转变换来证明．例10 （1986 227-IMO ）在平面上给定点0P 和321A A A ∆，且约定当4≥S 时，3-=S S A A ．构造点列,,,,210 P P P 使得1+k P 为点k P 绕中心1+k A 顺时针旋转120所到达的位置，,,2,1,0 =k 求证，如果01986P P =，则321A A A ∆为等边三角形．证明 引进复平面，以各点的字母表示各点上的复，并设())120sin(120cos -+-=i ωi 2321--=则01,123=++=ωωω依题意，有（如图32）().111ω+++-=-k k k k A P A P有 ()11-+-=n n n p A P ωω ()()]1[121--+-+-=n n n P A A ωωωω()()2211--++-=n n n P A A ωωω=……()o n n n n n P A A A A ωωωωω+++++-=---][111221当n =1986时，由于,,1,1,1986233o S S P P A A =--===-ωωω有 ()()o P A A A P +++-=122319861662ωωω ()()().][166219861213P A A A A +-+--=ωω 得 ()()()60sin 60cos 122113i A A A A A A +-=-=-ω这说明，A 1A 3可由A 1A 2绕A 1逆时针旋转60°得到，故321A A A ∆为正三角形．例11 在凸四边形ABCD 中，若AB 大于其余三边，BC 小于其余三边，则,BAD BCD ∠∠的关系为（ ）P k+1 P 1图32（A ）BAD BCD ∠<∠ （B ） BAD BCD ∠=∠ （C ）BAD BCD ∠>∠ （D ）不能确定解 如图5，取一个平行四边形ABCD ，使CBD 为等腰直角三角形，作CBD 的外接圆O ，以D 为圆心、以DC 为半径，画弧交AB 延长线于E ，连DE 交O 于1C ，交BC 于2C ；又在线段1C E 内取点3C ，连13,BC BC ，则在四边形()1,2,3i ABC D i =中，AB 大于其余三边，i BC 小于其余三边，有2BAD BC D ∠<∠，1BAD BC D ∠=∠，3BAD BC D ∠>∠，选（D ）． 图5 错在哪里？四、组合几何组合几何诞生于20世纪五六十年代，是组合数学的成果来解决几何学中的问题，所牵涉的类型包括计数、分类、构造、覆盖、递推关系以及相邻、相交、包含等拓扑性质．这类问题离不开几何知识的运用、几何结构的分析，但关键是精巧的构思．不仅在组合设计中需要，在组合计数中也少不了构思．竞赛中的组合几何主要有四类问题：计数问题，结构问题，覆盖问题，染色问题． 求解竞赛中的组合几何问题既需要一般性的常规方法、又需要特殊性的奥林匹克技巧（1）常规方法(一般性)，如探索法、构造法、反证法、数学归纳法、待定系数法、换元法、消元法、配方法等．（2）奥林匹克技巧(特殊性)，如构造、对应、递推、区分、染色、配对、极端原理、对称性分析、包含与排出、特殊化、一般化、数字化、有序化、不变量、整体处理、变换还原、逐步调整、奇偶分析、优化假设、计算两次、辅助图表等．1．计数问题（数数问题． sh u ∨`shu ）⑴ 基本含义:计算具有某种几何结构的几何对象有多少个，如满足某种性质的点、边、角、三角形、圆有多少个．有时，也会求方法数．⑵ 基本方法．求解几何中的计数问题，通常要经历两步：①进行几何结构的分析．包括所给定的图形结构分析与所计数的几何性质的结构分析， 明确所给定图形的几何结构，明确所求解图形的几何结构．②根据几何结构的分析采用计数方法求出结果，可以直接计算、分类计算(加法原理)、例1 分正方形的每条边为4等分，取分点（不包括正方形的顶点）为顶点可以画出多少个三角形？ 解法１ （1）几何结构的分析：图形是怎样组成？三角形的顶点与正方形的关系？ ①三点在四条边上（×）②三点在三条边上：四边取三边，每边中三点取一点4×3×3×3=108③三点在两条边上：四边取一边，这边中三点取两点，另九点取一点4×3×9=108。
高中数学平面几何相似比例定理解析
高中数学平面几何相似比例定理解析在高中数学的学习中，平面几何是一个重要的内容。
其中，相似比例定理是平面几何中的一项基本理论，它在解决几何问题中起着重要的作用。
本文将从相似比例定理的定义、应用举例以及解题技巧等方面进行详细解析，帮助高中学生或他们的父母更好地理解和应用这一定理。
一、相似比例定理的定义相似比例定理是指在平面几何中，当两个三角形的对应角相等时，它们的对应边的比例相等。
具体而言，设有两个相似的三角形ABC和DEF，其中∠A=∠D，∠B=∠E，∠C=∠F，那么有以下比例成立：AB/DE = BC/EF = AC/DF这个定理表明了相似三角形的边长之间有着固定的比例关系，为后续的几何问题提供了基础。
二、相似比例定理的应用举例1. 例题一：已知△ABC与△DEF相似，AB=6cm，BC=8cm，AC=10cm，DE=9cm，求EF的长度。
解析：根据相似比例定理，我们可以得到AB/DE = BC/EF = AC/DF。
已知AB=6cm，BC=8cm，AC=10cm，DE=9cm，代入上述比例中，可以得到6/9 = 8/EF = 10/DF。
由此，我们可以得到EF的长度为8/6*9=12cm。
2. 例题二：已知△ABC与△DEF相似，AB=12cm，BC=16cm，AC=20cm，EF=15cm，求DE的长度。
解析：同样地，根据相似比例定理，可以得到AB/DE = BC/EF = AC/DF。
已知AB=12cm，BC=16cm，AC=20cm，EF=15cm，代入上述比例中，可以得到12/DE = 16/15 = 20/DF。
由此，我们可以得到DE的长度为12/16*15=11.25cm。
通过以上两个例题，我们可以看到相似比例定理在解决三角形边长问题时的应用。
通过已知条件和相似比例的关系，我们可以求解未知边长的长度。
三、相似比例定理的解题技巧在应用相似比例定理解题时，有几个解题技巧是需要注意的：1. 确定相似三角形：首先要确定两个三角形是否相似，通常是通过观察对应角是否相等来判断。
平面几何知识点归纳 高中
平面几何知识点归纳高中高中平面几何知识点归纳平面几何是数学中的一门基础学科，它研究的是平面上的点、线、角、面等几何图形及其性质和相互关系。
在高中阶段，平面几何是数学课程的重要组成部分，它包含了许多重要的知识点。
下面将对高中平面几何的知识点进行归纳和总结。
1. 点、线、面的基本概念在平面几何中，点是最基本的概念，它没有大小和形状。
线是由无数个点连在一起形成的，它没有宽度和厚度。
面是由无数个线连在一起形成的，它有长度和宽度。
在平面几何中，点、线和面是最基本的图形，其他的图形都是由它们组成的。
2. 直线和射线的性质直线是由无数个点连在一起形成的，它没有起点和终点。
射线是由一个起点和一个方向确定的，它有一个起点但没有终点。
直线上的任意两点可以确定一条直线，而射线上的任意两点可以确定一条射线。
直线和射线的性质包括平行、垂直和夹角等。
3. 角的概念和性质角是由两条射线共享一个端点形成的，它是用来度量两条射线之间的旋转程度。
角的度量单位是度或弧度。
角的性质包括角的大小、角的类型（锐角、直角、钝角）以及角的和等于360度等。
4. 三角形的性质三角形是由三条线段组成的闭合图形，它是平面几何中最基本的多边形。
三角形的性质包括内角和为180度、三边的关系（边长关系、角度关系）、三角形的分类（等边三角形、等腰三角形、直角三角形、锐角三角形、钝角三角形）等。
5. 直角三角形的勾股定理和正弦定理、余弦定理直角三角形是一种特殊的三角形，其中一个角是直角（90度）。
直角三角形的勾股定理是一个重要的几何定理，它描述了直角三角形中两个直角边的平方和等于斜边的平方。
正弦定理和余弦定理是用来求解任意三角形的边长和角度的重要公式。
6. 平行线和平行四边形的性质平行线是在同一个平面内永远不相交的直线，它们的斜率相等。
平行四边形是具有两对平行边的四边形。
平行线和平行四边形的性质包括平行线的判定条件、平行四边形的性质（对边平等、对角线互相平分）等。
平面几何定义定理及相关证明
目录一、平面几何定理 (2)1、三角形 (2)（1）、重心 (2)（2）、垂心 (5)（3）、内心 (10)（4）、外心 (16)（5）、基本定理及其它性质 (23)○1、正弦定理 (23)○2、余弦定理 (23)○3、正切定理 (23)○4、半角定理 (24)○5、面积公式 (24)○6、三角函数 (24)2、圆 (25)垂径定理、圆周定理、切线长定理、弦切角定理、相交弦定理、割线定理、切割线定理3、重要的几何定理（1）、托勒密定理 (26)（2）、塞瓦定理 (27)（3）、梅涅劳斯定理 (28)（4）、斯特瓦尔特定理 (29)（5）、张角定理 (29)二、反演变换 (29)三、数形结合 (33)一、平面几何定理1、三角形（1）三角形的重心三角形的中线是接三角形顶点和它的对边中点的线段。
每个三角形都有三条中线，它们都在三角形的内部 [1]。
在三角形中，三条中线的交点是三角形的重心。
三角形的三条中线交于一点，这点位于各中线的三分之二处。
3/4。
这样就构成了由中线组成的三角形，两个三角形共同的元素为○7.重心和三角形3个顶点组成的3个三角形面积相等。
证明：S△AMB= S△BMC= S△CMA△AMB和△BMC以BM为底边，分别以AD、CE为高，易知AD＝CE∴S△AMB= S△BMC同理S△BMC= S△CMA○8.重心到三角形3个顶点距离的平方和最小。
证明（物理法）由平方和联想到转动惯量I＝mr2(其中m是其质量，r 是质点和转轴的垂直距离),根据转动惯量平行轴定理，可知质元绕过形心之轴的转动惯量是绕该束平行轴诸转动惯量中的最小者。
而对于密度相同的平面来说，形心与重心重合，所以重心到三角形3个顶点距离的平方和最小。
证明（代数法）建立直角坐标系,为了方便,三角形的A顶点作为坐标原点（0,0）,AB边在X轴上,B点坐标（b,0）好算,然后设出C点的坐标(m,n)；再设三角形内的任意一点为（x,y）(x2+y2)+[(x-b)2+y2]+[(x-m)2+(y-n)2]=3x2+3y2-2bx-2mx-2ny+b2+m2+n2=3x2-2(b+m)x+3y2-2ny+b2+m2+n2=3[x-(b+m)/3]2+3(y-n/3)2+ b2+m2+n2-(b+m)2/3-n2/3 只有当2个平方项全等于0时，才最小。
平面几何基本定理总结
平面几何基本定理总结平面几何是研究二维图形、点、线和角度之间的关系和性质的数学分支。
它是数学中的基础学科，对于建立几何推理和解决实际问题具有重要意义。
在平面几何中，存在一些基本定理，它们为我们理解和运用几何知识提供了重要的依据。
本文将对平面几何的基本定理进行总结和概述。
一、点、线和角度1. 点：- 点是平面几何中最基本的概念，它没有长度、宽度和高度，只有位置。
- 点可以用大写字母表示，如A、B、C等。
2. 线：- 线是由一系列无限延伸的点组成的，它没有宽度。
- 线可以用小写字母表示，如AB、CD等。
3. 角度：- 角度是由两条射线共享一个端点而形成的图形，常用来表示两条线的夹角大小。
- 角度可以用小字母表示，如∠ABC、∠DEF等。
二、平面几何基本定理1. 直线的性质：- 直线上的任意两点可以确定一条直线。
- 一条直线上的所有点在同一条直线上。
2. 线段的性质：- 线段是由两个端点和它们之间的所有点组成的有限部分。
- 线段的长度可以通过两个端点的坐标计算得出。
3. 角度的性质：- 角度大小可以用度数或弧度来表示。
- 两条直线垂直时，它们所形成的角度为直角，即90度或π/2弧度。
- 两条直线平行时，它们所形成的角度为零度或零弧度。
4. 三角形的性质：- 三角形是由三条线段组成的图形。
- 三角形的内角和为180度或π弧度。
- 直角三角形中，直角的对边和斜边之间满足勾股定理：c² = a² +b²，其中c为斜边，a、b为直角边的长度。
5. 四边形的性质：- 四边形是由四条线段组成的图形。
- 平行四边形的对边互相平行且相等。
- 矩形是一种特殊的平行四边形，它的内角均为直角。
6. 圆的性质：- 圆是由等距离于圆心的所有点组成的图形。
- 圆心到圆上任意一点的距离称为半径。
- 圆的周长可以通过半径和圆周率π的乘积计算得出：周长= 2πr。
三、应用及实例平面几何的基本定理在各个领域都有广泛的应用，例如建筑、工程、地理测量等。
平面几何基本定理
定义：通过构造新的图形或对象来证明定理的方法 特点：直观、易于理解，能够将复杂问题转化为简单问题 应用：在平面几何中广泛应用于证明各种定理和性质 示例：通过构造辅助线来证明三角形的一些性质和定理
定义：通过代 数运算和逻辑 推理来证明平 面几何定理的
方法
特点：基于代 数方程和不等 式的推导，可 以证明一些较 为抽象和复杂
欧几里得几何定理 非欧几里得几何定理 解析几何定理 射影几何定理
计算机图形学：用于生成二 维图形和动画
物理学：用于描述物体运动 轨迹和力的作用
航空航天：用于设计和分析 飞行器的结构和性能
建筑学：用于设计和分析建 筑物的结构和稳定性
平行线性质： 平行线之间的
距离相等
角平分线性质： 角平分线将一 个角分为两个
计算机图形学中的应用：平面几何定理在计算机图形学中也有着重要的应用，例如在绘制二维图形、三维 模型等方面，需要利用平面几何定理进行计算和推导。
经济学中的应用：在经济学中，平面几何定理也被广泛应用，例如在分析市场供需关系、预测商品价格走 势等方面，需要利用平面几何定理进行数据分析和模型构建。
生物学中的应用：在生物学中，平面几何定理也被应用于一些领域，例如生态学中研究生物种群分 布、行为学中研究动物运动轨迹等方面，需要利用平面几何定理进行数据分析和模型构建。
的几何定理、三 角形的余弦定
理等
实例：通过代 数方法证明勾 股定理的过程
欧几里得几何定理：公元前300年左右，欧几里得在《几何原本》中提出了平面几何 的基本定理，奠定了平面几何的基础。
非欧几里得几何定理：19世纪，高斯、黎曼等数学家提出了非欧几里得几何，突破 了欧几里得几何的限制，进一步推广了平面几何定理。
定理在计算机图形学 中的应用：在制作动 画、游戏等计算机图 形学领域中，平面几 何定理被广泛应用。
高中数学的归纳平面几何基本定理与证明总结
高中数学的归纳平面几何基本定理与证明总结在高中数学中，平面几何是一个非常重要的分支，它研究了平面内各种图形之间的关系和性质。
而在学习平面几何时，归纳法是一个常用的证明方法。
本文将对高中数学中的归纳平面几何基本定理与证明进行总结。
一、线段中点定理线段中点定理是平面几何中的基本定理之一，它指出：在一条线段的中点上，可以作一条平行于这条线段的直线。
换句话说，如果在线段AB的中点M上作一条直线l，那么l与AB平行。
证明：连接AM、BM。
由于M是线段AB的中点，所以AM=BM，且由中点连线定理可知，AM∥BM。
根据平行线的性质可知，l∥AB。
二、角平分线定理角平分线定理是另一个重要的平面几何定理，它指出：一条角的平分线将这个角分成两个相等的小角。
证明：设∠AOB为一锐角，其中OC是∠AOB的平分线。
要证明∠AOC=∠BOC，我们可以利用三角形AOB和COA的相似性来进行证明。
由于OC是∠AOB的平分线，所以∠AOC=∠BOC。
又因为∠AOB是个锐角，所以∠COA也是个锐角，故∆COA和∆AOB是相似三角形。
根据相似三角形的性质可知，AO/CO=BO/CO，即AO=BO。
因此，∠AOC=∠BOC。
三、垂直平分线定理垂直平分线定理也是平面几何中的重要定理，它指出：一条线段的垂直平分线上所有点到线段的两个端点的距离相等。
证明：设线段AB上的垂直平分线为l，垂直平分线上的一点为M。
要证明AM=BM，我们可以利用三角形AMO和BMO的全等性来进行证明。
由于l是线段AB的垂直平分线，所以AM=BM，且∠AMO=∠BMO=90°。
又因为OM是l的一部分，所以MO=MO，自反性成立。
故∆AMO和∆BMO是全等三角形。
根据全等三角形的定义，可知AM=BM。
四、角的外角定理角的外角定理指出：一个三角形的外角等于它的两个不相邻内角的和。
证明：设三角形ABC的三个内角分别为∠A、∠B和∠C，对于∠A，其外角为∠D。
我们可以利用∆ABC和∆ACD的相似性来进行证明。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
（高中）平面几何基础知识（基本定理、基本性质）1． 勾股定理（毕达哥拉斯定理）（广义勾股定理）(1)锐角对边的平方，等于其他两边之平方和，减去这两边中的一边和另一边在这边上的射影乘积的两倍． (2)钝角对边的平方等于其他两边的平方和，加上这两边中的一边与另一边在这边上的射影乘积的两倍．2． 射影定理（欧几里得定理）3． 中线定理（巴布斯定理）设△ABC 的边BC 的中点为P ，则有)(22222BP AP AC AB +=+； 中线长：222222a c b m a -+=． 4． 垂线定理：2222BD BC AD AC CD AB -=-⇔⊥． 高线长：C b B c A abc c p b p a p p a h a sin sin sin ))()((2===---=． 5． 角平分线定理：三角形一个角的平分线分对边所成的两条线段与这个角的两边对应成比例．如△ABC 中，AD 平分∠BAC ，则ACAB DC BD =；（外角平分线定理）． 角平分线长：2cos 2)(2A c b bc a p bcp c b t a +=-+=（其中p 为周长一半）． 6． 正弦定理：R Cc B b A a 2sin sin sin ===，（其中R 为三角形外接圆半径）． 7． 余弦定理：C ab b a c cos 2222-+=．8． 张角定理：ABDAC AC BAD AD BAC ∠+∠=∠sin sin sin ． 9． 斯特瓦尔特(Stewart )定理：设已知△ABC 及其底边上B 、C 两点间的一点D ，则有AB 2·DC +AC 2·BD －AD 2·BC ＝BC ·DC ·BD ．10． 圆周角定理：同弧所对的圆周角相等，等于圆心角的一半．（圆外角如何转化？）11． 弦切角定理：弦切角等于夹弧所对的圆周角．12． 圆幂定理：（相交弦定理：垂径定理：切割线定理（割线定理）：切线长定理：）13． 布拉美古塔（Brahmagupta ）定理： 在圆内接四边形ABCD 中，AC ⊥BD ，自对角线的交点P 向一边作垂线，其延长线必平分对边．14． 点到圆的幂：设P 为⊙O 所在平面上任意一点，PO =d ，⊙O 的半径为r ，则d 2－r 2就是点P 对于⊙O 的幂．过P任作一直线与⊙O 交于点A 、B ，则PA ·PB = |d 2－r 2|．“到两圆等幂的点的轨迹是与此二圆的连心线垂直的一条直线，如果此二圆相交，则该轨迹是此二圆的公共弦所在直线”这个结论．这条直线称为两圆的“根轴”．三个圆两两的根轴如果不互相平行，则它们交于一点，这一点称为三圆的“根心”．三个圆的根心对于三个圆等幂．当三个圆两两相交时，三条公共弦(就是两两的根轴)所在直线交于一点．15． 托勒密（Ptolemy ）定理：圆内接四边形对角线之积等于两组对边乘积之和，即AC ·BD =AB ·CD +AD ·BC ，(逆命题成立) ．（广义托勒密定理）AB ·CD +AD ·BC ≥AC ·BD ．16． 蝴蝶定理：AB 是⊙O 的弦，M 是其中点，弦CD 、EF 经过点M ，CF 、DE 交AB 于P 、Q ，求证：MP =QM ．17． 费马点：定理1等边三角形外接圆上一点，到该三角形较近两顶点距离之和等于到另一顶点的距离；不在等边三角形外接圆上的点，到该三角形两顶点距离之和大于到另一点的距离．定理2 三角形每一内角都小于120°时，在三角形内必存在一点，它对三条边所张的角都是120°，该点到三顶点距离和达到最小，称为“费马点”，当三角形有一内角不小于120°时，此角的顶点即为费马点．18． 拿破仑三角形：在任意△ABC 的外侧，分别作等边△ABD 、△BCE 、△CAF ，则AE 、AB 、CD 三线共点，并且AE ＝BF ＝CD ，这个命题称为拿破仑定理． 以△ABC 的三条边分别向外作等边△ABD 、△BCE 、△CAF ，它们的外接圆⊙C 1 、⊙A 1 、⊙B 1的圆心构成的△——外拿破仑的三角形，⊙C 1 、⊙A 1 、⊙B 1三圆共点，外拿破仑三角形是一个等边三角形；△ABC 的三条边分别向△ABC 的内侧作等边△ABD 、△BCE 、△CAF ，它们的外接圆⊙C 2 、⊙A 2 、⊙B 2的圆心构成的△——内拿破仑三角形，⊙C 2 、⊙A 2 、⊙B 2三圆共点，内拿破仑三角形也是一个等边三角形．这两个拿破仑三角形还具有相同的中心．19． 九点圆（Nine point round 或欧拉圆或费尔巴赫圆）：三角形中，三边中心、从各顶点向其对边所引垂线的垂足，以及垂心与各顶点连线的中点，这九个点在同一个圆上，九点圆具有许多有趣的性质,例如:（1）三角形的九点圆的半径是三角形的外接圆半径之半;（2）九点圆的圆心在欧拉线上,且恰为垂心与外心连线的中点;（3）三角形的九点圆与三角形的内切圆,三个旁切圆均相切〔费尔巴哈定理〕．20． 欧拉（Euler ）线：三角形的外心、重心、九点圆圆心、垂心依次位于同一直线（欧拉线）上．21． 欧拉（Euler ）公式：设三角形的外接圆半径为R ，内切圆半径为r ，外心与内心的距离为d ，则d 2=R 2－2Rr ．22． 锐角三角形的外接圆半径与内切圆半径的和等于外心到各边距离的和．23． 重心：三角形的三条中线交于一点，并且各中线被这个点分成2：1的两部分；)3,3(C B A C B A y y y x x x G ++++ 重心性质：（1）设G 为△ABC 的重心，连结AG 并延长交BC 于D ，则D 为BC 的中点，则1:2:=GD AG ； （2）设G 为△ABC 的重心，则ABC ACG BCG ABG S S S S ∆∆∆∆===31； （3）设G 为△ABC 的重心，过G 作DE ∥BC 交AB 于D ，交AC 于E ，过G 作PF ∥AC 交AB 于P ，交BC 于F ，过G 作HK ∥AB 交AC 于K ，交BC 于H ，则2;32=++===AB KH CA FP BC DE AB KH CA FP BC DE ； （4）设G 为△ABC 的重心，则①222222333GC AB GB CA GA BC+=+=+； ②)(31222222CA BC AB GC GB GA++=++； ③22222223PG GC GB GA PC PB PA +++=++（P 为△ABC 内任意一点）； ④到三角形三顶点距离的平方和最小的点是重心，即222GC GB GA ++最小；⑤三角形内到三边距离之积最大的点是重心；反之亦然（即满足上述条件之一，则G 为△ABC 的重心）．24． 垂心：三角形的三条高线的交点；)cos cos cos cos cos cos ,cos cos cos cos cos cos (Cc B b A a y C c y B b y A a C c B b A a x C c x B b x A a H C B A C B A ++++++++ 垂心性质：（1）三角形任一顶点到垂心的距离，等于外心到对边的距离的2倍；（2）垂心H 关于△ABC 的三边的对称点，均在△ABC 的外接圆上；（3）△ABC 的垂心为H ，则△ABC ，△ABH ，△BCH ，△ACH 的外接圆是等圆；（4）设O ，H 分别为△ABC 的外心和垂心，则HCA BCO ABH CBO HAC BAO ∠=∠∠=∠∠=∠,,．25． 内心：三角形的三条角分线的交点—内接圆圆心，即内心到三角形各边距离相等；),(cb a cy by ayc b a cx bx ax I C B A C B A ++++++++ 内心性质：（1）设I 为△ABC 的内心，则I 到△ABC 三边的距离相等，反之亦然；（2）设I 为△ABC 的内心，则C AIB B AIC A BIC ∠+︒=∠∠+︒=∠∠+︒=∠2190,2190,2190； （3）三角形一内角平分线与其外接圆的交点到另两顶点的距离与到内心的距离相等；反之，若A ∠平分线交△ABC 外接圆于点K ，I 为线段AK 上的点且满足KI=KB ，则I 为△ABC 的内心；（4）设I 为△ABC 的内心，,,,c AB b AC a BC === A ∠平分线交BC 于D ，交△ABC 外接圆于点K ，则ac b KD IK KI AK ID AI +===； （5）设I 为△ABC 的内心，,,,c AB b AC a BC ===I 在AB AC BC ,,上的射影分别为F E D ,,，内切圆半径为r ，令)(21c b a p ++=，则①pr S ABC =∆；②c p CD CE b p BF BD a p AF AE -==-==-==;;；③CI BI AI p abcr ⋅⋅⋅=．26． 外心：三角形的三条中垂线的交点——外接圆圆心，即外心到三角形各顶点距离相等；)2sin 2sin 2sin 2sin 2sin 2sin ,2sin 2sin 2sin 2sin 2sin 2sin (CB A Cy By AyC B A Cx Bx Ax O C B A C B A ++++++++ 外心性质：（1）外心到三角形各顶点距离相等；（2）设O 为△ABC 的外心，则A BOC ∠=∠2或A BOC ∠-︒=∠2360；（3）∆=S abc R 4；（4）锐角三角形的外心到三边的距离之和等于其内切圆与外接圆半径之和． 27． 旁心：一内角平分线与两外角平分线交点——旁切圆圆心；设△ABC 的三边,,,c AB b AC a BC ===令)(21c b a p ++=，分别与AB AC BC ,,外侧相切的旁切圆圆心记为C B A I I I ,,，其半径分别记为C B A r r r ,,． 旁心性质：（1）,21,2190A C BI C BI A C BI C B A ∠=∠=∠∠-︒=∠（对于顶角B ，C 也有类似的式子）； （2）)(21C A I I I C B A ∠+∠=∠； （3）设A AI 的连线交△ABC 的外接圆于D ，则DC DB DI A ==（对于C B CI BI ,有同样的结论）；（4）△ABC 是△I A I B I C 的垂足三角形，且△I A I B I C 的外接圆半径'R 等于△ABC 的直径为2R ．28． 三角形面积公式：C B A R R abc C ab ah S a ABC sin sin sin 24sin 21212====∆)cot cot (cot 4222C B A c b a ++++= ))()((c p b p a p p pr ---==，其中a h 表示BC 边上的高，R 为外接圆半径，r 为内切圆半径，)(21c b a p ++=． 29． 三角形中内切圆，旁切圆和外接圆半径的相互关系：;2sin 2cos 2cos 4,2cos 2sin 2cos 4,2cos 2cos 2sin 4;2sin 2sin 2sin 4C B A R r C B A R r C B A R r C B A R r c b a ====.1111;2tan 2tan ,2tan 2tan ,2tan 2tan r r r r B A r r C A r r C B r r c b a c b a =++=== 30． 梅涅劳斯（Menelaus ）定理：设△ABC 的三边BC 、CA 、AB 或其延长线和一条不经过它们任一顶点的直线的交点分别为P 、Q 、R 则有 1=⋅⋅RBAR QA CQ PC BP ．（逆定理也成立） 31． 梅涅劳斯定理的应用定理1：设△ABC 的∠A 的外角平分线交边CA 于Q ，∠C 的平分线交边AB 于R ，∠B 的平分线交边CA 于Q ，则P 、Q 、R 三点共线．32． 梅涅劳斯定理的应用定理2：过任意△ABC 的三个顶点A 、B 、C 作它的外接圆的切线，分别和BC 、CA 、AB 的延长线交于点P 、Q 、R ，则P 、Q 、R 三点共线．33． 塞瓦(Ceva )定理：设X 、Y 、Z 分别为△ABC 的边BC 、CA 、AB 上的一点，则AX 、BY 、CZ 所在直线交于一点的充要条件是AZ ZB ·BX XC ·CY YA =1．34． 塞瓦定理的应用定理：设平行于△ABC 的边BC 的直线与两边AB 、AC 的交点分别是D 、E ，又设BE 和CD 交于S ，则AS 一定过边BC 的中点M ．35． 塞瓦定理的逆定理：（略）36． 塞瓦定理的逆定理的应用定理1：三角形的三条中线交于一点，三角形的三条高线交于一点，三角形的三条角分线交于一点．37． 塞瓦定理的逆定理的应用定理2：设△ABC 的内切圆和边BC 、CA 、AB 分别相切于点R 、S 、T ，则AR 、BS 、CT交于一点．38． 西摩松（Simson ）定理：从△ABC 的外接圆上任意一点P 向三边BC 、CA 、AB 或其延长线作垂线，设其垂足分别是D 、E 、R ，则D 、E 、R 共线，（这条直线叫西摩松线Simson line ）．39． 西摩松定理的逆定理：（略）40． 关于西摩松线的定理1：△ABC 的外接圆的两个端点P 、Q 关于该三角形的西摩松线互相垂直，其交点在九点圆上．41． 关于西摩松线的定理2（安宁定理）：在一个圆周上有4点，以其中任三点作三角形，再作其余一点的关于该三角形的西摩松线，这些西摩松线交于一点．42． 史坦纳定理：设△ABC 的垂心为H ，其外接圆的任意点P ，这时关于△ABC 的点P 的西摩松线通过线段PH 的中心．43． 史坦纳定理的应用定理：△ABC 的外接圆上的一点P 的关于边BC 、CA 、AB 的对称点和△ABC 的垂心H 同在一条（与西摩松线平行的）直线上．这条直线被叫做点P 关于△ABC 的镜象线．44． 牛顿定理1：四边形两条对边的延长线的交点所连线段的中点和两条对角线的中点，三点共线．这条直线叫做这个四边形的牛顿线．45． 牛顿定理2：圆外切四边形的两条对角线的中点，及该圆的圆心，三点共线．46． 笛沙格定理1：平面上有两个三角形△ABC 、△DEF ，设它们的对应顶点（A 和D 、B 和E 、C 和F ）的连线交于一点，这时如果对应边或其延长线相交，则这三个交点共线．47． 笛沙格定理2：相异平面上有两个三角形△ABC 、△DEF ，设它们的对应顶点（A 和D 、B 和E 、C 和F ）的连线交于一点，这时如果对应边或其延长线相交，则这三个交点共线．48． 波朗杰、腾下定理：设△ABC 的外接圆上的三点为P 、Q 、R ，则P 、Q 、R 关于△ABC 交于一点的充要条件是：弧AP +弧BQ +弧CR =0(mod2π) ．49． 波朗杰、腾下定理推论1：设P 、Q 、R 为△ABC 的外接圆上的三点，若P 、Q 、R 关于△ABC 的西摩松线交于一点，则A 、B 、C 三点关于△PQR 的的西摩松线交于与前相同的一点．50． 波朗杰、腾下定理推论2：在推论1中，三条西摩松线的交点是A 、B 、C 、P 、Q 、R 六点任取三点所作的三角形的垂心和其余三点所作的三角形的垂心的连线段的中点．51．波朗杰、腾下定理推论3：考查△ABC的外接圆上的一点P的关于△ABC的西摩松线，如设QR为垂直于这条西摩松线该外接圆的弦，则三点P、Q、R的关于△ABC的西摩松线交于一点．52．波朗杰、腾下定理推论4：从△ABC的顶点向边BC、CA、AB引垂线，设垂足分别是D、E、F，且设边BC、CA、AB的中点分别是L、M、N，则D、E、F、L、M、N六点在同一个圆上，这时L、M、N点关于关于△ABC的西摩松线交于一点．53．卡诺定理：通过△ABC的外接圆的一点P，引与△ABC的三边BC、CA、AB分别成同向的等角的直线PD、PE、PF，与三边的交点分别是D、E、F，则D、E、F三点共线．54．奥倍尔定理：通过△ABC的三个顶点引互相平行的三条直线，设它们与△ABC的外接圆的交点分别是L、M、N，在△ABC的外接圆上取一点P，则PL、PM、PN与△ABC的三边BC、CA、AB或其延长线的交点分别是D、E、F，则D、E、F三点共线．55．清宫定理：设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三点共线．56．他拿定理：设P、Q为关于△ABC的外接圆的一对反点，点P的关于三边BC、CA、AB的对称点分别是U、V、W，这时，如果QU、QV、QW和边BC、CA、AB或其延长线的交点分别是D、E、F，则D、E、F三点共线．（反点：P、Q分别为圆O的半径OC和其延长线的两点，如果OC2=OQ×OP则称P、Q两点关于圆O互为反点）57．朗古来定理：在同一圆周上有A1、B1、C1、D1四点，以其中任三点作三角形，在圆周取一点P，作P点的关于这4个三角形的西摩松线，再从P向这4条西摩松线引垂线，则四个垂足在同一条直线上．58．从三角形各边的中点，向这条边所对的顶点处的外接圆的切线引垂线，这些垂线交于该三角形的九点圆的圆心．59．一个圆周上有n个点，从其中任意n－1个点的重心，向该圆周的在其余一点处的切线所引的垂线都交于一点．60．康托尔定理1：一个圆周上有n个点，从其中任意n－2个点的重心向余下两点的连线所引的垂线共点．61．康托尔定理2：一个圆周上有A、B、C、D四点及M、N两点，则M和N点关于四个三角形△BCD、△CDA、△DAB、△ABC中的每一个的两条西摩松线的交点在同一直线上．这条直线叫做M、N两点关于四边形ABCD的康托尔线．62．康托尔定理3：一个圆周上有A、B、C、D四点及M、N、L三点，则M、N两点的关于四边形ABCD的康托尔线、L、N两点的关于四边形ABCD的康托尔线、M、L两点的关于四边形ABCD的康托尔线交于一点．这个点叫做M、N、L三点关于四边形ABCD的康托尔点．63．康托尔定理4：一个圆周上有A、B、C、D、E五点及M、N、L三点，则M、N、L三点关于四边形BCDE、CDEA、DEAB、EABC中的每一个康托尔点在一条直线上．这条直线叫做M、N、L三点关于五边形A、B、C、D、E的康托尔线．64．费尔巴赫定理：三角形的九点圆与内切圆和旁切圆相切．65．莫利定理：将三角形的三个内角三等分，靠近某边的两条三分角线相得到一个交点，则这样的三个交点可以构成一个正三角形．这个三角形常被称作莫利正三角形．66．布利安松定理：连结外切于圆的六边形ABCDEF相对的顶点A和D、B和E、C和F，则这三线共点．67．帕斯卡（Paskal）定理：圆内接六边形ABCDEF相对的边AB和DE、BC和EF、CD和FA的（或延长线的）交点共线．68．阿波罗尼斯（Apollonius）定理：到两定点A、B的距离之比为定比m：n（值不为1）的点P，位于将线段AB 分成m：n的内分点C和外分点D为直径两端点的定圆周上．这个圆称为阿波罗尼斯圆．69．库立奇*大上定理：（圆内接四边形的九点圆）圆周上有四点，过其中任三点作三角形，这四个三角形的九点圆圆心都在同一圆周上，我们把过这四个九点圆圆心的圆叫做圆内接四边形的九点圆．70．密格尔（Miquel）点：若AE、AF、ED、FB四条直线相交于A、B、C、D、E、F六点，构成四个三角形，它们是△ABF 、△AED 、△BCE 、△DCF ，则这四个三角形的外接圆共点，这个点称为密格尔点．71． 葛尔刚（Gergonne ）点：△ABC 的内切圆分别切边AB 、BC 、CA 于点D 、E 、F ，则AE 、BF 、CD 三线共点，这个点称为葛尔刚点．72． 欧拉关于垂足三角形的面积公式：O 是三角形的外心，M 是三角形中的任意一点，过M 向三边作垂线，三个垂足形成的三角形的面积，其公式： 222ABC D 4||R d R S S EF -=∆∆．斯特瓦尔特定理斯特瓦尔特(stewart)定理设已知△ABC及其底边上B、C两点间的一点D，则有AB^2·DC+AC^2·BD-AD^2·BC＝BC·DC·BD。