圆幂定理及其证明

圆幂的定义假设平面上有一圆O，其半径为R，有一点P在圆O外，则OP^2-R^2即为P点到圆O的幂；若P点在圆内，则圆幂为R^2-OP^2；综上所述，圆幂为|OP^2-R^2|。

圆幂恒大于或等于零。

圆幂的由来过任意在圆O外的一点P引一条直线L1与一条过圆心的直线L2，L1与圆交于A、B（可重合，即切线），L2与圆交于C、D。

则PA·PB=PC·PD。

若圆半径为r，则PC·PD=(PO-r)·(PO+r)=PO^2-r^2=|PO^2-r^2| （要加绝对值，原因见下）为定值。

这个值称为点P到圆O的幂。

（事实上所有的过P点与圆相交的直线都满足这个值）若点P在圆内，类似可得定值为r^2-PO^2=|PO^2-r^2|故平面上任意一点对于圆的幂为这个点到圆心的距离与圆的半径的平方差，而过这一点引任意直线交圆于A、B，那么PA·PB等于圆幂的绝对值。

圆幂定理定理内容过任意不在圆上的一点P引两条直线L1、L2，L1与圆交于A、B（可重合，即切线），L2与圆交于C、D（可重合），则有。

[1]圆幂定理的所有情况考虑经过P点与圆心O的直线，设PO交⊙O与M、N，R为圆的半径，则有圆幂定理的证明图Ⅰ：相交弦定理。

如图，AB、CD为圆O的两条任意弦。

相交于点P，连接AB、BD，由于∠B与∠D同为弧AC所对的圆周角，因此由圆周角定理知：∠B=∠D，同理∠A=∠C，所以。

所以有：，即：图Ⅱ：割线定理。

如图，连接AD、BC。

可知∠B=∠D，又因为∠P为公共角，所以有，同上证得图Ⅲ：切割线定理。

如图，连接AC、AD。

∠PAC为切线PA与弦AC组成的弦切角，因此有∠PAC=∠D，又因为∠P为公共角，所以有易证图Ⅳ：PA、PC均为切线，则∠PAO=∠PCO=直角，在直角三角形中：OC=OA=R，PO为公共边，因此所以PA=PC，所以综上可知，是普遍成立的。

证明完毕。

圆幂定理浙教版八年级上册圆幂定理是几何学中一个重要的定理，出现在我国初中数学教材的八年级上册。

它涉及到圆、线段、角度等几何元素，为我们解决实际问题提供了有力的工具。

下面，我们将详细介绍圆幂定理的相关内容。

一、圆幂定理的定义及意义圆幂定理是指：在同一个圆中，相交弦（非直径）的长度乘以其所对的圆心角的正弦值，等于两弦端点与圆心构成的直角三角形的面积的两倍。

用数学公式表示为：AC × sinA = 2 × △ABC的面积。

这个定理在实际应用中具有很大的价值，可以帮助我们快速计算几何图形的面积、周长等参数。

二、圆幂定理的应用1.求解弦心距：已知弦长和弦所对的圆心角，可以利用圆幂定理求解弦心距。

2.求解三角形面积：已知三角形的一条边和对应的角度，可以利用圆幂定理求解三角形面积。

3.求解圆的半径：在已知弦长和弦所对的圆心角的情况下，可以利用圆幂定理求解圆的半径。

4.求解扇形面积：已知扇形的半径和圆心角，可以利用圆幂定理求解扇形面积。

三、圆幂定理的证明证明圆幂定理的方法有很多，这里我们以向量法为例进行证明。

设圆心为O，弦AB的两端点分别为A、B，圆心角为AOB，弦心距为OC。

根据向量加法、减法及数乘运算，我们可以得到以下关系：1.OA × OB = OC × OA + OC × OB2.OC × OA = △AOC的面积× 23.OC × OB = △BOC的面积× 2将上述三个式子相加，可以得到：OA × OB +OC × OA + OC × OB = 2 × (△AOC的面积+ △BOC的面积)根据向量数量积的性质，我们知道：OA × OB = △AOB的面积× R（R为圆的半径）将上式代入前面的等式，可以得到：△AOB的面积× R + OC × OA + OC × OB = 2 × (△AOC的面积+△BOC的面积)整理后，我们可以得到圆幂定理的公式：AC × sinA = 2 × △ABC的面积四、总结与拓展圆幂定理是几何学中的一个基本定理，掌握它有助于我们更好地解决实际问题。

