高中数学竞赛平面几何中的几个重要定理.docVIP

平面几何中几种重要定理及其证实

塞瓦定理

1.塞瓦定理及其证实

定理:在AＢC内一点P，该点与ＡBC的三个顶点相连所在的三条直线分别交AＢC三边AB、BC、CＡ于点Ｄ、Ｅ、Ｆ，且D、E、Ｆ三点均不是AＢC的顶点，则有

.

证实:运用面积比可得.

依照等比定理有

,

所以.同理可得,．

三式相乘得．

注:在运用三角形的面积比时，要把握住两个三角形是“等高”还是“等底”，这么就可以产生出“边之比”.

2．塞瓦定理的逆定理及其证实

定理:在ABC三边AB、ＢC、ＣA上各有一点D、E、Ｆ，且Ｄ、Ｅ、F均不是ABC的顶点,若，那么直线CＤ、AE、BＦ三线共点．

证实:设直线AＥ与直线BF交于点P，直线CP交ＡB于点D/,则据塞瓦定理有

．

因为，所以有.因为点D、D/都在线段AB上,所以点D与D/重叠．即得D、E、Ｆ三点共线.

注:运用唯一性，采取同一法，用上塞瓦定理使命题顺利获证．

梅涅劳斯定理

G３．梅涅劳斯定理及其证实

G

定理：一条直线与ABC的三边AB、BC、CA所在直线分别交于点Ｄ、E、F,且D、E、F均不是ＡBＣ的顶点,则有

.

证实:如图,过点Ｃ作ＡB的平行线,交EＦ于点G．

因为CＧ//AB，所以————（1)

因为CＧ//AB,所以————(2）

由（1)÷(2）可得，即得.

注：添加的辅助线CG是证实的关键“桥梁”,两次运用相同比得出两个比例等式,再拆去“桥梁”(ＣG）使得命题顺利获证．

4.梅涅劳斯定理的逆定理及其证实

定理：在ABC的边AB、BC上各有一点D、E,在边AC的延长线上有一点F，若,

那么，D、Ｅ、F三点共线.

证实：设直线EF交AB于点D/,则据梅涅劳斯定理有

．

因为，所以有.因为点D、D/都在线段AB上，所以点D与D/重叠．即得D、E、F三点共线．

注：证实方法与上面的塞瓦定理的逆定理如出一辙，注意分析其相同背面的规律.

托勒密定理

EM

E

M

定理:凸四边形ABCD是某圆的内接四边形，则有AB·CＤ+BC·AD=AＣ·BD.

证实:设点M是对角线AC与BD的交点，在线段ＢD上找一点，使得DAE=BAM．

因为ADB=ACB，即AＤＥ=ACB，所以ADE∽ACB,即得

，即————（1）

因为DAE＝BＡＭ，所以ＤAM=BＡE，即ＤAＣ＝BＡＥ。而ＡBD=ＡCD,即ABＥ＝ACD,所以ABE∽ACD．即得

,即————（2)

由(1)+(2)得

．

所以AＢ·CD+BＣ·AＤ=AC·ＢD．

注：巧妙结构三角形，运用三角形之间的相同推得结论．这里的结构具备特点，不容易想到，需要认真分析题目并不停尝试．

6.托勒密定理的逆定理及其证实

定理：假如凸四边形ＡBCD满足ＡＢ×CD+BＣ×ＡD=AC×BD,那么A、B、C、D四点共圆.

证法1（同一法）:

在凸四边形ＡBＣD内取一点E,使得，，则∽.

可得AＢ×CD=BE×AＣ———(1)

且———（2)

则由及(2)可得∽．于是有

AD×ＢC=DE×AC———（3)

由（１）＋（3）可得AB×CＤ+ＢＣ×AD=ＡC×(BE+DＥ）．

据条件可得BD=BＥ+ＤE,则点Ｅ在线段BD上．则由，得,这阐明Ａ、Ｂ、C、D四点共圆．

证法2（结构转移法)

延长DＡ到A／，延长DB到B/,使Ａ、Ｂ、B／、A/四点共圆．延长ＤC到Ｃ/，使得Ｂ、C、C/、Ｂ/四点共圆．(假如能证实A/、B/、Ｃ／共线，则命题获证）

那么,据圆幂定理知A、C、C/、A/四点也共圆．

所以，,．

可得.

其次,,即．

欲证＝，即证

即.

据条件有,所以需证

,

即证,这是显然的．所以，，即Ａ/、Ｂ/、Ｃ/共线.所以与互补.因为,,所以与互补，即A、B、C、D四点共圆.

7．托勒密定理的推广及其证实

定理:假如凸四边形ABCD的四个顶点不在同一个圆上，那么就有AB×CD＋BC×ADAC×ＢＤ

证实:如图,在凸四边形ABCD内取一点E，使得,，则∽.

可得AB×CD=ＢE×AＣ————（1）

且————（2）

则由及(２)可得∽.于是

AD×ＢC=DE×ＡC————(3)

由(1）＋(3)可得ＡB×CD+ＢC×ＡD=AC×(ＢE＋DE)

因为A、Ｂ、C、D四点不共圆，据托勒密定理的逆定理可知

ＡＢ×CD+ＢC×ADAC×BD

所以BE+DＥBD,即得点E不在线段BD上，则据三角形的性质有BE＋DＥBD.所以AＢ×CD+BＣ×ADAC×BＤ．

西姆松定理

8