已知正八角形的直径,怎么求边长?