EF = AF - AE= 1/2*(AB+AD) - 1/2*AC= 1/2*AB + 1/2*(AD-AC)=1/2*AB+1/2*CD=1/2*(a-2c)+1/2*(5a+6b-8c)=3a+3b-5c