高中数学竞赛定理

1、重 心 定义：重心是三角形三边中线的交点， 可用燕尾定理证明，十分简单。证明过程又是塞瓦定理的特例。 已知：ABC中，D为BC中点，E为AC中点，AD与BE交于O，CO延长线交AB于F。求证：F为AB中点。 证明：根据燕尾定理，SAOB=SAOC，又SAOB=SBOC，SAOC=SBOC，再应用燕尾定理即得AF=BF，命题得证。 重心的性质： 1、重心到顶点的距离与重心到对边中点的距离之比为2：1。 2、重心和三角形3个顶点组成的3个三角形面积相等。 3、重心到三角形3个顶点距离的平方和最小。 4、三角形内到三边距离之积最大的点。 5、在平面直角坐标系中，重心的坐标是顶点坐标的算术平均，即其坐

2、标为()/3,()/3)；空间直角坐标系横坐标：()/3 纵坐标：()/3 竖坐标：（）/3 外 心 定义：外心是三角形三条边的垂直平分线的交点，即外接圆的圆心。 外心定理：三角形的三边的垂直平分线交于一点，该点叫做三角形的外心。 外心性质：三角形的外心是三边中垂线的交点,且这点到三角形三顶点的距离相等。 设,分别是三角形三个顶点连向另外两个顶点向量的数量积 =，=，=；c=+ 重心坐标：( (）/2c，()/2c，()/2c ) 垂 心 定义：三角形的三条高的交点叫做三角形的垂心。 性质： 锐角三角形垂心在三角形内部 直角三角形垂心在三角形直角顶点 钝角三角形垂心在三角形外部设,分别是三角形

3、三个顶点连向另外两个顶点向量的数量积。 =，=，=；c=+垂心坐标：( /c，/c，/c ) 九点圆 三角形三边的中点,三高的垂足和三个欧拉点连结三角形各顶点与垂心所得三线段的中点九点共圆，这个圆为九点圆 或欧拉圆 或 费尔巴哈圆. ） 九点圆性质： 1.三角形的九点圆的半径是三角形的外接圆半径之半; 即：=2：1 2.九点圆的圆心在欧拉线上,且恰为垂心与外心连线的中点; 3.三角形的九点圆与三角形的内切圆,三个旁切圆均相切设,分别是三角形三个顶点连向另外两个顶点向量的数量积=，=，=；c=+垂心坐标：( ()/4c，()/4c，()/4c )欧拉线 定义：三角形的外心、重心、九点圆圆心、垂心

4、，依次位于同一直线上，这条直线就叫三角形的欧拉线。 欧拉线定理：三角形的重心在欧拉线上，即三角形的重心、垂心和外心共线。欧拉线的性质： 1、在任意三角形中，以上四点共线。 2、欧拉线上的四点中，九点圆圆心到垂心和外心的距离相等，而且重心到外心的距离是重心到垂心距离的一半。欧拉线的证法1如图 作ABC的外接圆，连结并延长BO，交外接圆于点D。连结AD、CD、AH、CH、OH。作中线AM，设AM交OH于点G BD是直径 BAD、BCD是直角 ADAB，DCBC CHAB，AHBC DA/CH，DC/AH 四边形ADCH是平行四边形 AH=DC M是BC的中点，O是BD的中点 OM= DC OM=

5、AH OM/AH OMG HAG = G是ABC的重心 G与G重合 O、G、H三点在同一条直线上 欧拉线的证法2 如图 设H,G,O,分别为ABC的垂心、重心、外心。连接AG并延长交BC于D, 则可知D为BC中点。 连接OD O为外心ODBC连接AH并延长交BC于EH为垂心 AEBCOD/AE，有ODA=EAD。由于G为重心，则GA:GD=2:1。 连接CG并延长交BA于F则可知F为AB中点同理，OF/CMOFC=MCF 连接FDFD/AC,DF:AC=1:2DFC=FCA，FDA=CAD又OFC=MCF，ODA=EAD相减可得 OFD=HCA,ODF=EACOFDHCAOD:HA=DF:AC

6、=1:2又GA:GD=2:1OD:HA=GA:GD=2:1 又ODA=EADOGDHGAOGD=AGH又连接AG并延长AGH+DGH=180°OGD+DGH=180°即O、G、H三点共线欧拉线的证法3 设H,G,O,分别为ABC的垂心、重心、外心. 则OH=OA+OB+OC OG=（OA+OB+OC）/3， 3 ×OG=OH O、G、H三点共线 (注：OH, OA, OB , OC ,OG 均为向量）费马点 定义：在一个三角形中，到3个顶点距离之和最小的点叫做这个三角形的费马点。费马点的判定 （1）对于任意三角形ABC，若三角形内或三角形上某一点E,若EA+EB+

7、EC有最小值,则E为费马点。 （2）如果三角形有一个内角大于或等于120°，这个内角的顶点就是费马点；如果3个内角均小于120°，则在三角形内部对3边张角均为120°的点，是三角形的费马点。费马点性质： （1）平面内一点P到ABC三顶点的之和为PA+PB+PC，当点P为费马点时，距离之和最小。 （2）.特殊三角形中，三内角皆小于120°的三角形，分别以 AB,BC,CA，为边，向三角形外侧做正三角形ABC1,ACB1,BCA1,然后连接AA1,BB1,CC1,则三线交于一点P,则点P就是所求的费马点. (3).特殊三角形中，若三角形有一内角大于或等于12

8、0度,则此钝角的顶点就是费马点 (4)特殊三角形中，当ABC为等边三角形时,此时外心与费马点重合证明(1)费马点对边的张角为120度 在和中 BC=,BA=,=B+=, 和是全等三角形 PCB= 同理可得CBP= 由+=，得PCB+CBP=, CPB= 同理,APB=，APC= (2) PA+PB+PC= 将BPC以点B为旋转中心旋转与重合，连结PD，则PDB为等边三角形 BPD= 又BPA= 因此A、P、D三点在同一直线上 又CPB=，PDB=，= A、P、D、四点在同一直线上故PA+PB+PC=(3) PA+PB+PC最短 在ABC内任意取一点M（不与点P重合），连结AM、BM、CM，将B

9、MC以点B为旋转中心旋转与重合，连结AM、GM、(同上)，则<A1G+GM+MA=AM+BM+CM.所以费马点到三个顶点A、B、C的距离最短。 梅涅劳斯定理 内容：如果一条直线与ABC的三边AB、BC、CA或其延长线交于F、D、E点，那么××=1。 或 设X、Y、Z分别在ABC的BC、CA、AB所在直线上，则X、Y、Z共线的充要条件是××=1证明一：如图 过点A作AGBC交DF的延长线于G,则= ,= , =。 三式相乘得：××=××=1证明二： 过点C作CPDF交AB于P，则=，= ××

10、=××=1 它的逆定理也成立：若有三点F、D、E分别在ABC的边AB、BC、CA或其延长线上，且满足××=1，则F、D、E三点共线。利用这个逆定理，可以判断三点共线。证明三：过ABC三点向三边引垂线AA'BB'CC'， AD：DB=AA'：BB'， BE：EC=BB'：CC'， CF：FA=CC'：AA' ××=1在ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点，又分比是=BL/LC、=CM/MA、=AN/NB。于是L、M、N三点共线的充要条件是=1

11、。第一角元形式的梅涅劳斯定理 如图：若E，F，D三点共线，则××=1即图中的蓝角正弦值之积等于红角正弦值之积 第二角元形式的梅涅劳斯定理在平面上任取一点O，且EDF共线，则××=1。(O不与点A、B、C重合)塞瓦定理内容:在ABC内任取一点O直线AO、BO、CO分别交对边于D、E、F，则 (BD/DC)*(CE/EA)*(AF/FB)=1 证法:（）本题可利用梅涅劳斯定理证明： ADC被直线BOE所截 (CB/BD)*(DO/OA)*(AE/EC)=1 而由ABD被直线COF所截 (BC/CD)*(DO/OA)*(AF/FB)=1 ÷:即得：

12、(BD/DC)*(CE/EA)*(AF/FB)=1 （）也可以利用面积关系证明 BD/DC=SABD/SACD=SBOD/SCOD =(SABD-SBOD)/(SACD-SCOD)=SAOB/SAOC 同理 CE/EA=SBOC/ SAOB AF/FB=SAOC/SBOC ××得BD/DC*CE/EA*AF/FB=1 利用塞瓦定理证明三角形三条高线必交于一点: 设三边AB、BC、AC的垂足分别为D、E、F， 根据塞瓦定理逆定理，(AD:DB)*(BE:EC)*(CF:FA)=(CD*ctgA）/(CD*ctgB）*(AE*ctgB)/(AE*ctgC)*(BF*ctgC)/

13、(BF*ctgA)=1，三条高CD、AE、BF交于一点。 可用塞瓦定理证明的其他定理; 三角形三条中线交于一点（重心）:如图5 D , E分别为BC , AC 中点 BD=DC AE=EC 所以BD/DC=1 CE/EA=1 AF=BF AF/FB=1 AF=FB 三角形三条中线交于一点 可用定比分点来定义塞瓦定理： 在ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点，又分比是=BL/LC、=CM/MA、=AN/NB。于是AL、BM、CN三线交于一点的充要条件是=1。塞瓦定理推论: 1.设E是ABD内任意一点，AE、BE、DE分别交对边于C、G、F， 则(BD/BC)*(CE/AE

14、)*(GA/DG)=1 (BC/CD)*(DG/GA)*(AF/FB)=1，（塞瓦定理） (BD/CD)*(CE/AE)*(AF/FB)=K（K为未知参数）且(BD/BC)*(CE/AE)*(GA/DG)=K（K为未知参数） 又由梅涅劳斯定理得：(BD/CD)*(CE/AE)*(AF/FB)=1 (BD/BC)*(CE/AE)*(GA/DG)=1 2.塞瓦定理角元形式 AD,BE,CF交于一点的充分必要条件是 (sinBAD/sinDAC)*(sinACF/sinFCB)*(sinCBE/sinEBA)=1 由正弦定理及三角形面积公式易证 3.如图，对于圆周上顺次6点A,B,C,D,E,F，直

15、线AD,BE,CF交于一点的充分必要条件是： (AB/BC)*(CD/DE)*(EF/FA)=1 由塞瓦定理的角元形式，正弦定理及圆弦长与所对圆周角关系易证 4.还能利用塞瓦定理证三角形三条高交于一点 设三边AB、BC、AC的垂足分别为D、E、F， 根据塞瓦定理逆定 理，(AD:DB)*(BE:EC)*(CF:FA)=(CD*ctgA/(CD*ctgB）*(AE*ctgB)/(AE*ctgC)*(BF*ctgC)/(AE*ctgB)=1， 三条高CD、AE、BF交于一点。燕尾定理 燕尾定理，因此图类似燕尾而得名，是一个关于三角形的定理（如图ABC，D、E、F为BC、CA、AB 上的点，AD、B

16、E、CF 交于O点） SABC中，SAOB：SAOC=SBDO：SCDO=BD：CD 同理，SAOC：SBOC=SAFO：SBFO=AF：BF SBOC：SBOA=SCEO：SAEO=EC：EA证法1 下面的是第一种方法：相似三角形法 已知：ABC的两条中线AD、CF相交于点O，连接并延长BO，交AC于点E。 求证：AE=CE 证明：如图1，过点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 P

17、QAB CPOCBF，CQOCAF PO：BF=CO：CF，QO：AF=CO：CF PO：BF=QO：AF CF是ABC的一条中线 AF=BF PO=QO MO=NO，MOP=NOQ，PO=QO MOPNOQ(SAS) MPO=NQO MPAC（内错角相等，两条直线平行） BMRBAE（R为MP与BO的交点），BPRBCE MR：AE=BR：BE，PR：CE=BR：BE MR：AE=PR：CE MNBC，PQAB 四边形BMOP是平行四边形 MR=PR（平行四边形的对角线互相平分） AE=CE 命题得证。 证法2 下面的是第二种方法：面积法 已知：ABC的两条中线AD、CF相交于点O，连接并延

18、长BO，交AC于点E。 求证：AE=CE 证明：如图2 点D是BC的中点，点F是AB的中点 SCAD = SBAD，SCOD = SBOD SCAD - SCOD = SBAD - SBOD 即SAOC = SAOB SACF = SBCF，SAOF = SBOF SACF - SAOF = SBCF - SBOF 即SAOC = SBOC SAOB = SBOC SAOE:SAOB=OE:OB,SCOE:SBOC=OE:OB SAOE:SAOB= SCOE:SBOC SAOB = SBOC SAOE = SCOE AE=CE 命题得证。 证法3 下面的是第三种方法：中位线法 已知：ABC的两

19、条中线AD、CF相交于点O，连接并延长BO，交AC于点E。 求证：AE=CE 证明：如图2，延长OE到点G，使OG=OB OG=OB 点O是BG的中点 又点D是BC的中点 OD是BGC的一条中位线 ADCG（三角形的中位线平行于第三边，且等于第三边的一半） 点O是BG的中点，点F是AB的中点 OF是BGA的一条中位线 CFAG ADCG，CFAG 四边形AOCG是平行四边形 AC、OG互相平分 AE=CE 命题得证。 证法四： 因为ABCO是凹四边形，根据共边比例定理，命题得证托勒密定理 定理的内容：圆内接四边形中，两条对角线的乘积(两对角线所包矩形的面积)等于两组对边乘积之和(一组对边所包矩

20、形的面积与另一组对边所包矩形的面积之和) 证明 一、（以下是推论的证明，托勒密定理可视作特殊情况。） 在任意四边形ABCD中，作ABE使BAE=CAD ABE= ACD ABEACD BE/CD=AB/AC,即BE·AC=AB·CD (1) 而BAC=DAE，ACB=ADE ABCAED相似. BC/ED=AC/AD即ED·AC=BC·AD (2) (1)+(2),得 AC(BE+ED)=AB·CD+AD·BC 又BE+EDBD （仅在四边形ABCD是某圆的内接四边形时，等号成立，即“托勒密定理”） 命题得证 复数证明 用a、b、c、

21、d分别表示四边形顶点A、B、C、D的复数，则AB、CD、AD、BC、AC、BD的长度分别是：(a-b)、(c-d)、(a-d)、(b-c)、(a-c)、(b-d) 。 首先注意到复数恒等式： (a b)(c d) + (a d)(b c) = (a c)(b d) ，两边取模，运用三角不等式得。 等号成立的条件是(a-b)(c-d)与(a-d)(b-c)的辐角相等，这与A、B、C、D四点共圆等价。 四点不限于同一平面。 平面上，托勒密不等式是三角不等式的反演形式。 二、 设ABCD是圆内接四边形。 在弦BC上，圆周角BAC = BDC，而在AB上，ADB = ACB。 在AC上取一点K，使得A

22、BK = CBD； ABK + CBK = ABC = CBD + ABD，所以CBK = ABD。 因此ABK与DBC相似 同理也有ABD KBC 因此AK/AB = CD/BD，且CK/BC = DA/BD 因此AK·BD = AB·CD，且CK·BD = BC·DA 两式相加，得(AK+CK)·BD = AB·CD + BC·DA 但AK+CK = AC，因此AC·BD = AB·CD + BC·DA。证毕 三、已知：圆内接四边形ABCD 求证：AC·BDAB·CDAD

23、·BC 证明：如图，过C作CP交BD于P，使1=2，又3=4 ACDBCP AC：BC=AD：BP，AC·BP=AD·BC 又ACB=DCP，5=6， ACBDCP AC：CD=AB：DP，AC·DP=AB·CD 得 AC(BPDP)=AB·CDAD·BC 即AC·BD=AB·CDAD·BC推论 1.任意凸四边形ABCD，必有AC·BDAB·CD+AD·BC，当且仅当ABCD四点共圆时取等号。 2.托勒密定理的逆定理同样成立：一个凸四边形两对对边乘积的和等于两条对角

24、线的乘积，则这个凸四边形内接于一圆推广 托勒密不等式：四边形的任两组对边乘积不小于另外一组对边的乘积，取等号当且仅当共圆或共线。 简单的证明：复数恒等式：(a-b)(c-d)+(a-d)(b-c)=(a-c)(b-d)，两边取模， 得不等式AC·BD|(a-b)(c-d)|+|(b-c)(a-d)|=AB·CD+BC·AD 注意： 1.等号成立的条件是(a-b)(c-d)与(a-d)(b-c)的辐角相等，这与A、B、C、D四点共圆等价。 2.四点不限于同一平面。 西姆松定理 西姆松定理：过三角形外接圆上异于三角形顶点的任意一点作三边的垂线，则三垂足共线（此线常称为西姆松线）。 西姆松逆定理：若一点在三角形三边所在直线上的射影共线，则该点在此三角形的外接圆上。 性质： （1）称三角形的垂心为H。西