Cho hai đường tròn (O) và (O’) tiếp xúc ngoài tại A. Kẻ tiếp tuyến chung ngoài DE, D ∈ (O), E ∈ (O’). Kẻ tiếp tuyến chung trong tại A cắt DE ở I. Gọi M là giao điểm của OI và AD, N là giao điểm của O’I và AE. Chứng minh hệ thức IM.IO = IN.IO’