不妨取E与B重合,D在CC1上,F在AA1上,取AB中点为H,连GH、HC、GD,则易知四边形GHCD为矩形,故斜边EF上的中线DG=√3;
因为直角三角形斜边上的中线等于斜边之半,所以斜边EF的长为2√3.