考虑到有的同学可能没有了解过圆幂定理,特地花此篇章简易说明,更详细的内容请自行查阅互联网。
圆幂定理在网上的说法很纷杂,各种教科书上的表述也不尽相同。这里取其中常见的一种说法来讲解。
即圆幂定理是相交弦定理、切割线定理和割线定理三者的统一。
前置知识#
在后文对切割线定理的证明叙述时需要利用弦切角定理,故在此予以证明。
顾名思义,弦切角定理的内容应该与圆上一弦和切线的夹角有关,以下先给出其定义。
**(弦切角定理)**平面上有一个圆心为 O、半径为 r 的圆,⊙O 外有一点 P,过点 P 的直线切 ⊙O 于点 T,在 ⊙O 上取点 A,B,连接 AB,AT,BT,则有 ∠ATP=∠ABT,如图所示.

证明如下。
延长AO交⊙O于点C,连接OT,CT.∵点P切⊙O于点T∴∠OTP=90°∵AC为直径∴∠ATC=90°∴∠OTP=∠ATC即∠OTP−∠ATO=∠ATC−∠ATO∴∠ATP=∠OTC∵OC=OT∴∠OCT=∠OTC又∵∠OCT=∠ABT∴∠ATP=∠ABT
我们可以先来看点对圆的幂。
平面内有一 ⊙O,其半径为 r,对平面上任意一点 P,记 Pow(P)=OP2−r2 为点P对 ⊙O 的幂。
通过这个定义,我们知道任意点对圆的幂可为正负零,还可以推出点对圆的幂与该点和圆的位置关系:
\begin{equation}\mathrm{Pow}(P)=OP^2-r^2\left\{\begin{aligned}&>0\iff点P在\odot O外\\&=0\iff点P在\odot O上\\&<0\iff点P在\odot O内\end{aligned}\right.\end{equation}
当然也有一个很显然的结论:Pow(P)=Pow(Q)⟺OP=OQ.
由此一来,圆幂定理就可以这样表述:
**(圆幂定理)**给定 ⊙O 和点 P,过点 P 作 ⊙O 的任意一条割线(或切线)PAB 与 ⊙O 分别交于 A,B,则 PA⋅PB 是一个常量,而这个常量正是点 P 对 ⊙O 的幂,即 PA⋅PB=Pow(P).
Ⅰ.相交弦定理#
**(相交弦定理)**如图所示,点 P 在 ⊙O 内部,AB,CD 为过点 P 的两条弦,则有 PA⋅PB=PC⋅PD.

证明如下。
连接AD,BC.在⊙O中,∠ADC=∠ABC即∠ADP=∠CBP又∵∠APD=∠CPB∴△APD∽△CPB∴CPAP=PBPD即PA⋅PB=PC⋅PD那为什么会满足 Pow(P)=−PA⋅PB=−PC⋅PD 呢?
请读者看到第二幅图,当弦 CD 为直径(即 C1D1)时,P1C1⋅P1D1=(O1C1−O1P1)(O1D1+O1P1)=(r−O1P1)(r+O1P1)=r2−O1P12,这里简单利用平方差公式,然后得到 −P1A1⋅P1B1=O1P12−r2=Pow(P),即
Pow(P)=−PA⋅PB=−PC⋅PD我们也可以由此得知对于任意在圆内的点 P,其对该圆的幂为常量。
Ⅱ.切割线定理#
**(切割线定理)**如图所示,点 P 在 ⊙O 外,PB 为过点 P 的割线,PT 为过点 P 的切线,则有 PA⋅PB=PT2.

证明如下(这里就需要用到上文前置知识所讲的弦切角定理来进行证明了)。
连接AT,BT在⊙O中,由弦切角定理得∠ATP=∠ABT又∵∠P=∠P∴△APT∽△TPB∴TPAP=PBPT即PA⋅PB=PT2同上一类的相交弦定理,切割线定理与圆幂定理的联系就看第二幅图的特殊情况:割线 P1B1 经过点 O1,同样利用平方差公式,可得
Pow(P)=PA⋅PB=PT2Ⅲ.割线定理#
**(割线定理)**如图所示,点 P 在 ⊙O 外,PB,PD 为过点 P 的两条割线,则有 PA⋅PB=PC⋅PD.

证明如下。
连接AD,BC在⊙O中,∠ADC=∠ABC即∠ADP=∠CBP又∵∠P=∠P∴△ADP∽△CBP∴CPAP=BPDP即PA⋅PB=PC⋅PD与前两类相同,通过平方差公式,再结合图形的特殊情况,即 P1B1 为过点 O1 的割线,则有
Pow(P)=PA⋅PB=PC⋅PD
通过以上的讲解,大家应该都理解了这三大定理和圆幂定理的内容了。圆幂定理的应用常见于一些有关圆中线段转化或最值问题的几何题中,这些题目中运用圆幂定理有时可以迅速抓住解题关键,事半功倍!