如图已知E为菱形ABCD的边上一点EF垂直AC于H交AD于F求证AE=AF