方べきの定理くらいは3行あれば証明できるけどな。。。

方べきのあたりを

△ABD∽△CPDより
AD:CD=BD:DPだから
AD*DP=BD*CD

とでも。

ちなみにこれ方べきの定理の証明の場合分けの一つなんだぜ。