《各种圆定理总结(包括托勒密定理、塞瓦定理、西姆松定理、梅涅劳斯定理、圆幂定理和四点共圆).doc》由会员分享，可在线阅读，更多相关《各种圆定理总结(包括托勒密定理、塞瓦定理、西姆松定理、梅涅劳斯定理、圆幂定理和四点共圆).doc（19页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、托勒密定理一些圆定理.doc定理图定理的内容 托勒密(Ptolemy)定理指出，圆的内接凸四边形两对对边乘积的和等于两条对角线的乘积。 原文：圆的内接四边形中，两对角线所包矩形的面积等于 一组对边所包矩形的面积与另一组对边所包矩形的面积之和。 从这个定理可以推出正弦、余弦的和差公式及一系列的三角恒等式，托勒密定理实质上是关于共圆性的基本性质 定理的提出一般几何教科书中的“托勒密定理”，实出自依巴谷(Hipparchus)之手，托勒密只是从他的书中摘出。证明一、（以下是推论的证明，托勒密定理可视作特殊情况。） 在任意四边形ABCD中，作ABE使BAE=CAD ABE= ACD 因为ABEACD
2、所以 BE/CD=AB/AC,即BEAC=ABCD (1) 而BAC=DAE，ACB=ADE 所以ABCAED相似. BC/ED=AC/AD即EDAC=BCAD (2) (1)+(2),得 AC(BE+ED)=ABCD+ADBC 又因为BE+EDBD （仅在四边形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)
3、= (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。 因此ABK与DBC相似，同理也有ABD KBC。 因此AK/AB = CD/BD，且CK/BC = DA/BD； 因此AKBD = AB
4、CD，且CKBD = BCDA； 两式相加，得(AK+CK)BD = ABCD + BCDA； 但AK+CK = AC，因此ACBD = ABCD + BCDA。证毕。 三、 托勒密定理：圆内接四边形中，两条对角线的乘积(两对角线所包矩形的面积)等于两组对边乘积之和(一组对边所包矩形的面积与另一组对边所包矩形的面积之和)已知：圆内接四边形ABCD，求证：ACBDABCDADBC 证明：如图1，过C作CP交BD于P，使1=2，又3=4，ACDBCP得AC：BC=AD：BP，ACBP=ADBC 。又ACB=DCP，5=6，ACBDCP得AC：CD=AB：DP，ACDP=ABCD 。得 AC(BPD
5、P)=ABCDADBC即ACBD=ABCDADBC 推论1.任意凸四边形ABCD，必有ACBDABCD+ADBC，当且仅当ABCD四点共圆时取等号。 2.托勒密定理的逆定理同样成立：一个凸四边形两对对边乘积的和等于两条对角线的乘积，则这个凸四边形内接于一圆、 推广托勒密不等式：四边形的任两组对边乘积不小于另外一组对边的乘积，取等号当且仅当共圆或共线。 简单的证明：复数恒等式：(a-b)(c-d)+(a-d)(b-c)=(a-c)(b-d)，两边取模， 得不等式ACBD|(a-b)(c-d)|+|(b-c)(a-d)|=ABCD+BCAD 注意： 1.等号成立的条件是(a-b)(c-d)与(a-
6、d)(b-c)的辐角相等，这与A、B、C、D四点共圆等价。 2.四点不限于同一平面。 欧拉定理：在一条线段上AD上，顺次标有B、C两点，则ADBC+ABCD=ACBD塞瓦定理简介 塞瓦（Giovanni Ceva，16481734）意大利水利工程师，数学家。塞瓦定理载于塞瓦于1678年发表的直线论一书，也有书中说塞瓦定理是塞瓦重新发现。 具体内容塞瓦定理 在ABC内任取一点O， 直线AO、BO、CO分别交对边于D、E、F，则 (BD/DC)*(CE/EA)*(AF/FB)=1 证法简介 （）本题可利用梅涅劳斯定理证明： ADC被直线BOE所截， (CB/BD)*(DO/OA)*(AE/EC)=
7、1 而由ABD被直线COF所截， (BC/CD)*(DO/OA)*(AF/FB)=1 :即得：(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*
8、ctgB）*(AE*ctgB)/(AE*ctgC)*(BF*ctgC)/(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。（注意
9、与梅涅劳斯定理相区分，那里是=-1） 塞瓦定理推论1.设E是ABD内任意一点，AE、BE、DE分别交对边于C、G、F，则(BD/BC)*(CE/AE)*(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/sinDA
10、C)*(sinACF/sinFCB)*(sinCBE/sinEBA)=1 由正弦定理及三角形面积公式易证 3.如图，对于圆周上顺次6点A,B,C,D,E,F，直线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
11、)=1，所以三条高CD、AE、BF交于一点。梅涅劳斯定理 梅涅劳斯定理证明梅涅劳斯（Menelaus）定理（简称梅氏定理）是由古希腊数学家梅涅劳斯首先证明的。它指出：如果一条直线与ABC的三边AB、BC、CA或其延长线交于F、D、E点，那么(AF/FB)(BD/DC)(CE/EA)=1。 或：设X、Y、Z分别在ABC的BC、CA、AB所在直线上，则X、Y、Z共线的充要条件是(AZ/ZB)*(BX/XC)*(CY/YA)= 证明一：过点A作AGBC交DF的延长线于G, 则AF/FB=AG/BD , BD/DC=BD/DC , CE/EA=DC/AG。 三式相乘得：(AF/FB)(BD/DC)(C
12、E/EA)=(AG/BD)(BD/DC)(DC/AG)=1 证明二：过点C作CPDF交AB于P，则BD/DC=FB/PF，CE/EA=PF/AF 所以有AF/FBBD/DCCE/EA=AF/FBFB/PFPF/AF=1 它的逆定理也成立：若有三点F、D、E分别在ABC的边AB、BC、CA或其延长线上，且满足(AF/FB)(BD/DC)(CE/EA)=1，则F、D、E三点共线。利用这个逆定理，可以判断三点共线。 梅涅劳斯(Menelaus)定理证明三：过ABC三点向三边引垂线AABBCC， 所以AD：DB=AA：BB，BE：EC=BB：CC，CF：FA=CC：AA 所以(AF/FB)(BD/DC
13、)(CE/EA)=1 证明四：连接BF。 （AD：DB）（BE：EC）（CF:FA) =（SADF：SBDF）（SBEF：SCEF）（SBCF：SBAF） =（SADF：SBDF）（SBDF：SCDF）（SCDF：SADF） =1 此外，用定比分点定义该定理可使其容易理解和记忆： 在ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点，又分比是=BL/LC、=CM/MA、=AN/NB。于是L、M、N三点共线的充要条件是=1。 第一角元形式的梅涅劳斯定理 如图：若E，F，D三点共线，则 (sinACF/sinFCB)(sinBAD/sinDAC)(sinCBA/sinABE)=1 即图中
14、的蓝角正弦值之积等于红角正弦值之积 该形式的梅涅劳斯定理也很实用 第二角元形式的梅涅劳斯定理 在平面上任取一点O，且EDF共线，则（sinAOF/sinFOB)(sinBOD/sinDOC)(sinCOA/sinAOE)=1。(O不与点A、B、C重合) 记忆ABC为三个顶点，DEF为三个分点 (AF/FB)(BD/DC)(CE/EA)=1 （顶到分/分到顶）*（顶到分/分到顶）*（顶到分/分到顶）=1 空间感好的人可以这么记：（上1/下1）*（整/右）*（下2/上2）=1 实际应用为了说明问题，并给大家一个深刻印象，我们假定图中的A、B、C、D、E、F是六个旅游景点，各景点之间有公路相连。我们
15、乘直升机飞到这些景点的上空，然后选择其中的任意一个景点降落。我们换乘汽车沿公路去每一个景点游玩，最后回到出发点，直升机就停在那里等待我们回去。 我们不必考虑怎样走路程最短，只要求必须“游历”了所有的景点。只“路过”而不停留观赏的景点，不能算是“游历”。 例如直升机降落在A点，我们从A点出发，“游历”了其它五个字母所代表的景点后，最终还要回到出发点A。 另外还有一个要求，就是同一直线上的三个景点，必须连续游过之后，才能变更到其它直线上的景点。 从A点出发的旅游方案共有四种，下面逐一说明： 方案 从A经过B（不停留）到F（停留），再返回B（停留），再到D（停留），之后经过B（不停留）到C（停留），
16、再到E（停留），最后从E经过C（不停留）回到出发点A。 按照这个方案，可以写出关系式： （AF：FB）*（BD：DC）*（CE：EA）=1。 现在，您知道应该怎样写“梅涅劳斯定理”的公式了吧。 从A点出发的旅游方案还有： 方案 可以简记为：ABFDECA，由此可写出以下公式： （AB：BF）*（FD：DE）*（EC：CA）=1。从A出发还可以向“C”方向走，于是有： 方案 ACEDFBA，由此可写出公式： （AC：CE）*（ED：DF）*（FB：BA）=1。 从A出发还有最后一个方案： 方案 AECDBFA，由此写出公式： （AE：EC）*（CD：DB）*（BF：FA）=1。 我们的直升机还可
17、以选择在B、C、D、E、F任一点降落，因此就有了图中的另外一些公式。 值得注意的是，有些公式中包含了四项因式，而不是“梅涅劳斯定理”中的三项。当直升机降落在B点时，就会有四项因式。而在C点和F点，既会有三项的公式，也会有四项的公式。公式为四项时，有的景点会游览了两次。 不知道梅涅劳斯当年是否也是这样想的，只是列出了一两个典型的公式给我们看看。 还可以从逆时针来看，从第一个顶点到逆时针的第一个交点比上到下一个顶点的距离，以此类推，可得到三个比例，它们的乘积为1. 现在是否可以说，我们对梅涅劳斯定理有了更深刻的了解呢。那些复杂的相除相乘的关系式，不会再写错或是记不住吧。西姆松定理 西姆松定理图示西
18、姆松定理是一个几何定理。表述为：过三角形外接圆上异于三角形顶点的任意一点作三边的垂线，则三垂足共线。（此线常称为西姆松线）。西姆松定理的逆定理为：若一点在三角形三边所在直线上的射影共线，则该点在此三角形的外接圆上。 西姆松定理说明相关的结果有： （1）称三角形的垂心为H。西姆松线和PH的交点为线段PH的中点，且这点在九点圆上。 （2）两点的西姆松线的交角等于该两点的圆周角。 （3）若两个三角形的外接圆相同，这外接圆上的一点P对应两者的西姆松线的交角，跟P的位置无关。 （4）从一点向三角形的三边所引垂线的垂足共线的充要条件是该点落在三角形的外接圆上。 证明证明一： ABC外接圆上有点P，且PEA
19、C于E，PFAB于F，PDBC于D，分别连DE、DF. 易证P、B、F、D及P、D、C、E和A、B、P、C分别共圆，于是FDP=ACP ，（都是ABP的补角） 且PDE=PCE 而ACP+PCE=180 FDP+PDE=180 即F、D、E共线. 反之，当F、D、E共线时，由可见A、B、P、C共圆. 证明二： 如图，若L、M、N三点共线，连结BP，CP，则因PL垂直于BC，PM垂直于AC，PN垂直于AB，有B、P、L、N和 M、P、L、C分别四点共圆，有 PBN = PLN = PLM = PCM. 故A、B、P、C四点共圆。 若A、B、P、C四点共圆，则PBN = PCM。因PL垂直于BC，
20、PM垂直于AC，PN垂直于AB，有B、P、L、N和M、P、L、C四点共圆，有 PBN =PLN =PCM=PLM. 故L、M、N三点共线。 相关性质的证明连AH延长线交圆于G, 连PG交西姆松线与R,BC于Q 如图连其他相关线段 AHBC,PFBC=AG/PF=1=2 A.G.C.P共圆=2=3 PEAC,PFBC=P.E.F.C共圆=3=4 =1=4 PFBC =PR=RQ BHAC,AHBC=5=6 A.B.G.C共圆=6=7 =5=7 AGBC=BC垂直平分GH =8=2=4 8+9=90,10+4=90=9=10 =HQ/DF =PM=MH 第二个问，平分点在九点圆上，如图：设O,G,
21、H 分别为三角形ABC的外心，重心和垂心。 则O是,确定九点圆的中点三角形XYZ的垂心，而G还是它的重心。 那么三角形XYZ的外心 O1， 也在同一直线上，并且 HG/GO=GO/GO1=2，所以O1是OH的中点。 三角形ABC和三角形XYZ位似，那么它们的外接圆也位似。两个圆的圆心都在OH上，并且两圆半径比为1:2 所以G是三角形ABC外接圆和三角形XYZ外接圆(九点圆)的反位似中心(相似点在位似中心的两边),H 是正位似中心(相似点在位似中心的同一边). 所以H到三角形ABC的外接圆上的连线中点必在三角形DEF的外接圆上. 圆幂定理 圆幂定理圆幂定理是对相交弦定理、切割线定理及割线定理（切
22、割线定理推论）以及它们推论统一归纳的结果。 1. 问题1 2. 问题2 3. 问题3 4. 问题4 定义圆幂=PO2-R2| 所以圆内的点的幂为负数，圆外的点的幂为正数，圆上的点的幂为零。 相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等。 切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。 割线定理：从圆外一点P引两条割线与圆分别交于A、B；C、D，则有 PAPB=PCPD。 统一归纳：过任意不在圆上的一点P引两条直线L1、L2，L1与圆交于A、B（可重合，即切线），L2与圆交于C、D（可重合），则有PAPB=PCPD。 进一步升华（推论）
23、过任意在圆O外的一点P引一条直线L1与一条过圆心的直线L2，L1与圆交于A、B（可重合，即切线），L2与圆交于C、D。则PAPB=PCPD。若圆半径为r，则PCPD=(PO-r)(PO+r)=PO2-r2=|PO2-r2| （要加绝对值，原因见下）为定值。这个值称为点P到圆O的幂。（事实上所有的过P点与圆相交的直线都满足这个值） 若点P在圆内，类似可得定值为r2-PO2=|PO2-r2| 故平面上任意一点对于圆的幂为这个点到圆心的距离与圆的半径的平方差，而过这一点引任意直线交圆于A、B，那么PAPB等于圆幂的绝对值。（这就是“圆幂”的由来） 证明圆幂定理（相交弦定理、切割线定理及其推论(割线定
24、理)统一归纳为圆幂定理） 问题1相交弦定理：圆内的两条相交弦,被交点分成的两条线段长的乘积相等。 证明：连结AC，BD，由圆周角定理的推论，得A=D，C=B。 PACPDB，PA:PD=PC:PB，PAPB=PCPD 问题2割线定理：从圆外一点P引两条割线与圆分别交于A.B.C.D 则有 PAPB=PCPD，当PA=PB，即直线AB重合，即PA切线时得到切线定理PA2=PCPD 证明：（令A在P、B之间，C在P、D之间）因为ABCD为圆内接四边形，所以角CAB+角CDB=180度，又角CAB+角PAC=180度，所以角PAC=角CDB，又角APC公共，所以三角形APC与三角形DPB相似，所以P
25、A/PD=PC/PB,所以PA*PB=PC*PD 切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项 几何语言：PT切O于点T，PBA是O的割线 PT2=PAPB（切割线定理） 推论 从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等 几何语言：PBA、PDC是O的割线 PDPC=PAPB（切割线定理推论） 问题3过点P任作直线交定圆于两点A、B，证明PAPB为定值（圆幂定理）。 证：以P为原点，设圆的方程为 (x-xO)2+(y-yO)2=a 过P的直线为 x=k1t y=k2t 则A、B的横坐标是方程 (k1t-xO)2+(k2t
26、-yO)2=r2 即 (k12+k22)t2-2(k1xO+k2yO)t+xO2+yO2-r2=0 的两个根t1、t2。由韦达定理 t1t2=(xO2+yO2-2)/(k12+k22) 于是 PAPB=(k1t1)2+(k2t1)2)(k1t2)2+(k2t2)2) =(k12+k22)2|t1|t2| =k12+k22|(xO2+yO2-r2)/(k12+k22)| =|(xO2+yO2-r2)| 为定值，证毕。 圆也可以写成 x2+y2-2xOx-2yOy+xO2+yO2-a=0 其中a为圆的半径的平方。所说的定值也就是（原点）与圆心O的距离的平方减去半径的平方。当P在圆外时，这就是自P向
27、圆所引切线（长）的平方。 这定值称为点P到这圆的幂。 在上面证明的过程中，我们以P为原点，这样可以使问题简化。 如果给定点O，未必是原点，要求出P关于圆的幂（即OP2-r2），我们可以设直线AB的方程为 是 的倾斜角， 表示直线上的点与 的距离 将代入得 即 ， 是它的两个根，所以由韦达定理 是定值 是 关于的幂（当 是原点时，这个值就是 ）它也可以写成 即 与圆心 距离的平方减去半径的平方 当P在圆内时，幂值是负值；P在圆上时，幂为0；P在圆外时，幂为正值，这时幂就是自P向圆所引切线长的平方。 以上是圆幂定理的证明，下面看一看它的应用 问题4自圆外一点 向圆引割线交圆于 、 两点，又作切线
28、、 ， 、 为切点， 与 相交于 ，如图求证 、 、 成调和数列，即 证：设圆的方程为 点 的坐标为 ， 的参数方程为 其中 是 的倾斜角， 表示直线上的点 与 的距离 代入得 即 、 是它的两个根，由韦达定理 另一方面，直线 是圆的切点弦，利用前边的结论， 的方程为 代入得 因此，这个方程的根 满足 综合，结论成立。 可以证明，当 在圆内时，上述推导及结论仍然成立。 说明：问题4的解决借用了问题3的方法，同时我们也看到了问题4与问题1、问题2的内在联系。圆幂定理 圆幂定理圆幂定理是对相交弦定理、切割线定理及割线定理（切割线定理推论）以及它们推论统一归纳的结果。 1. 问题1 2. 问题2 3
29、. 问题3 4. 问题4 定义圆幂=PO2-R2| 所以圆内的点的幂为负数，圆外的点的幂为正数，圆上的点的幂为零。 相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等。 切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。 割线定理：从圆外一点P引两条割线与圆分别交于A、B；C、D，则有 PAPB=PCPD。 统一归纳：过任意不在圆上的一点P引两条直线L1、L2，L1与圆交于A、B（可重合，即切线），L2与圆交于C、D（可重合），则有PAPB=PCPD。 进一步升华（推论）过任意在圆O外的一点P引一条直线L1与一条过圆心的直线L2，L1与圆交于A
30、、B（可重合，即切线），L2与圆交于C、D。则PAPB=PCPD。若圆半径为r，则PCPD=(PO-r)(PO+r)=PO2-r2=|PO2-r2| （要加绝对值，原因见下）为定值。这个值称为点P到圆O的幂。（事实上所有的过P点与圆相交的直线都满足这个值） 若点P在圆内，类似可得定值为r2-PO2=|PO2-r2| 故平面上任意一点对于圆的幂为这个点到圆心的距离与圆的半径的平方差，而过这一点引任意直线交圆于A、B，那么PAPB等于圆幂的绝对值。（这就是“圆幂”的由来） 证明圆幂定理（相交弦定理、切割线定理及其推论(割线定理)统一归纳为圆幂定理） 问题1相交弦定理：圆内的两条相交弦,被交点分成的
31、两条线段长的乘积相等。 证明：连结AC，BD，由圆周角定理的推论，得A=D，C=B。 PACPDB，PA:PD=PC:PB，PAPB=PCPD 问题2割线定理：从圆外一点P引两条割线与圆分别交于A.B.C.D 则有 PAPB=PCPD，当PA=PB，即直线AB重合，即PA切线时得到切线定理PA2=PCPD 证明：（令A在P、B之间，C在P、D之间）因为ABCD为圆内接四边形，所以角CAB+角CDB=180度，又角CAB+角PAC=180度，所以角PAC=角CDB，又角APC公共，所以三角形APC与三角形DPB相似，所以PA/PD=PC/PB,所以PA*PB=PC*PD 切割线定理：从圆外一点引
32、圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项 几何语言：PT切O于点T，PBA是O的割线 PT2=PAPB（切割线定理） 推论 从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等 几何语言：PBA、PDC是O的割线 PDPC=PAPB（切割线定理推论） 问题3过点P任作直线交定圆于两点A、B，证明PAPB为定值（圆幂定理）。 证：以P为原点，设圆的方程为 (x-xO)2+(y-yO)2=a 过P的直线为 x=k1t y=k2t 则A、B的横坐标是方程 (k1t-xO)2+(k2t-yO)2=r2 即 (k12+k22)t2-2(k1xO+k2yO)t+
33、xO2+yO2-r2=0 的两个根t1、t2。由韦达定理 t1t2=(xO2+yO2-2)/(k12+k22) 于是 PAPB=(k1t1)2+(k2t1)2)(k1t2)2+(k2t2)2) =(k12+k22)2|t1|t2| =k12+k22|(xO2+yO2-r2)/(k12+k22)| =|(xO2+yO2-r2)| 为定值，证毕。 圆也可以写成 x2+y2-2xOx-2yOy+xO2+yO2-a=0 其中a为圆的半径的平方。所说的定值也就是（原点）与圆心O的距离的平方减去半径的平方。当P在圆外时，这就是自P向圆所引切线（长）的平方。 这定值称为点P到这圆的幂。 在上面证明的过程中，
34、我们以P为原点，这样可以使问题简化。 如果给定点O，未必是原点，要求出P关于圆的幂（即OP2-r2），我们可以设直线AB的方程为 是 的倾斜角， 表示直线上的点与 的距离 将代入得 即 ， 是它的两个根，所以由韦达定理 是定值 是 关于的幂（当 是原点时，这个值就是 ）它也可以写成 即 与圆心 距离的平方减去半径的平方 当P在圆内时，幂值是负值；P在圆上时，幂为0；P在圆外时，幂为正值，这时幂就是自P向圆所引切线长的平方。 以上是圆幂定理的证明，下面看一看它的应用 问题4自圆外一点 向圆引割线交圆于 、 两点，又作切线 、 ， 、 为切点， 与 相交于 ，如图求证 、 、 成调和数列，即 证：
35、设圆的方程为 点 的坐标为 ， 的参数方程为 其中 是 的倾斜角， 表示直线上的点 与 的距离 代入得 即 、 是它的两个根，由韦达定理 另一方面，直线 是圆的切点弦，利用前边的结论， 的方程为 代入得 因此，这个方程的根 满足 综合，结论成立。 可以证明，当 在圆内时，上述推导及结论仍然成立。 说明：问题4的解决借用了问题3的方法，同时我们也看到了问题4与问题1、问题2的内在联系。四点共圆 四点共圆-图释如果同一平面内的四个点在同一个圆上，则称这四个点共圆，一般简称为“四点共圆”。四点共圆有三个性质： （1）同弧所对的圆周角相等 （2）圆内接四边形的对角互补 （3）圆内接四边形的外角等于内对
36、角 以上性质可以根据圆周角等于它所对弧的度数的一半进行证明。 四点共圆证明四点共圆的基本方法证明四点共圆有下述一些基本方法： 方法1从被证共圆的四点中先选出三点作一圆，然后证另一点也在这个圆上，若能证明这一点，即可肯定这四点共圆 方法2把被证共圆的四个点连成共底边的两个三角形，且两三角形都在这底边的同侧，若能证明其顶角相等，从而即可肯定这四点共圆 （若能证明其两顶角为直角，即可肯定这四个点共圆，且斜边上两点连线为该圆直径。） 方法3把被证共圆的四点连成四边形，若能证明其对角互补或能证明其一个外角等于其邻补角的内对角时，即可肯定这四点共圆 方法4把被证共圆的四点两两连成相交的两条线段，若能证明它
37、们各自被交点分成的两线段之积相等，即可肯定这四点共圆；或把被证共圆的四点两两连结并延长相交的两线段，若能证明自交点至一线段两个端点所成的两线段之积等于自交点至另一线段两端点所成的两线段之积，即可肯定这四点也共圆(根据托勒密定理的逆定理) 方法5证被证共圆的点到某一定点的距离都相等，从而确定它们共圆 上述五种基本方法中的每一种的根据，就是产生四点共圆的一种原因，因此当要求证四点共圆的问题时，首先就要根据命题的条件，并结合图形的特点，在这五种基本方法中选择一种证法，给予证明 判定与性质： 圆内接四边形的对角和为,并且任何一个外角都等于它的内对角。 如四边形ABCD内接于圆O，延长AB和DC交至E，
38、过点E作圆O的切线EF，AC、BD交于P，则A+C=，B+D=， 角DBC=角DAC（同弧所对的圆周角相等）。 角CBE=角ADE（外角等于内对角） ABPDCP（三个内角对应相等） AP*CP=BP*DP（相交弦定理） 四点共圆的图片EB*EA=EC*ED（割线定理） EF*EF= EB*EA=EC*ED（切割线定理） （切割线定理，割线定理，相交弦定理统称圆幂定理） AB*CD+AD*CB=AC*BD（托勒密定理Ptolemy） 证明四点共圆的原理四点共圆 证明四点共圆基本方法： 方法1把被证共圆的四个点连成共底边的两个三角形，且两三角形都在这底边的同侧，若能证明其顶角相等，从而即可肯定这
39、四点共圆 方法2把被证共圆的四点连成四边形，若能证明其对角互补或能证明其一个外角等于其邻补角的内对角时，即可肯定这四点共圆 四点共圆的判定是以四点共圆的性质的基础上进行证明的。 四点共圆的定理：四点共圆的判定定理：方法1 把被证共圆的四个点连成共底边的两个三角形，且两三角形都在这底边的同侧，若能证明其顶角相等，从而即可肯定这四点共圆 （可以说成：若线段同侧二点到线段两端点连线夹角相等，那末这二点和线段二端点四点共圆） 方法2 把被证共圆的四点连成四边形，若能证明其对角互补或能证明其一个外角等于其邻补角的内对角时，即可肯定这四点共圆 （可以说成：若平面上四点连成四边形的对角互补或一个外角等于其内对角。那么这四点共圆） 反证法证明现就“若平面上四点连成四边形的对角互补。那末这四点共圆”证明如下（其它画个证明图如后） 已知：四边形ABCD中，A+C= 求证：四边形ABCD内接于一个圆（A，B，C，D四点共圆） 证明：用反证法 过A，B，D作圆O，假设C不在圆O上，刚C在圆外或圆内， 若C在圆外，设BC交圆O于C，连结DC，根据圆内接四边形的性质得A+DCB=， A+C= DCB=C 这与三角形外角定理矛盾，故C不可能在圆外。类似地可证C不可能在圆内。 C在圆O上，也即A，B，C，D四点共圆。