Bài giải: Trước hết ta c/m: AP, BM, CN và EF đồng quy.
Áp dụng định lí Pascal cho 6 điểm $\begin{pmatrix} P &B &C \\ A &N &M \end{pmatrix}$ suy ra BM, CN, EF đồng quy.
Gọi P' đ/x P qua EF => $P'\in (O)$ , ta có: BPCP' là tứ giác điều hòa => giao điểm X của 2 t/tuyến của (O) tại P,P' thuộc BC và X,E,F,O thẳng hàng
=> EF, BC và t/tuyến của (O) tại P đồng quy
đồng thời áp dụng đlí Pascal cho $\begin{pmatrix} P &C &A \\ B &P &N \end{pmatrix}$ và $\begin{pmatrix} P &B &A \\ C &P &M \end{pmatrix}$
=> AP, BM, CN và EF đồng quy tại J.
OP cắt (O) tại Q => Q,N,K t/hàng và Q,M,L t/hàng.
BO cắt (O) tại B', CO cắt (O) tại C' => A,C',K t/hàng và A,B',L t/hàng.
Áp dụng đlí Pascal cho 6 điểm $\begin{pmatrix} A &Q &C \\ N &C' &P \end{pmatrix}$ => K,E,F t/hàng.
tương tự L,E,F t/hàng. Vậy K,L,E,F t/hàng.
PT v/góc EF tại H.
ta có: K,N,H,P đồng viên <=> $\overline{FK}.\overline{FH}=\overline{FN}.\overline{FP}=\overline{FB}.\overline{FA}$
=> A,H,B,K đồng viên => $\widehat{ABK}=\widehat{AHK}$ t/tự $\widehat{ACL}=\widehat{AHL}$
Suy ra $\widehat{ABK}+ \widehat{ACL}=180^{\circ}$
Do đó ta có đpcm.