EF=EA+AD+DF=EA+b+DF （1）
EF=EB+BC+CF=-2EA+BC-2DF=-2EA+a-2DF （2）
2（1）+2得
3EF=2EA+2b+2DF-2EA+a-2DF=2b+a
于是EF=(1/3)a+(2/3)