AD = AE (gt)
⇒ ∆ ADE cân tại A ⇒ ∠ (ADE) = ( 180 0 - ∠ A )/2
∆ ABC cân tại A ⇒ ∠ (ABC) = ( 180 0 - ∠ A )/2
Suy ra: ∠ (ADE) = ∠ (ABC)
⇒ DE // BC (Vì có cặp góc đồng vị bằng nhau)
Tứ giác BDEC là hình thang
∠ (ABC) = ∠ (ACB) (tính chất tam giác cân) hay ∠ (DBC) = ∠ (ECB)
Vậy BDEC là hình thang cân.