如图 在梯形abcd中AB‖CD,∠A+∠B=90°,EF分别是AB,CD的中点,求证EF=(AB-CD)÷2