做EF垂直CD交于F
因为CE平分∠ACD,
OE = EF
DE = √2 EF
DE + OE = OD = 1
DE + √2/2 DE =1
DE = 1/(1+√2/2 ) = 2/(2+√2) = 2-√2