xét `Delta AEB` và `Delta ACD` có:

`hat(EAB)=hat(CAD)` (đối đỉnh)

`(AE)/(AC)=(AB)/(AD)("do AE=AB;AC=AD")`

`=>Delta AEB` $\sim$ `Delta ACD(c.g.c)`

`=>hat(AEB)=hat(ACD),` mà 2 góc sole trong 

suy ra `EB////CD`

xét `Delta AED` và `Delta ABC` có:

`hat(EAD)=hat(BAC)` (đối đỉnh)

`AE=AB`

`AD=AC`

`=>Delta AED=Delta ABC(c.g.c)`

`=>hat(EDA)=hat(ACB)`

xét `Delta ADC` có `AD=AC=>Delta ADC` cân tại `A`

`=>hat(ADC)=hat(ACD)`

`=>hat(ADC)+hat(EDA)=hat(ACD)+hat(ACB)`

`=>hat(EDC)=hat(BCD)`

xét tứ giác `BCDE` có:

`hat(EDC)=hat(BCD)` và `EB////CD`

`=>BCDE` là hình thang cân