已知梯形ABCD中AB//CD(AB>CD),E、F分别是AB、CD中点,若角A+角B=90°求证:EF=1/2(A