Cho đường tròn (O) ngoại tiếp tam giác ABC (AB > AC). Kẻ các đường cao AD và BE của ABC

Cho đường tròn (O) ngoại tiếp tam giác ABC (AB > AC). Kẻ các đường cao AD và BE của ABC. Tiếp tuyến tại A của (O) cắt DE tại K; KB cắt (O) tại điểm thứ hai là F; BE cắt (O) tại điểm thứ hai là I ; CF cắt DK tại H . Chứng minh:
a) Tứ giác ABDE nội tiếp và KA = KF KB.
b) Tử giác FHDB nội tiếp và các đường thẳng AI, CF, DK đồng quy.