Cho tam giác nhọn ABC nội tiếp đường tròn tâm O, các đường cao AD, BE, CF cắt nhau tại H. Đường thẳng EF cắt (O) tại M và N.
a, Chứng minh các tứ giác BHDF và BFEC nội tiếp
b, Chứng minh AM=AN
c, Chứng minh AM là tiếp tuyến của đường tròn ngoại tiếp tam giác MHD