Ta có: `AB=AC`
`=>` Tam giác `ABC` cân tại `A`
Lại có: `AE=AD`
`=>` Tam giác `EAD` cân tại `A`
`=>` Góc `AED=ADE=(180^0-EAD)/2`
`=>` Góc `ABC=ACB=(180^0-BAC)/2`
Mà: Góc `EAD=CAB` (đối đỉnh)
`=>` Góc `DEA=ACB`
Mà: `2` góc đang ở vị trí so lo trong.
`=>ED////CB`