如图,点E、F为正方形ABCD中,AB、BC边的中点,AF、DE交于点O 则AF⊥DE,为什么?