Cho đường tròn (O) có đường kính BC, dây AD vuông góc với BC tại H. Gọi E, F theo thứ tự là chân các đường vuông góc kẻ từ H đến AB, AC. Gọi (I), (K) theo thứ tự là các đường tròn ngoại tiếp tam giác HBE, HCF. Chứng minh đẳng thức AE.AB = AF.AC