首先证明直角三角形ADE 与 ABF全等,
AD = AB,DE=BF,因此全等,
所以,角AED = 角AFB = 角AFC
又因为 DC//AB,所以角AED = 角BAE
因此,角AFC = 角BAE