Xét `ΔADC` có :
+)`CH⊥AH` ( đường cao `AH` )
⇒`AH⊥CD`
⇒`CH` là đường cao `ΔADC`
+)`CK⊥AD `
⇒`AK` là đường cao `ΔADC`
mà `CH` và `AK` cắt nhau tại `D` ( do `CK⊥AD` )
⇒`D` là trực tâm ( giao ba đường cao ) của `ΔADC `
⇒`ED` là đường cao `ΔADC`
⇒`AH,DE,CK` đồng quy