ΔΔAHB=ΔΔADB(c-c-c) thông qua việc chứng minh 2 cặp tam giác nhỏ

=>góc ADB=90(1)

ΔΔAEC=ΔΔAHC(c-c-c)cũng thông qua việc chứng minh 2 cặp tam giác nhỏ

=>góc CEA=90(2)

Mà:D;E;A thẳng hàng(3)

từ 1,2 và 3 suy ra BCED là hình thang