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