Chứng minh rằng EF là tiếp tuyến chung của hai đường tròn (I) và (K)

Cho đường tròn (O) có đường kính BC, dây AD vuông góc với BC tại H.

Gọi E, F theo thứ tự là chân các đường vuông góc kẻ từ H đến AB, AC. Gọi (I), (K) theo thứ tự là các đường tròn ngoại tiếp tam giác HBE, HCF.

Chứng minh rằng EF là tiếp tuyến chung của hai đường tròn (I) và (K).