2022各种圆定理总结.doc

《2022各种圆定理总结.doc》由会员分享，可在线阅读，更多相关《2022各种圆定理总结.doc（42页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。

1、各种圆定理总结 费尔巴赫定理三角形的九点圆与内切圆内切，而与旁切圆外切。 此定理由德国数学家费尔巴赫（kwfeuerbach，18001834）于1822年提出。费尔巴赫定理的证明 在不等边abc中，设o，h，i，q，ia分别表示abc的外心，垂心，内心，九点圆心和a所对的旁切圆圆心.s，r，r，ra分别表示abc的半周长，外接圆半径，内切圆半径和a所对的旁切圆半径，bc=a，ca=b，ab=c.易得hao=|b-c|，hai=oai=|b-c|/2;ah=2r*cosa，ao=r，ai=（s-a）bc/s，aia=sbc/（s-a）在ahi中，由余弦定理可求得：hi2=4r2+4rr+3r2

2、-s2;在aho中，由余弦定理可求得：ho2=9r2+8rr+2r2-2s2;在aio中，由余弦定理可求得：oi2=r（r-2r）.九点圆心在线段ho的中点，在hio中，由中线公式可求得.4iq2=2（4r2+4rr+3r2-s2）+2（r2-2rr）-（9r2+8rr+2r2-2s2）=（r-2r）2故iq=（r-2r）/2.又abc的九点圆半径为r/2，所以九点圆与内切圆的圆心距为d=r/2-r=（r-2r）/2=iq.因此三角形的九点圆与内切圆内切。在ahia中，由余弦定理可求得：iah2=4r2+4rr+r2-s2+2（ra）2;在aoia中，由余弦定理可求得：iao2=r（r+2ra

3、）.在hiao中，由中线公式可求得.4iaq2=2（4r2+4rr+r2-s2+2ra2）+2（r2+2rra）-（9r2+8rr+2r2-2s2）=（r+2ra）2故iaq=（r+2ra）/2.九点圆与a的旁切圆的圆心距为d=r/2+ra=（r+2ra）/2=iaq.故三角形的九点圆与a的旁切圆外切。因此三角形的九点圆与旁切圆外切 托勒密定理 一些圆定理.doc定理图 定理的内容托勒密（ptolemy）定理指出，圆的内接凸四边形两对对边乘积的和等于两条对角线的乘积。原文：圆的内接四边形中，两对角线所包矩形的面积等于一组对边所包矩形的面积与另一组对边所包矩形的面积之和。从这个定理可以推出正弦、

4、余弦的和差公式及一系列的三角恒等式，托勒密定理实质上是关于共圆性的基本性质. 定理的提出 一般几何教科书中的“托勒密定理”，实出自依巴谷（hipparchus）之手，托勒密只是从他的书中摘出。 证明 一、（以下是推论的证明，托勒密定理可视作特殊情况。） 在任意四边形abcd中，作abe使bae=cadabe=acd 因为abeacd 所以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 （仅在四边形abc

5、d是某圆的内接四边形时，等号成立，即“托勒密定理”） 所以命题得证 复数证明 用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=bd

6、c，而在ab上，adb=acb。在ac上取一点k，使得abk=cbd；因为abk+cbk=abc=cbd+abd，所以cbk=abd。因此abk与dbc相似，同理也有abdkbc。因此ak/ab=cd/bd，且ck/bc=da/bd；因此akbd=abcd，且ckbd=bcda；两式相加，得（ak+ck）bd=abcd+bcda；但ak+ck=ac，因此acbd=abcd+bcda。证毕。 三、 托勒密定理：圆内接四边形中，两条对角线的乘积（两对角线所包矩形的面积）等于两组对边乘积之和（一组对边所包矩形的面积与另一组对边所包矩形的面积之和）.已知：圆内接四边形abcd，求证：acbdabcda

7、dbc. 证明：如图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（bpdp）=abcdadbc.即acbd=abcdadbc. 推论 1.任意凸四边形abcd，必有acbdabcd+adbc，当且仅当abcd四点共圆时取等号。 2.托勒密定理的逆定理同样成立：一个凸四边形两对对边乘积的和等于两条对角线的乘积，则这个凸四边形内接于一圆、 推广 托勒密不等式。四边形的任两组对边乘积不小于另外一组对边的乘积，取等号当且仅当共圆或共线。 简单的证明：

