等腰RT三角形AB=AC,D为斜边BC的中点E、F为AB、AC上点,DE垂直DF,BE=12,CF=5求三角形DEF的面

将△CDF以D为旋转中心旋转180度,这样CD与BD重合,F落在F'
因为∠EDF=∠EDF'=90度
ED=ED
DF=DF'
所以△DEF≌△DEF'
因为∠B=∠C=45度
所以∠ABF'=90度
在Rt△EBF'中
BE=12
BF'=CF=5
所以EF'=13
又因为△DEF≌△DEF'
所以EF=EF'=13
设AB=AC=x
由AE^2+AF^2=EF^2可列方程
(x-12)^2+(a-5)^2=13^2
解得x=17
所以AE=5,AF=12
S△DEF=(S△ABC-S△AEF-S△BEF)÷2
=42.25