a. Ta có $\angle DAB + \angle EAF = \angle DAB + \angle BAF + \angle EAF = \angle DAB + \angle BAE = 180^\circ$.
Ta có $\angle DAB + \angle EAF = \angle DAB + \angle BAF + \angle EAF = \angle DAB + \angle BAE = 180^\circ$.
Ta có $\angle DAB + \angle BCD = 180^\circ$, suy ra $\angle EAF = \angle BCD$.
Mặt khác $\angle EAF = \angle EPF$ (t/c đối xứng), do đó $\angle EPF = \angle BCD$, suy ra tứ giác $EFCP$ nội tiếp.
b. Do tứ giác $EFCP$ nội tiếp nên $\angle DCP = \angle EFP$. (1)
Ta có $\angle EFP = \angle EFE = 90^\circ – \angle FAE = \angle DAP$.(2)
Từ (1) và (2), suy ra $\angle DAP = \angle DCP$, suy ra $ADPC$ nội tiếp, do đó $P \in (O)$ mà $EF$ là trung trực của $AP$ nên $O$ thuộc $EF$, hay $E, O, F$ thẳng hàng.