圆幂定理是解决圆与直线之间的关系的重要定理，其三大结论证明如下：两条相交的弦所对应的弧所构成的圆周幂相等。

证明：设两条相交的弦AB、CD所对应的弧为a、b，交点为E。

则AE·EB=CE·ED，即AE·(AE+EB)=CE·(CE+ED)，化简得AE²-CE²=ED·CE-EB·AE，即(AE+CE)(AE-CE)=ED·CE-EB·AE，因为AE+CE=AD，所以AD·BD=ED·CE-EB·AE，即AD·BD=AB·EC，故得证。

一条切线与圆相交所得的切线段的平方等于这条切线外部点到圆的距离的平方。

证明：设切线与圆相交于点A、B，圆心为O，连接OA、OB，垂直于切线的直线与切线相交于点C，连接OC，过点B作圆的直径DE，则OC垂直于DE，且OC=OD，OE是半径，故OE ²=OC·OD。

因为OC²=OB²+BC²，所以OE²=OB²+BC²-OD²，即OB²=OE²-BC²，故得证。

直线段在圆内部或圆上所作的两条割线所对应的线段的乘积等于这条直线段与其所在圆的距离的平方减去圆的半径的平方。

证明：设直线段为AB，圆心为O，半径为r，与直线段相交于点C、D，连接OC、OD、OE，过点E作圆的直径EF，则OC·OD=(OE-CE)·(OE+DE)=OE²-CE·DE，因为CE·DE=AE·BE，所以OC·OD=OE²-AE·BE，故AE·BE=OB²- r²，即得证。

五大圆幂定理证明五大圆幂定理是指：1. 圆内接正多边形的边数是多边形周长与直径之比的平方。

2. 圆外切正多边形的边数是多边形周长与直径之比的平方。

3. 任意一个正n边形的内切圆半径等于半径与n之和的1/n。

4. 任意一个正n边形的外接圆半径等于半径的n倍。

5. 任意一个正n边形的周长等于n倍的外接圆周长。

下面给出五大圆幂定理的证明：1. 周长与直径之比的平方设正n边形的周长为P，直径为d，则n个边的长度之和为2P/n。

因为每个边上的弧长等于周长除以360度，所以每个边的长度为(2P/n)/360度。

因为正n边形的每个内角都相等，所以内角和为(180度/n) * n，即180度。

因此，每个边所对的圆心角为180度除以n，即36度。

又因为圆周角的大小与圆心角的大小成正比，所以每个圆周所对的圆心角为36度，即每个圆周的长度为2πr，其中r为圆的半径。

因此，每个边的长度等于2πr * (2/360) * n，即πr/3。

因此，直径d等于πr/3，周长P等于3πr，所以正n边形的边数n等于周长P除以直径d的平方，即n=3P/d²。

2. 外切正多边形的边数是周长与直径之比的平方证明同上，只是将周长P替换为周长与直径之比的平方P/d²。

3. 内切圆半径等于半径与n之和的1/n设正n边形的边长为a，内接圆的半径为r，则内接圆的周长为2πr，因为内接圆与正n边形相切，所以内接圆的周长等于正n边形的周长除以n，即2πr=P/n。

因此，πr=P/n，即r=P/nπ。

又因为内接圆的半径等于边长a与半径r之差的一半，即r=a-(a/2r)=a*(1-1/n)，所以a=2r/n。

因此，内切圆半径等于半径与n之和的1/n，即r=P/2nπ/(n-1)。

4. 外接圆半径等于半径的n倍设正n边形的边长为a，外接圆的半径为R，则外接圆的周长为2πR，因为外接圆与正n边形相切，所以外接圆的周长等于正n边形的周长除以n，即2πR=P/n。

圆幂的定理
圆幂定理是几何学中的一条定理，它描述了一个点与一个圆之间的关系。

