《竞赛数学知识点.docVIP

四点共圆(圆内接四边形)的性质：（1）同弧所对的圆周角相等；（2）圆内接四边形的对角互补，外角等于其内对角；（3）圆幂定理；（4）托勒密定理Ptolemy；（5）弦切角定理。 四点共圆的判定： 　　1把四个点连成共底边的两个三角形，且两三角形都在这底边的同侧，证明其顶角相等（同弧所对的圆周角相等）。 　　2把四点连成四边形，证明其对角互补或一个外角等于其内对角。 3把四点连成相交的两条线段，证明它们各自被交点分成的两线段之积相等；或把四点两两连结并延长相交的两线段，证明自交点至一线段两个端点所成的两线段之积等于自交点至另一线段两端点所成的两线段之积。 4根据托勒密定理的逆定理。 (性质和判定的前4条互为逆定理) 5从四点中先选出三点作一圆，然后证另一点也在这个圆上。(反证法) 6证被证共圆的点到某一定点的距离都相等，从而确定它们共圆。即连成的四边形三边中垂线有交点，即可肯定这四点共圆。 7同斜边的两个直角三角形的四个顶点共圆，其斜边为圆的直径。 直角三角形中线定理：直角三角形斜边的中线长等于斜边的一半。 (逆定理也成立) 射影定理：RT△ABC中，CD是斜边上的高，则CD2=AD·DB；AC2=AD·AB；BC2=BD·BA。 三角形角平分线定理：三角形中角的平分线将对边所分成的两部分和两邻边成比例(反之也成立)。三角形的外角平分线也有类似性质。设AD、AE是∠A及外角的平分线，则有AB/AC=BD/DC=BE/EC。 弦切角定理：弦切角等于它所夹弧所对的圆周角；反之也成立(可用于证明切线)。 圆外切四边形定理：圆外切四边形两组对边的和相等；反之也成立。 斯特沃特定理(Stewart)：如下图，设BD=p，DC=q，则 在△ABD和△ABC中，运用余弦定理cosB相等可证。该定理可得以下结论： 当AD是中线时，p=q=，得中线长公式 ； 当AD是内角平分线时，，其中； 当AD是高时，，其中 ，即海伦公式。 梅涅劳斯定理（Menelaus，简称梅氏定理）：设X、Y、Z分别是△ABC的边BC、CA、AB或其延长线上的点(其中有奇数个点在边的延长线上)，则X、Y、Z三点共线的充要条件是 (AZ/ZB)*(BX/XC)*(CY/YA)=1 。 (此线称为梅氏线) 塞瓦定理（Ceva）：设X、Y、Z分别是△ABC的边BC、CA、AB或其延长线上的点(其中有偶数个点在边的延长线上)，则AX、BY、CZ三线共点的充要条件是 (AZ/ZB)*(BX/XC)*(CY/YA)=1 。(此点称为塞瓦点，可用梅涅劳斯定理或面积方法证明) 塞瓦定理推论 　　1.设E是△ABD内任意一点，AE、BE、DE分别交对边于C、G、F，则(BD/BC)·(CE/AE)·(GA/DG)=1。 　　2.塞瓦定理角元形式：AD、BE、CF交于一点的充分必要条件是： (sin∠BAD/sin∠DAC)*(sin∠ACF/sin∠FCB)*(sin∠CBE/sin∠EBA)=1。 3.对于圆周上顺次6点A、B、C、D、E、F，直线AD、BE、CF交于一点的充分必要条件是：(AB/BC)*(CD/DE)*(EF/FA)=1。 托勒密定理(Ptolemy)：圆的内接凸四边形两对对边乘积的和等于两条对角线的乘积。托勒密定理的逆定理同样成立：若凸四边形两对对边乘积的和等于两条对角线的乘积，则该四边形内接于圆。 广义托勒密定理：设四边形ABCD四边长分别为a,b,c,d,两条对角线长分别为m,n， 则有： 　　m2*n2=a2*c2+b2*d2-2abcd*cos(A+C) 欧拉定理：在一条线段上AD上，顺次标有B、C两点，则AD·BC+AB·CD=AC·BD。 西姆松定理(Simson)：过△ABC外异于顶点的任意一点P作三边的垂线，则三垂足X、Y、Z共线的充要条件是四边形PABC内接于圆。 (此线称为三角形关于P点的西姆松线) 相关的结果:（1）设三角形的垂心为H，则西姆松线和PH的交点为线段PH的中点，且这点在九点圆上；（2）两点的西姆松线的交角等于该两点的圆周角；（3）若两个三角形的外接圆相同，这外接圆上的一点P对应两者的西姆松线的交角，跟P的位置无关。 欧拉定理(Euler)：设△ABC的外心、重心、垂心分别为O、G、H，则该三点共线且OG=GH/2(重心分垂心和外心的连线段为2：1)。这条直线叫三角形的欧拉线，且九点圆圆心也在该线上，即四点共线，九点圆圆心到垂心和外心的距离相等。 ?? 利用向量证明，设D为BC边上的中点，则，向量 ； ，∴， ； 　　∴，　　∴O、G、H三点共线且。 欧拉公式：设三角形的外接圆和内切圆半径分别为R和r，则外心与内心的距离为： . (用p.9内心性质②可证) 九点圆