Chứng minh tam giác BMD đồng dạng với tam giác BFC, từ đó suy ra EF vuông góc với AC

cho tam giác ABC nội tiếp (O)( AB<AC). tia phân giác góc BAC cắt (O) tại D khác A. M là trung điểm của AD. E là điểm đối xứng của D qua O. Giả sử đường tròn ngoại tiếp tam giác AMB cắt AC tại F khác A. Chứng minh tam giác BMD đồng dạng với tam giác BFC, từ đó suy ra EF vuông góc với AC