具体来说，圆幂定理说明了如果有一条直线通过一个点P，与一个圆相交于点M和点N，那么这个点P到圆的两个切线段PM和PN的长度的乘积等于点P到圆心O的距离的平方减去圆的半径的平方，即可以表示为PM * PN = PO^2 - r^2。

圆幂定理可以推广到两个圆相交的情况下，即如果有两个圆分别为圆A和圆B，并且它们相交于点M和点N，那么点M和点N到这两个圆心的线段的乘积等于这两个圆心到点M和点N的距离的乘积，即可以表示为MA * MB = NA * NB。

这个式子即为圆A关于圆B的圆幂定理。

圆幂定理有许多应用，其中一个重要的应用是求解圆的切线长度。

通过圆幂定理，可以求解出切线与切点之间的关系，进而解决与圆切线相关的几何问题。

圆幂定理切割线定理圆幂定理圆幂定理是解决圆与直线之间关系的重要工具。

它描述了一个点到圆的两条切线段的乘积等于该点到圆心距离的平方减去圆半径的平方。

定义设有一个圆O，其半径为r，圆心为C。

假设有一条直线L穿过点P，并且与圆O相交于点A和B。

则点P到直线L的两条切线段PA和PB 满足以下公式：PA × PB = (PC² - r²)其中，PA和PB分别表示点P到A和B的距离，PC表示点P到C的距离。

证明首先，我们可以通过勾股定理得出三角形OPC中OC² = OP² + PC²。

然后，我们可以使用相似三角形OPA和OPB来证明这个公式。

因为OA和OB是切线，所以∠OPA = ∠OPB = 90°。

同时，因为OA=OB=r，所以三角形OAB是等腰三角形。

因此，在三角形OPA中，我们可以使用勾股定理得出：PA² = OP² - OA²= OP² - r²同样，在三角形OPB中，我们可以使用勾股定理得出：PB² = OP² - OB²= OP² - r²将这两个等式相乘，得到：PA × PB = (OP² - r²) × (OP² - r²)= (OP² - r²)²= PC² - r²因此，圆幂定理得证。

应用圆幂定理在几何学、物理学和工程学中都有广泛的应用。

以下是其中的一些例子：- 在几何学中，圆幂定理可以用来解决关于切线、割线和弦的问题。

- 在物理学中，圆幂定理可以用来计算光线通过透镜或曲面镜时的焦距。

- 在工程学中，圆幂定理可以用来设计机械零件和建筑结构。

切割线定理切割线定理是解决两个相交圆之间关系的重要工具。

它描述了两个相交圆之间的切割线段长度乘积等于该点到两个圆心距离之差的平方。

圆幂定理定义圆幂=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。

（推论）过任意在圆O外的一点P引一条直线L1与一条过圆心的直线L2，L1与圆交于A、B （可重合，即切线），L2与圆交于C、D。

则PA·PB=PC·PD。

若圆半径为r，则PC·PD=(PO-r)·(PO+r)=PO^2-r^2=|PO^2-r^2| （要加绝对值，原因见下）为定值。

这个值称为点P到圆O的幂。

（事实上所有的过P点与圆相交的直线都满足这个值）若点P在圆内，类似可得定值为r^2-PO^2=|PO^2-r^2| 故平面上任意一点对于圆的幂为这个点到圆心的距离与圆的半径的平方差，而过这一点引任意直线交圆于A、B，那么PA·PB等于圆幂的绝对值。

（这就是“圆幂”的由来）证明圆幂定理（相交弦定理、切割线定理及其推论(割线定理)统一归纳为圆幂定理）问题1相交弦定理：圆内的两条相交弦,被交点分成的两条线段长的乘积相等。

证明：连结AC，BD，由圆周角定理的推论，得∠A=∠D，∠C=∠B。

∴△PAC∽△PDB，∴PA:PD=PC:PB，PA·PB=PC·PD问题2割线定理：从圆外一点P引两条割线与圆分别交于A.B.C.D 则有PA·PB=PC·PD，当PA=PB，即直线AB重合，即PA切线时得到切线定理PA^2=PC·PD 证明：（令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 切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项几何语言：∵PT 切⊙O于点T，PBA是⊙O的割线∴PT^2=PA·PB（切割线定理）推论从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等几何语言：∵PBA、PDC是⊙O的割线∴PD·PC=PA·PB（切割线定理推论）问题3过点P任作直线交定圆于两点A、B，证明PA·PB为定值（圆幂定理）。

