Do đường tròn (?) đi qua bốn điểm A, B, C, D có đường kính là AC mà I là trung điểm của AC nên đường tròn (?) có tâm là I, do đó IB = ID. Suy ra I nằm trên đường trung trực của BD.

Lại có K là trung điểm của BD nên K thuộc đường trung trực của BD.

Vì vậy, IK là đường trung trực của BD nên IK ⊥ BD.