正方形ABCD是圆O的内接正方形
所以,AB=BC=CD=DA
E、F、G、H分别是弧AD、弧DC、弧CB、弧BA的中点
所以,
AE=DE=DF=CF=CG=BG=DH=AH
所以,八边形AHBGCFDE是正八边形