Cho tam giác ABC có 3 góc nhọn nội tiếp (O;R), ba đường cao AD, BE, CF cắt nhau tại H. Tính độ dài đoạn EF nếu góc BAC = 60 độ và BC = 20cm

​Cho tam giác ABC có 3 góc nhọn nội tiếp (O;R), ba đường cao AD, BE, CF cắt nhau tại H
a) Tính độ dài đoạn EF nếu góc BAC = 60 độ và BC = 20cm
b) Cho BC cố định, A chuyển động trên cung lớn BC sao cho tam giác ABC có ba góc nhọn. Chứng minh đường tròn ngoại tiếp tam giác DEF luôn đi qua một điểm cố định