正方形ABCD的边长是6cm,长方形AGEF中EG=8cm,求EF长度.