Ta có  NHC = ABC (cùng phụ với HCB)                         (1)

Vì ABDC là tứ giác nội tiếp nên ABC = ADC                  (2)

Vì D và E đối xứng nhau qua AC nên AC là trung trực DE suy ra

∆ADC = ∆AEC (c.c.c) => ADC = AEC                           (3)

Tương tự ta có AEK = ADK

Từ (1), (2), (3) suy ra NHC = AEC => AEC + AHC = NHC + AHC = 180^o

Suy ra AHCE là tứ giác nội tiếp => ACH = AEK = ADK (đpcm)