Để chứng minh ID = IC, ta sẽ sử dụng một số tính chất của hình học.
Đầu tiên, ta nhận thấy rằng tam giác ABC là tam giác vuông tại A, vì vậy AB là đường kính của đường tròn đi qua A, B và D. Do đó, góc ADB là góc vuông (vì góc tại đỉnh của hình chóp cạnh đường kính của đường tròn luôn là góc vuông).
Tiếp theo, ta nhận thấy rằng ID là tiếp tuyến của đường tròn tại D, vì vậy góc DIC là góc vuông (vì góc giữa tiếp tuyến và dây của đường tròn tại điểm tiếp xúc luôn là góc vuông).
Vì vậy, tam giác DIC là tam giác vuông tại I. Do đó, theo định lý Pythagoras, ta có:
ID^2 + DC^2 = IC^2
Nhưng ta cũng biết rằng:
ID^2 + DA^2 = AI^2
Vì DA = DC (vì D nằm trên đường tròn với đường kính AB), ta có thể kết luận rằng:
AI^2 = IC^2
Vì cả hai đều không âm, ta có thể lấy căn bậc hai của cả hai phía để có:
AI = IC
Vì vậy, ta đã chứng minh được rằng ID = IC.