P是圆O外一点,从点P引圆的切线PA,A是切点；再引一条割线PBC,B是靠近点P一方的交点,那么有：PA^2=PB*PC——这就是切割线定理.
只要连接AB,AC,有相似三角形就可以证明,比较简单,你可以试试.