PF2=AF⋅PF+PA⋅PF=EF2+PI⋅PD.1◯
Since PQ is the diameter of circle O and point I is on AQ, we see that AI⊥AP. Consequently,
∠IDF=∠IAP=90∘.
Thus, we have
PF2−EF2=PD2−ED2.
Combining ①, we have
PI⋅PD=PD2−ED2.
Thus
QD2=ED2=PD2−PI⋅PD=ID⋅PD.
Consequently, we have
△QID∼△PQD.②
Since PQ is the diameter of circle O, we see that BP⊥BQ. Suppose that PQ is the perpendicular bisector of BC at point M. Note that I is the incentre of △ABC. We have QI2=QB2=QM⋅QP. Thus,
△QMI∼△QIP.③
By ② and ③, we see that ∠IQD=∠QPD=∠QPI=∠QIM. Hence, MI∥QD. Let IK⊥BC be at K. Then IK∥PM; thus,
IKPM=IDPD=MQPQ.
By the Circle-Power Theorem and the Sine Theorem, we know that
PQ⋅IK=PM⋅MQ=BM⋅MC=(21BC)2=(Rsin∠BAC)2,
thus, sin2∠BAC=R2PQ⋅IK=R22R⋅r=R2r.
□