Cho tam giác ABC nhọn nội tiếp đường tròn tâm O. Đường cao AD của tam giác cắt (O) ở E. Vẽ đường kính AF của đường tròn. Chứng minh EF//BC và góc BAD= góc CAF