Chứng minh AK vuông F
Ta có góc BAK = góc BCK (cùng chắn cung nhỏ BK)
Góc AFE = góc ECB (tứ giác BCEF nội tiếp)
Mà góc BCK + góc ACB = góc ACK = 90° (nhìn đường kính AK)
Suy ra góc BAK + góc AFE = 90°
Hay AK vuông EF (1)
Chứng minh AK vuông GK
Ta có góc CKG = góc CAK (cùng chắn cung nhỏ CK)
Mà góc CAK + góc AKC = 90° (∆ACK vuông tại C)
Nên góc CKG + góc AKC = 90°
Hay AK vuông KG (2)
Từ (1)(2) suy ra EF // KG (cùng vuông AK)