求助一道另类的几何题

西北天狼

为了便于计算设圆O的半径为1=AD，且AC=CG=GB=π/3，
此时DG+EF=(1+4π^2/9)^0.5+1≈3.3208814801554610687334492770317
    DE=DC+CE=(1+π^2/9)^0.5+3^0.5≈3.1628539216263627534559707502772
好像不等式DG+EF<DE不成立。