圆幂定理及其证明
- 格式:doc
- 大小:53.00 KB
- 文档页数:2
圆幂定理
圆幂的定义:一点P对半径R的圆O的幂定义如下:22OPR
所以圆内的点的幂为负数,圆外的点的幂为正数,圆上的点的幂为零。
圆幂定理是相交弦定理、切割线定理及割线定理(切割线定理推论)以及他们推论的统称。
(1) 相交弦定理:圆内的两条相交弦,被交点分成的两条线段长的积相等。
PDCBA
如图,AB、CD为圆O的两条任意弦。相交于点P,连接AD、BC,则∠D=∠B,
∠A=∠C。所以△APD∽△BPC。所以
APPDAPBPPCPDPCBP
(2) 切割线定理:从圆外一点引圆的切线和割线,切线长是这点到割线与圆焦点的两条线段长的比例中项。
TPBA
如图,PT为圆切线,PAB为割线。连接TA,TB,则∠PTA=∠B(弦切角等于同弧圆周角)所以△PTA∽△PBT,所以
2PTPAPTPAPBPBPT
(3) 割线定理:从圆外一点P引两条割线与圆分别交于A.B.C.D 则有
PA·PB=PC·PD。
PDCBA
这个证明就比较简单了。可以过P做圆的切线,也可以连接CB和AD。证相似。 存在:PAPBPCPD
进一步升华(推论):
过任意在圆O外的一点P引一条直线L1与一条过圆心的直线L2,L1与圆交于A、B(可重合,即切线),L2与圆交于C、D。则PA·PB=PC·PD。若圆半径为r,则
2222()()||PCPDPORPORPORPOR(一定要加绝对值,原因见下)为定值。这个值称为点P到圆O的幂。(事实上所有的过P点与圆相交的直线都满足这个值)
若点P在圆内,类似可得定值为2222||RPOPOR
故平面上任意一点对于圆的幂为这个点到圆心的距离与圆的半径的平方差的绝
对值。(这就是“圆幂”的由来)