作DG//BF交AC于G
则三角形CBF中,DG//BF,CG:GF=CD:DB=1 (因为D是BC中点)
同理,三角形ADG中,EF//DG,AF:FG=AE:ED=1(因为E是AD中点)
所以AF=FG=CG
所以AF=1/2(FG+CG)=1/2 CF