8、复数恒等式：（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-d）（b-c）的辐角相等，这与a、b、c、d四点共圆等价。 2.四点不限于同一平面。 欧拉定理：在一条线段上ad上，顺次标有b、c两点，则adbc+abcd=acbd 塞瓦定理 简介 塞瓦（giovanniceva，16481734）意大利水利工程师，数学家。塞瓦定理载于塞瓦于1678年发表的直线论一书，也有书中说塞瓦定理是塞瓦重新发现。 具体内容 塞瓦定理 在a

9、bc内任取一点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 ：即得：（bd/dc）*（ce/ea）*（af/fb）=1 （）也可以利用面积关系证明 bd/dc=sabd/sacd=sbod/scod=（sabd-sbod）/（sacd-scod）=saob/saoc 同理ce/ea=sboc/saobaf/fb=saoc/sboc 得bd

10、/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）/（bf*ctga）=1，所以三条高cd、ae、bf交于一点。 可用塞瓦定理证明的其他定理; 三角形三条中线交于一点（重心）：如图5d，e分别为bc，ac中点所以bd=dcae=ec所以bd/dc=1ce/ea=1 且因为af=bf所以af/fb必等于1所以af=fb所以三角形三条中线交于一点 此外，

11、可用定比分点来定义塞瓦定理： 在abc的三边bc、ca、ab或其延长线上分别取l、m、n三点，又分比是=bl/lc、=cm/ma、=an/nb。于是al、bm、cn三线交于一点的充要条件是=1。（注意与梅涅劳斯定理相区分，那里是=-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为未知参数）又由梅涅劳斯定理得：

12、（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，直线ad，be，cf交于一点的充分必要条件是： （ab/bc）*（cd/de）*（ef/fa）=1 由塞瓦定理的角元形式，正弦定理及圆弦长与所对圆周角关系易证。 4.还能利用塞瓦定理证三角形三条高交于一点 设三边ab、bc、ac的垂足分别为d

13、、e、f，根据塞瓦定理逆定理，因为（ad：db）*（be：ec）*（cf：fa）=（cd*ctga）/（cd*ctgb）*（ae*ctgb）/（ae*ctgc）*（bf*ctgc）/（ae*ctgb）=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/

14、xc）*（cy/ya）= 证明一： 过点a作agbc交df的延长线于g， 则af/fb=ag/bd，bd/dc=bd/dc，ce/ea=dc/ag。 三式相乘得：（af/fb）（bd/dc）（ce/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三点共线。利用这个逆定理，可以判断三

15、点共线。 梅涅劳斯（menelaus）定理 证明三： 过abc三点向三边引垂线aabbcc， 所以ad：db=aa：bb，be：ec=bb：cc，cf：fa=cc：aa 所以（af/fb）（bd/dc）（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。于

16、是l、m、n三点共线的充要条件是=1。 第一角元形式的梅涅劳斯定理 如图：若e，f，d三点共线，则 （sinacf/sinfcb）（sinbad/sindac）（sincba/sinabe）=1 即图中的蓝角正弦值之积等于红角正弦值之积 该形式的梅涅劳斯定理也很实用 第二角元形式的梅涅劳斯定理 在平面上任取一点o，且edf共线，则（sinaof/sinfob）（sinbod/sindoc）（sincoa/sinaoe）=1。（o不与点a、b、c重合） 记忆 abc为三个顶点，def为三个分点 （af/fb）（bd/dc）（ce/ea）=1 （顶到分/分到顶）*（顶到分/分到顶）*（顶到分/分到

17、顶）=1 空间感好的人可以这么记：（上1/下1）*（整/右）*（下2/上2）=1 实际应用 为了说明问题，并给大家一个深刻印象，我们假定图中的a、b、c、d、e、f是六个旅游景点，各景点之间有公路相连。我们乘直升机飞到这些景点的上空，然后选择其中的任意一个景点降落。我们换乘汽车沿公路去每一个景点游玩，最后回到出发点，直升机就停在那里等待我们回去。 我们不必考虑怎样走路程最短，只要求必须“游历”了所有的景点。只“路过”而不停留观赏的景点，不能算是“游历”。 例如直升机降落在a点，我们从a点出发，“游历”了其它五个字母所代表的景点后，最终还要回到出发点a。 另外还有一个要求，就是同一直线上的三个景

