如图，正方形ABCD的边长为4，F是DC边的中点，E是BC上的点，且CE＝BC，试说明：AF⊥EF．