如图,直线EF交▲ABC的边AB,BC,AC或其延长线D,E,F,求证