Cho hai đường tròn $(O_{1}),(O_{2})$ cắt nhau tại $A,B$ sao cho $\angle O_{1}AO_{2}=90^{\circ}$. $AB$ cắt $O_{1}O_{2}$ tại $D$. $P$ là một điểm bất kì trên đoạn $AB$. $PO_{1}$ cắt $(O_{2})$ tại $E$. Tương tự ta lấy $F$. Chứng minh rằng: $\frac{DE}{DF}=\frac{PE}{PF}$.