Cho tam giác ABC có 3 góc nhọn nội tiếp trong đường tròn tâm O và AB< AC. Kẻ đường cao AD của tam giác ABC và đường kính AE của đường tròn tâm O. Gọi F là chân đường vuông góc kẻ từ B xuống đường kính AE. CMR:
a) Tứ giác ABDF là tứ giác nội tiếp
b) DF vuông góc với AC.