设截去的四个角的直角边为x,则留下的三角形对边为x*根号二
而截去两个直角边后,剩下的正方形边长为2-2x
所以有,2-2x=x*根号二
因此,x=2/(2+根号二)
那么八边形的边长=根号二*x=0.828