补充内容：圆幂定理一、圆幂定理及其逆定理：（1）割线定理：设过圆O 外一点P 的两直线分别与圆O 交于点B A ,和D C ,，则PD PC PB P A ⋅=⋅，反之PD PC PB P A ⋅=⋅，则D C B A ,,,四点共圆（2）相交弦定理：圆O 的两条弦CD AB ,相交于点P ，则PD PC PB P A ⋅=⋅，反之过点P 的两直线上四点D C B A ,,,满足PD PC PB P A ⋅=⋅，则D C B A ,,,四点共圆（3）切割线定理：设直线P A 与圆切于点T ，过点P 的直线交圆于C B ,两点，则PBP A PT ⋅=2证明：（1）连接BC AD ,，由圆的性质D B ∠=∠，所以P AD ∆∽PCB ∆所以⇒=PBPDPC P A PD PC PB P A ⋅=⋅（2）连接BC AD ,，则C A ∠=∠，B D ∠=∠，所以P AD ∆∽PCB ∆所以⇒=PBPDPC P A PD PC PB P A ⋅=⋅（3）连接TB TA ,，则PBT PTA ∠=∠，所以PTA ∆∽PBT ∆所以⇒=PTP APB PT PB P A PT ⋅=2二、圆幂定理的应用例1.“圆幂定理”是平面几何中关于圆的一个重要定理，它包含三个结论，其中一个是相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等，如图，已知圆O 的半径为2，点P 是圆O 内的定点，且2=OP ，弦BD AC ,均过点P ，则下列说法正确的是A.0)(=⋅+DB OB ODB.PC P A ⋅为定值C.OC OA ⋅的取值范围为]0,2[-D.当BD AC ⊥时，CD AB ⋅为定值解析：连接OP OD OC OB OA ,,,,，直线OP 交圆O 于F E ,，设BD 的中点S ，则BD OS ⊥02)(=⋅=⋅+DB OS DB OB OD ，A 正确；由相交弦定理得PF PE PC P A PC P A ⋅-=⋅-=⋅242)()(22-=-=-=+⋅--=R OP OP R OP R ，B 正确；取AC 的中点M ，则OCOA ⋅42)4(4122222-=--=-=OM OM OM AC OM ，又OPOM ≤≤0即]2,0[∈OM ，所以OC OA ⋅]0,4[-∈，所以C 错误；当BD AC ⊥时，)()(PC PD P A PB CD AB -⋅-=⋅4)4(222-=--=⋅-=⋅-⋅-=⋅+⋅=OP PF PE PC P A PD PB PC P A PD PB ，D 正确例2.在平面直角坐标系xOy 中，设直线2+-=x y 与圆)0(222>=+r r y x 交于B A ,两点，O 为坐标原点，若圆上一点C 满足OB OA OC 4345+=，则=r （）A.22 B.5C.3D.10r ===，设θ2=∠AOB ，则将OB OA OC 4345+=平方得θ2cos 3092516163016916252222222r r r r OB OA OB OA OC ++=⇒⋅++=432cos -=⇒θ55cos 531cos 22=⇒-=-⇒θθ，所以圆心到直线2+-=x y 的距离为θcos 22r =10552==⇒=⇒r r ，故选D例3.在平面直角坐标系xOy 中，圆O ：322=+y x ，),2(m T ，若圆O 上存在以M 为中点的弦AB ，且MT AB 2=，则实数m 的取值范围是（）A.]0,2[- B.]2,0( C.]2,2[- D.)2,2(-解法1：设),(y x M ，连OM ，由垂径定理知AB OM ⊥⇒32222=+=+MT OM MB OM 42)2()1(3)()2(2222222m m y x m y x y x -=-++⇒=-+-++⇒，所以点M 在以)2,1(m D -为圆心，222m -为半径的圆上，又点M 为圆O 的弦AB 的中点，所以点M 在圆O 内，所以两圆内含，所以223)2()1(222m m --<+-0)1(22>+⇔m ，只需022>-m 解得22<<-m ，即实数m 的取值范围是]2,2[-，故选C解法2：因为M 为弦AB 的中点，且MT AB 2=，所以090=∠ATB ，过点T 作圆的切线TF TE ,，F E ,为切点，则只需090≥∠ETF 即可，所以045≥∠OTE ，所以OTE∠sin 6223≤⇒≥=OT OT ，所以642≤+m ，解得22≤≤-m ，故选C例4.在平面直角坐标系xOy 中，直线kx y =与圆C ：5)36()27(22=-+-y x 交于B A ,，则=⋅OB OA 解析：过点O 作圆C 的切线OT ，T 为切点，则由切割线定理得20205362722222=-+=-==⋅R OC OT OB OA 例5.在平面直角坐标系xOy 中，已知点)1,0(P 在圆C ：01422222=+-+-++m m y mx y x 内，若存在过点P 的直线交圆C 于B A ,两点，且PBC ∆的面积是P AC ∆的面积的2倍，则实数m 的取值范围为解析：圆C ：m y m x 4)1()(22=-++，圆心)1,(m -，半径为m r 2=，所以0>m 点P 在圆C 内40014212<<⇒<+-+-⇒m m m设AB 的中点为D ，t AP 2=，则t PD =，圆心到直线AB 的距离为d ，由PBC ∆的面积是P AC ∆的面积的2倍可知P A PB 2=，所以⎪⎩⎪⎨⎧=+=+⇐⎪⎩⎪⎨⎧=+=+mt d mt d r P A CD CP PD CD 492222222222222849d m m =-⇒，因为220m d <≤，所以494849022<≤⇒<-≤m m m m 当94=m 时，C B A P ,,,四点共线，不能构成三角形，所以m 的取值范围为)4,94(例6.在平面直角坐标系xOy 中，圆C ：3)()2(22=-++m y x ，若圆C 存在以G 为中点的弦AB ，且GO AB 2=，则实数m 的取值范围是解析：类例3，]2,2[-例7.已知椭圆E 的中心为坐标原点O ，焦点在x 轴上，离心率为23，21,F F 分别为椭圆E 的左右焦点，点P 在椭圆E 上，以线段21F F 为直径的圆经过点P ，线段P F 1与y 轴交于点B ，且611=⋅B F P F （1）求椭圆E 的方程（2）设动直线l 与椭圆E 交于N M ,两点，且0=⋅ON OM ，求证：动直线l 与圆5422=+y x 相切解析：（1）设椭圆E ：)0(12222>>=+b a b y a x ，c F F 221=，因为211F PF O BF ∠=∠，2211π=∠=∠PF F BOF ，所以BO F 1∆∽P F F 21∆，所以P F O F F F B F 11211=21111F F O F B F P F ⋅=⋅⇒3622=⇒==c c ，所以1,2233==⇒==b a a e ，所以椭圆E ：1422=+y x （2）设OM 的倾斜角为θ，则)sin ,cos (θθOM OM M ，))90sin(),90cos((00±±θθON ON M ，又点N M ,在椭圆上，所以⎪⎪⎩⎪⎪⎨⎧=+=+⇒⎪⎩⎪⎨⎧=±+±=+22222202202222224cos 4sin 4sin 4cos 1)90(sin 4)90(cos 4sin 4cos ON OM ON ON OM OM θθθθθθθθ两式相加得4511541442222=+⇒=+=+ONOMONOM，设原点到直线MN 的距为d 由5421212222222=+=⇒=+=∆ONOM ON OM d ON OM d ON OM S OMN所以动直线l 与圆5422=+y x 相切。

一知识再现1. 圆幂定理一般地，把相交弦定理、切割线定理、割线定理等统称为圆幂定理。

它的基本内容是，在平面上经过；点P的直线与⊙O相交于A、B两点，有向线段PA、PB的乘积PA·PB是一个定值。

如下列图形，经过一定点P作圆的弦或割线或切线，设⊙O半径为R在图(1)中，PA·PB＝PC·PD=PE·PF＝(R-OP)(R-OP)=R2-OP2在图(2)中，PA·PB＝PT2=OP2-OT2==OP2-R2在图(3)中，PA·PB＝PC·PD= PT2==OP2-R2可得PA·PB均等于，为一常数，所以叫做点P关于⊙O的幂，所以相交弦定理、切割线定理及其推论(割线定理)统称为圆幂定理.2.角平分线定理角平分线的定义：从一个角的顶点引出一条射线，把这个角分成两个相等的角，这条射线叫做这个角的角平分线。

三角形的角平分线定义：三角形顶点到其内角的角平分线交对边的点连的一条线段，叫三角形的角平分线。

【注】三角形的角平分线不是角的平分线，是线段。

角的平分线是射线。

■拓展：三角形的三条角平分线相交于一点，并且这一点到三条边的距离相等！(即内心)。

■定理1：在角平分线上的任意一点到这个角的两边距离相等。

■逆定理：在一个角的内部（包括顶角），且到这个角的两边距离相等的点在这个角的角平分线上。

■定理2：三角形一个角的平分线分对边所成的两条线段与这个角的两邻边对应成比例，如：在△ABC 中，BD 平分∠ABC ，则AD ：DC=AB ：BC 3.平行线分线段定理定理 三条平行线截两条直线，所得的对应线段成比例.二 例题讲解例1如图4AB 是⊙O 的弦，P 是AB 上一点，AB = 10cm ，P A : PB = 2 : 3，OP = 5cm ，则⊙O 的半径等于 ．解析：设⊙O 的半径为R ．∵AB = 10cm ，P A : PB = 2 : 3，∴PA = 4 cm ，PB = 6 cm ． 由相交弦定理，得P A ·PB = PC ·PD = R 2－OP 2，即4×6 = R 2－52． 所以，R = 7． 故⊙O 的半径等于7 cm ． 例2．如图5，已知P AC 为⊙O 的割线，连接PO 交⊙O 于B ，PB = 2，OP = 7，P A= AC ，则P A 的长为（ ）A ．7B ．23C ．14D ．32解析：延长PO 交⊙O 于D ．∵PB = 2，OP = 7，∴OB = 5，即PC = 12． 由切割线定理的推论，得 P A ·AC = PB ·PC ． ∵P A = AC ，∴2 P A 2 = 2×12． 所以，P A = 23．故应选B ．一、“四心”分类讨论1、外心三解形三条垂直平分线的交点叫做三角形的外心，即外接圆圆心。

相交弦定理欧阳学文如图,⊙P中,弦AB,CD相交于点P,则AP·BP=CP·PD 证明：连结AC，BD，由圆周角定理的推论，得∠A＝∠D，∠C＝∠B。

∴△PAC∽△PDB，∴PA∶PD＝PC∶PB，PA·PB＝PC·PD注：其逆定理可作为证明圆的内接三角形的方法.CB切割线定理如图，ABT是⊙O的一条割线，TC是⊙O的一条切线，切点为C，则TC²=TA·TB证明：连接AC、BC∵弦切角∠TCB对弧BC，圆周角∠A对弧BC∴由弦切角定理，得∠TCB=∠A又∠ATC=∠BTC∴△ACT∽△CBT∴AT:CT=CT:BT, 也就是CT²=AT·BT弦切角定义：顶点在圆上，一边和圆相交，另一边和圆相切的角叫做弦切角弦切角定理：弦切角等于它所夹的弧所对的圆周角.定义弦切角定理：弦切角的度数等于它所夹的弧的圆心角的度数的一半. (弦切角就是切线与弦所夹的角）弦切角定理证明证明：设圆心为O，连接OC，OB，OA。

过点A作T P的平行线交BC于D，则∠TCB=∠CDA∵∠TCB=90∠OCD∵∠BOC=1802∠OCD∴,∠BOC=2∠TCB切线长定理从圆外一点引圆的两条切线，它们的切线长相等，圆心和这一点的连线，平分两条切线的夹角。

如图中，切线长AC=AB。

∵∠ABO=∠ACO=90°BO=CO=半径AO=AO公共边∴RtΔABO≌RtΔACO（HL）∴AB=AC∠AOB=∠AOC∠OAB=∠OAC割线定理如图，直线ABP和CDT是自点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圆幂定理圆幂定理是对相交弦定理、切割线定理及割线定理（切割线定理推论）以及它们推论统一归纳的结果。