Cho tam giác ABC có ba góc nhọn, không là tam giác cân, AB < AC và nội tiếp đường tròn tâm O, đường kính BE. Các đường cao AD và BK của tam giác ABC cắt nhau tại điểm H. Đường thẳng BK cắt đường tròn (O) tại điểm thứ hai là F. Gọi I là trung điểm của cạnh AC. Chứng minh rằng:
a) Tứ giác AFEC là hình thang cân.
b) BH = 2OI và điểm H đối xứng với F qua đường thẳng AC.