Cho tam giác nhọn ABC (AB < AC)

Bài 4. Cho tam giác nhọn ABC (AB < AC) nội tiếp đường tròn (O) đường kính AK ,các
đường cao AD, BE, CF cắt nhau tại điểm H. Gọi N là điểm đối xứng với H qua trung điểm
của EF. Chứng minh: A, O, N thẳng hàng