已知:如图7-12,四边形ABCD内接于圆O,DP//CA交BA延长线于点P,求证:AD*DC=PA*CB