如图,梯形abcd中,ab平行dc,e,f分别是ab,cd的中点,∠c+∠d=90°,求证:EF=1/2(DC-AB)