Cho đường tròn (O) có tâm O, đường kính BC. Lấy một điểm A trên đường tròn (O) sao cho AB>AC. Từ A, vẽ AH vuông góc với BC (H thuộc BC). Từ H, vẽ HE vuông góc với AB và HF vuông góc với AC (E thuộc AB, F thuộc AC). a) Chứng minh rằng AEHF là hình chữ nhật và OA vuông góc với EF.