YF/YA = FK/AB
XF/XC = FK/CD
AB=CD
YF/YA = XF/XC
YF/AF = XF/CF
三角形CAF 与 三角形XYF 相似
角FAC = 角FYX
AC//XY
直线xy与直线EF垂直