这是一个平行四边形,求EF长