角FGE=45度=角BGD=角ABC=角C角EBC=角DBG，所以三角形BDG相似于BCE。所以BD/BG=BE/BC，所以，BG*BE=2BD^2=BA^2所以BG/BA=BA/BE所以角BAC=角BGA=90度。AG垂直BE。EF：FD=FD：FC=1：厂3
