gọi `E` là trung điểm của `AD`
`=> EF` là đường tb của hình thang `ABCD`
do đó
`DC`//`EF`//`AB`
`=>hat(DEF)=90^o`
do đó `EF` vừa là đường cao, vừa là đường trung trực của `ΔDFA` nên `ΔDFA` cân tại `F`
ta có: `hat(CDF)+hat(FDA)=hat(CDA)`
`hat(BAF)+hat(FAD)=hat(BAD)`
mà` hat(FDA)=hat(FAD)` (`ΔDFA` cân tại `F`)
`hat(CDA)=hat(BAD)=90^o`
`=>hat(BAF)=hat(CDF)`