18、点，必须连续游过之后，才能变更到其它直线上的景点。 从a点出发的旅游方案共有四种，下面逐一说明： 方案从a经过b（不停留）到f（停留），再返回b（停留），再到d（停留），之后经过b（不停留）到c（停留），再到e（停留），最后从e经过c（不停留）回到出发点a。 按照这个方案，可以写出关系式： （af：fb）*（bd：dc）*（ce：ea）=1。 现在，您知道应该怎样写“梅涅劳斯定理”的公式了吧。 从a点出发的旅游方案还有： 方案可以简记为：abfdeca，由此可写出以下公式： （ab：bf）*（fd：de）*（ec：ca）=1。从a出发还可以向“c”方向走，于是有： 方案acedfba，由此可写

19、出公式： （ac：ce）*（ed：df）*（fb：ba）=1。从a出发还有最后一个方案： 方案aecdbfa，由此写出公式： （ae：ec）*（cd：db）*（bf：fa）=1。 我们的直升机还可以选择在b、c、d、e、f任一点降落，因此就有了图中的另外一些公式。 值得注意的是，有些公式中包含了四项因式，而不是“梅涅劳斯定理”中的三项。当直升机降落在b点时，就会有四项因式。而在c点和f点，既会有三项的公式，也会有四项的公式。公式为四项时，有的景点会游览了两次。 不知道梅涅劳斯当年是否也是这样想的，只是列出了一两个典型的公式给我们看看。 还可以从逆时针来看，从第一个顶点到逆时针的第一个交点比上到

20、下一个顶点的距离，以此类推，可得到三个比例，它们的乘积为1. 现在是否可以说，我们对梅涅劳斯定理有了更深刻的了解呢。那些复杂的相除相乘的关系式，不会再写错或是记不住吧。 西姆松定理 西姆松定理图示 西姆松定理是一个几何定理。表述为：过三角形外接圆上异于三角形顶点的任意一点作三边的垂线，则三垂足共线。（此线常称为西姆松线）。西姆松定理的逆定理为：若一点在三角形三边所在直线上的射影共线，则该点在此三角形的外接圆上。 西姆松定理说明 相关的结果有： （1）称三角形的垂心为h。西姆松线和ph的交点为线段ph的中点，且这点在九点圆上。 （2）两点的西姆松线的交角等于该两点的圆周角。 （3）若两个三角形的

21、外接圆相同，这外接圆上的一点p对应两者的西姆松线的交角，跟p的位置无关。 （4）从一点向三角形的三边所引垂线的垂足共线的充要条件是该点落在三角形的外接圆上。 证明 证明一：abc外接圆上有点p，且peac于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

22、，有b、p、l、n和 m、p、l、c分别四点共圆，有 pbn=pln=plm=pcm. 故a、b、p、c四点共圆。 若a、b、p、c四点共圆，则pbn=pcm。因pl垂直于bc，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共

23、圆=6=7 =5=7 agbc=bc垂直平分gh =8=2=4 8+9=90，10+4=90=9=10 =hq/df =pm=mh 第二个问，平分点在九点圆上，如图。设o，g，h分别为三角形abc的外心，重心和垂心。 则o是，确定九点圆的中点三角形xyz的垂心，而g还是它的重心。 那么三角形xyz的外心o1，也在同一直线上，并且 hg/go=go/go1=2，所以o1是oh的中点。 三角形abc和三角形xyz位似，那么它们的外接圆也位似。两个圆的圆心都在oh上，并且两圆半径比为1：2 所以g是三角形abc外接圆和三角形xyz外接圆（九点圆）的反位似中心（相似点在位似中心的两边），h是正位似中心

24、（相似点在位似中心的同一边）. 所以h到三角形abc的外接圆上的连线中点必在三角形def的外接圆上. 圆幂定理 圆幂定理 圆幂定理是对相交弦定理、切割线定理及割线定理（切割线定理推论）以及它们推论统一归纳的结果。 定义 圆幂=po2-r2| 所以圆内的点的幂为负数，圆外的点的幂为正数，圆上的点的幂为零。 相交弦定理。圆内的两条相交弦，被交点分成的两条线段长的积相等。 切割线定理。从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。 割线定理。从圆外一点p引两条割线与圆分别交于a、b；c、d，则有papb=pcpd。 统一归纳：过任意不在圆上的一点p引两条直线l 1、l

