如图三角形ABC中,AD垂直BC于D,DE垂直AC于EDF垂直AB于F,求证三角形AEF相似于三角形ABC