已知梯形ABCD中∠B+∠C=90°EF是两底中点的连线试说明AB-AD=2EF