八角形边长已知八角形外径,求其边长