下载文档原格式
B平面几何中的四个重要定理梅涅劳斯(Menelaus)定理（梅氏线）△ABC 的三边BC 、CA 、AB 或其延长线上有点P 、Q 、R ，则P 、Q 、R 共线的充要条件是1=⋅⋅RBARQA CQ PC BP 。
塞瓦(Ceva)定理（塞瓦点）△ABC 的三边BC 、CA 、AB 上有点P 、Q 、R ，则AP 、BQ 、CR 共点的充要条件是1=⋅⋅RBARQA CQ PC BP 。
托勒密(Ptolemy)定理四边形的两对边乘积之和等于其对角线乘积的充要条件是该四边形内接于一圆。
西姆松(Simson)从一点向三角形的三边所引垂线的垂足共线的充要条件是该点落在三角形的外接圆上。
例题：1、设AD 是△ABC 的边BC 上的中线，直线CF 交AD 于F 。
求证：FBAF 2ED AE =。
【分析】CEF 截△ABD→1FABFCB DC ED AE =⋅⋅（梅氏定理） 【评注】也可以添加辅助线证明：过A 、B 、D 之一作CF 的平行线。
2、过△ABC 的重心G 的直线分别交AB 、AC 于E 、F ，交CB 于D 。
求证：1FACFEA BE =+。
【分析】连结并延长AG 交BC 于M ，则M 为BC 的中点。
DEG 截△ABM→1DB MDGM AG EA BE =⋅⋅（梅氏定理） DGF 截△ACM→1DCMDGM AG FA CF =⋅⋅（梅氏定理）∴FA CF EA BE +=MDAG )DC DB (GM ⋅+⋅=MD GM 2MD 2GM ⋅⋅=1【评注】梅氏定理3、D 、E 、F 分别在△ABC 的BC 、CA 、AB 边上，λ===EACEFB AF DC BD ，AD 、BE 、CF 交成△LMN 。
求S △【分析】B【评注】梅氏定理4、以△ABC 各边为底边向外作相似的等腰△BCE 、△CAF 、△ABG 。
求证：AE 、BF 、CG 相交于一点。
【分析】【评注】塞瓦定理5、已知△ABC 中，∠B=2∠C 。
第十四讲托勒密定理和西姆松定理（一）托勒密定理：圆内接四边形两条对角线乘积等于对边乘积之和．逆定理：一个凸四边形的两组对边乘积的和等于其对角线的乘积，那么该四边形内接于一个圆（或者说该四边形的四个顶点共圆）广义定理：对于一般的四边形ABCD，有AB·CD+AD·BC≥AC·BD，当且仅当ABCD是圆内接四边形时等号成立．【例1】（1）证明托勒密定理及其逆定理．①四边形ABCD内接于圆，求证：AC·BD=AD·BC+AB·CD②四边形ABCD满足，AC·BD=AD·BC+AB·CD，求证：四边形ABCD是圆内接四边形．（2）如图，已知P为正△ABC外接圆»BC上一点.求证：P A=PB+PC．（3）等腰梯形一条对角线的平方，等于一腰的平方加上两底之积．已知梯形ABCD，AD=BC，AB∥CD．求证：BD2=BC2+AB·CD．【例2】（1）在△ABC中，已知∠A：∠B：∠C=1:2:4．求证：111 AB AC BC+=.（2）如图，已知圆的内接正五边形ABCDE，P为»BC上的一点，则P A+PD+PB=PE+PC．（3）若a、b、x、y是正实数，且a2+b2=1，x2+y2=1.求证：ab+by≤1.【例3】（1）凸四边形ABCD中，∠ABC=60°，∠BAD=∠BCD=90°，AB=2，CD=1，对角线AC、BD交于点O，如图，求sin∠AOB．（2）由△ABC外接圆的弧BC上一点分别向边BC、AC与AB作垂线PK、PL、PM．求证：BC AC AB PK PL PM=+．。
托勒密定理和西姆松定理一、托勒密定理圆内接四边形中，两条对角线的乘积(两对角线所包矩形的面积)等于两组对边乘积之和(一组对边所包矩形的面积与另一组对边所包矩形的面积之和)．即：设四边形ABCD 内接于圆，则有；分析可设法把AC·BD拆成两部分，如把AC写成AE+EC，这样，AC·BD就拆成了两部分：AE·BD及EC·BD，于是只要证明AE·BD=AD·BC及EC·BD=AB·CD即可．证明在AC上取点E，使∠ADE=∠BDC，由∠DAE=∠DBC，得⊿AED∽⊿BCD．∴AE∶BC=AD∶BD，即AE·BD=AD·BC．⑴又∠ADB=∠EDC，∠ABD=∠ECD，得⊿ABD∽⊿ECD．∴AB∶ED=BD∶CD，即EC·BD=AB·CD．⑵⑴+⑵，得AC·BD=AB·CD+AD·BC．说明本定理的证明给证明ab=cd+ef的问题提供了一个典范．定理：在四边形ABCD 中，有，并且当且仅当四边形ABCD内接于圆时，等式成立。
【解析】在四边形ABCD内取点E，使，则：相似，所以，又因为且，所以相似，所以，所以，且等号当且仅当E在BD上时成立，即当且仅当A、B、C、D四点共圆时成立。
1.1 直接应用托勒密定理1．如图所示，P是正△ABC 外接圆的劣弧上任一点(不与B、C重合)，求证：．CA BCDE【解析】：此题证法甚多，一般是截长、补短，构造全等三角形，均为繁冗．若借助托勒密定理论证，则有PA·BC=PB·AC＋PC·AB，∵AB=BC=AC．∴PA=PB+PC．1. 2 完善图形借助托勒密定理2．如图，在△ABC中，∠A的平分线交外接圆于D，连结BD，求证：AD·BC=BD(AB＋AC)．【解析】：连结CD，依托勒密定理，有AD·BC＝AB·CD＋AC·BD．∵∠1=∠2，∴BD=CD．故AD·BC=AB·BD＋AC·BD=BD(AB＋AC)．3．证明“勾股定理”：在Rt△ABC中，∠B=90°，求证：【解析】：如图，作以Rt△ABC的斜边AC为一对角线的矩形ABCD，显然ABCD是圆内接四边形．由托勒密定理，有AC·BD=AB·CD＋AD·BC．①，又∵ABCD是矩形，∴AB=CD，AD=BC，AC=BD．②把②代人①，得．1.3 构造图形借助托勒密定理4．若a、b、x、y是实数，且．求证：．【解析】：如图作直径AB=1的圆，在AB两边任作Rt△ACB和Rt△ADB，使AC＝a，BC=b，BD＝x，AD＝y．由勾股定理知a、b、x、y是满足题设条件的．据托勒密定理，有AC·BD＋BC·AD=AB·CD．∵．1.4 巧变原式妙构图形，借助托勒密定理5．已知a、b、c是△ABC的三边，且，求证：∠A=2∠B．分析：将变形为a·a=b·b＋bc，从而联想到托勒密定理，进而构造一个等腰梯形，使两腰为b，两对角线为a，一底边为c．【解析】：如图，作△ABC的外接圆，以A为圆心，BC为半径作弧交圆于D，连结BD、DC、DA．∵AD=BC，∴∠ABD=∠BAC．又∵∠BDA=∠ACB(对同弧)，∴∠1=∠2．于是，则依托勒密定理，有BC·AD=AB·CD＋BD·AC．①，而已知，即．②，比较○1○2得，，，∴∠BAC=2∠ABC ．1.5 巧变形 妙引线 借肋托勒密定理6． 设A 1A 2A 3…A 7是圆内接正七边形，求证：1A 1A 2=1A 1A 3+1A 1A 4．(1987年第二十一届全苏)分析 注意到题目中要证的是一些边长之间的关系，并且是圆内接多边形，当然存在圆内接四边形，从而可以考虑用Ptolemy 定理． 证明 连A 1A 5，A 3A 5，并设A 1A 2=a ，A 1A 3=b ，A 1A 4=c ．本题即证1a =1b +1c．在圆内接四边形A 1A 3A 4A 5中，有A 3A 4=A 4A 5=a ，A 1A 3=A 3A 5=b ，A 1A 4=A 1A 5=c ．于是有ab +ac =bc ，同除以abc ，即得1a =1b +1c说明 Ptolemy 定理揭示了圆内接四边形中线段关系，在数学中应用非常广泛． 7． 在△ABC 中，已知∠A ∶∠B ∶∠C=1∶2∶4，求证：。
初等几何五大ZB定理某日，燕尾模型讲毕，一六年级学霸级学生说，其可用燕尾模型证梅涅劳斯定理，大惊，问其如何得之，其说：一老师讲的。
六年级学生学梅涅劳斯定理，ZB大于实用。
既然学生感兴趣，咱就一装到底。
一、梅涅劳斯定理梅涅劳斯：古希腊数学家。
梅涅劳斯定理指的是：一条直线（红线）与一个三角形的三边或延长线相交，三角形的三个顶点按顺时针或逆时针方向，三条边顶点到交点的比值的积为1.其证明方法很多，相似三角形即可证明。
下面咱们用小学奥数的“燕尾模型”证明一下。
二、塞瓦定理塞瓦：意大利数学家、水利工程师，该定理于1678年发表于《直线论》一书。
塞瓦定理：可以简单记为三线共点的充要条件是：顺时针或逆时针的分线段的比值积为1.该定理可以用上面的梅涅劳斯定理证明。
三、斯坦纳定理斯坦纳：瑞士几何学家斯坦纳定理：两内角平分线相等的三角形必为等腰三角形。
早在2000多年前，《几何原本》就有定理：等腰三角形的两底角平分线的长相等。
可是它的逆定理书上却只字未提，估计作者也不会，呵呵。
直到1840年，莱默斯请求斯图姆给予纯几何证明，可斯图姆也不会，最后斯坦纳给出了证明，因此该定理也称作：斯坦纳——莱默斯定理。
现在很多高中生也能证明。
大家可以试试有没有难度。
四、托勒密定理托勒密定理:圆内接凸四边形的对边积的和等于对角线的积。
用相似可以证明五、西姆松定理西姆松定理：过三角形外接圆上异于三角形顶点的任意一点作三边所在直线垂线，则三垂足在一点直线上，这条直线我们称作西姆松线。
这些定理一般的中考都不考，一和四和中学的相似联系比较紧密，尽量掌握，培优课上可能会有，感兴趣的同学可以看看。
各种圆定理总结(包括托勒密定理、塞瓦定理、西姆松定理、梅涅劳斯定理、圆幂定理和四点共圆)-标准化文件发布号：（9556-EUATWK-MWUB-WUNN-INNUL-DDQTY-KII托勒密定理定理图定理的内容托勒密(Ptolemy)定理指出，圆的内接凸四边形两对对边乘积的和等于两条对角线的乘积。
原文：圆的内接四边形中，两对角线所包矩形的面积等于一组对边所包矩形的面积与另一组对边所包矩形的面积之和。
从这个定理可以推出正弦、余弦的和差公式及一系列的三角恒等式，托勒密定理实质上是关于共圆性的基本性质．定理的提出一般几何教科书中的“托勒密定理”，实出自依巴谷(Hipparchus)之手，托勒密只是从他的书中摘出。
证明一、（以下是推论的证明，托勒密定理可视作特殊情况。
）在任意四边形ABCD中，作△ABE使∠BAE=∠CAD ∠ABE=∠ ACD因为△ABE∽△ACD所以 BE/CD=AB/AC,即BE·AC=AB·CD (1)而∠BAC=∠DAE，，∠ACB=∠ADE所以△ABC∽△AED相似.BC/ED=AC/AD即ED·AC=BC·AD (2)(1)+(2),得AC(BE+ED)=AB·CD+AD·BC又因为BE+ED≥BD（仅在四边形ABCD是某圆的内接四边形时，等号成立，即“托勒密定理”）所以命题得证复数证明用a、b、c、d分别表示四边形顶点A、B、C、D的复数，则AB、CD、A D、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四点共圆等价。
四点不限于同一平面。
B平面几何中的四个重要定理梅涅劳斯(Menelaus)定理（梅氏线）△ABC 的三边BC 、CA 、AB 或其延长线上有点P 、Q 、R ，则P 、Q 、R 共线的充要条件是1=⋅⋅RBARQA CQ PC BP 。
塞瓦(Ceva)定理（塞瓦点）△ABC 的三边BC 、CA 、AB 上有点P 、Q 、R ，则AP 、BQ 、CR 共点的充要条件是1=⋅⋅RBARQA CQ PC BP 。
托勒密(Ptolemy)定理四边形的两对边乘积之和等于其对角线乘积的充要条件是该四边形内接于一圆。
西姆松(Simson)从一点向三角形的三边所引垂线的垂足共线的充要条件是该点落在三角形的外接圆上。
例题：1、设AD 是△ABC 的边BC 上的中线，直线CF 交AD 于F 。
求证：FBAF 2ED AE =。
【分析】CEF 截△ABD→1FABFCB DC ED AE =⋅⋅（梅氏定理） 【评注】也可以添加辅助线证明：过A 、B 、D 之一作CF 的平行线。
2、过△ABC 的重心G 的直线分别交AB 、AC 于E 、F ，交CB 于D 。
求证：1FACFEA BE =+。
【分析】连结并延长AG 交BC 于M ，则M 为BC 的中点。
DEG 截△ABM→1DB MDGM AG EA BE =⋅⋅（梅氏定理）DGF 截△ACM→1DCMDGM AG FA CF =⋅⋅（梅氏定理）∴FA CF EA BE +=MDAG )DC DB (GM ⋅+⋅=MD GM 2MD 2GM ⋅⋅=1【评注】梅氏定理3、D 、E 、F 分别在△ABC 的BC 、CA 、AB 边上，λ===EACEFB AF DC BD ，AD 、BE 、CF 交成△LMN 。
求S △【分析】【评注】梅氏定理4、以△ABC 各边为底边向外作相似的等腰△BCE 、△CAF 、△ABG 。
求证：AE 、BF 、CG 相交于一点。
【分析】【评注】塞瓦定理5、已知△ABC 中，∠B=2∠C 。
B平面几何中的四个重要定理梅涅劳斯(Menelaus)定理（梅氏线）△ABC 的三边BC 、CA 、AB 或其延长线上有点P 、Q 、R ，则P 、Q 、R 共线的充要条件是1=⋅⋅RBARQA CQ PC BP 。
塞瓦(Ceva)定理（塞瓦点）△ABC 的三边BC 、CA 、AB 上有点P 、Q 、R ，则AP 、BQ 、CR 共点的充要条件是1=⋅⋅RBARQA CQ PC BP 。
托勒密(Ptolemy)定理四边形的两对边乘积之和等于其对角线乘积的充要条件是该四边形内接于一圆。
西姆松(Simson)从一点向三角形的三边所引垂线的垂足共线的充要条件是该点落在三角形的外接圆上。
例题：1、设AD 是△ABC 的边BC 上的中线，直线CF 交AD 于F 。
求证：FBAF2ED AE =。
【分析】CEF 截△ABD→1FABFCB DC ED AE =⋅⋅（梅氏定理） 【评注】也可以添加辅助线证明：过A 、B 、D 之一作CF 的平行线。
2、过△ABC 的重心G 的直线分别交AB 、AC 于E 、F ，交CB 于D 。
求证：1FACFEA BE =+。
【分析】连结并延长AG 交BC 于M ，则M 为BC 的中点。
DEG 截△ABM→1DB MDGM AG EA BE =⋅⋅（梅氏定理）DGF 截△ACM→1DCMDGM AG FA CF =⋅⋅（梅氏定理）∴FA CF EA BE +=MD AG )DC DB (GM ⋅+⋅=MDGM 2MD 2GM ⋅⋅=1【评注】梅氏定理3、D 、E 、F 分别在△ABC 的BC 、CA 、AB 边上，λ===EACEFB AF DC BD ，AD 、BE 、CF 交成△LMN。
求S △LMN 。
【分析】【评注】梅氏定理BD4、以△ABC 各边为底边向外作相似的等腰△BCE、△CAF、△ABG。
求证：AE 、BF 、CG 相交于一点。
【分析】【评注】塞瓦定理5、已知△ABC 中，∠B=2∠C 。
托勒密定理定理图定理的内容托勒密(Ptolemy)定理指出，圆的内接凸四边形两对对边乘积的和等于两条对角线的乘积。
原文：圆的内接四边形中，两对角线所包矩形的面积等于一组对边所包矩形的面积与另一组对边所包矩形的面积之和。
从这个定理可以推出正弦、余弦的和差公式及一系列的三角恒等式，托勒密定理实质上是关于共圆性的基本性质．定理的提出一般几何教科书中的“定理”，实出自依巴谷(Hipparchus)之手，托勒密只是从他的书中摘出。
证明一、（以下是推论的证明，托勒密定理可视作特殊情况。
）在任意四边形ABCD中，作△ABE使∠BAE=∠CAD ∠ABE=∠ACD因为△ABE∽△ACD所以BE/CD=AB/AC,即BE·AC=AB·CD (1)而∠BAC=∠DAE，，∠ACB=∠ADE所以△ABC∽△AED相似.BC/ED=AC/AD即ED·AC=BC·AD (2)(1)+(2),得AC(BE+ED)=AB·CD+AD·BC又因为BE+ED≥BD（仅在四边形ABCD是某圆的内接四边形时，等号成立，即“托勒密定理”）所以命题得证复数证明用a、b、c、d分别表示四边形顶点A、B、C、D的复数，则AB、C D、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，使得∠ABK = ∠CBD；因为∠ABK + ∠CBK = ∠ABC = ∠CBD + ∠ABD，所以∠CBK = ∠ABD。
托勒密定理的多种证明及其应用例谈
作者：陶布
来源：《学校教育研究》2016年第03期
托勒密定理是初等几何的一个经典命题，它以具有十分广泛的应用而著称，托勒密定理描述的是圆内接四边形的性质，利用它可以解决与圆有关的几何命题，也可以通过构造圆解决代数问题，本文主要通过对托勒密定理的研究，从不同的角度给出了七种证法，并着重研究了托勒密定理的应用，以凸显托勒密定理在解决有关几何命题的作用。
一、托勒密定理及其证明
托勒密定理：圆内接四边形中，两条对角线的乘积等于两组对边乘积之和。
1.预备知识
引理一（西姆松定理）：三角形外接圆上任意一点在三边所在直线上的射影点共线。
引理二（西姆松定理的逆定理）：若一个点在三角形三边所在直线上的射影点共线，则该点在此
三角形的外接圆上。
托勒密定理定理图定理的内容托勒密(Ptolemy)定理指出，圆的内接凸四边形两对对边乘积的和等于两条对角线的乘积。
原文：圆的内接四边形中，两对角线所包矩形的面积等于一组对边所包矩形的面积与另一组对边所包矩形的面积之和。
从这个定理可以推出正弦、余弦的和差公式及一系列的三角恒等式，托勒密定理实质上是关于共圆性的基本性质．定理的提出一般几何教科书中的“托勒密定理”，实出自依巴谷(Hipparchus)之手，托勒密只是从他的书中摘出。
证明一、（以下是推论的证明，托勒密定理可视作特殊情况。
）在任意四边形ABCD中，作△ABE使∠BAE=∠CAD ∠ABE=∠ACD因为△ABE∽△ACD所以BE/CD=AB/AC,即BE·AC=AB·CD (1)而∠BAC=∠DAE，，∠ACB=∠ADE所以△ABC∽△AED相似.BC/ED=AC/AD即ED·AC=BC·AD (2)(1)+(2),得AC(BE+ED)=AB·CD+AD·BC又因为BE+ED≥BD（仅在四边形ABCD是某圆的内接四边形时，等号成立，即“托勒密定理”）所以命题得证复数证明用a、b、c、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，使得∠ABK = ∠CBD；因为∠ABK + ∠CBK =∠ABC = ∠CBD + ∠ABD，所以∠CBK = ∠ABD。
P 、Q R ,则P 、Q R 共线的充要条件是聖CQ ARj 。
PC QA RBBP CQ AR PC QA RB _ °平面几何中的四个重要定理梅涅劳斯（Menelaus ）定理（梅氏线）△ABC 的三边BC CA AB 或其延长线上有点塞瓦（Ceva ）定理（塞瓦点）△ABC 的三边 BC CA AB 上有点 P 、Q R ,贝U AP 、BQ CR 共点的充要条件是 托勒密（Ptolemy ）定理四边形的两对边乘积之和等于其对角线乘积的充要条件是该四边形内接于一圆。
西姆松（Simson ）定理（西姆松线）从一点向三角形的三边所引垂线的垂足共线的充要条件是该点落在三角形的外接 圆上。
例题:PA 1设AD是MBC的边BC上的中线，直线CF交AD于F。
求证：AE 2AFED。
AE DC RF【分析】CEF截△ARCH — .— .— =1 （梅氏定理）ED CR FA【评注】也可以添加辅助线证明：过A、R、D之一作CF的平行线。
2、过△ARC的重心G的直线分别交AB AC于E、F,交CR于D。
RE CF=1。
求证：EA FADEG截A ARM H REEAAGGMMDDR（梅氏定理）DGF截△ACM H =1 (梅氏定理)FA GM DCRE CF=GM (DR DC)=GM2MDEA FA AG MD 2GM MD【评注】梅氏定理3、D E、F分别在A ARC的RC CA AR边上,RD AFDC FRCEEAAD RE、CF交成△ LMN 求S A LM N O【分析】【评注】梅氏定理4、以A ARC各边为底边向外作相似的等腰A RCE A CAF A ARG 求证：AE、RF、CG相交【分析】连结并延长AG交RC于M,则M为RC的中点。
FLEM N【评注】塞瓦定理5、已知△ABC 中，/ B=2/ G 求证：AC^AB+ABBCo【分析】过A 作BC 的平行线交△ABC 的外接圆于D,连结BD 贝 U CD=DA=AB AC=BD由托勒密定理，AC BD=ADBC+CDAB【评注】托勒密定理求证：1 1 1A !A 2=A !A 3 A !A 4。
托勒密定理定理图定理的内容托勒密(Ptolemy)定理指出，圆的内接凸四边形两对对边乘积的和等于两条对角线的乘积。
原文：圆的内接四边形中，两对角线所包矩形的面积等于一组对边所包矩形的面积与另一组对边所包矩形的面积之和。
从这个定理可以推出正弦、余弦的和差公式及一系列的三角恒等式，托勒密定理实质上是关于共圆性的基本性质．定理的提出一般几何教科书中的“托勒密定理”，实出自依巴谷(Hipparchus)之手，托勒密只是从他的书中摘出。
证明一、(以下是推论的证明，托勒密定理可视作特殊情况。
)在任意四边形ABCD 中，作△ ABE 使∠ BAE=∠ CAD ∠ ABE=∠ ACD 因为△ ABE∽△ACD所以BE/CD=AB/AC, 即BE·AC=AB·CD (1)而∠ BAC=∠ DAE，，∠ ACB=∠ ADE所以△ ABC∽△AED 相似.BC/ED=AC/AD 即ED·AC=BC·AD (2)(1)+(2), 得AC(BE+ED)=AB·CD+AD·BC又因为BE+ED≥BD(仅在四边形ABCD 是某圆的内接四边形时，等号成立，即“托勒密定理”)所以命题得证复数证明用a、b、c、d 分别表示四边形顶点A、B、C、D 的复数，则AB、CD、AD、 B C、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，而在 A B 上，∠ ADB = ∠ ACB。
平面几何四个重要定理四个重要定理：梅涅劳斯（Meｎelaus）定理（梅氏线）△AＢＣ得三边BＣ、ＣA、AB或其延长线上有点P、Q、R,则P、Q、R共线得充要条件就是.塞瓦(Cｅvａ）定理（塞瓦点）△ＡBC得三边BＣ、CA、AB上有点P、Ｑ、R，则ＡP、BQ、ＣR共点得充要条件就是。
托勒密(Pｔｏlemy）定理四边形得两对边乘积之与等于其对角线乘积得充要条件就是该四边形内接于一圆。
西姆松（Ｓｉmson）定理（西姆松线)从一点向三角形得三边所引垂线得垂足共线得充要条件就是该点落在三角形得外接圆上。
例题：1．设AD就是△AＢC得边BC上得中线，直线CF交AD于F。
求证:。
【分析】CEF截△AＢD→（梅氏定理）【评注】也可以添加辅助线证明:过Ａ、Ｂ、D之一作C Ｆ得平行线。
2．过△AＢC得重心G得直线分别交AB、AＣ于Ｅ、F,交CB于D。
求证:。
【分析】连结并延长AＧ交ＢＣ于M，则M为BC得中点。
ＤEG截△ＡＢM→（梅氏定理）DGＦ截△ＡCＭ→(梅氏定理)∴===１【评注】梅氏定理3．D、E、Ｆ分别在△ABC得BＣ、ＣA、AB边上，,ＡD、BＥ、CF交成△LMＮ。
求S△ＬMN。
【分析】【评注】梅氏定理4．以△ABC各边为底边向外作相似得等腰△BCE、△ＣAF、△ABＧ。
求证：AE、BF、CＧ相交于一点。
【分析】【评注】塞瓦定理5．已知△ＡBC中,∠B＝２∠C。
求证：ＡC2=AB2+ＡB·BＣ。
【分析】过Ａ作BC得平行线交△ABC得外接圆于Ｄ,连结BD。
则CD＝ＤA=AB，AC=ＢＤ。
由托勒密定理，AC·BD＝AD·ＢC+CD·AB。
【评注】托勒密定理6．已知正七边形A１A2A3A4A5A6Ａ７.求证:。
(第21届全苏数学竞赛)【分析】【评注】托勒密定理7．△ABC得BC边上得高AD得延长线交外接圆于P，作PE⊥AB于E，延长ED交ＡC延长线于F.求证：BC·ＥF=BＦ·CE+BE·CＦ。
ED C B A 高一数学竞赛班二试讲义第1讲 平面几何中的26个定理班级 姓名一、知识点金1. 梅涅劳斯定理：假设直线l 不通过ABC ∆的极点，而且与ABC ∆的三边,,BC CA AB 或它们的延长线别离交于,,P Q R ，那么1BP CQ AR PC QA RB⋅⋅= 注：梅涅劳斯定理的逆定理也成立（用同一法证明）2. 塞瓦定理： 设,,P Q R 别离是ABC ∆的三边,,BC CA AB 或它们的延长线上的点，若,,AP BQ CR 三线共点，那么1BP CQ AR PC QA RB⋅⋅= 注：塞瓦定理的逆定理也成立3. 托勒密定理：在四边形ABCD 中，有AB CD BC AD AC BD ⋅+⋅≥⋅，而且当且仅当四边形ABCD 内接于圆时，等式成立。
()ABCD E BAE CAD ABE ACDAB BE ABE ACD AB CD AC BE AC CD AB AE BAC EAD ABC AED AC ADBC ED AD BC AC ED AC ADAB CD AD BC AC BE ED AB CD AD BC AC BD E BD A B C D ∠=∠∠=∠∆∆∴=⇒⋅=⋅=∠=∠∴∆∆∴=⇒⋅=⋅∴⋅+⋅=⋅+∴⋅+⋅≥⋅证：在四边形内取点，使，则：和相似又且和相似且等号当且仅当在上时成立，即当且仅当、、、四点共圆时成立；注：托勒密定理的逆定理也成立4. 西姆松定理：假设从ABC ∆外接圆上一点P 作,,BC AB CA 的垂线，垂足别离为,,D E F ，那么,,D E F 三点共线。
西姆松定理的逆定理：从一点P 作,,BC AB CA 的垂线，垂足别离为,,D E F 。
假设,,D E F 三点共线，那么点P 在ABC ∆的外接圆上。
5． 蝴蝶定理：圆O 中的弦PQ 的中点M ，过点M 任作两弦AB ，CD ，弦AD 与BC 别离交PQ 于X ，Y ，那么M 为XY 当中点。
§4托勒密定理与西姆松定理托勒密（∕Vo∕e/切定理：圆内接四边形中，两条对角线的乘积（两对角线所包矩形的面积）等于两组对边乘积之和（一组对边所包矩形的面积与另一组对边所包矩形的面积之和）.即：定理：在四边形ABCZ）中，有：AB CD + AD BC≥AC BD 证：在四边^ABCD内取点E, ^ZBAE = ZCAD, ZABE = ZACD4 R RF贝Ij: AABE和AACD相似 A-一 =——=>AB∙CD = AC BEAC CDΛD ΛJ7乂•••——=-一HZBΛC = ZEAD :. SABC和ΔAED相似AC ADBC ED——=——GADBC = ACEDAC ADAB CD +AD BC = AC （BE+ ED）・・・AB∙CD + ADBC≥ACBD且等号当且仅当E在BD上时成立，即当且仅当久B、G D四点共圆时成立; 并且当且仅当四边形ABCM接于圆时，等式成立；一、直接应用托勒密定理例1、如图2, P是正AABC外接圆的劣弧EC上任一点（不与B、C重合），求证：PA二PB+ PC.分析：此题证法甚多，一般是截长、补短，构造全等三角形，均为繁冗.B若借助托勒密定理论证，则有PA ∙ BC二PB ∙ AC + PC ∙AB, T AB=BC=AC..∙.PA=PB+PC.二、完善图形借助托勒密定理例2、证明“勾股定理”：在RtΔABC中，ZB=900 ,求证：AC2=AB2+BC2证明：如图，作以RtΔABC的斜边AC为一对角线的矩形ABCD,显然ABCD是圆内接四边形.由托勒密定理有AC ∙ BD=AB ∙ CD+ AD ∙ BC.①又-/ABCD 是矩形，.∙.AB二CD, AD=BC J AC=BD. ②把②代人①，得AC2=AB2+BC2.例3、如图，在AABC中，上A的平分线交外接圆于D,连结BD, 求证：AD ∙ BC=BD(AB+ AC).证明：连结CD5依托勒密定理有AD ・BC = AB ∙ CD+ AC ∙ BD.•/Z 1 = Z2, .∙. BD=CD.FC故AD ∙ BC=AB ・BD + AC ∙ BD=BD(AB + AC).三、构造图形借助托勒密定理例 4 若 o 、b 、x 、y 是实数，且 α2 + b 2=l, x 2 + y 2=l.求证：ax + by≤ 1. 证明:如图作直径AB 二1的圆,在AB 两边任作RtΔACB 和RtAADB,使AC = O,BC 二b,BD = x, AD = y.由勾股定理知。