25、2，l1与圆交于a、b（可重合，即切线），l2与圆交于c、d（可重合），则有papb=pcpd。 进一步升华（推论） 过任意在圆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| 故平面上任意一点对于圆的幂为这个点到圆心的距离与圆的半径的平方差，而过这一点引任意直线交圆于

26、a、b，那么papb等于圆幂的绝对值。（这就是“圆幂”的由来） 证明 圆幂定理（相交弦定理、切割线定理及其推论（割线定理）统一归纳为圆幂定理） 问题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

27、度，又角cab+角pac=180度，所以角pac=角cdb，又角apc公共，所以三角形apc与三角形dpb相似，所以pa/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-x

28、o）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+xo2+yo2-r2=0 的两个根t 1、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

29、-a=0 其中a为圆的半径的平方。所说的定值也就是（原点）与圆心o的距离的平方减去半径的平方。当p在圆外时，这就是自p向圆所引切线（长）的平方。 这定值称为点p到这圆的幂。 在上面证明的过程中，我们以p为原点，这样可以使问题简化。 如果给定点o，未必是原点，要求出p关于圆的幂（即op2-r2），我们可以设直线ab的方程为 是的倾斜角，表示直线上的点与的距离. 将代入得 即 ，是它的两个根，所以由韦达定理 是定值 是关于的幂（当是原点时，这个值就是）.它也可以写成 即与圆心距离的平方减去半径的平方. 当p在圆内时，幂值是负值；p在圆上时，幂为0；p在圆外时，幂为正值，这时幂就是自p向圆所引切线长

30、的平方。 以上是圆幂定理的证明，下面看一看它的应用. 问题4 自圆外一点向圆引割线交圆于、两点，又作切线、，、为切点，与相交于，如图.求证、成调和数列，即 证：设圆的方程为 点的坐标为，的参数方程为 其中是的倾斜角，表示直线上的点与的距离. 代入得 即 是它的两个根，由韦达定理 另一方面，直线是圆的切点弦，利用前边的结论，的方程为 代入得 因此，这个方程的根满足 综合，结论成立。 可以证明，当在圆内时，上述推导及结论仍然成立。 说明：问题4的解决借用了问题3的方法，同时我们也看到了问题4与问题 1、问题2的内在联系。 四点共圆 四点共圆-图释 如果同一平面内的四个点在同一个圆上，则称这四个点共

31、圆，一般简称为“四点共圆”。四点共圆有三个性质：（1）同弧所对的圆周角相等（2）圆内接四边形的对角互补（3）圆内接四边形的外角等于内对角以上性质可以根据圆周角等于它所对弧的度数的一半进行证明。 四点共圆 证明四点共圆的基本方法 证明四点共圆有下述一些基本方法： 方法1 从被证共圆的四点中先选出三点作一圆，然后证另一点也在这个圆上，若能证明这一点，即可肯定这四点共圆. 方法2 把被证共圆的四个点连成共底边的两个三角形，且两三角形都在这底边的同侧，若能证明其顶角相等，从而即可肯定这四点共圆.（若能证明其两顶角为直角，即可肯定这四个点共圆，且斜边上两点连线为该圆直径。） 方法3 把被证共圆的四点连成

32、四边形，若能证明其对角互补或能证明其一个外角等于其邻补角的内对角时，即可肯定这四点共圆. 方法4 把被证共圆的四点两两连成相交的两条线段，若能证明它们各自被交点分成的两线段之积相等，即可肯定这四点共圆；或把被证共圆的四点两两连结并延长相交的两线段，若能证明自交点至一线段两个端点所成的两线段之积等于自交点至另一线段两端点所成的两线段之积，即可肯定这四点也共圆.（根据托勒密定理的逆定理） 方法5 证被证共圆的点到某一定点的距离都相等，从而确定它们共圆. 上述五种基本方法中的每一种的根据，就是产生四点共圆的一种原因，因此当要求证四点共圆的问题时，首先就要根据命题的条件，并结合图形的特点，在这五种基本

33、方法中选择一种证法，给予证明. 判定与性质： 圆内接四边形的对角和为，并且任何一个外角都等于它的内对角。 如四边形abcd内接于圆o，延长ab和dc交至e，过点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） 证明四

