Kẻ DK⊥AE. Khi đó ta có BH∥DK.
Lại có: AB=BD (vì D đối xứng với A qua B) nên AH=HK ⇒BH là đường TB của △ADK⇒DK=2BH và AH=HK=KE. △ABC vuông tại A,AH⊥BC. Theo HTL trong tam giác vuông ta có: AH2=BH.HC. ⇒HCAH=AHBH=2AH2BH ⇒HCKE=EHDK ⇒△DKE∼△EHC (c.g.c) ⇒DEK=ECH. ⇒DEK+CEH=ECH+CEH=90∘.
Hay DEC=90∘.