ABCD是圆O的内接四边形,DP//AC,交BA的延长线于P,求证AD*DC=PA*BC