Cho tam giác ABC (AB < AC) có 3 góc nhọn nội tiếp (O;R). Ba đường cao AD, BE, CF cắt nhau tại H. Gọi I là tâm đường tròn nội tiếp tam giác ABC, J là tâm đường tròn bàng tiếp góc A. Chứng minh AI.AJ = AB.AC