1>由圆外一点引圆的一条切线与割线，切线长是该点到割线与圆两交点的两条线段长的比例中项;
这一定理即切割线定理
2>由圆外一点引圆的两条割线，这点分别到每条割线与圆两交点所连线段长之积相等;
这一定理即割线定理
3>经过圆内一点引圆的两条弦，各弦被该点所分两条线段积相等;
这一定理即相交弦定理
上述三个定理可合称为圆幂定理:
设两直线相交于点M，且两直线分别交同一圆于点A、B与点C、D，则存在AM·BM=CM·DM
(两直线都为圆切线时该定理等价于切线长定理)

算出来不就行了，未必有现成的定理

直接算吧