三角形ABEとCDFは合同
EからABに垂線を引き、その足をHとする
HE=(BC-EF)/2
AE^2=AH^2+HE^2