给你点提示.
1.证明三角形 AEF 和 三角形ABC 相似.这样可以推出 AE*AB = AC*AF.
2.证明,三角形 ACD 是等腰直角三角形.可以退出,AD*AD= AC*AF
怎么证明的话,就你自己想办法吧 .