如图,ABCD是圆O的内接四边形,DP平行AC,交BA的延长线于P,求证AD×DC=PA×BC