平面几何基本定理及平面几何定理公理总结.doc

一．平面几何 勾股定理（毕达哥拉斯定理）（广义勾股定理）(1)锐角对边的平方，等于其他两边之平方和，减去这两边中的一边和另一边在这边上的射影乘积的两倍．　(2)钝角对边的平方等于其他两边的平方和，加上这两边中的一边与另一边在这边上的射影乘积的两倍． 射影定理（欧几里得定理） 中线定理（巴布斯定理）设△ABC的边BC的中点为P，则有； 中线长： 垂线定理： 高线长： 角平分线定理：三角形一个角的平分线分对边所成的两条线段与这个角的两边对应成比例．如△ABC中，AD平分∠BAC，则；（外角平分线定理） 角平分线长：（其中为周长一半） 正弦定理：，（其中为三角形外接圆半径） 余弦定理： 张角定理： 斯特瓦尔特(Stewart)定理：设已知△ABC及其底边上B、C两点间的一点D，则有AB2·DC+AC2·BD－AD2·BC＝BC·DC·BD 圆周角定理：同弧所对的圆周角相等，等于圆心角的一半．（圆外角如何转化？） 弦切角定理：弦切角等于夹弧所对的圆周角 圆幂定理：（相交弦定理：垂径定理：切割线定理（割线定理）：切线长定理：） 布拉美古塔（Brahmagupta）定理： 在圆内接四边形ABCD中，AC⊥BD，自对角线的交点P向一边作垂线，其延长线必平分对边 点到圆的幂：设P为⊙O所在平面上任意一点，PO=d，⊙O的半径为r，则d2－r2就是点P对于⊙O的幂．过P任作一直线与⊙O交于点A、B，则PA·PB= |d2－r2|．“到两圆等幂的点的轨迹是与此二圆的连心线垂直的一条直线，如果此二圆相交，则该轨迹是此二圆的公共弦所在直线”这个结论．这条直线称为两圆的“根轴”．三个圆两两的根轴如果不互相平行，则它们交于一点，这一点称为三圆的“根心”．三个圆的根心对于三个圆等幂．当三个圆两两相交时，三条公共弦(就是两两的根轴)所在直线交于一点． 托勒密（Ptolemy）定理：圆内接四边形对角线之积等于两组对边乘积之和，即AC·BD=AB·CD+AD·BC，(逆命题成立) ．（广义托勒密定理）AB·CD+AD·BC≥AC·BD 蝴蝶定理：AB是⊙O的弦，M是其中点，弦CD、EF经过点M，CF、DE交AB于P、Q，求证：MP=QM． 费马点：定理1等边三角形外接圆上一点，到该三角形较近两顶点距离之和等于到另一顶点的距离；不在等边三角形外接圆上的点，到该三角形两顶点距离之和大于到另一点的距离．定理2 三角形每一内角都小于120°时，在三角形内必存在一点，它对三条边所张的角都是120°，该点到三顶点距离和达到最小，称为“费马点”，当三角形有一内角不小于120°时，此角的顶点即为费马点 拿破仑三角形：在任意△ABC的外侧，分别作等边△ABD、△BCE、△CAF，则AE、AB、CD三线共点，并且AE＝BF＝CD，这个命题称为拿破仑定理． 以△ABC的三条边分别向外作等边△ABD、△BCE、△CAF，它们的外接圆⊙C1 、⊙A1 、⊙B1的圆心构成的△——外拿破仑的三角形，⊙C1 、⊙A1 、⊙B1三圆共点，外拿破仑三角形是一个等边三角形；△ABC的三条边分别向△ABC的内侧作等边△ABD、△BCE、△CAF，它们的外接圆⊙C2 、⊙A2 、⊙B2的圆心构成的△——内拿破仑三角形，⊙C2 、⊙A2 、⊙B2三圆共点，内拿破仑三角形也是一个等边三角形．这两个拿破仑三角形还具有相同的中心 九点圆（Nine point round或欧拉圆或费尔巴赫圆）：三角形中，三边中心、从各顶点向其对边所引垂线的垂足，以及垂心与各顶点连线的中点，这九个点在同一个圆上，九点圆具有许多有趣的性质,例如: （1）三角形的九点圆的半径是三角形的外接圆半径之半 （2）九点圆的圆心在欧拉线上,且恰为垂心与外心连线的中点 （3）三角形的九点圆与三角形的内切圆,三个旁切圆均相切〔费尔巴哈定理〕 欧拉（Euler）线：三角形的外心、重心、九点圆圆心、垂心依次位于同一直线（欧拉线）上． 欧拉（Euler）公式：设三角形的外接圆半径为R，内切圆半径为r，外心与内心的距离为d，则d2=R2－2Rr． 锐角三角形的外接圆半径与内切圆半径的和等于外心到各边距离的和． 重心：三角形的三条中线交于一点，并且各中线被这个点分成2：1的两部分； 重心性质：（1）设G为△ABC的重心，连结AG并延长交BC于D，则D为BC的中点，则； （2）设G为△ABC的重心，则 （3）设G为△ABC的重心，过G作DE∥BC交AB于D，交AC于E，过G作PF∥AC交AB于P，交BC于F，过G作HK∥AB交AC于K，交BC于H，则（4）设G为△ABC的重心，则 （P为△ABC内任意一点）； ④到三角形三顶点距离的平方和最小的点是重心，即最小； ⑤三角形内到三边距离之积最大的点是重心；反之亦然（即满足上述条件之一，则G为△AB