Cho tam giác ABC nội tiếp đường tròn (O; R). Gọi đường tròn (I; r) đường tròn nội tiếp tam giác ABC, H là tiếp điểm của AB với đường tròn (I), D là giao điểm của AI với đường tròn (O), DK là đường kính của đường tròn (O). Gọi d là độ dài của OI. Chứng minh rằng: