圆的相关定理复习（大全五篇）

第一篇：圆的相关定理复习

圆的相关定理

1.圆的定义:________________________________________________________.2.垂径定理:垂直于弦的直径平分弦,并且______________________________.3.圆心角、弧、弦、弦心距的关系定理：在同圆或等圆中，如果有两个圆心角相等，那么这两个圆心角所夹的弧相等，所对的______相等,所对的________相等.4.圆周角定理:圆周角的度数等于它所夹弧所对的____________________的一半.5.切线长定理:从圆外一点引圆的两条切线,那么__________相等,并且这一点和圆心的连线______两条切线的夹角.6.弦切角定理:从圆上一点引圆的一条切线和一条弦,弦切角等于它所夹_____对的______角.7.相交弦定理:圆内的两条相交弦被交点分成的两条线段的乘积__________.8.切割线定理:从圆外一点引圆的一条切线和一条割线,那么切线长的平方等于这一点到圆上两个点之间的两条线段的乘积.9.圆内接四边形定理:圆内接四边形的对角______,每一个外角等于其内对角.10.___________的三点确定一个圆.三角形的外接圆是指______________________,此时三角形是圆的_______三角形,圆心是三角形的_____心;三角形的内切圆是指__________________,此时三角形是圆的_______三角形,圆心是三角形的_____心.11.点与圆的位置关系有_____种,分别是____________,___________,__________;直线与圆的位置关系有______种,分别是

_____________,______________,_______________;

圆与圆的位置关系有________种,分别是

_________,_________,________,_________,____________.12.圆的切线的识别定理:_______________________________________________

________________________________________.13.在半径为r的圆中,面积为S=_______.周长C=______,若一个扇形的圆心角为

n,则扇形弧长为____________,面积为__________________________________

14.圆锥的侧面展开图是_____,已知母线长为a,底面圆半径为r,则侧面积为_________,全面积为___________________.15.圆柱的侧面展开图是______,已知母线长为a,底面圆半径为r,则侧面积为_________,全面积为___________________.

第二篇：圆相关定理

弦切角定理

一、弦切角

