Vì Δ ABC cân tại A có AH là đường cao theo giả thiết nên AH cũng là trung trực của BC.

⇒ B đối xứng với C qua AH, E đối xứng với D qua AH.

Mặt khác, ta có A đối xứng với A qua AH theo quy ước.

⇒ Δ ADC đối xứng với Δ AEB qua AH.