Ta có:
`CI` là phân giác `hat{ACM}`
`=> hat{ACI} = hat{ICM}` `(1)`
Ta có:
`EF //// CI`
`=> hat{FEC} = hat{ACI}` `(2)`
Lại có:
`DE //// BC`
`=> hat{DEF} = hat{EFC}`
Mặt khác
`hat{FEC} + hat{EFC} + hat{FCE} = 180^0`
`hat{ACI} + hat{ICM} + hat{FCE} = 180^0`
`=> hat{EFC} = hat{ICM}`
Mà: `hat{EFC} = hat{DEF}`
`=> hat{DEF} = hat{ICM}` `(3)`
Từ `(1)(2)(3) => hat{DEF} = hat{FEC}`
`=> EF` là phân giác `hat{DEC}`