1、弦切角定义：顶点在圆上，一边和圆相交，另一边和圆相切的角叫做弦切角(弦切角就是切线与弦所夹的角）

如右图所示，直线PT切圆O于点C，BC、AC为圆O的弦，∠TCB，∠TCA，∠PCA，∠PCB都为弦切角。

二、弦切角定理

1、弦切角定理：弦切角的度数等于它所夹的弧的圆心角的度数的一半

2、弦切角定理证明（分三种情况讨论）：

已知：AC是⊙O的弦，AB是⊙O的切线，A为切点，弧是弦切角∠BAC所夹的弧.求证：弦切角定理

①圆心O在∠BAC的一边AC上

∵AC为直径，AB切⊙O于A，∴弧CmA=弧CA

∵为半圆,∴∠CAB=90=弦CA所对的圆周角

②圆心O在∠BAC的内部

过A作直径AD交⊙O于D,若在优弧m所对的劣弧上有一点E，连接EC、ED、EA∴∠CED=∠CAD ∠DEA=∠DAB

∴ ∠CEA=∠CAB

③圆心O在∠BAC的外部,过A作直径AD交⊙O于DB

∴∠CDA+∠CAD=∠CAB+∠CAD=90

∴∠CDA=∠CAB

三、弦心角推论

1、推论内容：若两弦切角所夹的弧相等，则这两个弦切角也相等

2、应用：

Eg.如图，ΔABC内接于⊙O，AB是⊙O直径，CD⊥AB于D，MN切⊙O于C

求证：AC平分∠MCD，BC平分∠NCD.证明：∵AB是⊙O直径

∴∠ACB=90

∵CD⊥AB

∴∠ACD=∠B，∵MN切⊙O于C

∴∠MCA=∠B，∴∠MCA=∠ACD，即AC平分∠MCD，同理：BC平分∠NCD.圆幂定理——相交弦定理

一、相交弦定理

1、相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等（经过圆内一点引两条弦，各弦被这点所分成的两段的积相等）

几何语言：

∵弦AB、CD交于点P ∴PA·PB=PC·PD（相交弦定理）

1、推论：如果弦与直径垂直相交，那么弦的一半是它分直径所成的两条线段的比例中项 P.S.1、几何中比例中项的概念：如果a、b、c三个量成连比例即a:b=b:c，b叫做a和c的比例中项。

22、性质：b=a*c

几何语言：

∵AB是直径，CD垂直AB于点P

2∴PC=PA·PB（相交弦定理推论）

二、相交弦定理证明

证明：连结AC，BD

由圆周角定理的推论

得∠A=∠D，∠C=∠B（圆周角推论2: 同(等)弧所对圆周角相等）

∴△PAC∽△PDB，∴PA∶PD=PC∶PB，PA·PB=PC·PD

圆幂定理——切割线定理

一、切割线定理

1、切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项

几何语言：

∵PT切⊙O于点T，PBA是⊙O的割线2∴PT=PA·PB（切割线定理）

2、推论：从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等

几何语言：

∵PBA，PDC是⊙O的割线

∴PD·PC=PA·PB（切割线定理推论）/(割线定理）

2由上可知:PT

=PA·PB

2即PT=PC·PD

二、切割线定理证明

已知：如图ABP是⊙O的一条割线，PT是⊙O的一条切线，切点为T，2证明：PT=PA·PB

证明：连接AT, BT

∵∠PTB=∠PAT(弦切角定理)

∠P=∠P(公共角)

∴△PBT∽△PTA(两角对应相等,两三角形相似)

则PB：PT=PT：AP

2即：PT=PA·PB

圆幂定理——割线定理

一、割线定理

1、割线定理：从圆外一点引圆的两条割线，这一点到每条割线与圆交点的距离的积相等从圆外一点P引两条割线与圆分别交于A.B.C.D 则有 LA·LB=LC·LD。如图所示。(LT是

切线）

二、割线定理证明

已知：如图直线ABP和CDP是自点P引的⊙O的两条割线

证明：PA·PB=PC·PD

证明:连接AD、BC

∵∠A和∠C都对弧BD

∴由圆周角定理，∠A=∠C

又∵∠APD=∠CPB

∴△ADP∽△CBP

∴AP:CP=DP:BP,即PA·PB=PC

·PD

第三篇：各种圆定理总结

费尔巴赫定理

费尔巴赫定理三角形的九点圆与内切圆内切，而与旁切圆外切。

此定理由德国数学家费尔巴赫（K·W·Feuerbach，1800—1834）于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中，由余弦定理可求得: HI^2=4R^2+4Rr+3r^2-s^2;在△AHO中，由余弦定理可求得: HO^2=9R^2+8Rr+2r^2-2s^2;在△AIO中，由余弦定理可求得: OI^2=R(R-2r).∵九点圆心在线段HO的中点, ∴在△HIO中，由中线公式可求得.4IQ^2=2(4R^2+4Rr+3r^2-s^2)+ 2(R^2-2Rr)-(9R^2+8Rr+2r^2-2s^2)=(R-2r)^2 故IQ=(R-2r)/2.又△ABC的九点圆半径为R/2, 所以九点圆与内切圆的圆心距为 d=R/2-r=(R-2r)/2=IQ.因此三角形的九点圆与内切圆内切。在△AHIa中，由余弦定理可求得: IaH^2=4R^2+4Rr+r^2-s^2+2(ra)^2;在△AOIa中，由余弦定理可求得: IaO^2=R(R+2ra).在△HIaO中，由中线公式可求得.4IaQ^2=2(4R^2+4Rr+r^2-s^2+2ra^2)+2(R^2+2Rra)-(9R^2+8Rr+2r^2-2s^2)=(R+2ra)^2 故IaQ=(R+2ra)/2.九点圆与∠A的旁切圆的圆心距为 d=R/2+ra=(R+2ra)/2=IaQ.故三角形的九点圆与∠A的旁切圆外切。因此三角形的九点圆与旁切圆外切

托勒密定理

一些圆定理.doc定理图

定理的内容托勒密(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。因此△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·BD＝AB·CD＋AD·BC．

证明：如图1，过C作CP交BD于P，使∠1=∠2，又∠3=∠4，∴△ACD∽△BCP．得AC：BC=AD：BP，AC·BP=AD·BC ①。又∠ACB=∠DCP，∠5=∠6，∴△ACB∽△DCP．得AC：CD=AB：DP，AC·DP=AB·CD ②。①＋②得 AC(BP＋DP)=AB·CD＋AD·BC．即AC·BD=AB·CD＋AD·BC．

推论

1.任意凸四边形ABCD，必有AC·BD≤AB·CD+AD·BC，当且仅当ABCD四点共圆时取等号。

2.托勒密定理的逆定理同样成立：一个凸四边形两对对边乘积的和等于两条对角线的乘积，则这个凸四边形内接于一圆、推广

托勒密不等式：四边形的任两组对边乘积不小于另外一组对边的乘积，取等号当且仅当共圆或共线。

简单的证明：复数恒等式：(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.四点不限于同一平面。

欧拉定理：在一条线段上AD上，顺次标有B、C两点，则AD·BC+AB·CD=AC·BD

塞瓦定理

简介

塞瓦（Giovanni Ceva，1648～1734）意大利水利工程师，数学家。塞瓦定理载于塞瓦于1678年发表的《直线论》一书，也有书中说塞瓦定理是塞瓦重新发现。

具体内容

塞瓦定理

在△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②

②÷①:即得：(BD/DC)*(CE/EA)*(AF/FB)=1

（Ⅱ）也可以利用面积关系证明

∵BD/DC=S△ABD/S△ACD=S△BOD/S△COD=(S△ABD-S△BOD)/(S△ACD-S△COD)=S△AOB/S△AOC ③

同理 CE/EA=S△BOC/ S△AOB ④ AF/FB=S△AOC/S△BOC ⑤

③×④×⑤得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)/[(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）

塞瓦定理推论

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交于一点的充分必要条件是：

(sin∠BAD/sin∠DAC)*(sin∠ACF/sin∠FCB)*(sin∠CBE/sin∠EBA)=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)]=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作AG∥BC交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作CP∥DF交AB于P，则BD/DC=FB/PF，CE/EA=PF/AF

所以有AF/FB×BD/DC×CE/EA=AF/FB×FB/PF×PF/AF=1

它的逆定理也成立：若有三点F、D、E分别在△ABC的边AB、BC、CA或其延长线上，且满足(AF/FB)×(BD/DC)×(CE/EA)=1，则F、D、E三点共线。利用这个逆定理，可以判断三点共线。

梅涅劳斯(Menelaus)定理

证明三：

过ABC三点向三边引垂线AA'BB'CC'，所以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)

=（S△ADF：S△BDF）·（S△BEF：S△CEF）·（S△BCF：S△BAF）

=（S△ADF：S△BDF）·（S△BDF：S△CDF）·（S△CDF：S△ADF）

此外，用定比分点定义该定理可使其容易理解和记忆：

在△ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点，又分比是λ=BL/LC、μ=CM/MA、ν=AN/NB。于是L、M、N三点共线的充要条件是λμν=1。

第一角元形式的梅涅劳斯定理

如图：若E，F，D三点共线，则

(sin∠ACF/sin∠FCB)(sin∠BAD/sin∠DAC)(sin∠CBA/sin∠ABE)=1

即图中的蓝角正弦值之积等于红角正弦值之积

该形式的梅涅劳斯定理也很实用

第二角元形式的梅涅劳斯定理

在平面上任取一点O，且EDF共线，则（sin∠AOF/sin∠FOB)(sin∠BOD/sin∠DOC)(sin∠COA/sin∠AOE)=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是六个旅游景点，各景点之间有公路相连。我们乘直升机飞到这些景点的上空，然后选择其中的任意一个景点降落。我们换乘汽车沿公路去每一个景点游玩，最后回到出发点，直升机就停在那里等待我们回去。

我们不必考虑怎样走路程最短，只要求必须“游历”了所有的景点。只“路过”而不停留观赏的景点，不能算是“游历”。

例如直升机降落在A点，我们从A点出发，“游历”了其它五个字母所代表的景点后，最终还要回到出发点A。

另外还有一个要求，就是同一直线上的三个景点，必须连续游过之后，才能变更到其它直线上的景点。

从A点出发的旅游方案共有四种，下面逐一说明：

方案 ① ——从A经过B（不停留）到F（停留），再返回B（停留），再到D（停留），之后经过B（不停留）到C（停留），再到E（停留），最后从E经过C（不停留）回到出发点A。

按照这个方案，可以写出关系式：

（AF：FB）*（BD：DC）*（CE：EA）=1。

现在，您知道应该怎样写“梅涅劳斯定理”的公式了吧。

从A点出发的旅游方案还有：

方案 ② ——可以简记为：A→B→F→D→E→C→A，由此可写出以下公式：

（AB：BF）*（FD：DE）*（EC：CA）=1。从A出发还可以向“C”方向走，于是有：

方案 ③ —— A→C→E→D→F→B→A，由此可写出公式：

（AC：CE）*（ED：DF）*（FB：BA）=1。从A出发还有最后一个方案：

方案 ④ —— A→E→C→D→B→F→A，由此写出公式：

（AE：EC）*（CD：DB）*（BF：FA）=1。

我们的直升机还可以选择在B、C、D、E、F任一点降落，因此就有了图中的另外一些公式。

值得注意的是，有些公式中包含了四项因式，而不是“梅涅劳斯定理”中的三项。当直升机降落在B点时，就会有四项因式。而在C点和F点，既会有三项的公式，也会有四项的公式。公式为四项时，有的景点会游览了两次。

不知道梅涅劳斯当年是否也是这样想的，只是列出了一两个典型的公式给我们看看。

还可以从逆时针来看，从第一个顶点到逆时针的第一个交点比上到下一个顶点的距离，以此类推，可得到三个比例，它们的乘积为1.现在是否可以说，我们对梅涅劳斯定理有了更深刻的了解呢。那些复杂的相除相乘的关系式，不会再写错或是记不住吧。

西姆松定理

西姆松定理图示

西姆松定理是一个几何定理。表述为：过三角形外接圆上异于三角形顶点的任意一点作三边的垂线，则三垂足共线。（此线常称为西姆松线）。西姆松定理的逆定理为：若一点在三角形三边所在直线上的射影共线，则该点在此三角形的外接圆上。

西姆松定理说明

第四篇：圆幂定理

圆幂定理

（1）相交弦定理

圆内的两条相交弦，被交点分成的两条线段长的积相等。或经过圆内一点引两条弦，各弦被这点所分成的两段的积相等。

（2）相交弦定理推论

如果弦与直径垂直相交，那么弦的一半是它所分直径所成的两条线段的比例中项。

（3）切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。

（4）切割线定理的推论：

从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等。

（5）割线定理

从圆外一点引圆的两条割线，这一点到每条割线与圆交点的距离的积相等。

（6）弦切角定理

1、弦切角的定义：顶点在圆上，一边和圆相交，另一边和圆相切的角叫做弦切角。(弦切角就是切线与弦所夹的角）

2、弦切角定理：弦切角的度数等于它所夹的弧的圆周角。

第五篇：圆的相关定理

圆幂定理

定义

圆幂=PO^2-R^2（该结论为欧拉公式）所以圆内的点的幂为负数，圆外的点的幂为正数，圆上的点的幂为零。相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等。切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。

割线定理：从圆外一点P引两条割线与圆分别交于A、B；C、D，则有 PA·PB=PC·PD。

统一归纳：过任意不在圆上的一点P引两条直线L1、L2，L1与圆交于

A、B（可重合，即切线），L2与圆交于C、D（可重合），则有PA·PB=PC·PD。

相交弦定理

圆内的两条相交弦，被交点分成的两条线段长的积相等。（经过圆内一点引两条弦，各弦被这点所分成的两段的积相等）

相交弦说明

几何语言：

若弦AB、CD交于点P

则PA·PB=PC·PD（相交弦定理）

推论：如果弦与直径垂直相交，那么弦的一半是它分

直径所成的两条线段的例中项

几何语言：

若AB是直径，CD垂直AB于点P，则PC^2=PA·PB（相交弦定理推论）

切割线定理

定义

从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。是圆幂定理的一种。

几何语言：

∵PT切⊙O于点T，PBA是⊙O的割线

∴PT的平方=PA·PB（切割线定理）推论：

从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等

几何语言：

∵PT是⊙O切线，PBA，PDC是⊙O的割线

∴PD·PC=PA·PB（切割线定理推论）(割线定理）

由上可知:PT∧2（平方）=PA·PB=PC·PD

证明

切割线定理证明:

设ABP是⊙O的一条割线，PT是⊙O的一条切线，切点为T，则PT^2=PA·PB

证明：连接AT, BT

∵∠PTB=∠PAT(弦切角定理)

∠P=∠P(公共角)

∴△PBT∽△PTA(两角对应相等,两三角形相似)

则PB：PT=PT：AP

即：PT^2=PB·PA

割线定理

定义

从圆外一点引圆的两条割线，这一点到每条割线

与圆交点的距离的积相等。

从圆外一点L引两条割线与圆分别交于A.B.C.D 则有

LA·LB=LC·LD。如下图所示。(LT是切线）

证明

如图直线ABP和CDP是自点P引的⊙O的两条割线，则PA·PB=PC·PD证明:连接AD、BC

∵∠A和∠C都对弧BD

∴由圆周角定理，得 ∠A=∠C

又∵∠APD=∠CPB

∴△ADP∽△CBP

∴AP:CP=DP:BP, 也就是AP·BP=CP·DP

切线的判定定理

经过半径的外端并且垂直于这条半径的直线是圆的切线

几何语言： ∵l ⊥OA，点A在⊙O上

∴直线l是⊙O的切线（切线判定定理）

切线的性质定理

圆的切线垂直于经过切点半径

几何语言： ∵OA是⊙O的半径，直线l切⊙O于点A

∴l ⊥OA（切线性质定理）

推论1 经过圆心且垂直于切线的直径必经过切点

推论2 经过切点且垂直于切线的直线必经过圆心

切线长定理

从圆外一点引圆的两条切线，它们的切线长相等，圆心和这一点的连线平分两条切线的夹角

几何语言： ∵直线PA、PB分别切⊙O于A、B两点

∴PA=PB，∠APO=∠BPO（切线长定理）

证明：连结OA、OB

∵直线PA、PB分别切⊙O于A、B两点

∴OA⊥AP、OB⊥PB

∴∠OAP=∠OBP=90°

在△OPA和△OPB中：

∠OAP=∠OBPOP=OPOA=OB=r∴△OPA≌△OPB（HL）

∴PA=PB，∠APO=∠BPO

弦切角定理

弦切角（即图中∠ACD)等于它所夹的弧(弧AC)对的圆周角等于所夹的弧的读数的一半等于1/2所夹的弧的圆心角 [注，由于网上找得的图不是很完整，图中没有连结OC]

几何语言：∵∠ACD所夹的是弧AC ∴∠ACD=∠ABC=1/2∠COA=1/2弧AC的度数(弦切角定理）

推论如果两个弦切角所夹的弧相等，那么这两个弦切角也相等几何语言：∵∠1所夹的是弧MN，∠2所夹的是PQ，弧MN = 弧PQ

∴∠1=∠

2证明：作AD⊥EC

∵∠ADC=90°

∴∠ACD+∠CAD=90°

∵ED与⊙O切于点C∴OC⊥ED∴∠OCD=∠OCA+∠ACD=90°∴∠OCA=∠CAD∵OC=OA=r∴∠OCA=∠OAC∴∠COA=180°-∠OCA-∠OAC=180°-2∠CAD又∵∠ACD=90°-∠CAD∴∠ACDC=1/2∠COA

∴∠ACD=∠ABC=1/2∠COA=1/2弧AC的度数

弦切角概念

顶点在圆上，一边和圆相交、另一边和圆相切的角叫做弦切角．它是继圆心角、圆周角之后第三种与圆有关的角．这种角必须满足三个条件：

（1）顶点在圆上，即角的顶点是圆的一条切线的切点；

（2）角的一边和圆相交，即角的一边是过切点的一条弦所在的射线；

（3）角的另一边和圆相切，即角的另一边是切线上以切点为端点的一条射线．

它们是判断一个角是否为弦切角的标准，三者缺一不可。

（4）弦切角可以认为是圆周角的一个特例，即圆周角的一边绕顶点旋转到与圆相切时所成的角．正因为如此，弦切角具有与圆周角类似的性质．