方べきの定理の逆

2つの線分ABとCD、またはABの延長とCD の延長が点Pで交わるとき、PA・PB=PC・PD が成り立つならば、4点A、B、C、Dは1つの 円周上にある。