因为EF平行于BC,所以角EDB=角DBC,角FDC=角DCB.
因为BD是角ABC的角平分线,CD是角ACB的角平分线,所以角EBD=角FCD.
所以角EBD=角EDB,角FCD=角FDC,所以EB等于ED,FC等于DF
所以EF=BE+CF