正四棱锥的高与各棱长的关系