我的做法比较生硬，推荐题主自己尝试一下便于理解。说明不清的地方欢迎追问。设AB为x可以表示出AC，AE，BE，用射影定理可以表示出AF，BF，然后连接CF，易证S△BFC=2S△BFA，由此表示出F到BC的垂线段长，再根据BF，BD的长度，将DF表示成X的方程即可。
