因为AD//BC
角ADF=角ACD
角ACD=角ABE
所以角ADF=ABE
因为菱形,
所以边AB=AD
E,F为垂足
角AFD=角AEC=90度
所以三角形AEB和ADF为全等三角型
所以AE=AF