正方形的对角线垂直平分的,设交点为O
对角线长为根号(2)a
OB=根号(2)a/2
作EF垂直AC于F,EG垂直BD于G
则EF平行BD,EG平行AC
角DBC为45度
三角形BEG,ECF为等腰直角三角形
EG=GB=FO,EF=CF=GO
相加就等于OB=根号(2)a/2