正八角錐の展開と側面上の最短距離