Cho nửa đường tròn tâm O, đường kính BC và một điểm A trên nửa đường tròn (A khác B và C). Kẻ AH vuông góc với BC (H thuộc BC). Trên nửa mặt phẳng bờ BC chứa A dựng hai nửa đường tròn đường kính HB và HC, chúng lần lượt cắt AB và AC tại E và F.
a) Chứng minh rằng AE.AB = AF.AC.