因为D是RT三角形ABC斜边的中点
所以AD=BD=CD
所以角ABD=角BAD
因为角ABD 角C=90度,角C 角F=90度
所以角EAD=角F
所以三角形FDA相似三角形ADE
所以DF/AD=AD/DE
所以AD的平方=DE*DF