证明：AD垂直BC于D,E是AC的中点,所以,DE=EC=1/2*AC 角C=角EDC 角BAC=90度,AD垂直BC于D,所以,角C=角BAD 所以,角EDC=角BAD 角EDC=角FDB 所以,角FDB=角BAD 角F=角F 所以,三角形AFD相似于三角形DBF 所以,AF/DF=AD/BD 角ABD=角ABD 角BAD=角ACD 所以,三角形ABD相似于三角形CAD 所以,AC/AB=AD/BD 所以,AC/AB=AF/DF 所以,AB*AF=AC*DF