在菱形ABCD中,AC垂直于BD.
因为EF垂直于AC,所以EF平行于BD
所以三角形AEF相似于三角形ABD
所以AE与AB的比值等于AF与AD的比值
所以AF等于DF