Let line PA and line PC be tangents from P to a circle. Let B and D be points on the circle such that B, D, and P are collinear. Prove that AB*CD = BC*DA.
