证明：令圆外点P，做圆O两条切线，分别交圆A，B和C，D点，相交弦定理需证：PA*PB=PC*PD则点A，B，C，D四点共圆∠BDC+∠BAC=180°,∠PAC=∠BDC△PAC∽△PBD所以：PA*PB=PC*PD得证
见课本啊
