正四棱锥,棱长都是2 底面边长是几?