Tứ giác ACKB nt đường tròn => ^ABC = ^AKC
Mà ^ABC = ^AHE (Cùng phụ ^BAD) nên ^AKC = ^AHE
Do ^AHE = ^MHF (Đối đỉnh) => ^AKC = ^MHF.
Ta có: ^AKC + ^MKF = 1800 => ^MHF + ^MKF = 1800
=> Tứ giác MHFK nt đường tròn => ^AMH = ^AFK
Xét tam giác AHM và tam giác AKF: ^KAF chung; ^AMH = ^AFK
=> Tam giác AHM ~ Tam giác AKF (g.g)
=> AH/AK = AM/AF => AH.AF = AM.AK (đpcm).