Xét (O) có
ΔAEC nội tiếp
AC là đường kính
Do đó: ΔAEC vuông tại E
Xét ΔADB vuông tại D và ΔAEC vuông tại E có
AB=AC
góc BAD chung
Do đó: ΔADB=ΔAEC
=>AD=AE
Xét ΔABC có AE/AB=AD/AC
nên ED//BC
=>BEDC là hình thang
mà góc EBC=góc DCB
nên BEDC là hình thang cân