Problem

Source: 2019 China North MO, Problem 5

Tags: geometry



Two circles $O_1$ and $O_2$ intersect at $A,B$. Bisector of outer angle $\angle O_1AO_2$ intersects $O_1$ at $C$, $O_2$ at $D$. $P$ is a point on $\odot(BCD)$, $CP\cap O_1=E,DP\cap O_2=F$. Prove that $PE=PF$.