设减去的四个全等的等腰直角三角形的直角边长度为x
有2x+√2x=a
x=(1-√2/2)a
故八角形的面积
s=a^2-4*1/2*x^2
=2(√2-1)a^2