Cho tam giác ABC vuông tại A. Vẽ đường cao AH (H∈BC), đường tròn tâm O cắt E và cắt AC tại F

Cho tam giác ABC vuông tại A. Vẽ đường cao AH (H∈BC), đường tròn tâm O cắt E và cắt AC tại F.
a) Chứng minh tứ giác AEHF là hình chữ nhật.
b) Chứng minh tứ giác BEFC nội tiếp.