Kẻ DH và BK cùng vuông góc với AC. Thì tam giác vuông ADH = tam giác vuông CBK( AD = BC ; góc DAH = góc BCK so le trong) suy ra AH = CK.
Ta có tam giác vuông ADH đồng dạng với tam giác vuông ACF vì có góc A chung suy ra AH/AF = AD/AC suy ra AD.AF = AH.AC = CK.AC (1)
Cm tương tự ta cũng có : tam giác vuông AEC đồng dạng với tam giác vuông AKB cho ta AB.AE = AK.AC (2)
Cộng từng vế (1) và (2) suy ra đpcm