Vì hai đường cao BM và CN của tam giác ABC cắt nhau tại I nên I là trực tâm của tam giác ABC, suy ra AI ⊥ BC hay AI ⊥ BD.

Vì hai đường cao CP và DQ của tam giác ECD cắt nhau tại K nên K là trực tâm của tam giác ECD, suy ra EK ⊥ CD hay EK ⊥ BD.

Do AI ⊥ BD, EK ⊥ BD nên AI // EK.