如图,在四边形ABCD中,∠ABC+∠ADC=180°,BC=CD,∠1=二分之一∠BCD,求证:EF=BE+DF