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:
a) ∆AHI~∆KCD
b) DI=DB=DC
c) IA.ID=R2-d2
d) d2=R2-2Rr