a) Gọi EF cắt BC tại S. Để ý rằng: DCDB⋅EAEC⋅FBFA=1 (do BF=BD, AF=AE, EC=CD).
Vì thế: AD, BE, CF đồng quy (theo định lý Ceva đảo).
Áp dụng hàng điểm điều hòa cơ bản thì: (SD,BC)=−1 do đó theo hệ thức Maclaurin thì:
SD.SM=SB.SC
Ta có tam giác GBC đồng dạng tam giác AEF (g.g) do đó: ∠AFQ=∠QCB suy ra: FQCB nội tiếp suy ra: SF.SQ=SB.SC=SD.SM suy ra: F,D,M,Q cùng thuộc một đường tròn.
b) Lấy K đối xứng H qua J. Ta có một tính chất quen thuộc sau của mô hình đường tròn nội tiếp (các bạn tự chứng minh lại): GK đi qua tiếp điểm bằng tiếp góc G của tam giác GPQ và GK∥JN.
Tương tự ý đầu ta chứng minh được: P,E,M,D cùng thuộc một đường tròn.
Do đó: ∠EPM=∠EDC=90∘−C/2.
Lại có: ∠EPB=∠EFB+∠ABG=∠A+90∘−A/2+B/2−C/2=180∘−∠C=2∠MPE suy ra: MP là phân giác góc BPQ hay M là tâm bàng góc G của tam giác GPQ.
Gọi X là hình chiếu của M lên PQ. Ta có: GX∥JN. Do đó ta cần chỉ ra rằng: I,X,G thẳng hàng.
Lấy L là hình chiếu của M lên GC và T đối xứng G qua O.
Ta có: GTGM=TCML=TIMX suy ra: tam giác GMX đồng dạng tam giác GTI (c.g.c) suy ra: G,X,I thẳng hàng. Vậy ta có: JN∥IG.