E thuộc đường tròn đường kính AC => góc AEC = 90 độ
Tam giác ABC cân ở A => AB = AC
Tam giác ABD và ACE có: góc BAC chung, AB = AC, góc ADB = góc AEC = 90 độ
=> Tam giác ABD = tam giác ACE (g.c.g) => BD = CE và AD = AE
AD = AE => Tam giác ADE cân ở A => ADE = (180 - BAC)/2
Tam giác ABC cân ở A => ACB = (180 - BAC)/2
=> ADE = ACB => BC // DE => BCDE là hình thang
Mà BD = CE (cmt) => BCDE là hình thang cân (đpcm).