向量BC=AC-AB=b-a
BE=-4/5*AB=-4/5*a
EF//BC=>EF=1/5*BC=1/5*[b-a]
向量BF=BE+EF=-4/5*a+1/5*[b-a]=b/5-a