34、点共圆的原理 四点共圆 证明四点共圆基本方法： 方法1 把被证共圆的四个点连成共底边的两个三角形，且两三角形都在这底边的同侧，若能证明其顶角相等，从而即可肯定这四点共圆. 方法2 把被证共圆的四点连成四边形，若能证明其对角互补或能证明其一个外角等于其邻补角的内对角时，即可肯定这四点共圆. 四点共圆的判定是以四点共圆的性质的基础上进行证明的。 四点共圆的定理： 四点共圆的判定定理： 方法1把被证共圆的四个点连成共底边的两个三角形，且两三角形都在这底边的同侧，若能证明其顶角相等，从而即可肯定这四点共圆. （可以说成：若线段同侧二点到线段两端点连线夹角相等，那末这二点和线段二端点四点共圆） 方法2把

35、被证共圆的四点连成四边形，若能证明其对角互补或能证明其一个外角等于其邻补角的内对角时，即可肯定这四点共圆. （可以说成。若平面上四点连成四边形的对角互补或一个外角等于其内对角。那么这四点共圆） 反证法证明 现就“若平面上四点连成四边形的对角互补。那末这四点共圆”证明如下（其它画个证明图如后） 已知：四边形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不可能在圆

36、外。类似地可证c不可能在圆内。 c在圆o上，也即a，b，c，d四点共圆。 第二篇：圆幂定理圆幂定理 （1）相交弦定理 圆内的两条相交弦，被交点分成的两条线段长的积相等。或经过圆内一点引两条弦，各弦被这点所分成的两段的积相等。 （2）相交弦定理推论 如果弦与直径垂直相交，那么弦的一半是它所分直径所成的两条线段的比例中项。 （3）切割线定理。从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。 （4）切割线定理的推论： 从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等。 （5）割线定理 从圆外一点引圆的两条割线，这一点到每条割线与圆交点的距离的积相

37、等。 （6）弦切角定理 1、弦切角的定义。顶点在圆上，一边和圆相交，另一边和圆相切的角叫做弦切角。（弦切角就是切线与弦所夹的角） 2、弦切角定理。弦切角的度数等于它所夹的弧的圆周角。 第三篇：圆相关定理弦切角定理 一、弦切角 1、弦切角定义：顶点在圆上，一边和圆相交，另一边和圆相切的角叫做弦切角（弦切角就是切线与弦所夹的角） 如右图所示，直线pt切圆o于点c，bc、ac为圆o的弦，tcb，tca，pca，pcb都为弦切角。 二、弦切角定理 1、弦切角定理：弦切角的度数等于它所夹的弧的圆心角的度数的一半 2、弦切角定理证明（分三种情况讨论）： 已知：ac是o的弦，ab是o的切线，a为切点，弧是弦

38、切角bac所夹的弧.求证：弦切角定理 圆心o在bac的一边ac上 ac为直径，ab切o于a， 弧cma=弧ca 为半圆， cab=90=弦ca所对的圆周角 圆心o在bac的内部 过a作直径ad交o于d，若在优弧m所对的劣弧上有一点e，连接ec、ed、eaced=caddea=dab cea=cab 圆心o在bac的外部， 过a作直径ad交o于db cda+cad=cab+cad=90 cda=cab 三、弦心角推论 1、推论内容：若两弦切角所夹的弧相等，则这两个弦切角也相等 2、应用： eg.如图，abc内接于o，ab是o直径，cdab于d，mn切o于c 求证：ac平分mcd，bc平分ncd.

39、证明：ab是o直径 acb=90 cdab acd=b， mn切o于c mca=b， mca=acd， 即ac平分mcd， 同理：bc平分ncd. 圆幂定理相交弦定理 一、相交弦定理 1、相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等（经过圆内一点引两条弦，各弦被这点所分成的两段的积相等） 几何语言： 弦ab、cd交于点ppapb=pcpd（相交弦定理） 1、推论：如果弦与直径垂直相交，那么弦的一半是它分直径所成的两条线段的比例中项p.s.1、几何中比例中项的概念：如果a、b、c三个量成连比例即a：b=b：c，b叫做a和c的比例中项。 22、性质：b=a*c 几何语言： ab是直径，cd垂直ab于点p 2pc=papb（相交弦定理推论） 二、相交弦定理证明 证明：连结ac，bd 由圆周角定理的推论 得a=d，c=b（圆周角推论2：同（等）弧所对圆周角相等） pacpdb， papd=pcpb，papb=pcpd 圆幂定理切割线定理 一、切割线定理 1、切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项 几何语言： pt切o于点t，pba是o的割线2pt=papb（切割线定理） 2、推论：从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等