如图,△ABC中,∠C=90°,E,F为AB上的两点,点D,G 分别在AC,BC上,且四边形DEFG为正方形,证EF*2