Gọi F là giao điểm của ED và BC.
Trong tam giác BCE thì CI và BA là hai đường cao cắt nhau tại D, nên D là trực tâm
Suy ra AF vuông góc với BC.
Tam giác BDF có góc B = 450, nên góc BDF = 450. Mà góc ADE = góc BDF vì đối đỉnh do đó góc ADE = 450.
Suy ra tam giác ADE vuông cân tại A. Vậy AD = AE