考虑到有的同学可能没有了解过圆幂定理,特地花此篇章简易说明,更详细的内容请自行查阅互联网。
圆幂定理在网上的说法很纷杂,各种教科书上的表述也不尽相同。这里取其中常见的一种说法来讲解。
即圆幂定理是相交弦定理 、切割线定理 和割线定理 三者的统一 。
前置知识# 在后文对切割线定理 的证明叙述时需要利用弦切角定理 ,故在此予以证明。
顾名思义,弦切角定理的内容应该与圆上一弦和切线的夹角有关,以下先给出其定义。
(弦切角定理) 平面上有一个圆心为 O O O 、半径为 r r r 的圆,⊙ O \odot O ⊙ O 外有一点 P P P ,过点 P P P 的直线切 ⊙ O \odot O ⊙ O 于点 T T T ,在 ⊙ O \odot O ⊙ O 上取点 A , B A,B A , B ,连接 A B , A T , B T AB,AT,BT A B , A T , BT ,则有 ∠ A T P = ∠ A B T \angle ATP=\angle ABT ∠ A TP = ∠ A BT ,如图所示.
证明如下。
延长 A O 交 ⊙ O 于点 C ,连接 O T , C T . ∵ 点 P 切 ⊙ O 于点 T ∴ ∠ O T P = 90 ° ∵ A C 为直径 ∴ ∠ A T C = 90 ° ∴ ∠ O T P = ∠ A T C 即 ∠ O T P − ∠ A T O = ∠ A T C − ∠ A T O ∴ ∠ A T P = ∠ O T C ∵ O C = O T ∴ ∠ O C T = ∠ O T C 又 ∵ ∠ O C T = ∠ A B T ∴ ∠ A T P = ∠ A B T \begin{align}
&延长AO交\odot O于点C,连接OT,CT.\\
&\because 点P切\odot O于点T\\
&\therefore\angle OTP=90\degree\\
&\because AC为直径\\
&\therefore\angle ATC=90\degree\\
&\therefore\angle OTP=\angle ATC\\
&即\angle OTP-\angle ATO=\angle ATC-\angle ATO\\
&\therefore\angle ATP=\angle OTC\\
&\because OC=OT\\
&\therefore\angle OCT=\angle OTC\\
&又\because\angle OCT=\angle ABT\\
&\therefore\angle ATP=\angle ABT
\end{align} 延长 A O 交 ⊙ O 于点 C ,连接 OT , CT . ∵ 点 P 切 ⊙ O 于点 T ∴ ∠ OTP = 90° ∵ A C 为直径 ∴ ∠ A TC = 90° ∴ ∠ OTP = ∠ A TC 即 ∠ OTP − ∠ A TO = ∠ A TC − ∠ A TO ∴ ∠ A TP = ∠ OTC ∵ OC = OT ∴ ∠ OCT = ∠ OTC 又 ∵ ∠ OCT = ∠ A BT ∴ ∠ A TP = ∠ A BT
我们可以先来看点对圆的幂 。
平面内有一 ⊙ O \odot O ⊙ O ,其半径为 r r r ,对平面上任意一点 P P P ,记 P o w ( P ) = O P 2 − r 2 \mathrm{Pow}(P)=OP^2-r^2 Pow ( P ) = O P 2 − r 2 为点P对 ⊙ O \odot O ⊙ O 的幂。
通过这个定义,我们知道任意点对圆的幂 可为正负零 ,还可以推出点对圆的幂 与该点和圆的位置关系 :
P o w ( P ) = O P 2 − r 2 { > 0 ⟺ 点 P 在 ⊙ O 外 = 0 ⟺ 点 P 在 ⊙ O 上 < 0 ⟺ 点 P 在 ⊙ O 内 \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. Pow ( P ) = O P 2 − r 2 ⎩ ⎨ ⎧ > 0 ⟺ 点 P 在 ⊙ O 外 = 0 ⟺ 点 P 在 ⊙ O 上 < 0 ⟺ 点 P 在 ⊙ O 内
当然也有一个很显然的结论:P o w ( P ) = P o w ( Q ) ⟺ O P = O Q \mathrm{Pow}(P)=\mathrm{Pow}(Q)\iff OP=OQ Pow ( P ) = Pow ( Q ) ⟺ OP = OQ .
由此一来,圆幂定理就可以这样表述:
(圆幂定理) 给定 ⊙ O \odot O ⊙ O 和点 P P P ,过点 P P P 作 ⊙ O \odot O ⊙ O 的任意一条割线(或切线)P A B PAB P A B 与 ⊙ O \odot O ⊙ O 分别交于 A , B A,B A , B ,则 P A ‾ ⋅ P B ‾ \overline{PA}\cdot\overline{PB} P A ⋅ PB 是一个常量,而这个常量正是点 P P P 对 ⊙ O \odot O ⊙ O 的幂,即 P A ‾ ⋅ P B ‾ = P o w ( P ) \overline{PA}\cdot\overline{PB}=\mathrm{Pow}(P) P A ⋅ PB = Pow ( P ) .
Ⅰ.相交弦定理# (相交弦定理) 如图所示,点 P P P 在 ⊙ O \odot O ⊙ O 内部,A B , C D AB,CD A B , C D 为过点 P P P 的两条弦,则有 P A ⋅ P B = P C ⋅ P D PA\cdot PB=PC\cdot PD P A ⋅ PB = PC ⋅ P D .
证明如下。
连接 A D , B C . 在 ⊙ O 中, ∠ A D C = ∠ A B C 即 ∠ A D P = ∠ C B P 又 ∵ ∠ A P D = ∠ C P B ∴ △ A P D ∽ △ C P B ∴ A P C P = P D P B 即 P A ⋅ P B = P C ⋅ P D \begin{align}
&连接AD,BC.\\
&在\odot O中,\angle ADC=\angle ABC\\
&即\angle ADP=\angle CBP\\
&又\because\angle APD=\angle CPB\\
&\therefore\triangle APD\backsim\triangle CPB\\
&\therefore\frac{AP}{CP}=\frac{PD}{PB}\\
&即PA\cdot PB=PC\cdot PD
\end{align} 连接 A D , BC . 在 ⊙ O 中, ∠ A D C = ∠ A BC 即 ∠ A D P = ∠ CBP 又 ∵ ∠ A P D = ∠ CPB ∴ △ A P D ∽ △ CPB ∴ CP A P = PB P D 即 P A ⋅ PB = PC ⋅ P D 那为什么会满足 P o w ( P ) = − P A ⋅ P B = − P C ⋅ P D \mathrm{Pow}(P)=-PA\cdot PB=-PC\cdot PD Pow ( P ) = − P A ⋅ PB = − PC ⋅ P D 呢?
请读者看到第二幅图,当弦 C D CD C D 为直径(即 C 1 D 1 C_1D_1 C 1 D 1 )时,P 1 C 1 ⋅ P 1 D 1 = ( O 1 C 1 − O 1 P 1 ) ( O 1 D 1 + O 1 P 1 ) = ( r − O 1 P 1 ) ( r + O 1 P 1 ) = r 2 − O 1 P 1 2 P_1C_1\cdot P_1D_1=(O_1C_1-O_1P_1)(O_1D_1+O_1P_1)=(r-O_1P_1)(r+O_1P_1)=r^2-{O_1P_1}^2 P 1 C 1 ⋅ P 1 D 1 = ( O 1 C 1 − O 1 P 1 ) ( O 1 D 1 + O 1 P 1 ) = ( r − O 1 P 1 ) ( r + O 1 P 1 ) = r 2 − O 1 P 1 2 ,这里简单利用平方差公式 ,然后得到 − P 1 A 1 ⋅ P 1 B 1 = O 1 P 1 2 − r 2 = P o w ( P ) -P_1A_1\cdot P_1B_1={O_1P_1}^2-r^2=\mathrm{Pow}(P) − P 1 A 1 ⋅ P 1 B 1 = O 1 P 1 2 − r 2 = Pow ( P ) ,即
P o w ( P ) = − P A ⋅ P B = − P C ⋅ P D \large{\color{red}{\mathrm{Pow}(P)=-PA\cdot PB=-PC\cdot PD}} Pow ( P ) = − P A ⋅ PB = − PC ⋅ P D 我们也可以由此得知对于任意在圆内的点 P P P ,其对该圆的幂为常量。
Ⅱ.切割线定理# (切割线定理) 如图所示,点 P P P 在 ⊙ O \odot O ⊙ O 外,P B PB PB 为过点 P P P 的割线,P T PT PT 为过点 P P P 的切线,则有 P A ⋅ P B = P T 2 PA\cdot PB=PT^2 P A ⋅ PB = P T 2 .
证明如下(这里就需要用到上文前置知识 所讲的弦切角定理 来进行证明了)。
连接 A T , B T 在 ⊙ O 中,由弦切角定理 得 ∠ A T P = ∠ A B T 又 ∵ ∠ P = ∠ P ∴ △ A P T ∽ △ T P B ∴ A P T P = P T P B 即 P A ⋅ P B = P T 2 \begin{align}
&连接AT,BT\\
&在\odot O中,由弦切角定理\\
&得\angle ATP=\angle ABT\\
&又\because\angle P=\angle P\\
&\therefore\triangle APT\backsim\triangle TPB\\
&\therefore\frac{AP}{TP}=\frac{PT}{PB}\\
&即PA\cdot PB=PT^2
\end{align} 连接 A T , BT 在 ⊙ O 中,由弦切角定理 得 ∠ A TP = ∠ A BT 又 ∵ ∠ P = ∠ P ∴ △ A PT ∽ △ TPB ∴ TP A P = PB PT 即 P A ⋅ PB = P T 2 同上一类的相交弦定理,切割线定理与圆幂定理的联系就看第二幅图的特殊情况:割线 P 1 B 1 P_1B_1 P 1 B 1 经过点 O 1 O_1 O 1 ,同样利用平方差公式,可得
P o w ( P ) = P A ⋅ P B = P T 2 \large{\color{red}{\mathrm{Pow}(P)=PA\cdot PB=PT^2}} Pow ( P ) = P A ⋅ PB = P T 2 Ⅲ.割线定理# (割线定理) 如图所示,点 P P P 在 ⊙ O \odot O ⊙ O 外,P B , P D PB,PD PB , P D 为过点 P P P 的两条割线,则有 P A ⋅ P B = P C ⋅ P D PA\cdot PB=PC\cdot PD P A ⋅ PB = PC ⋅ P D .
证明如下。
连接 A D , B C 在 ⊙ O 中, ∠ A D C = ∠ A B C 即 ∠ A D P = ∠ C B P 又 ∵ ∠ P = ∠ P ∴ △ A D P ∽ △ C B P ∴ A P C P = D P B P 即 P A ⋅ P B = P C ⋅ P D \begin{align}
&连接AD,BC\\
&在\odot O中,\angle ADC=\angle ABC\\
&即\angle ADP=\angle CBP\\
&又\because\angle P=\angle P\\
&\therefore\triangle ADP\backsim\triangle CBP\\
&\therefore\frac{AP}{CP}=\frac{DP}{BP}\\
&即PA\cdot PB=PC\cdot PD
\end{align} 连接 A D , BC 在 ⊙ O 中, ∠ A D C = ∠ A BC 即 ∠ A D P = ∠ CBP 又 ∵ ∠ P = ∠ P ∴ △ A D P ∽ △ CBP ∴ CP A P = BP D P 即 P A ⋅ PB = PC ⋅ P D 与前两类相同,通过平方差公式,再结合图形的特殊情况,即 P 1 B 1 P_1B_1 P 1 B 1 为过点 O 1 O_1 O 1 的割线,则有
P o w ( P ) = P A ⋅ P B = P C ⋅ P D \large{\color{red}{\mathrm{Pow}(P)=PA\cdot PB=PC\cdot PD}} Pow ( P ) = P A ⋅ PB = PC ⋅ P D
通过以上的讲解,大家应该都理解了这三大定理和圆幂定理的内容了。圆幂定理的应用常见于一些有关圆中线段转化或最值问题的几何题中,这些题目中运用圆幂定理有时可以迅速抓住解题关键,事半功倍!cdn