如图，在△ABC中，AB＝AC，∠ABC的角平分线交AC于点D，过点A作AE∥BC交BD的延长线于点E．若F是DE上的一点，且AD＝AF，求证：BD＝EF．