已知点e是正方形abcd的边dc的中点 点f是边bc的中点,求证af垂直be