Xét ΔABE và ΔDCE ta có:
BE = CE (giả thiết)
ABE^=ECD^=90∘ (giả thiết)
AEB^=CED^ (hai góc đối đỉnh)
Do đó, ΔABE=ΔCDE (góc nhọn – cạnh góc vuông).